summaryrefslogtreecommitdiff
path: root/tools/testing/vma
diff options
context:
space:
mode:
authorTianyi Chen <hi@tychen.cc>2026-09-08 17:55:15 +0800
committerAndrew Morton <akpm@linux-foundation.org>2026-09-13 21:32:40 -0700
commit1f76e8cdb52030e734679d135b3d717dac7dd2a8 (patch)
tree12770e9a9ea3d34d22505a394892d7a2b58da347 /tools/testing/vma
parent27573d223641f3ab35bdf2f09a93550c595d0a7e (diff)
downloadlinux-next-1f76e8cdb52030e734679d135b3d717dac7dd2a8.tar.gz
linux-next-1f76e8cdb52030e734679d135b3d717dac7dd2a8.zip
tools/testing/vma: cover hole filling through __mmap_region()
The mmap tests extend existing mappings one neighbor at a time, while merge tests construct merge state directly. Neither exercises filling a hole between compatible mappings through the mmap setup and completion path. Fill a gap through __mmap_region() and require both neighbors to merge into one VMA. Repeat with only the new mapping's execute permission set and require three separate VMAs. Check boundaries, permissions, page offsets, map_count and cleanup. Link: https://lore.kernel.org/178886112560.138404.17741948638665342936.vma-v2@tychen.cc Signed-off-by: Tianyi Chen <hi@tychen.cc> Signed-off-by: Andrew Morton <akpm@linux-foundation.org> Reviewed-by: Lorenzo Stoakes (ARM) <ljs@kernel.org> Cc: Jann Horn <jannh@google.com> Cc: Liam R. Howlett <liam@infradead.org> Cc: Pedro Falcato <pfalcato@suse.de> Cc: Vlastimil Babka <vbabka@kernel.org> Assisted-by: Codex:GPT-6
Diffstat (limited to 'tools/testing/vma')
-rw-r--r--tools/testing/vma/tests/mmap.c68
1 files changed, 68 insertions, 0 deletions
diff --git a/tools/testing/vma/tests/mmap.c b/tools/testing/vma/tests/mmap.c
index fa73faff2262..53e4abe6a63e 100644
--- a/tools/testing/vma/tests/mmap.c
+++ b/tools/testing/vma/tests/mmap.c
@@ -45,6 +45,72 @@ static bool test_mmap_region_basic(void)
return true;
}
+static bool mmap_region_fill_hole(bool merge)
+{
+ const vma_flags_t vma_flags = mk_vma_flags(VMA_READ_BIT, VMA_WRITE_BIT,
+ VMA_MAYREAD_BIT, VMA_MAYWRITE_BIT, VMA_MAYEXEC_BIT);
+ vma_flags_t middle_flags = vma_flags;
+ struct mm_struct mm = {};
+ struct vm_area_struct *vma;
+ unsigned long addr;
+ int count = 0;
+ VMA_ITERATOR(vmi, &mm, 0);
+
+ current->mm = &mm;
+ if (!merge)
+ vma_flags_set(&middle_flags, VMA_EXEC_BIT);
+
+ /* Map at 0x300000, length 0x3000. */
+ addr = __mmap_region(NULL, 0x300000, 0x3000, vma_flags, 0x300, NULL);
+ ASSERT_EQ(addr, 0x300000);
+
+ /* Map at 0x306000, length 0x3000, leaving a hole. */
+ addr = __mmap_region(NULL, 0x306000, 0x3000, vma_flags, 0x306, NULL);
+ ASSERT_EQ(addr, 0x306000);
+ ASSERT_EQ(mm.map_count, 2);
+
+ /* Map at 0x303000, length 0x3000, filling the hole. */
+ addr = __mmap_region(NULL, 0x303000, 0x3000, middle_flags, 0x303, NULL);
+ ASSERT_EQ(addr, 0x303000);
+ ASSERT_EQ(mm.map_count, merge ? 1 : 3);
+
+ vma_iter_set(&vmi, 0);
+ for_each_vma(vmi, vma) {
+ const unsigned long start = 0x300000 + count * 0x3000;
+ const unsigned long end = merge ? 0x309000 : start + 0x3000;
+ /* Only the middle VMA in the non-merge case has VMA_EXEC. */
+ const bool is_middle_vma = count == 1;
+ const bool expect_exec_vma = is_middle_vma && !merge;
+
+ ASSERT_EQ(vma->vm_start, start);
+ ASSERT_EQ(vma->vm_end, end);
+ ASSERT_EQ(vma_start_pgoff(vma), start >> PAGE_SHIFT);
+ ASSERT_EQ(vma_start_anon_pgoff(vma), start >> PAGE_SHIFT);
+
+ ASSERT_TRUE(vma_test_all(vma, VMA_READ_BIT, VMA_WRITE_BIT,
+ VMA_MAYREAD_BIT, VMA_MAYWRITE_BIT,
+ VMA_MAYEXEC_BIT));
+ ASSERT_EQ(vma_test(vma, VMA_EXEC_BIT), expect_exec_vma);
+
+ count++;
+ }
+
+ ASSERT_EQ(count, mm.map_count);
+
+ ASSERT_EQ(cleanup_mm(&mm, &vmi), count);
+ return true;
+}
+
+static bool test_mmap_region_fill_hole_merge(void)
+{
+ return mmap_region_fill_hole(true);
+}
+
+static bool test_mmap_region_fill_hole_flags_mismatch(void)
+{
+ return mmap_region_fill_hole(false);
+}
+
static bool test_pure_anon_dev_zero(void)
{
const vma_flags_t vma_flags = mk_vma_flags(VMA_READ_BIT, VMA_WRITE_BIT,
@@ -84,5 +150,7 @@ static bool test_pure_anon_dev_zero(void)
static void run_mmap_tests(int *num_tests, int *num_fail)
{
TEST(mmap_region_basic);
+ TEST(mmap_region_fill_hole_merge);
+ TEST(mmap_region_fill_hole_flags_mismatch);
TEST(pure_anon_dev_zero);
}