1预处理与翻译单元
闭卷重建预处理与翻译单元的分层、状态、关系式和失败边界。
计算机系统原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2编译前端与中间表示
闭卷重建编译前端与中间表示的分层、状态、关系式和失败边界。
3汇编与机器码
闭卷重建汇编与机器码的分层、状态、关系式和失败边界。
4目标文件与节
闭卷重建目标文件与节的分层、状态、关系式和失败边界。
5符号表与重定位
闭卷重建符号表与重定位的分层、状态、关系式和失败边界。
6静态/动态链接与装载
闭卷重建静态/动态链接与装载的分层、状态、关系式和失败边界。
7最小重定位器实验
闭卷重建最小重定位器实验的分层、状态、关系式和失败边界。
第 1 页 · 背面（答案）
核心关系：IR\ preserves\ semantics；任务：为《编译前端与中间表示》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 IR\ preserves\ semantics 复算关键量；边界：不能把《编译前端与中间表示》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：source\to tokens\to AST；任务：为《预处理与翻译单元》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 source\to tokens\to AST 复算关键量；边界：不能把《预处理与翻译单元》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：ELF=sections+symbols+relocs；任务：为《目标文件与节》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 ELF=sections+symbols+relocs 复算关键量；边界：不能把《目标文件与节》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：assembly\to encoding；任务：为《汇编与机器码》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 assembly\to encoding 复算关键量；边界：不能把《汇编与机器码》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：load\ address+relocation；任务：为《静态/动态链接与装载》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 load\ address+relocation 复算关键量；边界：不能把《静态/动态链接与装载》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：S+A-P；任务：为《符号表与重定位》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 S+A-P 复算关键量；边界：不能把《符号表与重定位》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：patched=base+addend；任务：为《最小重定位器实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 patched=base+addend 复算关键量；边界：不能把《最小重定位器实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态