From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752390Ab0CYJVv (ORCPT ); Thu, 25 Mar 2010 05:21:51 -0400 Received: from gir.skynet.ie ([193.1.99.77]:54239 "EHLO gir.skynet.ie" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751282Ab0CYJVu (ORCPT ); Thu, 25 Mar 2010 05:21:50 -0400 Date: Thu, 25 Mar 2010 09:21:32 +0000 From: Mel Gorman To: KOSAKI Motohiro Cc: KAMEZAWA Hiroyuki , Minchan Kim , Andrew Morton , Andrea Arcangeli , Christoph Lameter , Adam Litke , Avi Kivity , David Rientjes , Rik van Riel , linux-kernel@vger.kernel.org, linux-mm@kvack.org Subject: Re: [PATCH 02/11] mm,migration: Do not try to migrate unmapped anonymous pages Message-ID: <20100325092131.GK2024@csn.ul.ie> References: <20100325083235.GF2024@csn.ul.ie> <20100325180221.e1d9bae7.kamezawa.hiroyu@jp.fujitsu.com> <20100325180726.6C89.A69D9226@jp.fujitsu.com> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Disposition: inline In-Reply-To: <20100325180726.6C89.A69D9226@jp.fujitsu.com> User-Agent: Mutt/1.5.17+20080114 (2008-01-14) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Mar 25, 2010 at 06:09:34PM +0900, KOSAKI Motohiro wrote: > > On Thu, 25 Mar 2010 08:32:35 +0000 > > Mel Gorman wrote: > > > > > On Thu, Mar 25, 2010 at 11:49:23AM +0900, KOSAKI Motohiro wrote: > > > > > On Fri, Mar 19, 2010 at 03:21:41PM +0900, KOSAKI Motohiro wrote: > > > > Hmmm... > > > > I haven't understand your mention because I guess I was wrong. > > > > > > > > probably my last question was unclear. I mean, > > > > > > > > 1) If we still need SLAB_DESTROY_BY_RCU, why do we need to add refcount? > > > > Which difference is exist between normal page migration and compaction? > > > > > > The processes typically calling migration today own the page they are moving > > > and is not going to exit unexpectedly during migration. > > > > > > > 2) If we added refcount, which race will solve? > > > > > > > > > > The process exiting and the last anon_vma being dropped while compaction > > > is running. This can be reliably triggered with compaction. > > > > > > > IOW, Is this patch fix old issue or compaction specific issue? > > > > > > > > > > Strictly speaking, it's an old issue but in practice it's impossible to > > > trigger because the process migrating always owns the page. Compaction > > > moves pages belonging to arbitrary processes. > > > > > Kosaki-san, > > > > IIUC, the race in memory-hotunplug was fixed by this patch [2/11]. > > > > But, this behavior of unmap_and_move() requires access to _freed_ > > objects (spinlock). Even if it's safe because of SLAB_DESTROY_BY_RCU, > > it't not good habit in general. > > > > After direct compaction, page-migration will be one of "core" code of > > memory management. Then, I agree to patch [1/11] as our direction for > > keeping sanity and showing direction to more updates. Maybe adding > > refcnt and removing RCU in futuer is good. > > But Christoph seems oppose to remove SLAB_DESTROY_BY_RCU. then refcount > is meaningless now. Christoph is opposed to removing it because of cache-hotness issues more so than use-after-free concerns. The refcount is needed with or without SLAB_DESTROY_BY_RCU. > I agree you if we will remove SLAB_DESTROY_BY_RCU > in the future. > > refcount is easy understanding than rcu trick. > > > > IMHO, pushing this patch [2/11] as "BUGFIX" independent of this set and > > adding anon_vma->refcnt [1/11] and [3/11] in 1st Direct-compaction patch > > series to show the direction will makse sense. > > (I think merging 1/11 and 3/11 will be okay...) > > agreed. > > > > > Thanks, > > -Kame > > > > > > > -- Mel Gorman Part-time Phd Student Linux Technology Center University of Limerick IBM Dublin Software Lab