操作系统：设计与实现 (2022 春季学期)

⚠️ 注意事项

Hard Deadline (All Labs): 7 月 3 日 23:59:59

• 毕业班 Lab 截止日期：6 月 26 日 23:59:59
• 毕业班实验仅考虑 M1-M5, L0-L2 成绩

• 课程概述；教科书与参考资料；生存指南；AbstractMachine；视频回看
• 课时：每周一 10:00–12:00、周三 14:00–16:00 仙 I-102
• 成绩：期末考试 (40%), 期中测验 (10%), 系统实验 [L] (25%), 编程实验 [M] (25%)
• Office Hours: 每周二 12:30–14:00 计算机楼 809 (What are office hours?)
• 助教：刘瀚之 (jm233333.com)

课程讲义

1. 操作系统概述 | 操作系统上的程序 | 阅读材料 | [M1] pstree | [L0] amgame
2. 并发 多处理器编程 | 理解并发程序执行 | 阅读材料 | [M2] libco
3. 并发 并发控制：互斥 | 并发控制：同步 | 阅读材料 | [L1] pmm
4. 并发 真实世界的并发编程 | 并发 Bug 和应对 | 阅读材料
5. 操作系统的状态机模型 | 状态机模型的应用 | 阅读材料
6. 虚拟化 操作系统上的进程 | 进程的地址空间 | 阅读材料 | [M3] sperf | [L2] kmt
7. 虚拟化 系统调用和 UNIX Shell | C 标准库的实现 | 随堂测验 | 阅读材料
8. 虚拟化 A fork() in the road | 阅读材料
9. 虚拟化 可执行文件 | 可执行文件的加载 | 阅读材料 | [M4] crepl
10. 虚拟化 xv6 代码导读 | 实现上下文切换 | 阅读材料 | [L3] uproc
11. 虚拟化 处理器调度 | 操作系统设计 | 阅读材料
12. 极限速通操作系统实验
13. 持久化 存储设备原理 | 输入输出设备 | 阅读材料
14. 持久化 设备驱动程序 | 文件系统 API | 阅读材料
15. 持久化 FAT 和 UNIX 文件系统 | 持久数据的可靠性 | 阅读材料 | [M5] frecov | [L4] vfs
16. 持久化 xv6 文件系统实现 | 现代存储系统 | 阅读材料
17. Android 系统 | 课程总结