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

课程讲义

  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 标准库和实现
  10. 虚拟化 期中测验 (4.28) | Linux 操作系统 | [M5] sperf
  11. 虚拟化 可执行文件和加载 | 动态链接和加载
  12. 内核 系统调用、中断和上下文切换 | 进程的实现
  13. 内核 处理器调度 | 操作系统世界:小结
  14. 持久化 存储设备原理 | 输入输出设备 | [L2] kmt
  15. 持久化 文件和设备驱动 | FAT 和 UNIX 文件系统 | [M6] frecov
  16. 持久化 持久数据的可靠性 | 课程总结