4.3 一致性阶梯
一致性
1. 知识点论述
「4.3 一致性阶梯」是《分布式计算系统》一致性部分的核心知识点。解释多副本如何读、如何冲突判定，以及强弱一致如何取舍。本知识点首先把握：线性一致性：所有操作像发生在一条与真实时间兼容的全局时间线上。实现依赖共识或带误差界的全局时间，如 Spanner 的 TrueTime。学习时请把它放回整门课主线——把独立计算机组织成对用户像一台机器的系统，并用通信、数据放置、复制、容错与调度把这件事做可靠。
2. 视频教程
简单理解顺序一致性、线性一致性
3. 知识点详解
下面围绕本知识点展开要点说明，建议结合上方视频边看边对照。
- 线性一致性：所有操作像发生在一条与真实时间兼容的全局时间线上。实现依赖共识或带误差界的全局时间，如 Spanner 的 TrueTime。
- 顺序一致性：所有进程看到相同的写顺序，不要求符合墙钟。全序广播是常见实现手段。
- 因果一致性：只约束有因果关系的写。向量时钟用来识别因果和并发。
- 最终一致性：允许暂时分歧，停止更新后副本收敛。CDN 和购物车常用。
- 一致性越强，延迟和可用性代价通常越高。订单要强一致，推荐可以最终一致。
学习建议：先抓住定义与问题，再理解机制步骤，最后对照应用场景思考“何时用、何时不用、代价是什么”。
4. 应用场景
- 金融转账选强一致；推荐列表可用最终一致。
- Spanner/TrueTime 场景理解线性一致代价。
- 产品设计时明确一致性 SLA。