从零开始手搓一个xv6内核页表：跟着MIT 6.S081源码一步步理解虚拟内存初始化

从零构建xv6内核页表深入解析RISC-V虚拟内存初始化实战在MIT 6.S081操作系统的学习过程中xv6作为教学用精简内核其虚拟内存实现是理解现代计算机内存管理的关键。本文将带您从第一行代码开始完整复现xv6内核页表的构建过程特别聚焦于RISC-V架构下Sv39分页方案的实现细节。不同于单纯源码解读我们将通过可操作的代码片段和可视化地址映射图揭示从物理内存到虚拟地址空间的转换奥秘。1. RISC-V Sv39分页机制基础RISC-V的Sv39分页方案采用三级页表结构每个页表页包含512个8字节的页表项(PTE)。39位虚拟地址空间可寻址256GB内存其地址解析过程如下图所示虚拟地址格式 | 63-39 | 38-30 | 29-21 | 20-12 | 11-0 | | 保留 | L2索引 | L1索引 | L0索引 | 页内偏移 |关键数据结构定义于kernel/riscv.htypedef uint64 pte_t; // 每个PTE占8字节 typedef pte_t* pagetable_t; // 页表指针类型页表项(PTE)的位域含义位域名称作用63-54Reserved保留位53-10PPN物理页号(44位)9-8RSW保留给软件使用7DDirty(修改)标志6AAccessed(访问)标志5GGlobal(全局)标志4UUser(用户)模式可访问3X可执行权限2W可写权限1R可读权限0VValid(有效)标志注意xv6在启动初期会关闭MMU此时所有地址都是物理地址。理解这个特性对分析早期初始化代码至关重要。2. 内核页表构建核心流程2.1 页表初始化入口kvminit()内核启动时首先调用kvminit()初始化页表该函数的核心逻辑如下void kvminit(void) { kernel_pagetable kvmmake(); // 核心构建函数 }全局变量kernel_pagetable保存着内核页表的根目录地址其类型为pagetable_t即uint64*。这个指针本身就是一个虚拟地址但在分页关闭阶段它直接对应物理内存地址。2.2 页表骨架构建kvmmake()kvmmake()是构建内核页表的核心函数它完成了以下关键映射pagetable_t kvmmake(void) { pagetable_t kpgtbl (pagetable_t)kalloc(); // 分配根页表页 memset(kpgtbl, 0, PGSIZE); // 设备内存映射 kvmmap(kpgtbl, UART0, UART0, PGSIZE, PTE_R | PTE_W); kvmmap(kpgtbl, VIRTIO0, VIRTIO0, PGSIZE, PTE_R | PTE_W); kvmmap(kpgtbl, PLIC, PLIC, 0x400000, PTE_R | PTE_W); // 内核代码段映射 kvmmap(kpgtbl, KERNBASE, KERNBASE, (uint64)etext-KERNBASE, PTE_R | PTE_X); // 内核数据段映射 kvmmap(kpgtbl, (uint64)etext, (uint64)etext, PHYSTOP-(uint64)etext, PTE_R | PTE_W); // Trampoline页映射 kvmmap(kpgtbl, TRAMPOLINE, (uint64)trampoline, PGSIZE, PTE_R | PTE_X); // 进程内核栈映射 proc_mapstacks(kpgtbl); return kpgtbl; }地址映射关系示意图虚拟地址空间布局 0x00000000 ┌───────────────────────┐ │ │ │ 未映射区域 │ 0x80000000 ├───────────────────────┤ ← KERNBASE │ 内核代码(text) │ │ (权限:RX) │ ├───────────────────────┤ ← etext │ 内核数据(data) │ │ 可用物理内存 │ │ (权限:RW) │ 0xC0000000 ├───────────────────────┤ ← PLIC │ 中断控制器 │ ├───────────────────────┤ ← UART0 │ 串口设备 │ ├───────────────────────┤ ← VIRTIO0 │ 磁盘设备 │ 0xFFFFFFFF├───────────────────────┤ ← TRAMPOLINE │ Trampoline页 │ └───────────────────────┘2.3 映射操作实现mappages()kvmmap()底层调用的mappages()函数实现了实际的页表项填充int mappages(pagetable_t pagetable, uint64 va, uint64 size, uint64 pa, int perm) { uint64 a PGROUNDDOWN(va); uint64 last PGROUNDDOWN(va size - 1); for(;;) { pte_t *pte walk(pagetable, a, 1); // 获取PTE指针 if(pte 0) return -1; if(*pte PTE_V) panic(remap); // 防止重复映射 *pte PA2PTE(pa) | perm | PTE_V; // 设置PTE内容 if(a last) break; a PGSIZE; pa PGSIZE; } return 0; }关键宏定义解析#define PA2PTE(pa) ((((uint64)pa) 12) 10) #define PTE2PA(pte) (((pte) 10) 12)这两个宏实现了物理地址与页表项的相互转换PA2PTE将物理地址右移12位得到物理页号(PPN)再左移10位放入PTE的PPN字段PTE2PA从PTE中提取PPN字段右移10位再左移12位得到物理页基址2.4 页表遍历核心walk()walk()函数模拟MMU的页表遍历过程是虚拟内存系统的核心pte_t *walk(pagetable_t pagetable, uint64 va, int alloc) { if(va MAXVA) panic(walk); for(int level 2; level 0; level--) { pte_t *pte pagetable[PX(level, va)]; if(*pte PTE_V) { pagetable (pagetable_t)PTE2PA(*pte); } else { if(!alloc || (pagetable (pde_t*)kalloc()) 0) return 0; memset(pagetable, 0, PGSIZE); *pte PA2PTE(pagetable) | PTE_V; } } return pagetable[PX(0, va)]; }地址索引宏PX的实现#define PX(level, va) ((((uint64)(va)) PXSHIFT(level)) PXMASK)三级页表索引过程示例假设va0x8000F120提取L2索引(va 30) 0x1FF → 0提取L1索引(va 21) 0x1FF → 1提取L0索引(va 12) 0x1FF → 153. 分页机制启用过程3.1 控制寄存器设置内核完成页表初始化后通过kvminithart()启用分页void kvminithart() { w_satp(MAKE_SATP(kernel_pagetable)); // 设置SATP寄存器 sfence_vma(); // 刷新TLB }MAKE_SATP宏构造SATP寄存器值#define SATP_SV39 (8L 60) #define MAKE_SATP(pagetable) (SATP_SV39 | (((uint64)pagetable) 12))RISC-V SATP寄存器格式Sv39模式| 63-60 | 59-44 | 43-0 | | MODE | ASID | PPN |MODE8表示Sv39分页模式PPN字段存储根页表的物理页号3.2 直接映射的巧妙设计xv6内核页表采用直接映射(direct mapping)设计即虚拟地址 物理地址 固定偏移(KERNBASE)这种设计带来两个重要特性内核可以方便地通过物理地址访问内存在分页关闭阶段虚拟地址直接等于物理地址在kernel/start.S中我们可以看到分页关闭的明确证据# 关闭分页机制 csrw satp, zero4. 关键内存区域详解4.1 Trampoline页的特殊设计Trampoline页被映射到虚拟地址空间的最高端MAXVA - PGSIZE这个设计实现了统一的入口地址所有进程共享相同的trampoline虚拟地址隔离保护高地址区域不易被用户程序意外覆盖权限控制同时具有RX权限适合执行过渡代码链接脚本中的相关定义.trampoline : { *(.trampsec) . ALIGN(4096); ASSERT(. - _trampoline 4096, trampoline overflow); }4.2 进程内核栈布局每个进程的内核栈通过proc_mapstacks()动态映射void proc_mapstacks(pagetable_t kpgtbl) { for(int i 0; i NPROC; i) { uint64 va KSTACK((int)i); uint64 pa kvmpa(va); kvmmap(kpgtbl, va-KSTACK_DIST, pa-KSTACK_DIST, KSTACK_DIST, PTE_R | PTE_W); } }内核栈的虚拟地址计算#define KSTACK(p) (TRAMPOLINE - ((p)1)*2*PGSIZE)这种布局保证了每个进程有独立的内核栈2页大小栈下方留有保护页(guard page)防止溢出与trampoline页保持固定距离5. 实践手动构建简化页表为了加深理解我们实现一个极简版的页表初始化流程// 简化版页表初始化 void simple_vminit() { // 1. 分配根页表 pagetable_t pgtable (pagetable_t)kalloc(); memset(pgtable, 0, PGSIZE); // 2. 映射内核代码区假设从0x80000000开始 uint64 kern_start 0x80000000; uint64 kern_size 0x100000; // 1MB内核 for(uint64 va kern_start; va kern_start kern_size; va PGSIZE) { pte_t *pte walk(pgtable, va, 1); *pte PA2PTE(va) | PTE_R | PTE_X | PTE_V; } // 3. 映射UART设备 pte_t *uart_pte walk(pgtable, UART0, 1); *uart_pte PA2PTE(UART0) | PTE_R | PTE_W | PTE_V; // 4. 启用分页 w_satp(MAKE_SATP(pgtable)); sfence_vma(); }这个简化示例展示了页表初始化的核心步骤实际xv6的实现还包含更多安全检查和优化措施。