The Linux Kernel Mailing List
 help / color / mirror / Atom feed
From: "Lorenzo Stoakes (ARM)" <ljs@kernel.org>
To: Suren Baghdasaryan <surenb@google.com>
Cc: Barry Song <baohua@kernel.org>,
	akpm@linux-foundation.org,  dave.hansen@linux.intel.com,
	Liam.Howlett@oracle.com, david@redhat.com, willy@infradead.org,
	 shakeel.butt@linux.dev, vbabka@kernel.org, jannh@google.com,
	aliceryhl@google.com,  arve@android.com, cmllamas@google.com,
	christian@brauner.io, tkjos@android.com,  dsahern@kernel.org,
	davem@davemloft.net, gregkh@linuxfoundation.org,
	 linux-kernel@vger.kernel.org, linux-mm@kvack.org,
	netdev@vger.kernel.org
Subject: Re: [PATCH v3 0/5] mm: Unconditional per-VMA locks and cleanups
Date: Tue, 4 Aug 2026 10:27:45 +0100	[thread overview]
Message-ID: <anGtzyCbkzLzym0Y@lucifer> (raw)
In-Reply-To: <CAJuCfpEF6SjKhRW33AuboAuUbQz5zv+QKr2eD=52Qd_POL18Kg@mail.gmail.com>

On Mon, Aug 03, 2026 at 10:51:25AM -0700, Suren Baghdasaryan wrote:
> On Sun, Aug 2, 2026 at 7:11 PM Barry Song <baohua@kernel.org> wrote:
> >
> > On Mon, Aug 3, 2026 at 5:58 AM Suren Baghdasaryan <surenb@google.com> wrote:
> > >
> > > v2 version of this patchset [1] was written by Dave Hansen and per his
> > > request, I'm taking over this series.
> > >
> > > tl;dr: Make per-VMA locks available in all configs. Simplify some
> > > of the per-VMA lock users now that they can rely on them being
> > > always available.
> > >
> > > Binder and networking folks: Your code is the target of the cleanups.
> > > I'm cc'ing you now on v2 because there's emerging consensus on the mm
> > > side that the approach here is sane. I'm not quite sure how this pile
> > > would get merged, but ack/review tags would be appreciated if this
> > > looks good to you.
> > >
> > > Longer version:
> > >
> > > When working on some x86 shadow stack code, it was a real pain to
> > > avoid causing recursive locking problems with mmap_lock. One way
> > > to avoid those was to avoid mmap_lock and use per-VMA locks instead.
> > > They are great, but they are not available in all configs which
> > > makes them unusable in generic code, or if you want to completely
> > > avoid mmap_lock.
> > >
> > > Make per-VMA locks available in all configs. Right now, they are
> > > only available on select architectures when SMP and MMU are enabled.
> > > But all of the primitives that per-VMA locks are built on (RCU, maple
> > > trees, refcounts) work just fine without SMP or MMU.
> > >
> > > The only real downside is that making VMAs a wee bit bigger on !MMU
> > > and !SMP builds.
> > >
> > > The upside is much cleaner code, lower complexity and less #ifdeffery.
> > >
> > > Clean up a binder VMA locking site now that it can rely on per-VMA
> > > locks.
> > >
> > > Building on top of universally-available per-VMA locks, introduce a
> > > new helper. Since the new API does not require callers to have a
> > > fallback to mmap_lock, it's much easier to use. Callers can
> > > potentially replace this very common kernel idiom:
> > >
> > >         mmap_read_lock(mm);
> > >         vma = vma_lookup()
> > >         // fiddle with vma
> > >         mmap_read_unlock(mm);
> > >
> > > with:
> > >
> > >         vma = vma_start_read_unlocked(mm, address);
> > >         // fiddle with vma
> > >         vma_end_read(vma);
> > >
> > > Which avoids mmap_lock entirely in the fast path.
> > >
> > > Use that new API for another binder site and one in the TCP code.
> >
> > Nice, Suren and Dave.

And Lorenzo ;)

> >
> > I wonder if we could use the same approach in the page fault
> > path. Instead of falling back to mmap_lock when
> > lock_vma_under_rcu() fails the first time, could we wait for the
> > writer to finish and then retry acquiring the VMA lock?
>
> Yeah, we might be able to do that. Matthew is working on moving common

I think it could really help clean things up actually.

Though obviously you still need to account for the fault retry stuff that still
needs to fall back to mmap lock, so sadly we DO need a fallback path (ugh).

It'd be good to remove some of the duplication.

> page-fault handling code into a single arch-independent place. Your
> suggested change would be simpler if done after Matthew's refactoring.

Yeah might be worth waiting for that :)

>
> > For example:
> >
> > diff --git a/arch/arm64/mm/fault.c b/arch/arm64/mm/fault.c
> > index 85e23388f9bb..684f38cc4e74 100644
> > --- a/arch/arm64/mm/fault.c
> > +++ b/arch/arm64/mm/fault.c
> > @@ -677,7 +677,7 @@ static int __kprobes do_page_fault(unsigned long
> > far, unsigned long esr,
> >         if (!(mm_flags & FAULT_FLAG_USER))
> >                 goto lock_mmap;
> >
> > -       vma = lock_vma_under_rcu(mm, addr);
> > +       vma = vma_start_read_unlocked(mm, addr);
> >         if (!vma)
> >                 goto lock_mmap;
> >
> > diff --git a/arch/x86/mm/fault.c b/arch/x86/mm/fault.c
> > index 45b99c3b1442..a3a4c4741e30 100644
> > --- a/arch/x86/mm/fault.c
> > +++ b/arch/x86/mm/fault.c
> > @@ -1331,7 +1331,7 @@ void do_user_addr_fault(struct pt_regs *regs,
> >         if (!(flags & FAULT_FLAG_USER))
> >                 goto lock_mmap;
> >
> > -       vma = lock_vma_under_rcu(mm, address);
> > +       vma = vma_start_read_unlocked(mm, address);
> >         if (!vma)
> >                 goto lock_mmap;
> >
> > Best Regards
> > Barry

--
Cheers, Lorenzo

      reply	other threads:[~2026-08-04  9:28 UTC|newest]

Thread overview: 48+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-08-02 21:54 [PATCH v3 0/5] mm: Unconditional per-VMA locks and cleanups Suren Baghdasaryan
2026-08-02 21:54 ` [PATCH v3 1/5] mm: Make per-VMA locks available universally Suren Baghdasaryan
2026-08-03 10:49   ` Lorenzo Stoakes (ARM)
2026-08-03 14:01   ` Vlastimil Babka (SUSE)
2026-08-03 17:45     ` Suren Baghdasaryan
2026-08-03 15:24   ` Suren Baghdasaryan
2026-08-03 16:08     ` Lorenzo Stoakes (ARM)
2026-08-03 17:41       ` Suren Baghdasaryan
2026-08-03 17:45         ` Suren Baghdasaryan
2026-08-03 21:12       ` Jann Horn
2026-08-04  8:56         ` Lorenzo Stoakes (ARM)
2026-08-04 14:59           ` Suren Baghdasaryan
2026-08-03 19:33   ` Jann Horn
2026-08-03 19:43     ` Suren Baghdasaryan
2026-08-02 21:54 ` [PATCH v3 2/5] binder: Make shrinker rely solely on per-VMA lock Suren Baghdasaryan
2026-08-03  9:48   ` Alice Ryhl
2026-08-03 10:50     ` Lorenzo Stoakes (ARM)
2026-08-03 11:11       ` Lorenzo Stoakes (ARM)
2026-08-03 11:33         ` Lorenzo Stoakes (ARM)
2026-08-03 18:02       ` Suren Baghdasaryan
2026-08-04  9:15         ` Lorenzo Stoakes (ARM)
2026-08-03 11:10   ` Lorenzo Stoakes (ARM)
2026-08-03 18:31     ` Suren Baghdasaryan
2026-08-04  9:08       ` Lorenzo Stoakes (ARM)
2026-08-04  9:04     ` Alice Ryhl
2026-08-04  9:11       ` Lorenzo Stoakes (ARM)
2026-08-04 14:54         ` Suren Baghdasaryan
2026-08-02 21:54 ` [PATCH v3 3/5] mm: Add RCU-based VMA lookup helper that waits for writers Suren Baghdasaryan
2026-08-03 11:28   ` Lorenzo Stoakes (ARM)
2026-08-03 19:01     ` Suren Baghdasaryan
2026-08-04  8:47       ` Lorenzo Stoakes (ARM)
2026-08-04 15:00         ` Suren Baghdasaryan
2026-08-03 14:55   ` Vlastimil Babka (SUSE)
2026-08-03 15:00     ` Lorenzo Stoakes (ARM)
2026-08-03 16:24       ` Vlastimil Babka (SUSE)
2026-08-03 16:43         ` Lorenzo Stoakes (ARM)
2026-08-03 19:13           ` Suren Baghdasaryan
2026-08-04  7:59             ` Vlastimil Babka (SUSE)
2026-08-04  8:44               ` Lorenzo Stoakes (ARM)
2026-08-02 21:54 ` [PATCH v3 4/5] binder: Remove mmap_lock fallback Suren Baghdasaryan
2026-08-03 10:34   ` Alice Ryhl
2026-08-03 19:14     ` Suren Baghdasaryan
2026-08-03 11:33   ` Lorenzo Stoakes (ARM)
2026-08-03 19:16     ` Suren Baghdasaryan
2026-08-02 21:54 ` [PATCH v3 5/5] tcp: Remove mmap_lock fallback path Suren Baghdasaryan
2026-08-03  2:11 ` [PATCH v3 0/5] mm: Unconditional per-VMA locks and cleanups Barry Song
2026-08-03 17:51   ` Suren Baghdasaryan
2026-08-04  9:27     ` Lorenzo Stoakes (ARM) [this message]

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=anGtzyCbkzLzym0Y@lucifer \
    --to=ljs@kernel.org \
    --cc=Liam.Howlett@oracle.com \
    --cc=akpm@linux-foundation.org \
    --cc=aliceryhl@google.com \
    --cc=arve@android.com \
    --cc=baohua@kernel.org \
    --cc=christian@brauner.io \
    --cc=cmllamas@google.com \
    --cc=dave.hansen@linux.intel.com \
    --cc=davem@davemloft.net \
    --cc=david@redhat.com \
    --cc=dsahern@kernel.org \
    --cc=gregkh@linuxfoundation.org \
    --cc=jannh@google.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=netdev@vger.kernel.org \
    --cc=shakeel.butt@linux.dev \
    --cc=surenb@google.com \
    --cc=tkjos@android.com \
    --cc=vbabka@kernel.org \
    --cc=willy@infradead.org \
    /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: link
Be 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