1. 强一致性（Strong Consistency）
- 定义：所有节点在任何时间点看到的数据完全一致，读操作总是返回最近的写操作结果。
- 特点 ：
- 写操作完成后，所有后续读操作都能立即看到更新。
- 通常需要同步机制（如分布式锁或两阶段提交）。
- 牺牲部分可用性和性能以保证一致性。
- 优点 ：
- 数据高度可靠，适合需要严格正确性的场景。
- 客户端逻辑简单，无需处理数据不一致。
- 缺点 ：
- 在网络分区或高延迟时，可能导致系统不可用（符合 CAP 的 CP 模型）。
- 写操作延迟较高，因为需要跨节点同步。
- 实现方式 ：
- 两阶段提交（2PC）、Paxos、Raft 共识算法。
- 数据库例子：Google Spanner（通过 TrueTime 实现）、ZooKeeper。
- 应用场景 ：
- 金融系统（银行账户、交易）。
- 库存管理（防止超卖）。
- 分布式锁和协调服务（ZooKeeper）。
2. 最终一致性（Eventual Consistency）
- 定义：如果没有新的写操作，系统最终会使所有节点的数据达到一致，但短期内可能存在不一致。
- 特点 ：
- 写操作后，节点间数据可能暂时不一致，但通过同步机制（如后台复制）最终一致。
- 优先保证可用性和分区容错性（符合 CAP 的 AP 模型）。
- 优点 ：
- 高可用性，系统在网络分区时仍可响应。
- 写操作延迟低，适合高并发场景。
- 缺点 ：
- 客户端可能读取到旧数据，需处理不一致性。
- 一致性收敛时间可能较长，依赖系统设计。
- 实现方式 ：
- 异步复制、冲突解决机制（如向量时钟、CRDT）。
- 数据库例子：Cassandra、DynamoDB、CouchDB。
- 应用场景 ：
- 社交媒体（帖子、评论更新）。
- 内容分发网络（CDN）。
- 日志收集和分析系统。
最终一致性的子类型
- 因果一致性（Causal Consistency） ：
- 保证因果相关的操作按顺序执行（如 A 导致 B，则所有节点先看到 A 再看到 B）。
- 例子：Riak（部分配置）、Dynamo。
- 场景：消息系统、社交网络的事件流。
- 会话一致性（Session Consistency） ：
- 在同一会话内，读操作能看到之前的写操作结果。
- 例子：Redis（部分配置）、Memcached。
- 场景：用户会话管理、购物车。
- 单调读一致性（Monotonic Read Consistency） ：
- 如果客户端读取到某个值，后续读操作不会返回更旧的值。
- 场景：缓存系统、推荐系统。
- 单调写一致性（Monotonic Write Consistency） ：
- 保证同一客户端的写操作按提交顺序执行。
- 场景：日志系统、事件溯源。
3. 读写一致性（Read-your-Writes Consistency）
- 定义：客户端在写入数据后，立即读取时能保证看到自己的写结果。
- 特点 ：
- 强调客户端的写后读一致性，不要求全局一致。
- 常用于最终一致性系统的增强。
- 优点 ：
- 提高用户体验，避免写后读到旧数据的困惑。
- 实现成本较低。
- 缺点 ：
- 不保证其他客户端的一致性。
- 依赖客户端会话管理。
- 实现方式 ：
- 会话粘性（Sticky Sessions）、客户端缓存。
- 数据库例子：MongoDB（读写分离配置）。
- 应用场景 ：
- 用户账户更新（如密码修改后立即生效）。
- 个人化设置（如主题切换）。
4. 顺序一致性（Sequential Consistency）
- 定义：所有节点的读写操作按全局统一的顺序执行，操作结果与某种顺序化的执行一致。
- 特点 ：
- 比强一致性稍弱，不要求实时同步，但要求操作顺序一致。
- 所有客户端看到相同的操作顺序。
- 优点 ：
- 提供较强的一致性保证，同时比强一致性性能稍好。
- 适合需要明确操作顺序的场景。
- 缺点 ：
- 仍可能牺牲部分可用性。
- 实现复杂，需协调机制。
- 实现方式 ：
- 分布式日志、共识算法。
- 数据库例子：CockroachDB（部分场景）。
- 应用场景 ：
- 分布式任务队列。
- 协作编辑系统（如 Google Docs 的操作序列）。
5. 弱一致性（Weak Consistency）
- 定义：对数据一致性几乎没有保证，客户端可能读取到任意数据状态。
- 特点 ：
- 优先最大化可用性和性能。
- 通常依赖客户端或应用程序自行处理一致性。
- 优点 ：
- 极高的可用性和低延迟。
- 适合对一致性要求极低的场景。
- 缺点 ：
- 数据不一致风险高，客户端逻辑复杂。
- 实现方式 ：
- 无同步的分布式缓存、简单复制。
- 数据库例子：某些 NoSQL 数据库在最低一致性配置下。
- 应用场景 ：
- 实时游戏状态（短暂不一致可接受）。
- 非关键性缓存（如广告展示）。
一致性模型对比
| 一致性模型 | 一致性强度 | 可用性 | 延迟 | 典型应用场景 |
|---|---|---|---|---|
| 强一致性 | 高 | 低 | 高 | 金融、库存管理 |
| 最终一致性 | 低 | 高 | 低 | 社交媒体、CDN |
| 因果一致性 | 中 | 高 | 中 | 消息系统、事件流 |
| 会话一致性 | 中 | 高 | 低 | 购物车、用户会话 |
| 顺序一致性 | 高 | 中 | 中 | 任务队列、协作编辑 |
| 弱一致性 | 低 | 高 | 低 | 实时游戏、非关键缓存 |