1需求、故障假设与SLO
闭卷重建需求、故障假设与SLO的故障模型、消息状态、不变量与恢复边界。
分布式系统与可靠服务 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2协议与状态机设计
闭卷重建协议与状态机设计的故障模型、消息状态、不变量与恢复边界。
3实现复制日志与状态机
闭卷重建实现复制日志与状态机的故障模型、消息状态、不变量与恢复边界。
4加入分片、迁移与去重
闭卷重建加入分片、迁移与去重的故障模型、消息状态、不变量与恢复边界。
5故障恢复与安全验收
闭卷重建故障恢复与安全验收的故障模型、消息状态、不变量与恢复边界。
6容量、SLO与运行手册
闭卷重建容量、SLO与运行手册的故障模型、消息状态、不变量与恢复边界。
7综合答辩与设计迁移
闭卷重建综合答辩与设计迁移的故障模型、消息状态、不变量与恢复边界。
第 1 页 · 背面（答案）
机制：定义客户端请求ID、任期、日志索引、命令、错误和重定向，节点只执行合法状态迁移；实验：画跟随者、候选者、领导者及客户端重试的联合时间线；边界：协议字段有版本和长度上限，未知消息不能进入默认成功路径。
机制：先明确API语义、数据规模、一致性、允许故障、RPO/RTO和延迟目标，再选择协议；实验：为三节点键值服务写正常与分区验收矩阵；边界：未声明网络是否异步、节点是否持久化和客户端是否重试，就无法证明正确性。
机制：按一致性哈希路由键，迁移时复制快照和增量日志，服务端按请求ID去重；实验：增加节点后统计迁移键并验证每键只有一个生效所有者；边界：路由与数据切换不同步会读空或双写，旧客户端必须得到可刷新错误。
机制：用确定性事件模拟多个节点选举、复制、提交和应用，输出每节点日志与键值状态；实验：运行正常复制、领导崩溃、消息重排和旧主恢复测试；边界：教学模拟不依赖真实线程睡眠；抽象掉的磁盘与网络行为要公开。
机制：阶梯负载测安全QPS、p99、错误和队列，写告警、降级、切换、恢复与回滚手册；实验：在一个节点故障下重测容量并给出故障余量；边界：健康容量必须按故障态而非全健康峰值制定，手册步骤必须在隔离环境演练。
机制：注入截断WAL、旧任期写、响应丢失、分区和磁盘校验失败，验证恢复与fencing；实验：保存故障前初态、注入点、预期、实际、首偏差和回归结果；边界：只演示成功路径不合格，恢复后值正确但重复扣款同样是失败。
机制：用不变量、报文时间线、代码测试、故障证据和指标证明设计，并说明需求变化后的改法；实验：提交设计、实现、测试、故障报告、容量报告与已知限制；边界：背Raft术语不能替代证明；换成跨区域、拜占庭或强事务后必须重新审视假设。