from mosaic import *
OS2023(23)
Changelog & 反馈
背景回顾:在第二讲第一次接触状态机模型和 minimal.S 的时候,有同学会对 “为什么这么做” 感到困惑;但随着课程的深入,状态机不断帮助我们以原理性的思路去理解操作系统这个复杂、承载了计算机发展历史的概念。
本讲内容:回顾操作系统对象、API 上是如何构建应用程序世界的:
slideshow(23.1)
slideshow(23.2)
slideshow(23.3)
状态机不仅给我们提供了编程抽象 (回顾打印 “<>_
” 的例子),而且更是我们理解计算机系统行为,甚至去建模、理解和反思我们生活世界的一个基本模型。
教科书 Operating Systems: Three Easy Pieces:
因为课时不足,上述章节作为阅读材料;但带着状态机的视角,这些材料应该不会对大家带来很大困难。