拓冰网站定制 
简介本资源是《从头写一个RISC-V操作系统》课程的完整配套实践包面向操作系统原理学习者、嵌入式与体系结构方向学生及RISC-V开发者旨在通过真实代码工程打通理论与动手能力断层。压缩包共282个文件涵盖86个C源码内核、内存管理、进程调度等核心模块、60个汇编文件RISC-V特权级与异常处理、43个Makefile构建系统配置、42个头文件接口定义及25份PDF文档实验指导、设计说明与RISC-V规范摘要整体大小29.04MB。已有184人下载学习资源结构清晰以riscv-operating-system-mooc-main为根目录集成QEMU模拟环境配置、RISC-V交叉工具链脚本、gdbinit调试模板及多阶段测试用例支持从零构建可启动的简易OS镜像并覆盖上下文切换、中断响应、页表管理等关键机制实现细节。1. 这不是“写个Hello World”而是用 page.c 撕开操作系统内核的内存管理层你打开这个.zip文件第一眼看到的不是main.c或kernel.elf而是十次重复的page.c——不是文件名打错了是课程设计者刻意为之所有内存管理逻辑就压在这一个 C 文件里。它不封装、不抽象、不跳转直接暴露页表构建、地址映射、TLB 刷新、缺页异常处理的全部细节。这不是教你怎么调用malloc()而是让你亲手把虚拟地址0xffffffe000010000映射到物理帧0x80000000再让 CPU 的 MMU 真正走一遍 translation walk。RISC-V 的 Sv39 分页机制在这里没有文档里的优雅图示只有satp寄存器写入、pte_t结构体位域操作、三级页表逐级查表的硬编码循环。适合两类人一类是刚啃完《现代操作系统》却对“页表项怎么填”始终模糊的中级开发者另一类是想绕过 Linux 内核源码复杂度从零验证 TLB shootdown 时序问题的嵌入式系统工程师。它不提供图形界面但能让你在 QEMU 里用info mem命令亲眼看到自己构造的页表被 MMU 加载生效。2. RISC-V Sv39 页表结构与 page.c 的三重映射实现2.1 为什么必须用 Sv39RISC-V 页表层级与硬件约束的硬绑定RISC-V 的虚拟内存支持由satp寄存器控制其MODE字段决定页表格式。Sv39Supervisor-mode Virtual Memory with 39-bit virtual address是当前课程默认模式对应 3 级页表PGD → PUD → PMD → PTE每级 512 项每项 8 字节。关键约束在于所有页表基址必须 4KB 对齐且仅低 44 位有效。这意味着satp的PPN字段只能存物理页号Physical Page Number而非完整物理地址。page.c中pgd_alloc()函数第一行memalign(4096, 4096)不是风格选择而是硬件强制要求——若页表未对齐CPU 在sfence.vma后执行csrw satp, a0会直接触发非法指令异常。提示page.c中所有alloc_page()返回的地址都经过PAGE_MASK对齐但map_kernel_page()传入的phys参数必须已确保是 4KB 对齐的物理帧号PFN否则pte_val (phys 12) 10会导致高位截断。2.1.1 Sv39 页表项PTE位域解析与 page.c 的位操作惯例RISC-V PTE 是 64 位结构page.c用联合体union pte_t封装位域访问typedef union { uint64_t val; struct { uint64_t ppn: 44; // Physical Page Number (bits 53:10) uint64_t rsw: 2; // Reserved for Software (bits 9:8) uint64_t d: 1; // Dirty bit (bit 7) uint64_t a: 1; // Accessed bit (bit 6) uint64_t g: 1; // Global bit (bit 5) uint64_t u: 1; // User mode access (bit 4) uint64_t x: 1; // Execute (bit 3) uint64_t w: 1; // Write (bit 2) uint64_t r: 1; // Read (bit 1) uint64_t v: 1; // Valid (bit 0) }; } pte_t;注意ppn占 44 位但实际只使用低 32 位因当前模拟环境物理内存 ≤ 4GB。page.c中set_pte_flags()函数将PROT_READ | PROT_WRITE | PROT_EXEC转为r1,w1,x1,v1而PROT_USER则额外置u1。关键区别在于Linux 内核用宏__S1_PTE统一生成 flags而本课程直接硬编码位操作便于调试时单步观察寄存器变化。2.2 page.c 的核心函数链从 alloc_page 到 map_range 的完整路径page.c的内存映射不是一次性完成而是分四层调用alloc_page()从mem_layout描述的空闲物理内存池中分配一个 4KB 帧返回物理地址pgd_alloc()/pud_alloc()/pmd_alloc()为各级页表分配物理页并初始化为全零无效项set_pte()将目标物理帧号写入指定 PTE同时设置r/w/x/v标志map_range()对虚拟地址区间[va_start, va_end)执行逐页映射内部调用walk_pgtable()获取各级页表指针。// 示例将内核代码段 [0xffffffff80000000, 0xffffffff80200000) 映射为 RWX void setup_kernel_mappings() { uintptr_t va_start KERNEL_VIRT_BASE; // 0xffffffe000000000 uintptr_t va_end va_start KERNEL_SIZE; // 0xffffffe000200000 uintptr_t pa_start KERNEL_PHYS_BASE; // 0x80000000 map_range(va_start, va_end, pa_start, PAGE_KERNEL_RWX); }map_range()内部关键逻辑计算va_start对应的 PGD/PUD/PMD 索引pgd_idx (va PGDIR_SHIFT) 0x1ff调用walk_pgtable()获取三级页表指针若某级页表为空则调用xxx_alloc()分配对每个 4KB 虚拟页计算pte_idx (va PAGE_SHIFT) 0x1ff调用set_pte()写入注意walk_pgtable()返回的是pte_t*但set_pte()接收pte_t*和phys_addr。phys_addr必须右移 12 位得到 PPN再左移 10 位对齐到 PTE 的ppn字段位置——这是 Sv39 规范要求page.c中pte_val (phys 12) 10 | flags是不可简化的硬规则。2.3 缺页异常处理trap_entry.S 如何联动 page.c 完成 on-demand mapping当 CPU 访问未映射的虚拟地址时触发stvec指向的trap_entry.S最终跳转到handle_page_fault()。该函数从scause寄存器读取异常码0x000000000000000d表示 load page fault从sepc获取出错指令地址从stval获取触发异常的虚拟地址va。page.c中do_page_fault()的核心逻辑检查va是否在用户空间va USER_END或内核空间va KERNEL_VIRT_BASE若为内核空间缺页直接panic(Kernel page fault at %p)若为用户空间调用alloc_page()分配物理页再调用map_user_page()建立映射最后执行sfence.vma刷新 TLB并sret返回// do_page_fault() 关键片段 if (va USER_END) { struct page *page alloc_page(); if (!page) return -ENOMEM; map_user_page(current-mm, va, page_to_phys(page), PAGE_USER_RW); sfence_vma_all(); // 刷新整个 TLB非单条目 return 0; }map_user_page()与map_range()的区别在于它只映射单页且使用current-mm的页表根pgd而非全局内核页表。这体现了课程对进程隔离的初步实现——每个进程有独立的mm_structpage.c中mm_init()初始化其pgd。3. QEMU GDB 调试实战观测 page.c 中页表构建与 TLB 刷新效果3.1 构建可调试环境编译参数与 QEMU 启动命令的关键配置课程资源中的Makefile默认使用riscv64-unknown-elf-gcc但要启用调试需确保-g生成 DWARF 调试信息-O0禁用优化避免变量被优化掉-fno-omit-frame-pointer保留帧指针GDB 可正确回溯栈QEMU 启动命令必须包含qemu-system-riscv64 \ -machine virt \ -cpu rv64gc,zicsr,zifencei \ -bios none \ -kernel kernel.elf \ -m 2G \ -s -S \ # -s 开启 GDB server端口1234-S 暂停等待连接 -serial mon:stdio \ -display none-cpu rv64gc,zicsr,zifencei显式启用zicsrCSR 指令和zifencei指令缓存同步否则csrw satp, a0和sfence.vma会报错。3.1.1 GDB 连接与页表内存观测从 satp 到 PTE 的逐级验证启动 QEMU 后在另一终端运行riscv64-unknown-elf-gdb kernel.elf (gdb) target remote :1234 (gdb) b setup_kernel_mappings (gdb) c断点命中后执行(gdb) info registers satp satp 0x8000000000000000 576460752303423488 # 解析MODE8(Sv39), ASID0, PPN0x8000000000000000 12 0x80000000000000 (gdb) x/16gx 0x8000000000000000 0x8000000000000000: 0x0000000080000001 0x0000000000000000 ... # 第一项有效PPN0x8000000000000000120x80000000000000指向 PUD 表 (gdb) x/16gx 0x8000000000000000 0x8000000000000000: 0x0000000080000001 0x0000000000000000 ... # PUD 表首项指向 PMD 表依此类推提示x/16gx查看 16 个 8 字节值。Sv39 页表项的v1位在最低位0x...0001表示有效0x...0003表示r1,w1,v1。若看到0x0000000000000000说明该 PTE 未设置访问对应虚拟地址必触发缺页。3.2 触发并调试缺页异常从 stval 到 alloc_page 的完整链路在user/test-fault.c中插入int *p (int*)0xdeadbeef; *p 42; // 触发 user page faultGDB 中(gdb) b handle_page_fault (gdb) c # 断点命中后 (gdb) info registers scause stval sepc scause 0x000000000000000d 13 stval 0x00000000deadbeef 2567007983 sepc 0xffffffff80001234 18446744071612912180 # scause13 表示 load page faultstval0xdeadbeef 是出错地址 (gdb) p/x $stval $1 0xdeadbeef (gdb) stepi # 单步进入 do_page_fault()此时可检查current-mm-pgd是否已初始化alloc_page()返回的物理地址是否在mem_layout.phys_start范围内。若alloc_page()返回NULL说明物理内存耗尽——这正是课程设计的调试入口你需要修改mem_layout或增加MEM_SIZE。3.2.1 TLB 刷新验证sfence.vma 后的地址转换行为变化在do_page_fault()中sfence.vma后添加断点(gdb) b *do_page_fault120 # 假设 sfence.vma 在偏移 120 处 (gdb) c (gdb) info registers tlb # QEMU 不直接暴露 TLB 寄存器但可通过再次访问同一地址验证 (gdb) c # 若不再触发 page fault则 TLB 刷新成功更可靠的方法是在sfence.vma后立即读取stval地址观察是否成功(gdb) p *(int*)0xdeadbeef # 若返回 42说明映射生效若仍报错检查 set_pte() 是否写入了正确的 PTE4. 内存保护边界与 page.c 的安全加固实践4.1 用户/内核空间隔离PAGE_KERNEL_RO 与 PAGE_USER_RW 的权限位组合page.c中PAGE_KERNEL_RO定义为PTE_R | PTE_VPAGE_USER_RW为PTE_R | PTE_W | PTE_U | PTE_V。关键差异在PTE_UUser mode access位内核页表项若未置u0用户态代码可直接访问内核内存。课程中map_kernel_page()显式清除u位static inline void set_pte(pte_t *ptep, phys_addr_t phys, int prot) { pte_t pte; pte.val 0; pte.ppn phys 12; pte.r (prot PTE_R) ? 1 : 0; pte.w (prot PTE_W) ? 1 : 0; pte.x (prot PTE_X) ? 1 : 0; pte.u (prot PTE_U) ? 1 : 0; // 用户页设 u1内核页 u0 pte.v 1; *ptep pte; }验证方法在用户程序中尝试mmap(0xffffffe000000000, 4096, ...)应返回MAP_FAILED并设置errnoENOMEM因内核空间未标记u1sys_mmap()拒绝映射。4.1.1 内存布局硬编码风险mem_layout 结构体的可移植性陷阱page.c依赖全局struct mem_layout mem_layout { .phys_start 0x80000000, .phys_end 0x88000000 };。此值来自 QEMUvirt机器的默认 DRAM 配置-m 2G对应0x80000000~0x88000000。若更换为spike模拟器或真实硬件phys_start必须同步修改否则alloc_page()返回的地址超出物理内存范围memcpy()会静默失败。解决方案在init.c中动态探测内存// 读取 device tree 中 /memory80000000/reg 属性 void detect_memory(void) { const void *fdt get_fdt(); int node fdt_path_offset(fdt, /memory); const uint32_t *reg fdt_getprop(fdt, node, reg, NULL); mem_layout.phys_start fdt32_to_cpu(reg[0]); mem_layout.phys_end mem_layout.phys_start fdt32_to_cpu(reg[1]); }课程资源未实现此功能但page.c中alloc_page()的assert(phys mem_layout.phys_end)是唯一防线——生产环境必须替换为动态探测否则跨平台即失效。4.2 防止页表溢出PGD/PUD/PMD 分配的递归深度控制walk_pgtable()在查找三级页表时若某级页表为空会递归调用xxx_alloc()。但page.c未限制递归深度若va超出 Sv39 范围如0x1000000000000000walk_pgtable()可能无限分配页表页直至内存耗尽。加固方案在walk_pgtable()开头添加范围检查if (va (1UL 39)) { panic(Invalid virtual address %p for Sv39, va); }同时map_range()应对va_end - va_start做页数上限检查size_t npages (va_end - va_start) PAGE_SHIFT; if (npages MAX_PAGES_PER_MAP) { // MAX_PAGES_PER_MAP 1024 panic(Too many pages in map_range: %zu, npages); }注意MAX_PAGES_PER_MAP不是随意设定。每个 PTE 占 8 字节1024 页需 8KB 页表空间而alloc_page()分配的单页仅 4KB——因此map_range()必须保证单次调用不跨页表页边界否则需在循环中检查pte_t*是否越界。4.3 实战技巧用 QEMU 的 memdump 功能导出页表二进制进行离线分析当 GDB 无法清晰显示多级页表时可利用 QEMU 的内存导出功能# 在 QEMU 运行时已连接 GDB (gdb) monitor dump-memory pgd.bin 0x8000000000000000 0x1000 # 导出 PGD 表前 4KB然后用 Python 解析import struct with open(pgd.bin, rb) as f: data f.read() for i in range(0, len(data), 8): pte struct.unpack(Q, data[i:i8])[0] if pte 1: # v bit set ppn (pte 10) 0x000ffffffffffc00 print(fPGD[{i//8}] - PPN0x{ppn:x} (valid))此方法可批量验证map_range()是否按预期填充了所有 PTE比手动x/16gx更高效。课程配套的tools/parse-pgtbl.py脚本即基于此原理但需自行编译qemu-system-riscv64启用monitor支持。5. 页表调试的终极验证用 QEMU 的 -d mmu 参数打印每次地址转换日志QEMU 提供-d mmu参数可输出每次 MMU 地址转换的详细过程这是验证page.c页表逻辑是否符合 Sv39 规范的黄金标准。启动命令追加qemu-system-riscv64 ... -d mmu,page 2 mmu.log日志中关键字段load/store访问类型va0xffffffe000010000虚拟地址pa0x0000000080010000转换后的物理地址level3查表层级0PGD, 1PUD, 2PMD, 3PTEpte0x0000000080010003最终 PTE 值例如一行典型日志MMU: load va0xffffffe000010000 pa0x0000000080010000 level3 pte0x0000000080010003表示CPU 加载指令访问0xffffffe000010000MMU 查表后得到pa0x80010000该 PTE 值为0x80010003ppn0x80010,r1,w1,v1。对比page.c中map_range()的映射逻辑若va0xffffffe000010000对应phys0x80010000则ppn 0x80010000 12 0x80010pte_val (0x80010 10) | 0x3 0x80010003—— 完全匹配。提示-d mmu日志量极大建议配合grep过滤特定地址grep va0xffffffe000010000 mmu.log。若发现level0PGD miss或pte0x0说明walk_pgtable()未正确分配下级页表需检查pgd_alloc()返回值是否为NULL或memset()是否覆盖了有效 PTE。此方法不依赖 GDB不修改代码直接从硬件模拟层验证页表有效性是排查page.c映射失败的最终手段。本文还有配套的精品资源点击获取 RISC-V Sv39页表实现与page.c内存映射实战
简介本资源是《从头写一个RISC-V操作系统》课程的完整配套实践包面向操作系统原理学习者、嵌入式与体系结构方向学生及RISC-V开发者旨在通过真实代码工程打通理论与动手能力断层。压缩包共282个文件涵盖86个C源码内核、内存管理、进程调度等核心模块、60个汇编文件RISC-V特权级与异常处理、43个Makefile构建系统配置、42个头文件接口定义及25份PDF文档实验指导、设计说明与RISC-V规范摘要整体大小29.04MB。已有184人下载学习资源结构清晰以riscv-operating-system-mooc-main为根目录集成QEMU模拟环境配置、RISC-V交叉工具链脚本、gdbinit调试模板及多阶段测试用例支持从零构建可启动的简易OS镜像并覆盖上下文切换、中断响应、页表管理等关键机制实现细节。1. 这不是“写个Hello World”而是用 page.c 撕开操作系统内核的内存管理层你打开这个.zip文件第一眼看到的不是main.c或kernel.elf而是十次重复的page.c——不是文件名打错了是课程设计者刻意为之所有内存管理逻辑就压在这一个 C 文件里。它不封装、不抽象、不跳转直接暴露页表构建、地址映射、TLB 刷新、缺页异常处理的全部细节。这不是教你怎么调用malloc()而是让你亲手把虚拟地址0xffffffe000010000映射到物理帧0x80000000再让 CPU 的 MMU 真正走一遍 translation walk。RISC-V 的 Sv39 分页机制在这里没有文档里的优雅图示只有satp寄存器写入、pte_t结构体位域操作、三级页表逐级查表的硬编码循环。适合两类人一类是刚啃完《现代操作系统》却对“页表项怎么填”始终模糊的中级开发者另一类是想绕过 Linux 内核源码复杂度从零验证 TLB shootdown 时序问题的嵌入式系统工程师。它不提供图形界面但能让你在 QEMU 里用info mem命令亲眼看到自己构造的页表被 MMU 加载生效。2. RISC-V Sv39 页表结构与 page.c 的三重映射实现2.1 为什么必须用 Sv39RISC-V 页表层级与硬件约束的硬绑定RISC-V 的虚拟内存支持由satp寄存器控制其MODE字段决定页表格式。Sv39Supervisor-mode Virtual Memory with 39-bit virtual address是当前课程默认模式对应 3 级页表PGD → PUD → PMD → PTE每级 512 项每项 8 字节。关键约束在于所有页表基址必须 4KB 对齐且仅低 44 位有效。这意味着satp的PPN字段只能存物理页号Physical Page Number而非完整物理地址。page.c中pgd_alloc()函数第一行memalign(4096, 4096)不是风格选择而是硬件强制要求——若页表未对齐CPU 在sfence.vma后执行csrw satp, a0会直接触发非法指令异常。提示page.c中所有alloc_page()返回的地址都经过PAGE_MASK对齐但map_kernel_page()传入的phys参数必须已确保是 4KB 对齐的物理帧号PFN否则pte_val (phys 12) 10会导致高位截断。2.1.1 Sv39 页表项PTE位域解析与 page.c 的位操作惯例RISC-V PTE 是 64 位结构page.c用联合体union pte_t封装位域访问typedef union { uint64_t val; struct { uint64_t ppn: 44; // Physical Page Number (bits 53:10) uint64_t rsw: 2; // Reserved for Software (bits 9:8) uint64_t d: 1; // Dirty bit (bit 7) uint64_t a: 1; // Accessed bit (bit 6) uint64_t g: 1; // Global bit (bit 5) uint64_t u: 1; // User mode access (bit 4) uint64_t x: 1; // Execute (bit 3) uint64_t w: 1; // Write (bit 2) uint64_t r: 1; // Read (bit 1) uint64_t v: 1; // Valid (bit 0) }; } pte_t;注意ppn占 44 位但实际只使用低 32 位因当前模拟环境物理内存 ≤ 4GB。page.c中set_pte_flags()函数将PROT_READ | PROT_WRITE | PROT_EXEC转为r1,w1,x1,v1而PROT_USER则额外置u1。关键区别在于Linux 内核用宏__S1_PTE统一生成 flags而本课程直接硬编码位操作便于调试时单步观察寄存器变化。2.2 page.c 的核心函数链从 alloc_page 到 map_range 的完整路径page.c的内存映射不是一次性完成而是分四层调用alloc_page()从mem_layout描述的空闲物理内存池中分配一个 4KB 帧返回物理地址pgd_alloc()/pud_alloc()/pmd_alloc()为各级页表分配物理页并初始化为全零无效项set_pte()将目标物理帧号写入指定 PTE同时设置r/w/x/v标志map_range()对虚拟地址区间[va_start, va_end)执行逐页映射内部调用walk_pgtable()获取各级页表指针。// 示例将内核代码段 [0xffffffff80000000, 0xffffffff80200000) 映射为 RWX void setup_kernel_mappings() { uintptr_t va_start KERNEL_VIRT_BASE; // 0xffffffe000000000 uintptr_t va_end va_start KERNEL_SIZE; // 0xffffffe000200000 uintptr_t pa_start KERNEL_PHYS_BASE; // 0x80000000 map_range(va_start, va_end, pa_start, PAGE_KERNEL_RWX); }map_range()内部关键逻辑计算va_start对应的 PGD/PUD/PMD 索引pgd_idx (va PGDIR_SHIFT) 0x1ff调用walk_pgtable()获取三级页表指针若某级页表为空则调用xxx_alloc()分配对每个 4KB 虚拟页计算pte_idx (va PAGE_SHIFT) 0x1ff调用set_pte()写入注意walk_pgtable()返回的是pte_t*但set_pte()接收pte_t*和phys_addr。phys_addr必须右移 12 位得到 PPN再左移 10 位对齐到 PTE 的ppn字段位置——这是 Sv39 规范要求page.c中pte_val (phys 12) 10 | flags是不可简化的硬规则。2.3 缺页异常处理trap_entry.S 如何联动 page.c 完成 on-demand mapping当 CPU 访问未映射的虚拟地址时触发stvec指向的trap_entry.S最终跳转到handle_page_fault()。该函数从scause寄存器读取异常码0x000000000000000d表示 load page fault从sepc获取出错指令地址从stval获取触发异常的虚拟地址va。page.c中do_page_fault()的核心逻辑检查va是否在用户空间va USER_END或内核空间va KERNEL_VIRT_BASE若为内核空间缺页直接panic(Kernel page fault at %p)若为用户空间调用alloc_page()分配物理页再调用map_user_page()建立映射最后执行sfence.vma刷新 TLB并sret返回// do_page_fault() 关键片段 if (va USER_END) { struct page *page alloc_page(); if (!page) return -ENOMEM; map_user_page(current-mm, va, page_to_phys(page), PAGE_USER_RW); sfence_vma_all(); // 刷新整个 TLB非单条目 return 0; }map_user_page()与map_range()的区别在于它只映射单页且使用current-mm的页表根pgd而非全局内核页表。这体现了课程对进程隔离的初步实现——每个进程有独立的mm_structpage.c中mm_init()初始化其pgd。3. QEMU GDB 调试实战观测 page.c 中页表构建与 TLB 刷新效果3.1 构建可调试环境编译参数与 QEMU 启动命令的关键配置课程资源中的Makefile默认使用riscv64-unknown-elf-gcc但要启用调试需确保-g生成 DWARF 调试信息-O0禁用优化避免变量被优化掉-fno-omit-frame-pointer保留帧指针GDB 可正确回溯栈QEMU 启动命令必须包含qemu-system-riscv64 \ -machine virt \ -cpu rv64gc,zicsr,zifencei \ -bios none \ -kernel kernel.elf \ -m 2G \ -s -S \ # -s 开启 GDB server端口1234-S 暂停等待连接 -serial mon:stdio \ -display none-cpu rv64gc,zicsr,zifencei显式启用zicsrCSR 指令和zifencei指令缓存同步否则csrw satp, a0和sfence.vma会报错。3.1.1 GDB 连接与页表内存观测从 satp 到 PTE 的逐级验证启动 QEMU 后在另一终端运行riscv64-unknown-elf-gdb kernel.elf (gdb) target remote :1234 (gdb) b setup_kernel_mappings (gdb) c断点命中后执行(gdb) info registers satp satp 0x8000000000000000 576460752303423488 # 解析MODE8(Sv39), ASID0, PPN0x8000000000000000 12 0x80000000000000 (gdb) x/16gx 0x8000000000000000 0x8000000000000000: 0x0000000080000001 0x0000000000000000 ... # 第一项有效PPN0x8000000000000000120x80000000000000指向 PUD 表 (gdb) x/16gx 0x8000000000000000 0x8000000000000000: 0x0000000080000001 0x0000000000000000 ... # PUD 表首项指向 PMD 表依此类推提示x/16gx查看 16 个 8 字节值。Sv39 页表项的v1位在最低位0x...0001表示有效0x...0003表示r1,w1,v1。若看到0x0000000000000000说明该 PTE 未设置访问对应虚拟地址必触发缺页。3.2 触发并调试缺页异常从 stval 到 alloc_page 的完整链路在user/test-fault.c中插入int *p (int*)0xdeadbeef; *p 42; // 触发 user page faultGDB 中(gdb) b handle_page_fault (gdb) c # 断点命中后 (gdb) info registers scause stval sepc scause 0x000000000000000d 13 stval 0x00000000deadbeef 2567007983 sepc 0xffffffff80001234 18446744071612912180 # scause13 表示 load page faultstval0xdeadbeef 是出错地址 (gdb) p/x $stval $1 0xdeadbeef (gdb) stepi # 单步进入 do_page_fault()此时可检查current-mm-pgd是否已初始化alloc_page()返回的物理地址是否在mem_layout.phys_start范围内。若alloc_page()返回NULL说明物理内存耗尽——这正是课程设计的调试入口你需要修改mem_layout或增加MEM_SIZE。3.2.1 TLB 刷新验证sfence.vma 后的地址转换行为变化在do_page_fault()中sfence.vma后添加断点(gdb) b *do_page_fault120 # 假设 sfence.vma 在偏移 120 处 (gdb) c (gdb) info registers tlb # QEMU 不直接暴露 TLB 寄存器但可通过再次访问同一地址验证 (gdb) c # 若不再触发 page fault则 TLB 刷新成功更可靠的方法是在sfence.vma后立即读取stval地址观察是否成功(gdb) p *(int*)0xdeadbeef # 若返回 42说明映射生效若仍报错检查 set_pte() 是否写入了正确的 PTE4. 内存保护边界与 page.c 的安全加固实践4.1 用户/内核空间隔离PAGE_KERNEL_RO 与 PAGE_USER_RW 的权限位组合page.c中PAGE_KERNEL_RO定义为PTE_R | PTE_VPAGE_USER_RW为PTE_R | PTE_W | PTE_U | PTE_V。关键差异在PTE_UUser mode access位内核页表项若未置u0用户态代码可直接访问内核内存。课程中map_kernel_page()显式清除u位static inline void set_pte(pte_t *ptep, phys_addr_t phys, int prot) { pte_t pte; pte.val 0; pte.ppn phys 12; pte.r (prot PTE_R) ? 1 : 0; pte.w (prot PTE_W) ? 1 : 0; pte.x (prot PTE_X) ? 1 : 0; pte.u (prot PTE_U) ? 1 : 0; // 用户页设 u1内核页 u0 pte.v 1; *ptep pte; }验证方法在用户程序中尝试mmap(0xffffffe000000000, 4096, ...)应返回MAP_FAILED并设置errnoENOMEM因内核空间未标记u1sys_mmap()拒绝映射。4.1.1 内存布局硬编码风险mem_layout 结构体的可移植性陷阱page.c依赖全局struct mem_layout mem_layout { .phys_start 0x80000000, .phys_end 0x88000000 };。此值来自 QEMUvirt机器的默认 DRAM 配置-m 2G对应0x80000000~0x88000000。若更换为spike模拟器或真实硬件phys_start必须同步修改否则alloc_page()返回的地址超出物理内存范围memcpy()会静默失败。解决方案在init.c中动态探测内存// 读取 device tree 中 /memory80000000/reg 属性 void detect_memory(void) { const void *fdt get_fdt(); int node fdt_path_offset(fdt, /memory); const uint32_t *reg fdt_getprop(fdt, node, reg, NULL); mem_layout.phys_start fdt32_to_cpu(reg[0]); mem_layout.phys_end mem_layout.phys_start fdt32_to_cpu(reg[1]); }课程资源未实现此功能但page.c中alloc_page()的assert(phys mem_layout.phys_end)是唯一防线——生产环境必须替换为动态探测否则跨平台即失效。4.2 防止页表溢出PGD/PUD/PMD 分配的递归深度控制walk_pgtable()在查找三级页表时若某级页表为空会递归调用xxx_alloc()。但page.c未限制递归深度若va超出 Sv39 范围如0x1000000000000000walk_pgtable()可能无限分配页表页直至内存耗尽。加固方案在walk_pgtable()开头添加范围检查if (va (1UL 39)) { panic(Invalid virtual address %p for Sv39, va); }同时map_range()应对va_end - va_start做页数上限检查size_t npages (va_end - va_start) PAGE_SHIFT; if (npages MAX_PAGES_PER_MAP) { // MAX_PAGES_PER_MAP 1024 panic(Too many pages in map_range: %zu, npages); }注意MAX_PAGES_PER_MAP不是随意设定。每个 PTE 占 8 字节1024 页需 8KB 页表空间而alloc_page()分配的单页仅 4KB——因此map_range()必须保证单次调用不跨页表页边界否则需在循环中检查pte_t*是否越界。4.3 实战技巧用 QEMU 的 memdump 功能导出页表二进制进行离线分析当 GDB 无法清晰显示多级页表时可利用 QEMU 的内存导出功能# 在 QEMU 运行时已连接 GDB (gdb) monitor dump-memory pgd.bin 0x8000000000000000 0x1000 # 导出 PGD 表前 4KB然后用 Python 解析import struct with open(pgd.bin, rb) as f: data f.read() for i in range(0, len(data), 8): pte struct.unpack(Q, data[i:i8])[0] if pte 1: # v bit set ppn (pte 10) 0x000ffffffffffc00 print(fPGD[{i//8}] - PPN0x{ppn:x} (valid))此方法可批量验证map_range()是否按预期填充了所有 PTE比手动x/16gx更高效。课程配套的tools/parse-pgtbl.py脚本即基于此原理但需自行编译qemu-system-riscv64启用monitor支持。5. 页表调试的终极验证用 QEMU 的 -d mmu 参数打印每次地址转换日志QEMU 提供-d mmu参数可输出每次 MMU 地址转换的详细过程这是验证page.c页表逻辑是否符合 Sv39 规范的黄金标准。启动命令追加qemu-system-riscv64 ... -d mmu,page 2 mmu.log日志中关键字段load/store访问类型va0xffffffe000010000虚拟地址pa0x0000000080010000转换后的物理地址level3查表层级0PGD, 1PUD, 2PMD, 3PTEpte0x0000000080010003最终 PTE 值例如一行典型日志MMU: load va0xffffffe000010000 pa0x0000000080010000 level3 pte0x0000000080010003表示CPU 加载指令访问0xffffffe000010000MMU 查表后得到pa0x80010000该 PTE 值为0x80010003ppn0x80010,r1,w1,v1。对比page.c中map_range()的映射逻辑若va0xffffffe000010000对应phys0x80010000则ppn 0x80010000 12 0x80010pte_val (0x80010 10) | 0x3 0x80010003—— 完全匹配。提示-d mmu日志量极大建议配合grep过滤特定地址grep va0xffffffe000010000 mmu.log。若发现level0PGD miss或pte0x0说明walk_pgtable()未正确分配下级页表需检查pgd_alloc()返回值是否为NULL或memset()是否覆盖了有效 PTE。此方法不依赖 GDB不修改代码直接从硬件模拟层验证页表有效性是排查page.c映射失败的最终手段。本文还有配套的精品资源点击获取