1局部性为什么有效
闭卷重建局部性为什么有效的分层、状态、关系式和失败边界。
计算机系统原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2块、组、标记与偏移
闭卷重建块、组、标记与偏移的分层、状态、关系式和失败边界。
3直接映射与冲突
闭卷重建直接映射与冲突的分层、状态、关系式和失败边界。
4组相联与替换
闭卷重建组相联与替换的分层、状态、关系式和失败边界。
5写直达与写回
闭卷重建写直达与写回的分层、状态、关系式和失败边界。
6多级Cache与AMAT
闭卷重建多级Cache与AMAT的分层、状态、关系式和失败边界。
7Cache轨迹实验
闭卷重建Cache轨迹实验的分层、状态、关系式和失败边界。
第 1 页 · 背面（答案）
核心关系：address=tag|index|offset；任务：为《块、组、标记与偏移》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 address=tag|index|offset 复算关键量；边界：不能把《块、组、标记与偏移》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：temporal+spatial\ locality；任务：为《局部性为什么有效》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 temporal+spatial\ locality 复算关键量；边界：不能把《局部性为什么有效》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：set=block\bmod S；任务：为《组相联与替换》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 set=block\bmod S 复算关键量；边界：不能把《组相联与替换》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：line=block\bmod sets；任务：为《直接映射与冲突》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 line=block\bmod sets 复算关键量；边界：不能把《直接映射与冲突》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：AMAT=T_1+m_1P_1；任务：为《多级Cache与AMAT》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 AMAT=T_1+m_1P_1 复算关键量；边界：不能把《多级Cache与AMAT》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：dirty\Rightarrow writeback；任务：为《写直达与写回》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 dirty\Rightarrow writeback 复算关键量；边界：不能把《写直达与写回》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：hit/miss\ state\ trace；任务：为《Cache轨迹实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 hit/miss\ state\ trace 复算关键量；边界：不能把《Cache轨迹实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态