1虚拟页与页框
闭卷重建虚拟页与页框的对象、状态、事件、不变量与一个失败反例。
计算机系统导论与体系结构实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2页表项与权限
闭卷重建页表项与权限的对象、状态、事件、不变量与一个失败反例。
3多级页表
闭卷重建多级页表的对象、状态、事件、不变量与一个失败反例。
4TLB与组合翻译
闭卷重建TLB与组合翻译的对象、状态、事件、不变量与一个失败反例。
5缺页硬件现场
闭卷重建缺页硬件现场的对象、状态、事件、不变量与一个失败反例。
6地址空间隔离
闭卷重建地址空间隔离的对象、状态、事件、不变量与一个失败反例。
7地址翻译实验
闭卷重建地址翻译实验的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：页表项与权限必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为页表项与权限建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析页表项与权限时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：虚拟页与页框必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为虚拟页与页框建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析虚拟页与页框时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：TLB与组合翻译必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为TLB与组合翻译建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析TLB与组合翻译时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：多级页表必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为多级页表建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析多级页表时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：地址空间隔离必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为地址空间隔离建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析地址空间隔离时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：缺页硬件现场必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为缺页硬件现场建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析缺页硬件现场时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。
核心机制：地址翻译实验必须沿位模式、指令、寄存器、数据通路和时钟事件逐层解释，明确输入状态、硬件动作、输出状态和不可破坏的不变量；实验入口：为地址翻译实验建立一个确定性模型，输入正常、边界、非法和组合四类数据，输出逐步状态与最终结果；边界：分析地址翻译实验时不能把语言级抽象、ISA承诺和微体系结构实现混为一层，也不能省略位宽、字节序、周期或权限条件。