1需求切片与架构决策
闭卷重建需求切片与架构决策的对象、状态、事件、不变量与一个失败反例。
程序设计 II：抽象、内存与并发 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2领域模型与接口边界
闭卷重建领域模型与接口边界的对象、状态、事件、不变量与一个失败反例。
3持久化、迁移与恢复
闭卷重建持久化、迁移与恢复的对象、状态、事件、不变量与一个失败反例。
4并发、测试与发布门槛
闭卷重建并发、测试与发布门槛的对象、状态、事件、不变量与一个失败反例。
5实验：作业调度核心
闭卷重建实验：作业调度核心的对象、状态、事件、不变量与一个失败反例。
6实验：恢复日志重放
闭卷重建实验：恢复日志重放的对象、状态、事件、不变量与一个失败反例。
7答辩：证据链与复盘
闭卷重建答辩：证据链与复盘的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：领域模型与接口边界必须声明公开接口、隐藏状态、所有权或资源责任、允许的并发交错、失败后的不变量以及可替换实现；实验入口：围绕领域模型与接口边界先画对象与资源关系，再运行正常、边界、失败和确定性交错四组实验，保存状态轨迹；边界：领域模型与接口边界不能靠全局可变状态、无限重试或偶然调度正确；别名、清理、取消、锁顺序和性能退化必须显式处理。
核心机制：需求切片与架构决策必须声明公开接口、隐藏状态、所有权或资源责任、允许的并发交错、失败后的不变量以及可替换实现；实验入口：围绕需求切片与架构决策先画对象与资源关系，再运行正常、边界、失败和确定性交错四组实验，保存状态轨迹；边界：需求切片与架构决策不能靠全局可变状态、无限重试或偶然调度正确；别名、清理、取消、锁顺序和性能退化必须显式处理。
核心机制：并发、测试与发布门槛必须声明公开接口、隐藏状态、所有权或资源责任、允许的并发交错、失败后的不变量以及可替换实现；实验入口：围绕并发、测试与发布门槛先画对象与资源关系，再运行正常、边界、失败和确定性交错四组实验，保存状态轨迹；边界：并发、测试与发布门槛不能靠全局可变状态、无限重试或偶然调度正确；别名、清理、取消、锁顺序和性能退化必须显式处理。
核心机制：持久化、迁移与恢复必须声明公开接口、隐藏状态、所有权或资源责任、允许的并发交错、失败后的不变量以及可替换实现；实验入口：围绕持久化、迁移与恢复先画对象与资源关系，再运行正常、边界、失败和确定性交错四组实验，保存状态轨迹；边界：持久化、迁移与恢复不能靠全局可变状态、无限重试或偶然调度正确；别名、清理、取消、锁顺序和性能退化必须显式处理。
核心机制：实验：恢复日志重放必须声明公开接口、隐藏状态、所有权或资源责任、允许的并发交错、失败后的不变量以及可替换实现；实验入口：围绕实验：恢复日志重放先画对象与资源关系，再运行正常、边界、失败和确定性交错四组实验，保存状态轨迹；边界：实验：恢复日志重放不能靠全局可变状态、无限重试或偶然调度正确；别名、清理、取消、锁顺序和性能退化必须显式处理。
核心机制：实验：作业调度核心必须声明公开接口、隐藏状态、所有权或资源责任、允许的并发交错、失败后的不变量以及可替换实现；实验入口：围绕实验：作业调度核心先画对象与资源关系，再运行正常、边界、失败和确定性交错四组实验，保存状态轨迹；边界：实验：作业调度核心不能靠全局可变状态、无限重试或偶然调度正确；别名、清理、取消、锁顺序和性能退化必须显式处理。
核心机制：答辩：证据链与复盘必须声明公开接口、隐藏状态、所有权或资源责任、允许的并发交错、失败后的不变量以及可替换实现；实验入口：围绕答辩：证据链与复盘先画对象与资源关系，再运行正常、边界、失败和确定性交错四组实验，保存状态轨迹；边界：答辩：证据链与复盘不能靠全局可变状态、无限重试或偶然调度正确；别名、清理、取消、锁顺序和性能退化必须显式处理。