内核探秘4.4：从缺页异常到页表映射的实战调试

1. 缺页异常：内存管理的紧急呼叫

当你在Linux 0.11内核中看到/bin/sh进程突然卡住时，十有八九是遇到了缺页异常（Page Fault）。这就像程序在内存中迷路了——它想访问的页面当前并不在物理内存中。这时候CPU会立即触发一个中断，把控制权交给内核的缺页异常处理程序。

我用GDB调试时发现一个有趣现象：当2号进程访问线性地址0x8000000时，会触发典型的缺页异常。通过info registers命令可以看到CR2寄存器保存着这个引发异常的地址。更关键的是，用x/1wx 0x80查看页目录项时，会发现其值为0x0——这说明对应的页表根本不存在！

小知识：Linux 0.11采用二级页表结构。32位线性地址被拆分为10位页目录索引、10位页表索引和12位页内偏移。页目录项为0意味着第二级页表尚未分配。

2. 页表映射的实战解剖

2.1 从虚拟到物理的寻址之旅

让我们用调试器跟踪一次完整的地址转换过程。假设目标线性地址是0x8000000：

# 计算页目录索引和页表索引 page_dir_index = (0x8000000 >> 22) & 0x3FF # 得到32 page_table_index = (0x8000000 >> 12) & 0x3FF # 得到0

在Bochs中执行info tab命令，可以看到当前进程的页目录基地址（存储在CR3寄存器）。通过这个基地址加上页目录索引，就能找到对应的页目录项（PDE）：

(gdb) x/1wx 0xFFFFF000 + 32*4 # 页目录自映射到0xFFFFF000 0xfffff080: 0x00000000

这个全零值验证了我们的发现——页表尚未分配。此时MMU会触发缺页异常，CPU转而执行do_no_page函数。

2.2 物理页帧的申请与填充

在do_no_page函数中，内核首先调用get_free_page()申请空闲页帧。我在381行设置断点跟踪时，发现返回的页帧地址是0xffa000。有趣的是，刚分配的页帧用x/16bx 0xffa000查看时全是0x00，就像一块空白画布。

接下来是精妙之处——内核需要从磁盘读取数据填充这个页帧。通过objdump -h /bin/sh可以确认，0x8000000对应的是/bin/sh的代码段。在387行断点处，我们能看到内核调用bread_page()从硬盘读取1KB数据到0xffa000。

# 读取后的内存内容 (gdb) x/16bx 0xffa000 0xffa000: 0x8b 0x44 0x24 0x08 0xa3 0x00 0xf0 0x02 0xffa008: 0x00 0xe8 0x26 0x01 0x00 0x00 0x6a 0x00

这些字节完美匹配hexdump /bin/sh输出的文件内容，验证了磁盘到内存的数据同步。

3. 页表项的魔法时刻

3.1 构建页表项的关键步骤

内存填充完成后，最激动人心的部分来了——构建页表项（PTE）。在394行断点处，我们看到内核执行以下操作：

1. 分配新页表（如果页目录项为0）
2. 设置页表项：0xffa000 | 0x07→ 0xffa007
   • 最低三位0x07表示：存在位（1）、用户可访问（1）、可写（1）

用GDB验证这个结果：

(gdb) x/1wx 0xff7000 # 假设页表基地址是0xff7000 0xff7000: 0x00ffa007

现在，虚拟地址0x8000000终于成功映射到物理地址0xffa000。这个过程就像在虚拟和物理地址之间搭建了一座桥梁，让程序可以继续执行。

3.2 零页的特殊处理

在第二次实验中，我们遇到了BSS段的零页映射。当进程访问0x8032000（/bin/sh的BSS段）时，页表项初始值为0x0。处理过程中，内核没有从磁盘读取数据，而是直接将零页（全零页帧）映射到该地址：

# 处理后的页表项 (gdb) x/1wx 0xff70c8 0xff70c8: 0x00ff2007 # 零页内容验证 (gdb) x/16bx 0xff2000 0xff2000: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0xff2008: 0x00 0x00 0x00 0x00 0x00 0x00 0x00 0x00

这种优化避免了不必要的磁盘I/O，体现了内核设计的精巧之处。

4. 调试技巧与深度思考

4.1 GDB+Bochs组合拳

在实际调试中，我总结了一套高效的工作流程：

1. 双机调试：在主机用GDB连接Bochs的调试端口

   gdb -ex 'target remote :1234' vmlinux

2. 关键断点：

   b do_no_page # 缺页处理入口 b *0xc0123456 # 具体代码行（根据反汇编地址）

3. 内存检查：

   x/10i $eip # 查看当前指令 info registers # 检查关键寄存器 x/16wx 0x80 # 查看页目录项

4.2 页式管理的本质思考

通过这个案例，我深刻理解了页式虚存的几个核心特性：

1. 惰性分配：页表项初始为0，只有实际访问时才分配物理页帧
2. 按需加载：代码/数据只在需要时从磁盘载入，减少内存占用
3. 零页优化：对未初始化数据采用特殊处理，提升性能

这种机制就像图书馆的智能借阅系统——书架（物理内存）有限，但通过及时调取仓库（磁盘）的书籍（页面），让读者（进程）感觉所有书籍都触手可及。