From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1758168AbYHDQhq (ORCPT ); Mon, 4 Aug 2008 12:37:46 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id S1754288AbYHDQhg (ORCPT ); Mon, 4 Aug 2008 12:37:36 -0400 Received: from yx-out-2324.google.com ([74.125.44.30]:62335 "EHLO yx-out-2324.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1753912AbYHDQhf (ORCPT ); Mon, 4 Aug 2008 12:37:35 -0400 DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references:x-google-sender-auth; b=mLkG19yLRHr3NlMcHScOUp6L2/ehLdwu0M37UHXWzqTk8Vq9KoyhkXTzSh6TMjYgO3 rHsi1LNOoMRlg3b970UcE/DJA9RvtaruXJnW0Z4KytbwZyA2dzREVMRMX2zl9QTWBZMt 07MJjizCH/zA7fSSwQdYZwNKGQavPxjlY+Hxs= Message-ID: <2f11576a0808040937y70f274e0j32f6b9c98b0f992d@mail.gmail.com> Date: Tue, 5 Aug 2008 01:37:33 +0900 From: "KOSAKI Motohiro" To: "Lee Schermerhorn" Subject: Re: Race condition between putback_lru_page and mem_cgroup_move_list Cc: "MinChan Kim" , "KAMEZAWA Hiroyuki" , "Balbir Singh" , linux-mm , "Rik van Riel" , LKML In-Reply-To: <1217863870.7065.62.camel@lts-notebook> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline References: <28c262360808040736u7f364fc0p28d7ceea7303a626@mail.gmail.com> <1217863870.7065.62.camel@lts-notebook> X-Google-Sender-Auth: e7a3238902ada4b6 Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from base64 to 8bit by alpha.home.local id m74GbrIG009347 Hi >> I think this is a race condition if mem_cgroup_move_lists's comment isn't right.>> I am not sure that it was already known problem.>>>> mem_cgroup_move_lists assume the appropriate zone's lru lock is already held.>> but putback_lru_page calls mem_cgroup_move_lists without holding lru_lock.>> Hmmm, the comment on mem_cgroup_move_lists() does say this. Although,> reading thru' the code, I can't see why it requires this. But then it's> Monday, here... I also think zone's lru lock is unnecessary.So, I guess below "it" indicate lock_page_cgroup, not zone lru lock. >> But we cannot safely get to page_cgroup without it, so just try_lock it: if my assumption is true, comment modifying is better. >> Repeatedly, spin_[un/lock]_irq use in mem_cgroup_move_list have a big overhead>> while doing list iteration.>>>> Do we have to use pagevec ?>> This shouldn't be necessary, IMO. putback_lru_page() is used as> follows:>> 1) in vmscan.c [shrink_*_list()] when an unevictable page is> encountered. This should be relatively rare. Once vmscan sees an> unevictable page, it parks it on the unevictable lru list where it> [vmscan] won't see the page again until it becomes reclaimable.>> 2) as a replacement for move_to_lru() in page migration as the inverse> to isolate_lru_page(). We did this to catch patches that became> unevictable or, more importantly, evictable while page migration held> them isolated. move_to_lru() already grabbed and released the zone lru> lock on each page migrated.>> 3) In m[un]lock_vma_page() and clear_page_mlock(), new with in the> "mlocked pages are unevictable" series. This one can result in a storm> of zone lru traffic--e.g., mlock()ing or munlocking() a large segment or> mlockall() of a task with a lot of mapped address space. Again, this is> probably a very rare event--unless you're stressing [stressing over?]> mlock(), as I've been doing :)--and often involves a major fault [page> allocation], per page anyway.>> I originally did have a pagevec for the unevictable lru but it> complicated ensuring that we don't strand evictable pages on the> unevictable list. See the retry logic in putback_lru_page().>> As for the !UNEVICTABLE_LRU version, the only place this should be> called is from page migration as none of the other call sites are> compiled in or reachable when !UNEVICTABLE_LRU.>> Thoughts? I think both opinion is correct.unevictable lru related code doesn't require pagevec. but mem_cgroup_move_lists is used by active/inactive list transition too.then, pagevec is necessary for keeping reclaim throuput. Kim-san, Thank you nice point out!I queued this fix to my TODO list.{.n++%ݶw{.n+{G{ayʇڙ,jfhz_(階ݢj"mG?&~iOzv^m ?I