1线程与共享状态
闭卷重建线程与共享状态的分层、状态、关系式和失败边界。
计算机系统原理 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2竞态与临界区
闭卷重建竞态与临界区的分层、状态、关系式和失败边界。
3锁、条件变量与信号量
闭卷重建锁、条件变量与信号量的分层、状态、关系式和失败边界。
4原子读改写
闭卷重建原子读改写的分层、状态、关系式和失败边界。
5死锁条件与规避
闭卷重建死锁条件与规避的分层、状态、关系式和失败边界。
6内存模型与屏障
闭卷重建内存模型与屏障的分层、状态、关系式和失败边界。
7并发调度模型实验
闭卷重建并发调度模型实验的分层、状态、关系式和失败边界。
第 1 页 · 背面（答案）
核心关系：atomic\ region；任务：为《竞态与临界区》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 atomic\ region 复算关键量；边界：不能把《竞态与临界区》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：interleaving\ of\ events；任务：为《线程与共享状态》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 interleaving\ of\ events 复算关键量；边界：不能把《线程与共享状态》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：CAS(old,new)；任务：为《原子读改写》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 CAS(old,new) 复算关键量；边界：不能把《原子读改写》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：wait(predicate)；任务：为《锁、条件变量与信号量》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 wait(predicate) 复算关键量；边界：不能把《锁、条件变量与信号量》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：happens-before；任务：为《内存模型与屏障》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 happens-before 复算关键量；边界：不能把《内存模型与屏障》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：mutual\ exclusion+hold+no\ preempt+cycle；任务：为《死锁条件与规避》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 mutual\ exclusion+hold+no\ preempt+cycle 复算关键量；边界：不能把《死锁条件与规避》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态
核心关系：schedule\to observable\ state；任务：为《并发调度模型实验》构造一条最短可运行轨迹，逐步记录输入状态、系统动作和输出状态，并用关系 schedule\to observable\ state 复算关键量；边界：不能把《并发调度模型实验》在语言、ABI、ISA、微体系结构、内核或设备层的对象混成一个‘系统自动完成’，必须声明位宽、权限、时序和失败后的可见状态