分布式一致性算法

分布式一致性算法

大家好，我是程序员老王。今天聊聊面试高频考点：分布式一致性算法。搞分布式系统，分布式一致性算法是绕不开的核心知识点，面试官尤其爱问原理和应用场景。

📌 免费福利时间： 老王给大家整理了最新的《2025年Java面试宝典》，覆盖分布式、并发、源码、调优等热门考点！

🔗 链接: https://pan.baidu.com/s/1RUVf75gmDVsg8MQp4yRChg?pwd=9b3g
📁 提取码: 9b3g (建议保存备用)

---

🤔 为什么需要分布式一致性算法？

想象一下，我们有个分布式数据库，数据存在多个节点上。用户下单时，需要同时扣减库存、记录订单。如果部分节点成功，部分节点失败，数据就对不上了！这就是分布式一致性算法要解决的核心问题：在可能发生故障的网络环境中，让多个节点对某个数据/状态达成一致。

🔍 常见分布式一致性算法解析

✅ Paxos 协议：经典中的经典

Paxos 可以说是分布式一致性算法的基石。它解决的问题叫“共识问题”。它的核心角色有：

• Proposer（提案者）： 提出方案。
• Acceptor（接受者）： 批准提案。
• Learner（学习者）： 学习最终结果。

过程分两阶段：

1. Prepare阶段： Proposer 拿着编号 N 去找多数派 Acceptor，请求承诺：“别接受编号小于 N 的提案了，最好把已接受的编号最高的提案告诉我”。
2. Accept阶段： 如果拿到多数派承诺，Proposer 就发 Accept 请求，内容是它自己的值或者 Acceptor 返回的最高编号提案的值。多数派 Acceptor 接受后，提案就算被选定。

Paxos 最牛的地方在于它能在节点宕机、网络分区等故障下依然保证一致性（只要多数节点存活）。但它的确有点难理解，工程实现也比较复杂。

✅ Raft 协议：更易理解的替代方案

Raft 就是为了解决 Paxos 太难懂的问题而生的分布式一致性算法。它把问题分解成三个清晰的部分：

• Leader选举： 集群中始终有一个 Leader 负责处理客户端请求和复制日志。如果 Leader 挂了，其他节点会触发选举，选出新 Leader。
• 日志复制： Leader 把客户端的操作（写请求）封装成日志条目，复制到其他节点。只有当这条日志被复制到多数节点后，Leader 才认为它已提交（Committed），可以应用到状态机（比如执行数据库写操作）。
• 安全性： 保证选主和日志复制的正确性。

Raft 用任期（Term）逻辑替代了 Paxos 的提案编号，选举过程也更像“拉票”（谁先发起投票，谁就有优势）。工程实现友好很多，Etcd、Consul 都用了 Raft。面试问分布式一致性算法，Raft 大概率是重点。

✅ ZAB 协议：ZooKeeper 的引擎

ZooKeeper 作为分布式协调服务，它的核心就是 ZAB（ZooKeeper Atomic Broadcast）协议，也是一种分布式一致性算法。 ZAB 和 Raft 很像，都强调 Leader 的单一性。它也分为：

• Leader选举： 选举期间服务不可用（Recovery阶段）。
• 消息广播（同步）： Leader 将客户端的写请求（事务Proposal）广播给所有 Follower。Follower 收到后先应答 ACK。Leader 收到多数ACK后，先自己提交（Commit），再广播 Commit 消息给所有 Follower。Follower 收到 Commit 才真正执行。

图：分布式一致性算法在协调服务中的应用

ZAB 非常适用于 ZooKeeper 这种顺序一致性（所有更新操作按Leader接收顺序执行）的场景。

🚀 分布式一致性算法应用场景

理解了这些分布式一致性算法，就能明白它们在关键系统里的作用：

1. 分布式数据库/存储： 如 TiDB (Raft), CockroachDB (Raft), Spanner (Paxos变种) 保证数据副本强一致。
2. 配置管理中心/服务发现： 如 Etcd (Raft), Consul (Raft), ZooKeeper (ZAB) 存储和分发集群元数据。
3. 分布式锁服务： ZooKeeper, Etcd 等可以基于其强一致性提供可靠的分布式锁。
4. 高可用组件： 很多中间件（消息队列、微服务网关）的 HA 都依赖 Raft 或类似的分布式一致性算法来选主。

💡 面试回答要点

当面试官问：“说说分布式一致性算法”，可以这样组织答案：

1. 定义： 强调其目标是在故障环境下保证多节点数据/状态一致。
2. 必要性： 举例说明不一致带来的问题（如库存超卖）。
3. 经典算法：
   • Paxos： 核心思想（提案、多数派承诺），优点（容错强），缺点（难理解）。
   • Raft： 核心思想（Leader选举、日志复制），相比 Paxos 的优势（易理解、工程友好），应用（Etcd）。
   • ZAB： 简述其与 Raft 相似点（主从、广播+提交），强调其在 ZooKeeper 中的作用。
4. 区别与联系： 可以简单对比下 Paxos 和 Raft/ZAB 的设计哲学异同。
5. 应用场景： 结合项目经验或知名产品（如 TiDB, Etcd, ZooKeeper）说明。

🎁 搞定面试的小秘诀

准备面试题是个技术活，一份好的资料能事半功倍。想系统刷透分布式、并发、JVM等Java核心面试题？ 可以考虑入手 面试鸭会员，它整合了大量大厂真题和优质题解。

悄悄告诉你： 如果你想购买面试鸭会员，可以通过 面试鸭返利网 (mianshiyafanli.com) 来找我，我能帮你返利25元！能省一点是一点嘛。👉 点此访问面试鸭返利网

📖 总结

分布式一致性算法（Paxos, Raft, ZAB等）是构建可靠分布式系统的基石。理解它们的核心思想、优缺点和应用场景，不仅是面试通关的钥匙，更是进阶高级工程师必备的知识储备。搞懂它们，面对分布式系统复杂性的底气就更足了！

返回面试鸭返利网首页