本周阅读材料

阅读理解示例代码

thread-os.c 对大家理解操作系统非常关键。确保你掌握了课堂上的阅读代码和调试技术，这对于大家从操作系统内核实验中 “存活下来” 是至关重要的。然后，你可以试着调试一下 thread-os，例如检查 yield() 之后发生了什么。

然后，你可以试着去建立 AbstractMachine 每一个操作的 “形式语义”——它们会对状态机作出怎样的修改？在理解了这部分内容后，你会发现实现操作系统也不过如此；而且掌握操作系统实现的关键 “碎片”，例如并发编程、上下文切换 (M2 - libco)，都已经掌握在你手中了！