1虚拟页、页框与权限
闭卷重建虚拟页、页框与权限的分层、状态、关系式和失败边界。
计算机系统原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2页表项与多级页表
闭卷重建页表项与多级页表的分层、状态、关系式和失败边界。
3TLB与地址翻译
闭卷重建TLB与地址翻译的分层、状态、关系式和失败边界。
4缺页与按需调页
闭卷重建缺页与按需调页的分层、状态、关系式和失败边界。
5写时复制与共享页
闭卷重建写时复制与共享页的分层、状态、关系式和失败边界。
6内存映射与隔离
闭卷重建内存映射与隔离的分层、状态、关系式和失败边界。
7页表翻译实验
闭卷重建页表翻译实验的分层、状态、关系式和失败边界。
第 1 页 · 背面（答案）
核心关系：PTE=PFN+permissions；任务：为《页表项与多级页表》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 PTE=PFN+permissions 复算关键量；边界：不能把《页表项与多级页表》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：VA=VPN|offset；任务：为《虚拟页、页框与权限》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 VA=VPN|offset 复算关键量；边界：不能把《虚拟页、页框与权限》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：not\ present\Rightarrow fault；任务：为《缺页与按需调页》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 not\ present\Rightarrow fault 复算关键量；边界：不能把《缺页与按需调页》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：TLB\ hit?PFN:walk；任务：为《TLB与地址翻译》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 TLB\ hit?PFN:walk 复算关键量；边界：不能把《TLB与地址翻译》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：VA\ region\to object；任务：为《内存映射与隔离》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 VA\ region\to object 复算关键量；边界：不能把《内存映射与隔离》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：write\ shared\Rightarrow copy；任务：为《写时复制与共享页》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 write\ shared\Rightarrow copy 复算关键量；边界：不能把《写时复制与共享页》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：PA=PFN\cdot page+offset；任务：为《页表翻译实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 PA=PFN\cdot page+offset 复算关键量；边界：不能把《页表翻译实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态