1文件抽象与打开文件表
闭卷重建文件抽象与打开文件表的对象、状态、事件、不变量与一个失败反例。
操作系统与系统实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2目录、路径解析与链接
闭卷重建目录、路径解析与链接的对象、状态、事件、不变量与一个失败反例。
3文件分配与索引结构
闭卷重建文件分配与索引结构的对象、状态、事件、不变量与一个失败反例。
4空闲空间与块布局
闭卷重建空闲空间与块布局的对象、状态、事件、不变量与一个失败反例。
5页缓存、写回与一致性
闭卷重建页缓存、写回与一致性的对象、状态、事件、不变量与一个失败反例。
6实验：inode索引容量
闭卷重建实验：inode索引容量的对象、状态、事件、不变量与一个失败反例。
7实验：崩溃写序列判定
闭卷重建实验：崩溃写序列判定的对象、状态、事件、不变量与一个失败反例。