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