linux-mm.kvack.org archive mirror
 help / color / mirror / Atom feed
From: Mike Rapoport <rppt@kernel.org>
To: Peter Xu <peterx@redhat.com>
Cc: David CARLIER <devnexen@gmail.com>,
	Andrew Morton <akpm@linux-foundation.org>,
	linux-mm@kvack.org, linux-kernel@vger.kernel.org,
	Lorenzo Stoakes <ljs@kernel.org>,
	"Liam R. Howlett" <Liam.Howlett@oracle.com>,
	Vlastimil Babka <vbabka@kernel.org>
Subject: Re: [PATCH v4] mm/userfaultfd: detect VMA replacement after copy retry in mfill_copy_folio_retry()
Date: Thu, 9 Apr 2026 14:31:46 +0300	[thread overview]
Message-ID: <adeOIvNXFLTCXMcv@kernel.org> (raw)
In-Reply-To: <ac5yKatsMxNp4G2g@x1.local>

Hi Peter,

On Thu, Apr 02, 2026 at 09:42:01AM -0400, Peter Xu wrote:
> Hi, Mike,
> 
> Let me also leave my comments inline just for you to consider.
> 
> On Thu, Apr 02, 2026 at 06:58:33AM +0300, Mike Rapoport wrote:
> > Hi David,
> > 
> > It feels that you use an LLM for correspondence. Please tune it down to
> > produce more laconic and to the point responses.
> > 
> > On Wed, Apr 01, 2026 at 09:06:36AM +0100, David CARLIER wrote:
> > >   On Tue, Apr 01, 2026 at 08:49:00AM +0300, Mike Rapoport wrote:
> > >   > What does "folio allocated from the original VMA's backing store" exactly
> > >   > mean? Why is this a problem?
> > > 
> > >   Fair point, the commit message was vague here. What I meant is:
> > > 
> > >   mfill_atomic_pte_copy() captures ops = vma_uffd_ops(state->vma) and
> > >   passes it to __mfill_atomic_pte(). There, ops->alloc_folio() allocates
> > >   a folio for the original VMA's inode (e.g. a shmem folio for that
> > >   specific shmem inode). 
> > 
> > I wouldn't say ->alloc_folio() allocates a folio _for_ the inode, it
> > allocates it with inode's memory policy. Worst can happen without any
> > changes is that the allocated folio will end up in a wrong node.
> 
> For shmem it's only about mempolicy indeed, but since we're trying to
> export it as an API in the series, IMHO it would be nice to be generic.  So
> we shouldn't assume it's only about mempolicy, we should rely on detecting
> any context change and bail out with -EAGAIN, relying all rest checks to
> the next UFFDIO_COPY ioctl done on top of the new mapping topology.

My point was that this is preexisting bug and that we don't need to rush
with the complete fix that will extensively compare VMA compatibility...
 
> > This is still a footgun, but I don't see it as a big deal.
> 
> IIUC this is a real bug reported.  Actually, if my understanding is
> correct, we should be able to easily write a reproducer by registering the
> src addr of UFFDIO_COPY to userfaultfd too, then the ioctl(UFFDIO_COPY)
> thread will get blocked faulting in the src_addr.  During that, we can
> change the VMA layout in another thread to test whatever setup we want.
> 
> > Let's revisit it after -rc1 and please make sure to cc "MEMORY MAPPING"
> > folks for insights about how to better track VMA changes or their absence.
> 
> No strong feeling here if we want to slightly postpone this fix.  It looks
> like not easy to happen as it looks to be a bug present for a while, indeed.
> 
> It's just that if my understanding is correct, with above reproducer we can
> crash the kernel easily without a proper fix.
 
... but we do need a more urgent fix for the case when a VMA suddenly
becomes hugetlb, because that could not happen before the refactoring.

For that, it would be enough to check that ->ops are the same before and
after copy_from_user().

@David, do you mind to send a patch for this without waiting for rc1?
 
> > >   The vm_flags comparison was a secondary guard against permission/type
> > >   changes during the window.
> > 
> > Permissions should be fine, they are checked in userfaultfd_register.
> > Some other flags that don't matter to uffd operation may change during the
> > window, though and then a comparison of vm_flags will give a false
> > positive.
> 
> IMHO false positive is fine in this case when -EAGAIN will be used (which I
> still think we should), if it only causes a retry.

I still disagree, but let's postpone this discussion for later, when David
resends the patch that compares VMA properties.
 
> Thanks,
> -- 
> Peter Xu

-- 
Sincerely yours,
Mike.


  reply	other threads:[~2026-04-09 11:31 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2026-03-31 13:41 David Carlier
2026-04-01  3:01 ` Andrew Morton
2026-04-01  7:49   ` Mike Rapoport
2026-04-01  8:06     ` David CARLIER
2026-04-01 15:23       ` Peter Xu
2026-04-01 18:34         ` David CARLIER
2026-04-01 19:22           ` Peter Xu
2026-04-01 20:05             ` David CARLIER
2026-04-02  4:02             ` Mike Rapoport
2026-04-02  5:59               ` David CARLIER
2026-04-02 13:29               ` Peter Xu
2026-04-09 11:20                 ` Mike Rapoport
2026-04-02  3:58       ` Mike Rapoport
2026-04-02 13:42         ` Peter Xu
2026-04-09 11:31           ` Mike Rapoport [this message]
2026-04-07 10:17     ` Lorenzo Stoakes (Oracle)

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=adeOIvNXFLTCXMcv@kernel.org \
    --to=rppt@kernel.org \
    --cc=Liam.Howlett@oracle.com \
    --cc=akpm@linux-foundation.org \
    --cc=devnexen@gmail.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=ljs@kernel.org \
    --cc=peterx@redhat.com \
    --cc=vbabka@kernel.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