验证记录与适用范围

本页区分已经实际运行的代码、供阅读的代码和需要外部环境的官方实验。记录日期为 2026-10-04；教学代码通过自己的测试，不等于完成大学课程的官方评分。

已执行的实验验证

范围	结果	证据与边界
OS Sv39/COW 模型	19 项 unittest 通过	记录；覆盖权限、大页、COW、OOM 和回收
官方 xv6 util starter	编译成功，QEMU 启动进入 shell	启动输出；固定提交、三核；未添加实验解答
CSAPP 六个 C 程序	普通严格警告构建与 ASan/UBSan 通过	记录；位、缓存、分配、进程、同步与 shell
Raft/KV 模型	16 项 unittest 通过	测试源码；分区、重启、当前任期限制、去重、值隔离
并行 CPU 实验	功能测试与 ASan/UBSan 通过	记录；调度、尾部处理、原子计数与真实计时
NumPy Transformer	15 项 unittest 通过	记录；数值梯度、因果性、checkpoint、标签移位等
微型训练	字符与 BPE 各运行 300 步	结果与曲线；固定种子和训练/验证拆分

C/C++ 本地测试环境为 macOS arm64、Apple Clang 21。Python 使用本机 Python 3.14；完整依赖与命令见各课程 README。持续集成检查也已全部通过：Ubuntu 上的网站检查与构建、50 项 Python 测试、C/C++ 实验，以及两组 ASan/UBSan。

操作系统九个官方实验分支和 CS336 五个 spring2025 作业标签已查询并记录固定提交。它们用于定位代码与要求，完整第三方课程仓库没有复制到本项目。

网站检查

本地生产构建已成功。73 篇讲义与说明页通过内容和链接检查；浏览器逐页验证了 42 张 Mermaid 流程图。五个交互演示已操作检查，配套 9 项模型边界测试通过。Transformer 页面中的公式、中文搜索、手机宽度和深色模式也已检查。

构建产物中的站内链接及锚点已检查，未发现失效目标。五个下载包的文本文件与仓库源码逐字节一致；包含实验所需 trace、语料和依赖声明，不包含本机二进制与训练 checkpoint。

线上中文搜索、主要章节、交互实验与五个源码下载包已检查。访问统计的用途见访问统计说明。

怎样复核

npm ci
npm run check
npm run build
# Python 环境应已安装 labs/llm/requirements.txt 中的 NumPy
npm run test:labs
make -C labs/csapp sanitize
make -C labs/parallel sanitize

check 生成源码页与下载包，检查讲义链接并运行交互模型的边界测试；build 编译静态 HTML、数学公式和搜索索引。浏览器内 Mermaid 流程图与交互组件还需在预览中检查。

数值时间可以在自己的机器重跑，但不保证复现同一毫秒值。并行实验保存了计时次数、min/median/max、输入分布与线程数量；Transformer 保存了 loss、配置和版本证据。应先比较正确性与变化趋势，再比较绝对性能。

尚未执行的外部环境实验

• 九个 xv6 实验的完整实现及官方 make grade；真实 RISC-V 硬件和网卡。
• CSAPP 官方 Data/Bomb/Attack/Cache/Shell/Malloc 评分器、Linux ELF 调试步骤和 ThreadSanitizer。
• MIT 6.5840 真实 RPC/磁盘/并发实现及官方评分器；本地模型没有真实进程崩溃后的磁盘恢复。
• CUDA 归约、ISPC、Trainium2、GPU kernel、跨卡训练、大规模数据管线和 Qwen 对齐训练。

这些步骤都有对应原理、流程或运行指引。标明未运行，是为了让每个结论对应具体证据；扩展实现后应追加自己的环境、命令和结果。