操作系统：设计与实现（OS）¶
2026 课程与历史 OSLab 不是同一套实验
2026 公开课程说明 明确把公开主线描述为围绕 3 学分设计、仅保留 MiniLab，并移除内核内容。这是该公开课程分支的教学说明，不等同于教务系统对所有院系、年级和教学班的学分登记。选课信息仍以培养方案和教务系统为准。
课程关注什么¶
操作系统课程从程序执行、并发、虚拟化和持久化等角度理解系统软件。学习重点通常包括：
- 程序、进程、线程与状态机模型；
- 并发、同步、互斥、数据竞争和死锁；
- 地址空间、虚拟存储与资源隔离；
- 文件、设备、系统调用及持久化抽象；
- 借助 Linux 接口和系统工具观察真实程序行为。
具体主题、实验接口和考核方式随年份变化；公开讲义是对应年份的一手来源，不应由往届经验反推当前考纲。
实验版本关系¶
| 公开版本 | 可确认的实验形态 | 使用边界 |
|---|---|---|
| OS 2026 | 课程说明写明 MiniLab Only，不含内核内容 | 当前公开主线；具体实验清单和提交规则看 2026 课程页后续通知 |
| OS 2025 | 页面列出 M1 至 M9 的 MiniLab 序列 | 2025 历史课程资料，不应套用为 2026 作业清单 |
| os-workbench-2022 | 基于 Abstract-Machine 的 L0 至 L4 OSLab 内核实验 | 仅用于核对 2022 历史实验体系；不是 2026 当前实验，也不应作为在修作业的代码参考 |
因此，旧版 L0 amgame、L1 pmm、L2 kmt、L3 uproc、L4 vfs 可以作为课程演进史理解，但不能与 2026 MiniLab 合并描述为一套现行要求。
学习方法¶
- 先确认年份和分支：从当年课程首页进入讲义、实验和提交系统，避免混用 2022/2025 的接口与 2026 要求。
- 从可观察行为调试：使用 GDB、
strace、/proc、日志和最小测试检查状态变化，不凭结果猜实现。 - 显式记录并发不变量：写清共享状态、锁保护范围、获取顺序和允许的线程交错，再验证数据竞争与死锁风险。
- 区分概念学习和内核实现：2026 公开主线移除了内核实验；想补充内核知识时，应使用独立公开教材或实验，并避免与当前课程提交混淆。
参考资料¶
- OS 2026 公开课程说明：核对 2026 课程定位和实验形态的首要来源。
- jyy Wiki：历年课程入口；引用时必须带年份。
- OSTEP：虚拟化、并发和持久化的通用教材。
- CS 自学指南：NJU OS：第三方经验索引，其中工作量、难度和实验评价不构成当前课程事实。
学术诚信警告
MiniLab 及历史 OSLab 均可能包含独立完成要求。不要查找、复制、改写或传播往届实现、测试答案和实验报告，也不要把公开仓库误当作可提交代码来源。生成式 AI、同伴讨论和第三方库的允许范围，以当年课程书面规则为准；提交前应能解释每一处实现并保留自己的调试记录。