os/README.md

配套源码，运行方法见同目录 README。返回实验总览。

# OS 教学模型与版本记录

从项目根目录运行：

```sh
python3 labs/os/models.py
python3 -m unittest discover -s labs/os -p 'test_*.py' -v
```

仅依赖 Python 标准库。`models.py` 包含 Sv39 分层地址转换与 COW 进程模型；`test_models.py` 包含 19 个测试。模型可用于改参数、画状态和注入错误，**不等于 xv6 实验实现**。

Sv39 模型支持三种叶页大小和基本 R/W/X/U 检查，不模拟 TLB、A/D、SUM/MXR、物理地址宽度和真实硬件陷入。COW 模型串行执行，不模拟 hart、锁、页表页分配失败和惰性 heap；跨页写可部分成功，不能假定整个 write 原子完成。

上游为 MIT 6.1810 Fall 2025，`upstream-pins.json` 存放从官方仓库核验的完整提交。`verification.md` 记录已实际执行的模型与官方骨架启动检查。`verification-models.txt`、`verification-boot.txt` 为相应运行输出。

阅读入口为项目中的 `docs/os/index.md`。实验补丁设计在各 `lab-*.md` 中；没有附整套官方实验参考解答。