summaryrefslogtreecommitdiff
path: root/na/test/test_vma.cc
diff options
context:
space:
mode:
authorRichard Qin <richard.qin.x@gmail.com>2026-04-21 23:23:49 +0800
committerRichard Qin <richard.qin.x@gmail.com>2026-04-21 23:23:49 +0800
commit51899557c770b3dc9bd02579abf491745e607d92 (patch)
tree9681432a6db30a29f47aa1b21bbad777dfadd6c9 /na/test/test_vma.cc
parentab2c0a8ea472679c846e74ca40823091becc5bf0 (diff)
downloadlume-51899557c770b3dc9bd02579abf491745e607d92.tar.gz
lume-51899557c770b3dc9bd02579abf491745e607d92.tar.xz
feat: add boot self-tests for various kernel components
- Implemented a self-test runner in `selftest.cc` to invoke all test suites. - Added tests for atomic operations in `test_atomic.cc`, covering construction, store/load, exchange, arithmetic, and compare-and-swap. - Created tests for the Flattened Device Tree (FDT) in `test_fdt.cc`, verifying node access and compatibility queries. - Developed a comprehensive Physical Memory Manager (PMM) test suite in `test_pmm.cc`, including allocation, deallocation, reference counting, and boundary conditions. - Implemented Red-Black Tree tests in `test_rbtree.cc`, validating insertion, deletion, and iteration. - Added Slab Allocator tests in `test_slab.cc`, covering various allocation sizes, edge cases, and operator overloads. - Created Spinlock tests in `test_spinlock.cc`, ensuring proper locking behavior and interrupt state preservation. - Developed Virtual Memory Area (VMA) tests in `test_vma.cc`, validating region mapping, unmapping, and fault handling. - Added tests for Virtual Memory Management (VMM) in `test_vmm.cc`, verifying address translation and page alignment.
Diffstat (limited to 'na/test/test_vma.cc')
-rw-r--r--na/test/test_vma.cc158
1 files changed, 158 insertions, 0 deletions
diff --git a/na/test/test_vma.cc b/na/test/test_vma.cc
new file mode 100644
index 0000000..d47fbd0
--- /dev/null
+++ b/na/test/test_vma.cc
@@ -0,0 +1,158 @@
+/* SPDX-License-Identifier: GPL-2.0-or-later */
+/* Copyright (C) 2026 Richard Qin */
+
+#include <lume/selftest.h>
+#include <lume/vmm.h>
+#include <lume/addr.h>
+#include <lume/errno.h>
+#include <arch/pmap.h>
+
+void selftest_vma() {
+ st_begin("vma: create and destroy VmSpace");
+ {
+ VmSpace* space = VmSpace::create();
+ ST_ASSERT(space != nullptr);
+ ST_ASSERT(space->root_pa != 0);
+
+ // Add a few regions to ensure destruction works
+ vmm_map_user(space, 0x1000, 0x1000, VM_READ);
+ vmm_map_user(space, 0x3000, 0x1000, VM_READ | VM_WRITE);
+
+ space->destroy();
+ }
+ st_pass();
+
+ st_begin("vma: map user region and handle demand paging");
+ {
+ VmSpace* space = VmSpace::create();
+
+ // Map 8KB (2 pages) at 0x400000 using MI-layer flags
+ int ret = vmm_map_user(space, 0x400000, 0x2000, VM_READ | VM_WRITE);
+ ST_ASSERT_EQ(ret, 0);
+
+ // Fault in the first page
+ ret = vmm_handle_page_fault(space, 0x400500, 0);
+ ST_ASSERT_EQ(ret, 0);
+
+ // Verify mapping in hardware page table
+ uint64 pa = 0;
+ bool mapped = pmap::lookup(space->root_pa, 0x400000, &pa);
+ ST_ASSERT(mapped);
+ ST_ASSERT_NE(pa, 0ULL);
+
+ // Fault in the second page
+ ret = vmm_handle_page_fault(space, 0x401FFF, 0);
+ ST_ASSERT_EQ(ret, 0);
+
+ // Should reject fault outside VMA with -EFAULT
+ ret = vmm_handle_page_fault(space, 0x402000, 0);
+ ST_ASSERT_EQ(ret, -EFAULT);
+
+ space->destroy();
+ }
+ st_pass();
+
+ st_begin("vma: unmap user region prevents page fault");
+ {
+ VmSpace* space = VmSpace::create();
+ vmm_map_user(space, 0x10000, 0x2000, VM_READ);
+
+ // Inside the region — should succeed
+ ST_ASSERT_EQ(vmm_handle_page_fault(space, 0x10500, 0), 0);
+
+ // Unmap exactly
+ vmm_unmap_user(space, 0x10000, 0x2000);
+
+ // Should fail now with -EFAULT
+ ST_ASSERT_EQ(vmm_handle_page_fault(space, 0x10500, 0), -EFAULT);
+
+ space->destroy();
+ }
+ st_pass();
+
+ st_begin("vma: duplicate page fault on same page returns 0");
+ {
+ VmSpace* space = VmSpace::create();
+ vmm_map_user(space, 0x200000, 0x1000, VM_READ | VM_WRITE);
+
+ // First fault allocates the physical frame
+ int ret = vmm_handle_page_fault(space, 0x200000, 0);
+ ST_ASSERT_EQ(ret, 0);
+
+ // Second fault on the same page should hit "already mapped" path
+ ret = vmm_handle_page_fault(space, 0x200100, 0);
+ ST_ASSERT_EQ(ret, 0);
+
+ // Verify both land on the same physical frame
+ uint64 pa1 = 0, pa2 = 0;
+ pmap::lookup(space->root_pa, 0x200000, &pa1);
+ pmap::lookup(space->root_pa, 0x200100, &pa2);
+ // Same page, so PA for both addresses should be the same base page
+ ST_ASSERT_EQ(pa1, pa2);
+
+ space->destroy();
+ }
+ st_pass();
+
+ st_begin("vma: vm_perm_to_pte flag translation correctness");
+ {
+ // Test each MI flag maps to correct hardware PTE bit
+ uint64 pte_r = pmap::vm_perm_to_pte(VM_READ);
+ ST_ASSERT(pte_r & pmap::PTE_R);
+ ST_ASSERT(!(pte_r & pmap::PTE_W));
+ ST_ASSERT(!(pte_r & pmap::PTE_X));
+ ST_ASSERT(!(pte_r & pmap::PTE_U));
+
+ uint64 pte_rw = pmap::vm_perm_to_pte(VM_READ | VM_WRITE);
+ ST_ASSERT(pte_rw & pmap::PTE_R);
+ ST_ASSERT(pte_rw & pmap::PTE_W);
+
+ uint64 pte_rx = pmap::vm_perm_to_pte(VM_READ | VM_EXEC);
+ ST_ASSERT(pte_rx & pmap::PTE_R);
+ ST_ASSERT(pte_rx & pmap::PTE_X);
+ ST_ASSERT(!(pte_rx & pmap::PTE_W));
+
+ uint64 pte_u = pmap::vm_perm_to_pte(VM_READ | VM_USER);
+ ST_ASSERT(pte_u & pmap::PTE_R);
+ ST_ASSERT(pte_u & pmap::PTE_U);
+
+ // All combined
+ uint64 pte_all = pmap::vm_perm_to_pte(VM_READ | VM_WRITE | VM_EXEC | VM_USER);
+ ST_ASSERT(pte_all & pmap::PTE_R);
+ ST_ASSERT(pte_all & pmap::PTE_W);
+ ST_ASSERT(pte_all & pmap::PTE_X);
+ ST_ASSERT(pte_all & pmap::PTE_U);
+ ST_ASSERT(pte_all & pmap::PTE_V); // Always valid
+ }
+ st_pass();
+
+ st_begin("vma: unmap subset only removes contained VMAs");
+ {
+ VmSpace* space = VmSpace::create();
+ // Map three separate regions
+ vmm_map_user(space, 0x50000, 0x1000, VM_READ);
+ vmm_map_user(space, 0x60000, 0x1000, VM_READ);
+ vmm_map_user(space, 0x70000, 0x1000, VM_READ);
+
+ // Unmap only the middle one (range covers 0x60000-0x61000)
+ vmm_unmap_user(space, 0x60000, 0x1000);
+
+ // First and third should still be reachable
+ ST_ASSERT_EQ(vmm_handle_page_fault(space, 0x50000, 0), 0);
+ ST_ASSERT_EQ(vmm_handle_page_fault(space, 0x70000, 0), 0);
+
+ // Middle should fail
+ ST_ASSERT_EQ(vmm_handle_page_fault(space, 0x60000, 0), -EFAULT);
+
+ space->destroy();
+ }
+ st_pass();
+
+ st_begin("vma: null space returns -EINVAL");
+ {
+ ST_ASSERT_EQ(vmm_map_user(nullptr, 0x1000, 0x1000, VM_READ), -EINVAL);
+ ST_ASSERT_EQ(vmm_unmap_user(nullptr, 0x1000, 0x1000), -EINVAL);
+ ST_ASSERT_EQ(vmm_handle_page_fault(nullptr, 0x1000, 0), -EINVAL);
+ }
+ st_pass();
+}