From: Yosry Ahmed <yosry@kernel.org>
To: Brendan Jackman <brendan.jackman@linux.dev>
Cc: Brendan Jackman <jackmanb@google.com>,
Borislav Petkov <bp@alien8.de>,
Dave Hansen <dave.hansen@linux.intel.com>,
Peter Zijlstra <peterz@infradead.org>,
Andrew Morton <akpm@linux-foundation.org>,
David Hildenbrand <david@kernel.org>,
Vlastimil Babka <vbabka@kernel.org>,
Mike Rapoport <rppt@kernel.org>, Wei Xu <weixugc@google.com>,
Johannes Weiner <hannes@cmpxchg.org>, Zi Yan <ziy@nvidia.com>,
Lorenzo Stoakes <ljs@kernel.org>,
linux-mm@kvack.org, linux-kernel@vger.kernel.org,
x86@kernel.org, Sumit Garg <sumit.garg@oss.qualcomm.com>,
Will Deacon <will@kernel.org>,
rientjes@google.com, patrick.roy@linux.dev, "Itazuri,
Takahiro" <itazur@amazon.co.uk>,
Andy Lutomirski <luto@kernel.org>,
David Kaplan <david.kaplan@amd.com>,
Thomas Gleixner <tglx@kernel.org>,
Patrick Bellasi <derkling@google.com>,
Reiji Watanabe <reijiw@google.com>,
Sean Christopherson <seanjc@google.com>,
Nikita Kalyazin <nikita.kalyazin@linux.dev>,
Ackerley Tng <ackerleytng@google.com>
Subject: Re: [PATCH v3 03/26] mm: introduce AS_NO_DIRECT_MAP
Date: Fri, 31 Jul 2026 19:28:00 +0000 [thread overview]
Message-ID: <amz0jzVPZo_eBeRV@google.com> (raw)
In-Reply-To: <DKCQZ9JTKRIO.1K61106YF38GW@linux.dev>
> > [..]
> >> --- a/mm/gup.c
> >> +++ b/mm/gup.c
> >> @@ -11,7 +11,6 @@
> >> #include <linux/rmap.h>
> >> #include <linux/swap.h>
> >> #include <linux/swapops.h>
> >> -#include <linux/secretmem.h>
> >>
> >> #include <linux/sched/signal.h>
> >> #include <linux/rwsem.h>
> >> @@ -1216,7 +1215,7 @@ static int check_vma_flags(struct vm_area_struct *vma, unsigned long gup_flags)
> >> if ((gup_flags & FOLL_SPLIT_PMD) && is_vm_hugetlb_page(vma))
> >> return -EOPNOTSUPP;
> >>
> >> - if (vma_is_secretmem(vma))
> >> + if (vma_has_no_direct_map(vma))
> >
> > Same here, and for GUP in general. For example, KVM uses kvm_vcpu_map()
> > to map guest memory and access it (e.g. when running nested
> > virtualization), which uses GUP under the hood AFAICT. So KVM will want
> > GUP to succeed, and probably create an ephemeral mapping as well.
> >
> > Maybe eventually we will want a GUP flag to handle creating an ephemeral
> > mapping, as I imagine multiple GUP users will run into the same issue?
> >
> > Not sure if this is an ASI-specific issue, or if we also have use cases
> > where we need GUP to work guest_memfd pages (with ephemeral mappings).
>
> Similar to above, this shouldn't affect ASI at all.
But outside of ASI, aren't there any cases where the kernel (e.g. KVM)
needs to access guest_memfd memory?
Maybe Sean or David can help us out here.
> >> return -EFAULT;
> >>
> >> if (write) {
> >> @@ -2731,7 +2730,7 @@ EXPORT_SYMBOL(get_user_pages_unlocked);
> >> * This call assumes the caller has pinned the folio, that the lowest page table
> >> * level still points to this folio, and that interrupts have been disabled.
> >> *
> >> - * GUP-fast must reject all secretmem folios.
> >> + * GUP-fast must reject all folios without direct map entries (such as secretmem).
> >> *
> >> * Writing to pinned file-backed dirty tracked folios is inherently problematic
> >> * (see comment describing the writable_file_mapping_allowed() function). We
> >> @@ -2769,7 +2768,7 @@ static bool gup_fast_folio_allowed(struct folio *folio, unsigned int flags)
> >> if (WARN_ON_ONCE(folio_test_slab(folio)))
> >> return false;
> >>
> >> - /* hugetlb neither requires dirty-tracking nor can be secretmem. */
> >> + /* hugetlb neither requires dirty-tracking nor can be without direct map. */
Is this necessarily true? I know there were discussions/proposals about
using some of the hugetlb infrastructure for guest_memfd. I am not sure
if those folios would remain hugetlb folios though.
Adding Ackerley here.
> >> if (folio_test_hugetlb(folio))
> >> return true;
> >>
> >> @@ -2812,7 +2811,7 @@ static bool gup_fast_folio_allowed(struct folio *folio, unsigned int flags)
> >> * At this point, we know the mapping is non-null and points to an
> >> * address_space object.
> >> */
> >> - if (check_secretmem && secretmem_mapping(mapping))
> >> + if (mapping_no_direct_map(mapping))
> >> return false;
> >> /* The only remaining allowed file system is shmem. */
> >> return !reject_file_backed || shmem_mapping(mapping);
> >> diff --git a/mm/mlock.c b/mm/mlock.c
> >> index efa6716e4dfbd..045b6779440b1 100644
> >> --- a/mm/mlock.c
> >> +++ b/mm/mlock.c
> >> @@ -474,7 +474,7 @@ static int mlock_fixup(struct vma_iterator *vmi, struct vm_area_struct *vma,
> >> int ret = 0;
> >>
> >> if (vma_flags_same_pair(&old_vma_flags, new_vma_flags) ||
> >> - vma_is_secretmem(vma) || !vma_supports_mlock(vma)) {
> >> + vma_has_no_direct_map(vma) || !vma_supports_mlock(vma)) {
> >
> > I don't think this one is correct. From commit 1507f51255c9 ("mm:
> > introduce memfd_secret system call to create "secret" memory areas"):
> >
> > Since the secretmem mappings are locked in memory they cannot exceed
> > RLIMIT_MEMLOCK. Since these mappings are already locked independently
> > from mlock(), an attempt to mlock()/munlock() secretmem range would
> > fail and mlockall()/munlockall() will ignore secretmem mappings.
> >
> > Seems like secretmem pages are just mlock()'d by default, hence the
> > check here. Maybe this also works for guest_memfd, but I don't think
> > it's a generalization that any pages without a direct mapping should
> > receive the same treatment here.
>
> Ack, yeah this sounds correct to me.
>
> I guess you could argue something like "the reason secretmem is
> implicitly mlocked is that it can't be reclaimed, because there's no
> direct map". But that doesn't generalise IMO, you could imagine letting
> the user say "remove this memory from the direct map, but I trust my
> swap system, you can swap it" and then use the mermap to implement
> reclaim.
Exactly, I don't think no direct mapping implicitly means unreclaimable.
I don't think you actually need a direct mapping to read/write from
disk to memory?
>
> > I am aware that perhaps the answer for most these cases is that it works
> > for guest_memfd as well as secretmem, but since the main goal of the
> > series is setting up ASI,
>
> [Aside]
> Well, the main reason for Google to pay me for it is as a
> stepping stone for ASI, but I do actually think
> GUEST_MEMFD_FLAG_NO_DIRECT_MAP[0] is valuable and prefer to
> think of that as the "main goal" of this patchset. (I didn't
> include it here since Sean asked[1] for the KVM bits to be
> separate, but it's basically just a repeat of the secretmem.c
> changes).
Right, I understand this is the goal of the series and it is valuable
without ASI. Perhaps "motivation" was the correct word :)
>
> [0] https://lore.kernel.org/all/20260410151746.61150-1-kalyazin@amazon.com/
> [1] https://lore.kernel.org/all/akw1lZDEv8_Ub1zQ@google.com/
>
> > ideally we don't want checks that we know
> > will become wrong when ASI is introduced. If the idea is that
> > mapping_no_direct_map() and vma_has_no_direct_map() will not be used for
> > ASI sensitive mappings,
>
> (I said this above but just to be clear: that is not the idea).
>
> > we should document this somewhere, or have
> > better localized checks (if at all possible) so that we can side-step
> > the whole mixup when ASI mappings come along.
>
> BUT yes I still totally agree that we should not unnecessarily overload
> vma_has_no_direct_map() here.
Right, that was essentially what I meant. We shouldn't just current
secretmem checks with no direct map checks without thinking them
through.
>
> >> /*
> >> * Don't set VMA_LOCKED_BIT or VMA_LOCKONFAULT_BIT and don't
> >> * count. For secretmem, don't allow the memory to be unlocked.
> >> diff --git a/mm/secretmem.c b/mm/secretmem.c
> >> index 4a4934769f8ba..c043c53687d95 100644
> >> --- a/mm/secretmem.c
> >> +++ b/mm/secretmem.c
> >> @@ -52,49 +52,20 @@ static vm_fault_t secretmem_fault(struct vm_fault *vmf)
> >> struct address_space *mapping = vmf->vma->vm_file->f_mapping;
> >> struct inode *inode = file_inode(vmf->vma->vm_file);
> >> pgoff_t offset = vmf->pgoff;
> >> - gfp_t gfp = vmf->gfp_mask;
> >> struct folio *folio;
> >> vm_fault_t ret;
> >> - int err;
> >>
> >> if (((loff_t)vmf->pgoff << PAGE_SHIFT) >= i_size_read(inode))
> >> return vmf_error(-EINVAL);
> >>
> >> filemap_invalidate_lock_shared(mapping);
> >>
> >> -retry:
> >> - folio = filemap_lock_folio(mapping, offset);
> >> + folio = filemap_grab_folio(mapping, offset);
> >> if (IS_ERR(folio)) {
> >> - folio = folio_alloc(gfp | __GFP_ZERO, 0);
> >> - if (!folio) {
> >> - ret = VM_FAULT_OOM;
> >> - goto out;
> >> - }
> >> -
> >> - err = folio_zap_direct_map(folio);
> >> - if (err) {
> >> - folio_put(folio);
> >> - ret = vmf_error(err);
> >> - goto out;
> >> - }
> >> -
> >> - __folio_mark_uptodate(folio);
> >> - err = filemap_add_folio(mapping, folio, offset, gfp);
> >> - if (unlikely(err)) {
> >> - /*
> >> - * If a split of large page was required, it
> >> - * already happened when we marked the page invalid
> >> - * which guarantees that this call won't fail
> >> - */
> >> - folio_restore_direct_map(folio);
> >> - folio_put(folio);
> >> - if (err == -EEXIST)
> >> - goto retry;
> >> -
> >> - ret = vmf_error(err);
> >> - goto out;
> >> - }
> >> + ret = vmf_error(PTR_ERR(folio));
> >> + goto out;
> >> }
> >> + folio_mark_uptodate(folio);
> >
> > This chunk seems like pure refactoring that should be done separately?
>
> This is the adoption of AS_NO_DIRECT_MAP, i.e. the removal of the
> explicit folio_zap_direct_map() call. We could certainly separate out
> "create AS_NO_DIRECT_MAP" from "adopt it in secretmem" but the previous
> version of this patchset was on v12 and it hadn't split them so I assume
> nobody was calling for this split.
Oh sorry I wasn't clear. I meant switching from folio_lock_folio() and
the rest of the logic to folio_grab_folio(). There are some subtle
differences AFAICT so this conversion shouldn't really be part of this
patch.
I think maybe just drop the
folio_zap_direct_map()/folio_restore_direct_map() calls for this patch?
next prev parent reply other threads:[~2026-07-31 19:28 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-07-26 22:22 [PATCH v3 00/26] mm: Add ALLOC_UNMAPPED and AS_NO_DIRECT_MAP Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 01/26] set_memory: add folio_{zap,restore}_direct_map helpers Brendan Jackman
2026-07-27 10:33 ` Mike Rapoport
2026-07-29 11:42 ` Brendan Jackman
2026-07-30 20:34 ` Yosry Ahmed
2026-07-31 5:21 ` Mike Rapoport
2026-07-31 11:57 ` Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 02/26] mm/secretmem: make use of folio_{zap,restore}_direct_map Brendan Jackman
2026-07-27 10:40 ` Mike Rapoport
2026-07-26 22:22 ` [PATCH v3 03/26] mm: introduce AS_NO_DIRECT_MAP Brendan Jackman
2026-07-30 21:06 ` Yosry Ahmed
2026-07-31 12:15 ` Brendan Jackman
2026-07-31 19:28 ` Yosry Ahmed [this message]
2026-07-26 22:22 ` [PATCH v3 04/26] x86/mm: split out preallocate_sub_pgd() Brendan Jackman
2026-07-31 22:10 ` Yosry Ahmed
2026-07-26 22:22 ` [PATCH v3 05/26] x86: move PAE PMD preallocation defines to header Brendan Jackman
2026-07-31 23:59 ` Yosry Ahmed
2026-07-26 22:22 ` [PATCH v3 06/26] x86/tlb: Expose some flush function declarations to modules Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 07/26] x86/mm: introduce mm-local region Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 08/26] x86/mm: move LDT remap into " Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 09/26] mm: Create flags arg for __apply_to_page_range() Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 10/26] mm: Add more flags " Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 11/26] x86/mm: introduce the mermap Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 12/26] mm: KUnit tests for " Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 13/26] mm: introduce freetype_t Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 14/26] mm: move migratetype definitions to freetype.h Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 15/26] mm/page_alloc: add support for freetypes with no freelist Brendan Jackman
2026-07-31 14:13 ` Vlastimil Babka (SUSE)
2026-07-26 22:22 ` [PATCH v3 16/26] mm: add definitions for allocating unmapped pages Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 17/26] mm: encode freetype flags in pageblock flags Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 18/26] mm/page_alloc: separate pcplists by freetype flags Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 19/26] mm/page_alloc: rename ALLOC_NON_BLOCK back to _HARDER Brendan Jackman
2026-07-31 14:52 ` Vlastimil Babka (SUSE)
2026-07-26 22:22 ` [PATCH v3 20/26] mm/page_alloc: introduce ALLOC_NOBLOCK Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 21/26] mm/page_alloc: implement FREETYPE_UNMAPPED allocations Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 22/26] mm: Minimal KUnit tests for some new page_alloc logic Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 23/26] mm: Split out NR_FREE_PAGES_BLOCKS_[UN]MAPPED Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 24/26] mm/page_alloc: always direct compact for unmapped allocs Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 25/26] mm: plumb alloc flags into some alloc funcs Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 26/26] mm: add fast path for AS_NO_DIRECT_MAP Brendan Jackman
2026-07-29 11:52 ` [PATCH v3 00/26] mm: Add ALLOC_UNMAPPED and AS_NO_DIRECT_MAP Brendan Jackman
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=amz0jzVPZo_eBeRV@google.com \
--to=yosry@kernel.org \
--cc=ackerleytng@google.com \
--cc=akpm@linux-foundation.org \
--cc=bp@alien8.de \
--cc=brendan.jackman@linux.dev \
--cc=dave.hansen@linux.intel.com \
--cc=david.kaplan@amd.com \
--cc=david@kernel.org \
--cc=derkling@google.com \
--cc=hannes@cmpxchg.org \
--cc=itazur@amazon.co.uk \
--cc=jackmanb@google.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=ljs@kernel.org \
--cc=luto@kernel.org \
--cc=nikita.kalyazin@linux.dev \
--cc=patrick.roy@linux.dev \
--cc=peterz@infradead.org \
--cc=reijiw@google.com \
--cc=rientjes@google.com \
--cc=rppt@kernel.org \
--cc=seanjc@google.com \
--cc=sumit.garg@oss.qualcomm.com \
--cc=tglx@kernel.org \
--cc=vbabka@kernel.org \
--cc=weixugc@google.com \
--cc=will@kernel.org \
--cc=x86@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