[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20090916124740.GD1993@csn.ul.ie>
Date: Wed, 16 Sep 2009 13:47:40 +0100
From: Mel Gorman <mel@....ul.ie>
To: Hugh Dickins <hugh.dickins@...cali.co.uk>
Cc: Andrew Morton <akpm@...ux-foundation.org>,
KAMEZAWA Hiroyuki <kamezawa.hiroyu@...fujitsu.com>,
KOSAKI Motohiro <kosaki.motohiro@...fujitsu.com>,
Linus Torvalds <torvalds@...ux-foundation.org>,
Nick Piggin <npiggin@...e.de>, Rik van Riel <riel@...hat.com>,
Minchan Kim <minchan.kim@...il.com>,
linux-kernel@...r.kernel.org, linux-mm@...ck.org
Subject: Re: [PATCH 1/4] mm: m(un)lock avoid ZERO_PAGE
On Wed, Sep 16, 2009 at 12:40:23PM +0100, Hugh Dickins wrote:
> On Wed, 16 Sep 2009, Mel Gorman wrote:
> > On Tue, Sep 15, 2009 at 09:31:49PM +0100, Hugh Dickins wrote:
> > >
> > > And when munlocking, it turns out that FOLL_DUMP coincidentally does
> > > what's needed to avoid all updates to ZERO_PAGE, so use that here also.
> ...
> > > for (addr = start; addr < end; addr += PAGE_SIZE) {
> > > - struct page *page = follow_page(vma, addr, FOLL_GET);
> > > - if (page) {
> > > + struct page *page;
> > > + /*
> > > + * Although FOLL_DUMP is intended for get_dump_page(),
> > > + * it just so happens that its special treatment of the
> > > + * ZERO_PAGE (returning an error instead of doing get_page)
> > > + * suits munlock very well (and if somehow an abnormal page
> > > + * has sneaked into the range, we won't oops here: great).
> > > + */
> > > + page = follow_page(vma, addr, FOLL_GET | FOLL_DUMP);
> >
> > Ouch, now I get your depraved comment :) . This will be a tricky rule to
> > remember in a years time, wouldn't it?
>
> I rely more upon git and grep than memory; I hope others do too.
> (And that's partly why I put "get_dump_page" into the comment line.)
>
True and the comment is pretty explicit.
> > Functionally, the patch seems fine and the avoidance of lock_page() is
> > nice so.
> >
> > Reviewed-by: Mel Gorman <mel@....ul.ie>
>
> Thanks.
>
> >
> > But, as FOLL_DUMP applies to more than core dumping, can it be renamed
> > in another follow-on patch? The fundamental underlying "thing" it does
> > is to error instead of faulting the zero page so FOLL_NO_FAULT_ZEROPAGE,
> > FOLL_ERRORZERO, FOLL_NOZERO etc? A name like that would simplify the comments
> > as FOLL_DUMP would no longer just be a desirable side-effect.
>
> At this moment, particularly after the years of FOLL_ANON confusion,
> I feel pretty strongly that this flag is there for coredumping; and
> it's just a happy accident that it happens also to be useful for munlock.
> And if their needs diverge later, FOLL_DUMP will do whatever dumping
> wants, and FOLL_MUNLOCK or something with a longer name will do
> whatever munlocking wants.
>
Ok, that's reasonable. You want to avoid any temptation of abuse of flag
and a reviewer will spot abuse of something called FOLL_DUMP easier than
something like FOLL_NOZERO.
> I suspect that if I could think of a really snappy name for the flag,
> that didn't just send us away to study the source to see what it
> really does, I'd be glad to change to that. But at the moment,
> I'm happier sticking with FOLL_DUMP myself.
>
Grand. Thanks for clarifying and explaining.
--
Mel Gorman
Part-time Phd Student Linux Technology Center
University of Limerick IBM Dublin Software Lab
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists