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

• 课程概述；教科书与参考资料；生存指南；实验须知; AbstractMachine
• 课时：每周二、周四 10:00-12:00；逸 B-207；直播间；视频回看
• 成绩：期末考试 (40%), 期中测验 (10%), 系统实验 [L] (25%), 编程实验 [M] (25%)
• Office Hour (线下 & 直播)：每周一 13:00-14:00 (计算机楼 809)；什么是 Office Hours
• Office Hour (助教答疑)：每周一 16:00-17:30 (计算机楼 809)
• 助教：刘泽森 zesenliu@smail.nju.edu.cn

课程讲义

1. 绪论 操作系统概述 | 应用视角的操作系统 | [M1] pstree
2. 绪论 硬件视角的操作系统 | 数学视角的操作系统 | [L0] hello, bare-metal!
3. 并发 多处理器编程 | 并发控制：互斥 (1) | [M2] libco
4. 并发 并发控制：互斥 (2) | 调试理论与实践
5. 并发 并发控制：同步 (1) | 并发控制：同步 (2)
6. 并发 真实世界的并发编程 | [L1] pmm
7. 并发 并发 Bugs | 应对 (并发) Bugs | [M3] gpt.c
8. 虚拟化 操作系统上的进程 | 进程的地址空间 | [M4] crepl
9. 虚拟化 系统调用和 UNIX Shell | C 标准库和实现 | [M5] sperf
10. 虚拟化 期中测验 (4.28) | Linux 操作系统 | 五一假期 | [L2] kmt
11. 虚拟化 可执行文件和加载 | 可执行文件和加载
12. 内核 潜入操作系统内核 (1) | 潜入操作系统内核 (2)
13. 内核 极限速通操作系统实验 | 状态机模型的应用
14. 持久化 存储设备原理 | 输入输出设备 | [L3] uproc
15. 持久化 设备驱动程序 | FAT 和 UNIX 文件系统 | [M6] frecov
16. 持久化 持久数据的可靠性 | 课程总结