1设备寄存器与驱动
闭卷重建设备寄存器与驱动的分层、状态、关系式和失败边界。
计算机系统原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2轮询、中断与DMA
闭卷重建轮询、中断与DMA的分层、状态、关系式和失败边界。
3文件描述符与打开文件
闭卷重建文件描述符与打开文件的分层、状态、关系式和失败边界。
4目录、inode与路径解析
闭卷重建目录、inode与路径解析的分层、状态、关系式和失败边界。
5缓冲、缓存与刷盘
闭卷重建缓冲、缓存与刷盘的分层、状态、关系式和失败边界。
6崩溃一致性与日志
闭卷重建崩溃一致性与日志的分层、状态、关系式和失败边界。
7文件系统恢复实验
闭卷重建文件系统恢复实验的分层、状态、关系式和失败边界。
第 1 页 · 背面（答案）
核心关系：produced=handled+buffered+dropped；任务：为《轮询、中断与DMA》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 produced=handled+buffered+dropped 复算关键量；边界：不能把《轮询、中断与DMA》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：MMIO\ read/write；任务：为《设备寄存器与驱动》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 MMIO\ read/write 复算关键量；边界：不能把《设备寄存器与驱动》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：path\to inode；任务：为《目录、inode与路径解析》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 path\to inode 复算关键量；边界：不能把《目录、inode与路径解析》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：fd\to open\ file；任务：为《文件描述符与打开文件》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 fd\to open\ file 复算关键量；边界：不能把《文件描述符与打开文件》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：WAL:log\ before\ data；任务：为《崩溃一致性与日志》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 WAL:log\ before\ data 复算关键量；边界：不能把《崩溃一致性与日志》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：dirty\to flush\to stable；任务：为《缓冲、缓存与刷盘》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 dirty\to flush\to stable 复算关键量；边界：不能把《缓冲、缓存与刷盘》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：replay(log,disk)；任务：为《文件系统恢复实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 replay(log,disk) 复算关键量；边界：不能把《文件系统恢复实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态