最终一致性和强一致性
最终一致性和强一致性是分布式系统中两种不同的数据一致性模型，它们在数据同步的方式和适用场景上有显著区别：
1. 强一致性（Strong Consistency）
- 定义：所有节点（副本）的数据在任何时刻都保持一致。当数据写入成功后，后续的读取操作一定能立即读到最新的值，无论从哪个节点读取。
- 特点：
- 实时同步：写入操作必须同步到所有节点后，才被视为成功。
- 牺牲可用性：为了保证强一致性，系统可能在节点故障或网络分区时暂时不可用（符合 CAP 定理中的 CP 模型）。
- 适用场景：
- 对数据准确性要求极高的场景，如银行转账、库存扣减、选举投票等。
- 例子：
- 你向朋友转账 100 元，转账成功后，双方账户必须立即显示最新余额，不允许出现中间状态。
2. 最终一致性（Eventual Consistency）
- 定义：数据更新后，不保证所有节点立即一致，但保证经过一段时间（无新写入时），所有节点最终会达成一致。
- 特点：
- 异步同步：写入操作可能先在一个节点完成，再异步传播到其他节点。
- 高可用性：允许短暂不一致，系统在网络分区或故障时仍可用（符合 CAP 定理中的 AP 模型）。
- 适用场景：
- 对实时性要求不高，但需要高可用的场景，如社交媒体动态、DNS 更新、评论系统等。
- 例子：
- 你在社交媒体发布一条动态，其他用户可能稍后才能看到，但最终所有人都会看到相同的内容。
核心区别
| 维度 | 强一致性 | 最终一致性 |
|---|---|---|
| 数据状态 | 所有节点实时一致 | 短暂不一致，最终一致 |
| 延迟 | 高（需等待同步） | 低（异步传播） |
| 可用性 | 低（可能因同步失败阻塞） | 高（允许节点独立工作） |
| 适用场景 | 金融交易、库存管理 | 社交媒体、内容分发网络（CDN） |
背后的理论
- CAP 定理：分布式系统无法同时满足一致性（Consistency）、可用性（Availability）和分区容错性（Partition Tolerance）。强一致性选择 CP（一致性和分区容错），最终一致性选择 AP（可用性和分区容错）。
- BASE 理论：最终一致性是 BASE（Basically Available, Soft state, Eventual consistency）的核心，通过牺牲强一致性来保障高可用。
总结：
- 选择强一致性时，优先数据准确性和实时性，容忍系统短暂不可用。
- 选择最终一致性时，优先高可用和性能，容忍短暂的数据不一致。