1项目范围、不变量与事件模型
闭卷重建项目范围、不变量与事件模型的对象、状态、事件、不变量与一个失败反例。
操作系统与系统实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2调度器与时钟中断模块
闭卷重建调度器与时钟中断模块的对象、状态、事件、不变量与一个失败反例。
3阻塞I/O与同步模块
闭卷重建阻塞I/O与同步模块的对象、状态、事件、不变量与一个失败反例。
4虚拟内存与页替换模块
闭卷重建虚拟内存与页替换模块的对象、状态、事件、不变量与一个失败反例。
5文件与崩溃恢复模块
闭卷重建文件与崩溃恢复模块的对象、状态、事件、不变量与一个失败反例。
6端到端测试、观测与反查
闭卷重建端到端测试、观测与反查的对象、状态、事件、不变量与一个失败反例。
7答辩：从现象解释到机制证据
闭卷重建答辩：从现象解释到机制证据的对象、状态、事件、不变量与一个失败反例。