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

⚠️ 注意事项

本课程内容、大纲、考核方式与平行班不同，请仔细阅读课程说明。

Online Judge TOKEN 已发出，请在 smail 邮箱中查看，实验将在近期陆续公布。校内蹭课同学请将你的学号和姓名报告给课程助教。

• 课程概述；教科书与参考资料；生存指南；AbstractMachine；视频回看
• 课时：周二 10:00-12:00、周四 14:00-16:00；地点：仙 II-306
• 成绩：期末考试 (40%), 期中测验 (10%), 系统实验 [L] (25%), 编程实验 [M] (25%)
• Office Hour: 周一 12:30-14:00 计算机系楼 809 (直播间; What are office hours?)
• 助教：刘瀚之

课程讲义

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