1ISA是软硬件契约
闭卷重建ISA是软硬件契约的分层、状态、关系式和失败边界。
计算机系统原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2寄存器与操作数
闭卷重建寄存器与操作数的分层、状态、关系式和失败边界。
3寻址和访存
闭卷重建寻址和访存的分层、状态、关系式和失败边界。
4分支与控制流
闭卷重建分支与控制流的分层、状态、关系式和失败边界。
5ABI与栈帧
闭卷重建ABI与栈帧的分层、状态、关系式和失败边界。
6系统调用与特权切换
闭卷重建系统调用与特权切换的分层、状态、关系式和失败边界。
7最小ISA解释器实验
闭卷重建最小ISA解释器实验的分层、状态、关系式和失败边界。
第 1 页 · 背面（答案）
核心关系：dst=f(src_1,src_2)；任务：为《寄存器与操作数》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 dst=f(src_1,src_2) 复算关键量；边界：不能把《寄存器与操作数》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：ISA=state\ transition；任务：为《ISA是软硬件契约》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 ISA=state\ transition 复算关键量；边界：不能把《ISA是软硬件契约》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：PC'=condition?target:PC+n；任务：为《分支与控制流》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 PC'=condition?target:PC+n 复算关键量；边界：不能把《分支与控制流》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：EA=base+offset；任务：为《寻址和访存》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 EA=base+offset 复算关键量；边界：不能把《寻址和访存》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：user\to kernel\to user；任务：为《系统调用与特权切换》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 user\to kernel\to user 复算关键量；边界：不能把《系统调用与特权切换》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：caller/callee\ saved；任务：为《ABI与栈帧》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 caller/callee\ saved 复算关键量；边界：不能把《ABI与栈帧》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：step(state,instruction)；任务：为《最小ISA解释器实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 step(state,instruction) 复算关键量；边界：不能把《最小ISA解释器实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态