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