1复制的目的与成本
闭卷重建复制的目的与成本的故障模型、消息状态、不变量与恢复边界。
分布式系统与可靠服务 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2强一致、顺序一致与最终一致
闭卷重建强一致、顺序一致与最终一致的故障模型、消息状态、不变量与恢复边界。
3主从复制与复制滞后
闭卷重建主从复制与复制滞后的故障模型、消息状态、不变量与恢复边界。
4读己之写、单调读与会话保证
闭卷重建读己之写、单调读与会话保证的故障模型、消息状态、不变量与恢复边界。
5Quorum读写与重叠条件
闭卷重建Quorum读写与重叠条件的故障模型、消息状态、不变量与恢复边界。
6冲突版本、读修复与反熵
闭卷重建冲突版本、读修复与反熵的故障模型、消息状态、不变量与恢复边界。
7实验：Quorum与版本合并
闭卷重建实验：Quorum与版本合并的故障模型、消息状态、不变量与恢复边界。
第 1 页 · 背面（答案）
机制：线性一致要求操作像在调用与返回之间某点原子发生；顺序一致不绑定真实时间；最终一致只承诺停止更新后收敛；实验：给读写历史判断是否存在线性化点，并比较会话内观察；边界：最终一致不是任意旧值永久可接受，系统仍需传播、冲突处理和收敛条件。
机制：副本改善读延迟、吞吐和容灾，但写入要传播、排序、确认并处理冲突；实验：对三副本跨区域服务计算写确认路径和单区域故障后的可读写性；边界：副本数增加不等于数据更安全，错误写入也会更快复制。
机制：客户端通过粘性、版本令牌或等待副本追上，获得比全局强一致更便宜的会话语义；实验：让用户写个人资料后跨两个副本读取，设计版本下界检查；边界：粘性会话在节点故障后会失效，客户端令牌也要兼容分片迁移。
机制：主节点排序写并把日志传播给从节点，同步确认提高持久性但增加尾延迟，异步确认可能丢最近写；实验：模拟主确认后崩溃、从节点提升和旧主恢复的日志分叉；边界：只比较日志长度不足以选新主，任期和已提交边界必须参与。
机制：副本以版本向量或逻辑版本识别新旧与并发，读修复和后台反熵推动收敛；实验：合并三个副本版本，保留并发兄弟版本并在应用层解决；边界：最后写入获胜依赖时钟且可能丢并发更新，不能默认是正确业务合并。
机制：N个副本中写等待W、读查询R，R+W>N使读写集合必有交集，但还需版本选择与修复；实验：枚举N=5下不同R/W组合，计算可容忍故障和读写延迟路径；边界：法定人数交集本身不等于线性一致， sloppy quorum 与时钟冲突会改变语义。
机制：输入N/R/W和副本版本，判断交集条件、选最新或报告冲突；实验：覆盖强交集、无交集、并发版本和副本缺失测试；边界：只返回最大时间戳会把时钟误差伪装成确定顺序。