Linux-mm Archive on lore.kernel.org
 help / color / mirror / Atom feed
From: Mike Rapoport <rppt@kernel.org>
To: "Lorenzo Stoakes (ARM)" <ljs@kernel.org>
Cc: Andrew Morton <akpm@linux-foundation.org>,
	David Hildenbrand <david@kernel.org>,
	Baolin Wang <baolin.wang@linux.alibaba.com>,
	Barry Song <baohua@kernel.org>, Dev Jain <dev.jain@arm.com>,
	Hugh Dickins <hughd@google.com>, Jann Horn <jannh@google.com>,
	Jason Gunthorpe <jgg@ziepe.ca>,
	John Hubbard <jhubbard@nvidia.com>,
	Jonathan Corbet <corbet@lwn.net>,
	Lance Yang <lance.yang@linux.dev>,
	"Liam R. Howlett" <liam@infradead.org>,
	Masami Hiramatsu <mhiramat@kernel.org>,
	Mathieu Desnoyers <mathieu.desnoyers@efficios.com>,
	Michal Hocko <mhocko@suse.com>,
	Muchun Song <muchun.song@linux.dev>,
	Nico Pache <nico.pache@linux.dev>,
	Oscar Salvador <osalvador@suse.de>,
	Pedro Falcato <pfalcato@suse.de>, Peter Xu <peterx@redhat.com>,
	Ryan Roberts <ryan.roberts@arm.com>,
	Shakeel Butt <shakeel.butt@linux.dev>,
	Shuah Khan <skhan@linuxfoundation.org>,
	Steven Rostedt <rostedt@goodmis.org>,
	Suren Baghdasaryan <surenb@google.com>,
	Usama Arif <usama.arif@linux.dev>,
	Vlastimil Babka <vbabka@kernel.org>, Zi Yan <ziy@nvidia.com>,
	linux-doc@vger.kernel.org, linux-fsdevel@vger.kernel.org,
	linux-kernel@vger.kernel.org, linux-mm@kvack.org,
	linux-trace-kernel@vger.kernel.org
Subject: Re: [PATCH 5/6] userfaultfd: decouple fault reason from VMA flags
Date: Thu, 27 Aug 2026 10:42:16 +0300	[thread overview]
Message-ID: <ao_qWEcoaIcm1WhE@kernel.org> (raw)
In-Reply-To: <ao2Qk87AKnMKuNvg@gremlin>

On Tue, Aug 25, 2026 at 02:00:10PM +0100, Lorenzo Stoakes (ARM) wrote:
> On Tue, Aug 25, 2026 at 01:37:30PM +0300, Mike Rapoport wrote:
> > On Mon, Aug 24, 2026 at 05:28:29PM +0100, Lorenzo Stoakes (ARM) wrote:
> > > On Sun, Aug 23, 2026 at 03:17:42PM +0300, Mike Rapoport (Microsoft) wrote:
> > > > Introduce enum uffd_reason to define reasons for user faults rather than
> > > > overload VM_UFFD_* VMA flags for that.
> > > >
> > > > Using a dedicated enum makes the code clearer and decoupling the fault
> > > > reason from VMA flags clears the way for moving the uffd mode bits out
> > > > of VMA namespace.
> > > >
> > > > No functional change.
> > > >
> > > > Assisted-by: copilot:claude-opus-4.6
> > > > Signed-off-by: Mike Rapoport (Microsoft) <rppt@kernel.org>
> > > > ---
> > > >  include/linux/userfaultfd_k.h    | 16 ++++++++++++++--
> > > >  include/uapi/linux/userfaultfd.h |  6 +++---
> > > >  mm/huge_memory.c                 |  6 +++---
> > > >  mm/hugetlb.c                     | 10 +++++-----
> > > >  mm/memory.c                      | 10 +++++-----
> > > >  mm/shmem.c                       |  4 ++--
> > > >  mm/userfaultfd.c                 | 30 +++++++++++++++---------------
> > > >  7 files changed, 47 insertions(+), 35 deletions(-)
> > > >
> > > > diff --git a/include/linux/userfaultfd_k.h b/include/linux/userfaultfd_k.h
> > > > index 45355bdb4ec7..f401623f315d 100644
> > > > --- a/include/linux/userfaultfd_k.h
> > > > +++ b/include/linux/userfaultfd_k.h
> > > > @@ -9,6 +9,18 @@
> > > >  #ifndef _LINUX_USERFAULTFD_K_H
> > > >  #define _LINUX_USERFAULTFD_K_H
> > > >
> > > > +#include <linux/bits.h>
> > > > +
> > > > +/* Fault reason #PF handler passes to handle_userfault() */
> > > > +enum uf_reason {
> > > > +	USERFAULT_MISSING	= BIT(0),
> > > > +	USERFAULT_MINOR		= BIT(1),
> > > > +	USERFAULT_RWP		= BIT(2),
> > > > +	USERFAULT_WP		= BIT(3),
> > > > +};
> > >
> > > Hmm your commit message says uffd_reason, uf_reason makes me think of the
> > > character Ulf from House of the Dragon. But not uffd. So as per David let's
> > > rename it :)
> > >
> > > I'm also not sure if an enum is the right thing for flag values?
> >
> > I'll ask LLM why it chose it :)
> 
> I mean you then introduce the same flags again seemingly with different
> names as #define's in the next patch... having several sets of flags with
> subtly different names seems unwise.

The names are important, the values are not. 

There are two cases that currently use the same VMA_UFFD_* flags:
* the way VMA is registered with uffd, i.e. the 'mode' part
* the type of the user fault that the generic #PF handler passes to
  handle_userfault()

They are related, a fault in a VMA that was registered as MISSING will
never pass MINOR to handle_userfault(), but I think it'll be actually
clearer to separate them semantically, so that when you read a call site of
handle_userfault() it is clear what type of the fault it is and when you
parse userfaultfd code you see what modes user wanted for a VMA.
 
> > > Anything that is parameterised by enum uffd_reason that combines flags will
> > > break any switch statement in there and yada yada.
> > >
> > > I wonder if better just as #define's + unsigned long or something?
> > >
> > > Or you could do (and this leads to nicer stuff later):
> > >
> > > 	enum uffd_reason {
> > > 	     USERFAULT_MISSING_BIT = 0,
> > > 	     USERFAULT_MINOR_BIT = 1,
> > > 	     USERFAULT_RWP_BIT = 2,
> > > 	     USERFAULT_WP_BIT = 3,
> > > 	};
> > >
> > > 	#define USERFAULT_MISSING BIT(USERFAULT_MISSING_BIT)
> > > etc.
> >
> > Looks over-engineered to me tbh, if we drop an enum, I'd just
> >
> > #define FLAG (1 << SHIFT)
> >
> > and call it a day.
> >
> > Also see below about aligning with uABI flags.
> 
> See review on 6/6, I'm confused actually why we have several sets of these
> flags...

I can see that ;-)
 
> But in general it seems like these flags (in one form or another) are being
> repeatedly referenced, so it's not really over-engineering I don't think to
> abstract some of that.

Again, the bit numbers do not matter, they are the same because it's easy
to count from 0. I can make one of those count backwards if it helps :)
 
> Maybe can be in wrappers that make it nicer. But really the issue is the
> duplication in modes/reasons/flags...
> 
> >
> > > > @@ -168,9 +168,9 @@ struct uffd_msg {
> > > >
> > > >  /* flags for UFFD_EVENT_PAGEFAULT */
> > > >  #define UFFD_PAGEFAULT_FLAG_WRITE	(1<<0)	/* If this was a write fault */
> > > > -#define UFFD_PAGEFAULT_FLAG_WP		(1<<1)	/* If reason is VM_UFFD_WP */
> > > > -#define UFFD_PAGEFAULT_FLAG_MINOR	(1<<2)	/* If reason is VM_UFFD_MINOR */
> > > > -#define UFFD_PAGEFAULT_FLAG_RWP		(1<<3)	/* If reason is VM_UFFD_RWP */
> > > > +#define UFFD_PAGEFAULT_FLAG_WP		(1<<1)	/* If reason is uffd-wp */
> > > > +#define UFFD_PAGEFAULT_FLAG_MINOR	(1<<2)	/* If reason is uffd-minor */
> > > > +#define UFFD_PAGEFAULT_FLAG_RWP		(1<<3)	/* If reason is uffd-rwp */
> > >
> > > Is it worth retaining the same bit indexes as the reasons?
> > >
> > > Reasons:
> > >
> > > 	Bit number
> > > MINOR	0
> > > RWP	1
> > > WP	2
> > >
> > > Page fault flags:
> > >
> > > 	Bit number
> > > MINOR	2
> > > RWP	3
> > > WP	1
> >
> > If we go this way, than it must be
> >
> > #define USERFAULT_MINOR UFFD_PAGEFAULT_FLAG_MINOR
> >
> > so we won't need to keep them in sync explicitly.
> >
> > With a caveat of USERFAULT_MISSING that is expressed as "no flags in
> > uffd_msg" :)
> 
> Ugh.

Yeah, and the PAGEFAULT_FLAG numbers are set in stone because it's uABI.
 
> > >
> > > With matching flags and unsigned long you could do
> > >
> > > 	msg.arg.pagefault.flags |= reason;
> > >
> > > I think?
> >
> > Almost:
> >
> > 	msg.arg.pagefault.flags |= (reason & ~USERFAULT_MISSING);
> >
> > And define USERFAULT_MISSING as (1 << 0) with a comment why it's fine.
> >
> > I don't feel strongly about it, but my preference is to define reason flags
> > independently of UFFD_PAGEFAULT_FLAGs and keep the ifs here.
> 
> And also modes... Again I think fixing that mess somehow is the better way forward.

Can you elaborate?

> > > > @@ -2793,14 +2793,14 @@ static inline bool userfaultfd_must_wait(struct userfaultfd_ctx *ctx,
> > > >  	 * If VMA has UFFD WP faults enabled and WP fault, wait for userspace to
> > > >  	 * resolve the fault.
> > > >  	 */
> > > > -	if (!pte_write(ptent) && (reason & VM_UFFD_WP))
> > > > +	if (!pte_write(ptent) && (reason & USERFAULT_WP))
> > >
> > > I wonder if you could actually
> > >
> > > You do this quite a lot and they read a bit horribly with the && and & on the
> > > same sight-line. With the changes to the enum proposed above you could do:
> > >
> > > 	if (!pte_write(ptent) && test_bit(reason, USERFAULT_WP_BIT))
> >
> > I find && and & perfectly readable and adding _BIT defines looks really
> > excessive to me.
> 
> Discussed in sub-thread. We'll agree to disagree I suppose.
 
Yes, we will :)

> > > > @@ -2835,7 +2835,7 @@ static inline unsigned int userfaultfd_get_blocking_state(unsigned int flags)
> > > >   * fatal_signal_pending()s, and the mmap_lock must be released before
> > > >   * returning it.
> > > >   */
> > > > -vm_fault_t handle_userfault(struct vm_fault *vmf, unsigned long reason)
> > > > +vm_fault_t handle_userfault(struct vm_fault *vmf, enum uf_reason reason)
> > >
> > > Hmm what was the 'reason' here before? The flags? Maybe more reason (no pun
> > > intended) to keep the values the same?
> >
> > The 'reason' before was a VM_UFFD_SOMETHING, we really can't keep the
> > values the same, but we surely can keep it unsigned long.
> 
> I notice the 'mode' which is not the same as the 'reason' is an unsigned
> int in 6/6...

Didn't you suggest to make 'reason' an unsigned int as well?

'mode' in 6/6 is an unsigned int because if it were an enum it'd require
#include <linux/userfaultfd_k.h> in mm_types.h, see the commit message
there.

> --
> Cheers, Lorenzo
> 

-- 
Sincerely yours,
Mike.


  reply	other threads:[~2026-08-27  7:42 UTC|newest]

Thread overview: 45+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-08-23 12:17 [PATCH 0/6] userfaultfd: decouple uffd mode from VMA flags Mike Rapoport (Microsoft)
2026-08-23 12:17 ` [PATCH 1/6] mm/gup: move gup_can_follow_protnone() to gup.c Mike Rapoport (Microsoft)
2026-08-23 21:03   ` Barry Song
2026-08-24 14:42   ` David Hildenbrand (Arm)
2026-08-25 10:10     ` Mike Rapoport
2026-08-24 14:59   ` Lorenzo Stoakes (ARM)
2026-08-25  2:03   ` Zi Yan
2026-08-23 12:17 ` [PATCH 2/6] userfaultfd: constify VMA parameter of userfaultfd_*() helpers Mike Rapoport (Microsoft)
2026-08-23 21:03   ` Barry Song
2026-08-24 15:03   ` Lorenzo Stoakes (ARM)
2026-08-25  2:03   ` Zi Yan
2026-08-23 12:17 ` [PATCH 3/6] userfaultfd: use userfaultfd_*() helpers instead of open coded flag tests Mike Rapoport (Microsoft)
2026-08-23 21:14   ` Barry Song
2026-08-24 15:10   ` Lorenzo Stoakes (ARM)
2026-08-25 11:19     ` Mike Rapoport
2026-08-25 11:26       ` Lorenzo Stoakes (ARM)
2026-08-27  7:14         ` Mike Rapoport
2026-08-23 12:17 ` [PATCH 4/6] userfaultfd: rename vm_userfaultfd_ctx to vm_uffd_state Mike Rapoport (Microsoft)
2026-08-24 14:43   ` David Hildenbrand (Arm)
2026-08-24 15:42   ` Lorenzo Stoakes (ARM)
2026-08-23 12:17 ` [PATCH 5/6] userfaultfd: decouple fault reason from VMA flags Mike Rapoport (Microsoft)
2026-08-24  8:12   ` Muchun Song
2026-08-24 14:46   ` David Hildenbrand (Arm)
2026-08-27  7:49     ` Mike Rapoport
2026-08-27  8:10       ` David Hildenbrand (Arm)
2026-08-27  9:09         ` Mike Rapoport
2026-08-27  9:19           ` David Hildenbrand (Arm)
2026-08-27  9:21             ` Lorenzo Stoakes (ARM)
2026-08-24 16:28   ` Lorenzo Stoakes (ARM)
2026-08-25 10:37     ` Mike Rapoport
2026-08-25 11:08       ` David Hildenbrand (Arm)
2026-08-25 11:38         ` Lorenzo Stoakes (ARM)
2026-08-25 13:00       ` Lorenzo Stoakes (ARM)
2026-08-27  7:42         ` Mike Rapoport [this message]
2026-08-27 11:29           ` Lorenzo Stoakes (ARM)
2026-08-23 12:17 ` [PATCH 6/6] userfaultfd: collapse VM_UFFD_{MISSING,WP,MINOR,RWP} into single VM_UFFD Mike Rapoport (Microsoft)
2026-08-24  7:11   ` Lance Yang
2026-08-24  8:17     ` Mike Rapoport
2026-08-24  8:27       ` Lance Yang
2026-08-25 12:44   ` Lorenzo Stoakes (ARM)
2026-08-25 12:45     ` Lorenzo Stoakes (ARM)
2026-08-27  9:03     ` Mike Rapoport
2026-08-27 11:16       ` Lorenzo Stoakes (ARM)
2026-08-27 11:18         ` Lorenzo Stoakes (ARM)
2026-08-27 15:19           ` David Hildenbrand (Arm)

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=ao_qWEcoaIcm1WhE@kernel.org \
    --to=rppt@kernel.org \
    --cc=akpm@linux-foundation.org \
    --cc=baohua@kernel.org \
    --cc=baolin.wang@linux.alibaba.com \
    --cc=corbet@lwn.net \
    --cc=david@kernel.org \
    --cc=dev.jain@arm.com \
    --cc=hughd@google.com \
    --cc=jannh@google.com \
    --cc=jgg@ziepe.ca \
    --cc=jhubbard@nvidia.com \
    --cc=lance.yang@linux.dev \
    --cc=liam@infradead.org \
    --cc=linux-doc@vger.kernel.org \
    --cc=linux-fsdevel@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=linux-trace-kernel@vger.kernel.org \
    --cc=ljs@kernel.org \
    --cc=mathieu.desnoyers@efficios.com \
    --cc=mhiramat@kernel.org \
    --cc=mhocko@suse.com \
    --cc=muchun.song@linux.dev \
    --cc=nico.pache@linux.dev \
    --cc=osalvador@suse.de \
    --cc=peterx@redhat.com \
    --cc=pfalcato@suse.de \
    --cc=rostedt@goodmis.org \
    --cc=ryan.roberts@arm.com \
    --cc=shakeel.butt@linux.dev \
    --cc=skhan@linuxfoundation.org \
    --cc=surenb@google.com \
    --cc=usama.arif@linux.dev \
    --cc=vbabka@kernel.org \
    --cc=ziy@nvidia.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: 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