自研玩具操作系统内核在Bochs模拟Icelake-U架构时异常的原因排查

核心原因 #

这个错误是Bochs针对IceLake-U架构的严格校验触发的：

• 当CPU尝试标记页表项（PTE）为*脏页（Dirty）时，该页表项的读写位（R/W）*处于关闭状态。
• 早期CPU架构可能对这类违规操作校验不严格，甚至允许静默忽略，但IceLake-U的内存管理单元（MMU）执行了更严格的x86规范——根据架构手册，只有页表项R/W位为1时，CPU才能设置Dirty位；R/W位为0时尝试设置Dirty位属于非法操作，Bochs在这里做了严格模拟校验，直接抛出错误。

你的内核可能存在的问题点 #

• 页权限配置错误：给只读页（R/W=0）分配了可写物理页，或是内存操作时误写了只读页，触发CPU尝试标记Dirty位。
• 页表更新不及时：修改页表R/W位之前，已有写操作触发缺页异常，缺页处理程序错误地先尝试设置Dirty位，却未先开启R/W位。
• Bochs模拟的架构差异：其他老架构（如Haswell、Skylake）的Bochs模拟未启用这么严格的校验，掩盖了这个合规性问题。

解决步骤 #

1. 定位触发错误的内存操作：在Bochs中启用调试日志，或在内核的页错误处理逻辑中添加调试输出，找到触发错误的虚拟地址及对应页表项。
2. 检查页表项权限：确认目标页表项的R/W位和Dirty位状态，确保只有R/W=1时才允许设置Dirty位。
3. 修正缺页处理逻辑：如果是缺页异常导致的，处理写操作缺页时，先将对应页表项的R/W位设为1，再让CPU自动设置Dirty位（或手动设置）。
4. 验证架构兼容性：确保内核的页表操作完全符合x86架构手册规范，避免依赖老CPU的宽松行为。

内容的提问来源于stack exchange，提问作者sanzenyou