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

课程讲义

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