From: Peter Zijlstra <a.p.zijlstra@chello.nl> To: Andrew Morton <akpm@linux-foundation.org> Cc: Andrea Arcangeli <aarcange@redhat.com>, Avi Kivity <avi@redhat.com>, Thomas Gleixner <tglx@linutronix.de>, Rik van Riel <riel@redhat.com>, Ingo Molnar <mingo@elte.hu>, Linus Torvalds <torvalds@linux-foundation.org>, linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, linux-mm@kvack.org, Benjamin Herrenschmidt <benh@kernel.crashing.org>, David Miller <davem@davemloft.net>, Hugh Dickins <hugh.dickins@tiscali.co.uk>, Mel Gorman <mel@csn.ul.ie>, Nick Piggin <npiggin@kernel.dk>, Paul McKenney <paulmck@linux.vnet.ibm.com>, Yanmin Zhang <yanmin_zhang@linux.intel.com>, Martin Schwidefsky <schwidefsky@de.ibm.com>, Russell King <rmk@arm.linux.org.uk>, Paul Mundt <lethal@linux-sh.org>, Jeff Dike <jdike@addtoit.com>, Tony Luck <tony.luck@intel.com>, Hugh Dickins <hughd@google.com> Subject: Re: [PATCH 01/20] mm: mmu_gather rework Date: Wed, 20 Apr 2011 10:47:28 +0200 [thread overview] Message-ID: <1303289248.8345.62.camel@twins> (raw) In-Reply-To: <20110419130606.fb7139b2.akpm@linux-foundation.org> On Tue, 2011-04-19 at 13:06 -0700, Andrew Morton wrote: > On Fri, 01 Apr 2011 14:12:59 +0200 > Peter Zijlstra <a.p.zijlstra@chello.nl> wrote: > > > Remove the first obstackle towards a fully preemptible mmu_gather. > > > > The current scheme assumes mmu_gather is always done with preemption > > disabled and uses per-cpu storage for the page batches. Change this to > > try and allocate a page for batching and in case of failure, use a > > small on-stack array to make some progress. > > > > Preemptible mmu_gather is desired in general and usable once > > i_mmap_lock becomes a mutex. Doing it before the mutex conversion > > saves us from having to rework the code by moving the mmu_gather > > bits inside the pte_lock. > > > > Also avoid flushing the tlb batches from under the pte lock, > > this is useful even without the i_mmap_lock conversion as it > > significantly reduces pte lock hold times. > > There doesn't seem much point in reviewing this closely, as a lot of it > gets tossed away later in the series.. That's a result of breaking patches along concept boundaries :/ > > free_pages_and_swap_cache(tlb->pages, tlb->nr); > > It seems inappropriate that this code uses > free_page[s]_and_swap_cache(). It should go direct to put_page() and > release_pages()? Please review this code's implicit decision to pass > "cold==0" into release_pages(). Well, that isn't new with this patch, however it does look to be correct. We're freeing user pages, those could indeed still be part of the swapcache. Furthermore, the PAGEVEC_SIZE split in free_pages_and_swap_cache() alone makes it worth calling that over release_pages(). As to the cold==0, I think that too is correct since we don't actually touch the pages themselves and we have no inkling as to their cache state, we're simply wiping out user pages. > > -static inline void tlb_remove_page(struct mmu_gather *tlb, struct page *page) > > +static inline int __tlb_remove_page(struct mmu_gather *tlb, struct page *page) > > I wonder if all the inlining which remains in this code is needed and > desirable. Probably not, the big plan was to make everybody use the generic code and then move it into mm/memory.c or so. But I guess I can have asm-generic/tlb.h define HAVE_GENERIC_MMU_GATHER and make the compilation in mm/memory.c conditional on that (or generate lots of Kconfig churn). -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@kvack.org. For more info on Linux MM, see: http://www.linux-mm.org/ . Fight unfair telecom internet charges in Canada: sign http://stopthemeter.ca/ Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
WARNING: multiple messages have this Message-ID (diff)
From: Peter Zijlstra <a.p.zijlstra@chello.nl> To: Andrew Morton <akpm@linux-foundation.org> Cc: Andrea Arcangeli <aarcange@redhat.com>, Avi Kivity <avi@redhat.com>, Thomas Gleixner <tglx@linutronix.de>, Rik van Riel <riel@redhat.com>, Ingo Molnar <mingo@elte.hu>, Linus Torvalds <torvalds@linux-foundation.org>, linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, linux-mm@kvack.org, Benjamin Herrenschmidt <benh@kernel.crashing.org>, David Miller <davem@davemloft.net>, Hugh Dickins <hugh.dickins@tiscali.co.uk>, Mel Gorman <mel@csn.ul.ie>, Nick Piggin <npiggin@kernel.dk>, Paul McKenney <paulmck@linux.vnet.ibm.com>, Yanmin Zhang <yanmin_zhang@linux.intel.com>, Martin Schwidefsky <schwidefsky@de.ibm.com>, Russell King <rmk@arm.linux.org.uk>, Paul Mundt <lethal@linux-sh.org>, Jeff Dike <jdike@addtoit.com>, Tony Luck <tony.luck@intel.com>, Hugh Dickins <hughd@google.com> Subject: Re: [PATCH 01/20] mm: mmu_gather rework Date: Wed, 20 Apr 2011 10:47:28 +0200 [thread overview] Message-ID: <1303289248.8345.62.camel@twins> (raw) Message-ID: <20110420084728.vjCreLc8lrNgf_SMLd7b3JruKRcn-CBDCB_crnKomF8@z> (raw) In-Reply-To: <20110419130606.fb7139b2.akpm@linux-foundation.org> On Tue, 2011-04-19 at 13:06 -0700, Andrew Morton wrote: > On Fri, 01 Apr 2011 14:12:59 +0200 > Peter Zijlstra <a.p.zijlstra@chello.nl> wrote: > > > Remove the first obstackle towards a fully preemptible mmu_gather. > > > > The current scheme assumes mmu_gather is always done with preemption > > disabled and uses per-cpu storage for the page batches. Change this to > > try and allocate a page for batching and in case of failure, use a > > small on-stack array to make some progress. > > > > Preemptible mmu_gather is desired in general and usable once > > i_mmap_lock becomes a mutex. Doing it before the mutex conversion > > saves us from having to rework the code by moving the mmu_gather > > bits inside the pte_lock. > > > > Also avoid flushing the tlb batches from under the pte lock, > > this is useful even without the i_mmap_lock conversion as it > > significantly reduces pte lock hold times. > > There doesn't seem much point in reviewing this closely, as a lot of it > gets tossed away later in the series.. That's a result of breaking patches along concept boundaries :/ > > free_pages_and_swap_cache(tlb->pages, tlb->nr); > > It seems inappropriate that this code uses > free_page[s]_and_swap_cache(). It should go direct to put_page() and > release_pages()? Please review this code's implicit decision to pass > "cold==0" into release_pages(). Well, that isn't new with this patch, however it does look to be correct. We're freeing user pages, those could indeed still be part of the swapcache. Furthermore, the PAGEVEC_SIZE split in free_pages_and_swap_cache() alone makes it worth calling that over release_pages(). As to the cold==0, I think that too is correct since we don't actually touch the pages themselves and we have no inkling as to their cache state, we're simply wiping out user pages. > > -static inline void tlb_remove_page(struct mmu_gather *tlb, struct page *page) > > +static inline int __tlb_remove_page(struct mmu_gather *tlb, struct page *page) > > I wonder if all the inlining which remains in this code is needed and > desirable. Probably not, the big plan was to make everybody use the generic code and then move it into mm/memory.c or so. But I guess I can have asm-generic/tlb.h define HAVE_GENERIC_MMU_GATHER and make the compilation in mm/memory.c conditional on that (or generate lots of Kconfig churn).
next prev parent reply other threads:[~2011-04-20 8:47 UTC|newest] Thread overview: 75+ messages / expand[flat|nested] mbox.gz Atom feed top 2011-04-01 12:12 [PATCH 00/20] mm: Preemptibility -v10 Peter Zijlstra 2011-04-01 12:12 ` Peter Zijlstra 2011-04-01 12:12 ` [PATCH 01/20] mm: mmu_gather rework Peter Zijlstra 2011-04-01 12:12 ` Peter Zijlstra 2011-04-19 20:06 ` Andrew Morton 2011-04-19 20:06 ` Andrew Morton 2011-04-20 8:47 ` Peter Zijlstra [this message] 2011-04-20 8:47 ` Peter Zijlstra 2011-04-20 9:10 ` Peter Zijlstra 2011-04-20 9:10 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 02/20] powerpc: " Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 03/20] sparc: " Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 04/20] s390: " Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 05/20] arm: " Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 06/20] sh: " Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 07/20] ia64: " Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 08/20] um: " Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 09/20] mm: Now that all old mmu_gather code is gone, remove the storage Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 10/20] mm, powerpc: Move the RCU page-table freeing into generic code Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 11/20] s390: use generic RCP page-table freeing Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 12/20] mm: Extended batches for generic mmu_gather Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-19 20:06 ` Andrew Morton 2011-04-19 20:06 ` Andrew Morton 2011-04-20 10:40 ` Peter Zijlstra 2011-04-20 10:40 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 13/20] lockdep, mutex: Provide mutex_lock_nest_lock Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-19 20:06 ` Andrew Morton 2011-04-19 20:06 ` Andrew Morton 2011-04-20 11:03 ` Peter Zijlstra 2011-04-20 11:03 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 14/20] mm: Remove i_mmap_lock lockbreak Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-19 20:07 ` Andrew Morton 2011-04-19 20:07 ` Andrew Morton 2011-04-21 13:32 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 15/20] mm: Convert i_mmap_lock to a mutex Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-19 20:07 ` Andrew Morton 2011-04-19 20:07 ` Andrew Morton 2011-04-21 13:28 ` Peter Zijlstra 2011-04-21 13:28 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 16/20] mm: Revert page_lock_anon_vma() lock annotation Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 17/20] mm: Improve page_lock_anon_vma() comment Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 18/20] mm: Use refcounts for page_lock_anon_vma() Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 19/20] mm: Convert anon_vma->lock to a mutex Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-19 20:07 ` Andrew Morton 2011-04-19 20:07 ` Andrew Morton 2011-04-21 13:28 ` Peter Zijlstra 2011-04-21 13:28 ` Peter Zijlstra 2011-04-01 12:13 ` [PATCH 20/20] mm: Optimize page_lock_anon_vma() fast-path Peter Zijlstra 2011-04-01 12:13 ` Peter Zijlstra 2011-04-19 20:08 ` Andrew Morton 2011-04-19 20:08 ` Andrew Morton 2011-04-20 12:38 ` Peter Zijlstra 2011-04-20 12:38 ` Peter Zijlstra 2011-04-20 15:00 ` Peter Zijlstra 2011-04-20 15:00 ` Peter Zijlstra 2011-04-01 13:51 ` [PATCH 00/20] mm: Preemptibility -v10 Peter Zijlstra 2011-04-01 13:51 ` Peter Zijlstra
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=1303289248.8345.62.camel@twins \ --to=a.p.zijlstra@chello.nl \ --cc=aarcange@redhat.com \ --cc=akpm@linux-foundation.org \ --cc=avi@redhat.com \ --cc=benh@kernel.crashing.org \ --cc=davem@davemloft.net \ --cc=hugh.dickins@tiscali.co.uk \ --cc=hughd@google.com \ --cc=jdike@addtoit.com \ --cc=lethal@linux-sh.org \ --cc=linux-arch@vger.kernel.org \ --cc=linux-kernel@vger.kernel.org \ --cc=linux-mm@kvack.org \ --cc=mel@csn.ul.ie \ --cc=mingo@elte.hu \ --cc=npiggin@kernel.dk \ --cc=paulmck@linux.vnet.ibm.com \ --cc=riel@redhat.com \ --cc=rmk@arm.linux.org.uk \ --cc=schwidefsky@de.ibm.com \ --cc=tglx@linutronix.de \ --cc=tony.luck@intel.com \ --cc=torvalds@linux-foundation.org \ --cc=yanmin_zhang@linux.intel.com \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: linkBe sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).