[PATCH v2 00/33] mm: make VMA page offset handling more consistent
From: Lorenzo Stoakes <ljs@kernel.org>
Date: 2026-07-10 20:17:32
Also in:
damon, dri-devel, kvm, linux-arm-msm, linux-fsdevel, linux-iommu, linux-mm, linux-perf-users, linux-tegra, lkml, nvdimm
This series performs a series of cleanups and improvements around how the vma->vm_pgoff field is used. Folios belonging to file-backed mappings are simply indexed by the page offset within the file they map (excepting pfnmap and driver mappings which sometimes do things different). However, anonymous folios belonging to pure anonymous mappings are indexed by their "virtual" page offset, which is equal to addr >> PAGE_SHIFT at the time at which the VMA was first faulted in. The page offset of a VMA is stored in vma->vm_pgoff and indicates the page offset of the start of the VMA range, whether it be file-backed or anonymous. The work here both cleans up how we reference this field, as well as laying the foundations for a future series which addresses the inconsistency of CoW'd folios in MAP_PRIVATE-file backed mappings, which are indexed as if they were file-backed but behave as if they were anonymous. This future series will make it such that all anonymous folios are indexed by virtual page offset whether belonging to VMAs who satisfy vma_is_anonymous() or MAP_PRIVATE-mapped file-backed mappings. This series: * Exposes vma_start_pgoff() and updates the kernel to use it consistently. * Adds and uses the useful vma_end_pgoff() helper. * Parameterises the file-backed mapping helpers vma_interval_tree_*() by address_space rather than rb_root_cached. * Renames: the misleadingly-named vma_interval_tree_*() helpers to mapping_rmap_tree_*() to be consistent with the renamed anon_rmap_tree_*(). * Parameterises anon_rmap_tree_*() by anon_vma. * Moves mm/interval_tree.c to the rmap section. * Adds vmg_*() helpers for page offset. * Clarifies the confusing vmg_adjust_set_range() function. * Introduces linear_page_delta() to provide relative pgoff within a VMA. * Replaces open-coded versions of linear_page_delta() and linear_page_index() with invocations of these functions. * Introduces and uses vma_assert_can_modify() to account for whether a VMA can be modified (detached or write locked). * Adds and uses vma_[add,sub]_pgoff() to adjust VMA page offset. * Moves __install_special_mapping() to vma.c. * Makes vma_set_range() static and internal to vma.c. * Introduces and makes use of vma_set_pgoff(). * Fixes incorrect vma.h header inclusion. * Defaults VMA userland tests to 64-bit vma flags size. * Updates VMA userland tests to give better output on failure. * Various smaller cleanups. * Updated the vma_set_pgoff() assert to account for MAP_PRIVATE /dev/zero correctly. Signed-off-by: Lorenzo Stoakes <ljs@kernel.org> --- v2: * Rebased on mm-unstable. * Updated tags (thanks to everyone and b4 trailers -F -u! ;) * Updated 1/30 to include the vma_start_pgoff() helper in VMA userland tests, which was previously causing a bisection hazard on the VMA userland tests. * Updated 2/30 to reference the pfnmap vma->vm_pgoff PFN abomination as per David. * Updated 4/30 to include vma_end_pgoff() helper in VMA userland tests at the appropriate point. * Updated 8/30 from mapping_interval_tree_*() to mapping_rmap_tree_*() and add commit to rename anon_vma_interval-tree_*() to anon_rmap_tree_*() as per Pedro. * Fixed issue in 8/30 where the internal helpers were still called __vma_interval_tree_*() rather than __mapping_rmap_tree_*(). * Updated 9/30 to separate out the rename and change of parameter type for clarity as per Gregory. * Updated 17/30 to put perf_mmap_aux() variables in reverse Christmas tree order as per Pedro. * Updated 19/30 to remove incorrectly placed vma_start_pgoff() invocation as per Thomas/Gregory. * Updated 20/30, 21/30 to put the vma_assert_can_modify() VMA userland test stub in the right place as per Pedro. * Confined the vma_set_pgoff() assert to CONFIG_MMU, as the ever helpful nommu of course violates all assumptions in this regard. * Fixed issue in improved ASSERT_[TRUE, FALSE, EQ, NE] test runners with re-evaluation of input expressions. * Updated the vma_start_pgoff() comment further to discuss the MAP_PRIVATE /dev/zero edge case. * Update the vma_set_pgoff() assert to handle the mmap_region() newly established file mapping case. * Updated the linear_page_index() comment to explicitly defer to vma_start_pgoff() to avoid duplicate information and future bitrot. * Updated vma_shrink() to no longer accept the useless start parameter, as it is invoked from relocate_vma_down() only, which has already expanded the VMA to cover the range [new_start, old_end) thus always shrinks the tail. * Moved sanity checks from vma_set_pgoff() to new helper assert_sane_pgoff() and documented it clearly. * Fixed issue with nascent file-backed VMAs hitting vma_set_pgoff() assert by checking for vma_is_anonymous(). * Moved vma_set_anonymous() earlier so vma_set_pgoff() works with nascent anonymous VMAs. * Updated the VMA userland tests so CONFIG_MMU, CONFIG_PER_VMA_LOCK work with IS_ENABLED(). v1: https://patch.msgid.link/cover.1782735110.git.ljs@kernel.org To: Andrew Morton <akpm@linux-foundation.org> To: David Hildenbrand <david@kernel.org> To: "Liam R. Howlett" <liam@infradead.org> To: Vlastimil Babka <vbabka@kernel.org> To: Mike Rapoport <rppt@kernel.org> To: Suren Baghdasaryan <surenb@google.com> To: Michal Hocko <mhocko@suse.com> To: Rik van Riel <riel@surriel.com> To: Harry Yoo <harry@kernel.org> To: Jann Horn <jannh@google.com> To: Lance Yang <lance.yang@linux.dev> To: Pedro Falcato <pfalcato@suse.de> To: Russell King <linux@armlinux.org.uk> To: Dinh Nguyen <dinguyen@kernel.org> To: Simon Schuster <schuster.simon@siemens-energy.com> To: "James E.J. Bottomley" <James.Bottomley@HansenPartnership.com> To: Helge Deller <deller@gmx.de> To: Alexander Viro <viro@zeniv.linux.org.uk> To: Christian Brauner <brauner@kernel.org> To: Jan Kara <jack@suse.cz> To: Dan Williams <djbw@kernel.org> To: Matthew Wilcox <willy@infradead.org> To: Muchun Song <muchun.song@linux.dev> To: Oscar Salvador <osalvador@suse.de> To: Masami Hiramatsu <mhiramat@kernel.org> To: Oleg Nesterov <oleg@redhat.com> To: Peter Zijlstra <peterz@infradead.org> To: Ingo Molnar <mingo@redhat.com> To: Arnaldo Carvalho de Melo <acme@kernel.org> To: Namhyung Kim <namhyung@kernel.org> To: Mark Rutland <mark.rutland@arm.com> To: Alexander Shishkin <alexander.shishkin@linux.intel.com> To: Jiri Olsa <jolsa@kernel.org> To: Ian Rogers <irogers@google.com> To: Adrian Hunter <adrian.hunter@intel.com> To: James Clark <james.clark@linaro.org> To: Zi Yan <ziy@nvidia.com> To: Baolin Wang <baolin.wang@linux.alibaba.com> To: Nico Pache <npache@redhat.com> To: Ryan Roberts <ryan.roberts@arm.com> To: Dev Jain <dev.jain@arm.com> To: Barry Song <baohua@kernel.org> To: Miaohe Lin <linmiaohe@huawei.com> To: Naoya Horiguchi <nao.horiguchi@gmail.com> To: Xu Xin <xu.xin16@zte.com.cn> To: Chengming Zhou <chengming.zhou@linux.dev> To: SJ Park <sj@kernel.org> To: Matthew Brost <matthew.brost@intel.com> To: Joshua Hahn <joshua.hahnjy@gmail.com> To: Rakie Kim <rakie.kim@sk.com> To: Byungchul Park <byungchul@sk.com> To: Gregory Price <gourry@gourry.net> To: Ying Huang <ying.huang@linux.alibaba.com> To: Alistair Popple <apopple@nvidia.com> To: Hugh Dickins <hughd@google.com> To: Peter Xu <peterx@redhat.com> To: Kees Cook <kees@kernel.org> To: Marek Szyprowski <m.szyprowski@samsung.com> To: Robin Murphy <robin.murphy@arm.com> To: Andrey Konovalov <andreyknvl@gmail.com> To: Alexander Potapenko <glider@google.com> To: Dmitry Vyukov <dvyukov@google.com> To: Steven Rostedt <rostedt@goodmis.org> To: Mathieu Desnoyers <mathieu.desnoyers@efficios.com> To: Jarkko Sakkinen <jarkko@kernel.org> To: Dave Hansen <dave.hansen@linux.intel.com> To: Thomas Gleixner <tglx@kernel.org> To: Borislav Petkov <bp@alien8.de> To: x86@kernel.org To: "H. Peter Anvin" <hpa@zytor.com> To: Ian Abbott <abbotti@mev.co.uk> To: H Hartley Sweeten <hsweeten@visionengravers.com> To: Lucas Stach <l.stach@pengutronix.de> To: Christian Gmeiner <christian.gmeiner@gmail.com> To: David Airlie <airlied@gmail.com> To: Simona Vetter <simona@ffwll.ch> To: Patrik Jakobsson <patrik.r.jakobsson@gmail.com> To: Maarten Lankhorst <maarten.lankhorst@linux.intel.com> To: Maxime Ripard <mripard@kernel.org> To: Thomas Zimmermann <tzimmermann@suse.de> To: Rob Clark <robin.clark@oss.qualcomm.com> To: Dmitry Baryshkov <lumag@kernel.org> To: Abhinav Kumar <abhinav.kumar@linux.dev> To: Jessica Zhang <jesszhan0024@gmail.com> To: Sean Paul <sean@poorly.run> To: Marijn Suijten <marijn.suijten@somainline.org> To: Tomi Valkeinen <tomi.valkeinen@ideasonboard.com> To: Thierry Reding <thierry.reding@kernel.org> To: Mikko Perttunen <mperttunen@nvidia.com> To: Jonathan Hunter <jonathanh@nvidia.com> To: Christian Koenig <christian.koenig@amd.com> To: Huang Rui <ray.huang@amd.com> To: Matthew Auld <matthew.auld@intel.com> To: Jason Gunthorpe <jgg@ziepe.ca> To: Yishai Hadas <yishaih@nvidia.com> To: Shameer Kolothum <skolothumtho@nvidia.com> To: Kevin Tian <kevin.tian@intel.com> To: Ankit Agrawal <ankita@nvidia.com> To: Alex Williamson <alex@shazbot.org> To: Paolo Bonzini <pbonzini@redhat.com> To: Shakeel Butt <shakeel.butt@linux.dev> To: Usama Arif <redacted> Cc: ljs@kernel.org Cc: linux-mm@kvack.org Cc: linux-kernel@vger.kernel.org Cc: linux-arm-kernel@lists.infradead.org Cc: linux-parisc@vger.kernel.org Cc: linux-fsdevel@vger.kernel.org Cc: nvdimm@lists.linux.dev Cc: linux-perf-users@vger.kernel.org Cc: linux-trace-kernel@vger.kernel.org Cc: damon@lists.linux.dev Cc: iommu@lists.linux.dev Cc: kasan-dev@googlegroups.com Cc: linux-sgx@vger.kernel.org Cc: etnaviv@lists.freedesktop.org Cc: dri-devel@lists.freedesktop.org Cc: linux-arm-msm@vger.kernel.org Cc: freedreno@lists.freedesktop.org Cc: linux-tegra@vger.kernel.org Cc: kvm@vger.kernel.org Cc: Russell King <linux+etnaviv@armlinux.org.uk> --- Lorenzo Stoakes (33): mm: move vma_start_pgoff() into mm.h and clean up mm: add kdoc comments for vma_start/last_pgoff() tools/testing/vma: use vma_start_pgoff() in merge tests mm: introduce and use vma_end_pgoff() mm/rmap: update mm/interval_tree.c comments mm/rmap: parameterise vma_interval_tree_*() by address_space mm/rmap: elide unnecessary static inline's in interval_tree.c mm/rmap: rename vma_interval_tree_*() to mapping_rmap_tree_*() mm/rmap: parameterise anon_vma_interval_tree_*() by anon_vma mm/rmap: rename anon_vma_interval_tree_*() params and use pgoff_t mm/rmap: rename anon_vma_interval_tree_*() to anon_rmap_tree_*() MAINTAINERS: Move mm/interval_tree.c to rmap section mm/vma: introduce and use vmg_pages(), vmg_[start, end]_pgoff() mm/vma: clean up anon_vma_compatible() mm/vma: refactor vmg_adjust_set_range() for clarity mm/vma: minor cleanup of expand_[upwards, downwards]() mm: introduce and use linear_page_delta() mm/vma: use vma_start_pgoff(), linear_page_index() in mm code mm: prefer vma_[start,end]_pgoff() to vma->vm_pgoff in kernel/ mm/vma: remove duplicative vma_pgoff_offset() helper mm: use linear_page_[index, delta]() consistently mm/vma: introduce vma_assert_can_modify() mm/vma: add and use vma_[add/sub]_pgoff() mm/vma: move __install_special_mapping() to vma.c mm/vma: make vma_set_range() static, drop insert_vm_struct() decl mm/vma: update vma_shrink() to not pass start, pgoff parameters mm/vma: update vmg_adjust_set_range() to offset pgoff instead mm/vma: slightly rework the anonymous check in __mmap_new_vma() mm/vma: introduce and use vma_set_pgoff() mm/vma: correct incorrect vma.h inclusion mm/vma: use guard clauses in can_vma_merge_[before, after]() tools/testing/vma: default VMA, mm flag bits to 64-bit tools/testing/vma: output compared expression on ASSERT_[EQ, NE]() MAINTAINERS | 2 +- arch/arm/mm/fault-armv.c | 4 +- arch/arm/mm/flush.c | 2 +- arch/nios2/mm/cacheflush.c | 2 +- arch/parisc/kernel/cache.c | 2 +- arch/x86/kernel/cpu/sgx/virt.c | 3 +- drivers/gpu/drm/etnaviv/etnaviv_gem.c | 3 +- drivers/gpu/drm/gma500/gem.c | 2 +- drivers/gpu/drm/msm/msm_gem.c | 3 +- drivers/gpu/drm/omapdrm/omap_gem.c | 5 +- drivers/gpu/drm/tegra/gem.c | 3 +- drivers/gpu/drm/ttm/ttm_bo_vm.c | 7 +- drivers/vfio/pci/nvgrace-gpu/main.c | 3 +- drivers/vfio/pci/vfio_pci_core.c | 3 +- fs/dax.c | 2 +- fs/hugetlbfs/inode.c | 15 +- include/linux/huge_mm.h | 1 + include/linux/hugetlb.h | 3 +- include/linux/mm.h | 118 ++++++++++---- include/linux/mmap_lock.h | 8 + include/linux/pagemap.h | 35 +++- kernel/dma/coherent.c | 7 +- kernel/dma/direct.c | 6 +- kernel/dma/mapping.c | 8 +- kernel/dma/ops_helpers.c | 4 +- kernel/events/core.c | 20 +-- kernel/events/uprobes.c | 13 +- kernel/kcov.c | 2 +- kernel/trace/ring_buffer.c | 3 +- mm/damon/vaddr.c | 5 +- mm/debug.c | 2 +- mm/filemap.c | 7 +- mm/huge_memory.c | 2 +- mm/hugetlb.c | 15 +- mm/internal.h | 33 ++-- mm/interval_tree.c | 111 ++++++++----- mm/khugepaged.c | 7 +- mm/ksm.c | 7 +- mm/madvise.c | 6 +- mm/mapping_dirty_helpers.c | 2 +- mm/memory-failure.c | 10 +- mm/memory.c | 33 ++-- mm/mempolicy.c | 13 +- mm/mmap.c | 41 +---- mm/mmu_notifier.c | 2 +- mm/mremap.c | 12 +- mm/msync.c | 4 +- mm/nommu.c | 22 +-- mm/pagewalk.c | 4 +- mm/rmap.c | 14 +- mm/shmem.c | 9 +- mm/userfaultfd.c | 4 +- mm/util.c | 4 +- mm/vma.c | 293 ++++++++++++++++++++++------------ mm/vma.h | 80 ++++++++-- mm/vma_exec.c | 12 +- mm/vma_init.c | 6 +- mm/vma_internal.h | 4 +- tools/testing/vma/Makefile | 2 +- tools/testing/vma/include/dup.h | 41 ++++- tools/testing/vma/include/stubs.h | 16 +- tools/testing/vma/shared.c | 9 -- tools/testing/vma/shared.h | 43 +++-- tools/testing/vma/tests/merge.c | 40 ++--- tools/testing/vma/vma_internal.h | 4 +- virt/kvm/guest_memfd.c | 2 +- 66 files changed, 751 insertions(+), 459 deletions(-) --- base-commit: 4a6c88e10a0791d9c3b0677ce984365815c2ab4f change-id: 20260710-b4-pre-scalable-cow-24309015dee4 Cheers, -- Lorenzo Stoakes [off-list ref]