From: "Brendan Jackman" <brendan.jackman@linux.dev>
To: "Yosry Ahmed" <yosry@kernel.org>,
"Brendan Jackman" <jackmanb@google.com>
Cc: "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>,
"Kalyazin, Nikita" <kalyazin@amazon.co.uk>,
<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>
Subject: Re: [PATCH v3 03/26] mm: introduce AS_NO_DIRECT_MAP
Date: Fri, 31 Jul 2026 12:15:50 +0000 [thread overview]
Message-ID: <DKCQZ9JTKRIO.1K61106YF38GW@linux.dev> (raw)
In-Reply-To: <amu5v-e39GKpgFG4@google.com>
On Thu Jul 30, 2026 at 9:06 PM UTC, Yosry Ahmed wrote:
> On Sun, Jul 26, 2026 at 10:22:36PM +0000, Brendan Jackman wrote:
>> From: Patrick Roy <patrick.roy@linux.dev>
>>
>> Add AS_NO_DIRECT_MAP for mappings where direct map entries of folios are
>> set to not present. Currently, mappings that match this description are
>> secretmem mappings (memfd_secret()). Later, some guest_memfd
>> configurations will also fall into this category.
>>
>> Reject this new type of mappings in all locations that currently reject
>> secretmem mappings, on the assumption that if secretmem mappings are
>> rejected somewhere, it is precisely because of an inability to deal with
>> folios without direct map entries, and then make memfd_secret() use
>> AS_NO_DIRECT_MAP on its address_space to drop its special
>> vma_is_secretmem()/secretmem_mapping() checks.
>
> I don't think this is necessarily true. See below.
>
>> Use a new flag instead of overloading AS_INACCESSIBLE (which is already
>> set by guest_memfd) because not all guest_memfd mappings will end up
>> being direct map removed (e.g. in pKVM setups, parts of guest_memfd that
>> can be mapped to userspace should also be GUP-able, and generally not
>> have restrictions on who can access it).
>>
>> Signed-off-by: Patrick Roy <patrick.roy@linux.dev>
>> Signed-off-by: Nikita Kalyazin <nikita.kalyazin@linux.dev>
>> [Moved zapping to page cache; removed review tags]
>> Signed-off-by: Brendan Jackman <jackmanb@google.com>
> [..]
>> diff --git a/lib/buildid.c b/lib/buildid.c
>> index c4b7376406215..ba79bf28f7e69 100644
>> --- a/lib/buildid.c
>> +++ b/lib/buildid.c
>> @@ -47,6 +47,10 @@ static int freader_get_folio(struct freader *r, loff_t file_off)
>>
>> freader_put_folio(r);
>>
>> + /* reject folios without direct map entries (e.g. from memfd_secret() or guest_memfd()) */
>> + if (mapping_no_direct_map(r->file->f_mapping))
>> + return -EFAULT;
>> +
>
> The plan is to eventually have ~all user have no direct map in ASI page
> tables, right? I assume this would then be problematic as paths like
> this one will want to create an ephemeral mapping to access memory
> rather than just fail.
>
> Is the plan to have a separate check for ASI mappings that are present
> in the unrestricted/non-sensitive address space?
Yeah ASI-protected mappings would not have AS_NO_DIRECT_MAP set. That
means "no direct map at all, you crash if you touch it". There might be
a separate flag like AS_SENSITIVE to reflect that, or more likely it's
more like my previous postings where it was just implicit that the page
cache was protected by ASI.
But we shouldn't need many such carveouts for ASI. I expect all
ASI-specific code that's related to the page cache will be purely
for optimisation, while this -EFAULT is a functional requirement.
>> /* only use page cache lookup - fail if not already cached */
>> r->folio = filemap_get_folio(r->file->f_mapping, file_off >> PAGE_SHIFT);
>>
>> @@ -87,8 +91,8 @@ const void *freader_fetch(struct freader *r, loff_t file_off, size_t sz)
>> return r->data + file_off;
>> }
>>
>> - /* reject secretmem folios created with memfd_secret() */
>> - if (secretmem_mapping(r->file->f_mapping)) {
>> + /* reject folios without direct map entries (e.g. from memfd_secret() or guest_memfd()) */
>> + if (mapping_no_direct_map(r->file->f_mapping)) {
>> r->err = -EFAULT;
>> return NULL;
>> }
> [..]
>> --- 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.
>> 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. */
>> 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.
> 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).
[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.
>> /*
>> * 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.
next prev parent reply other threads:[~2026-07-31 12:16 UTC|newest]
Thread overview: 37+ 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 [this message]
2026-07-26 22:22 ` [PATCH v3 04/26] x86/mm: split out preallocate_sub_pgd() Brendan Jackman
2026-07-26 22:22 ` [PATCH v3 05/26] x86: move PAE PMD preallocation defines to header Brendan Jackman
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-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=DKCQZ9JTKRIO.1K61106YF38GW@linux.dev \
--to=brendan.jackman@linux.dev \
--cc=akpm@linux-foundation.org \
--cc=bp@alien8.de \
--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=kalyazin@amazon.co.uk \
--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=yosry@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