Raft：让共识算法不再是黑魔法
💡
原文中文，约11000字，阅读约需27分钟。
📝
内容提要
Leslie Lamport 提出的 Paxos 算法难以理解，导致实现者较少。2014 年，Diego Ongaro 和 John Ousterhout 提出的 Raft 算法优先考虑可理解性，成功应用于云原生基础设施。Raft 通过明确分解共识问题和随机化选举超时等方法，确保系统在节点故障时保持一致性和安全性。
🎯
关键要点
- Leslie Lamport 提出的 Paxos 算法难以理解，导致实现者较少。
- 2014 年，Diego Ongaro 和 John Ousterhout 提出的 Raft 算法优先考虑可理解性。
- Raft 通过明确分解共识问题，确保系统在节点故障时保持一致性和安全性。
- Raft 将共识问题分解为选举、日志复制和安全性三个子问题。
- Raft 的选举机制通过随机化超时避免了死循环，确保选举过程的有效性。
- Raft 的日志复制机制确保了日志的一致性和安全性，使用 prevLogIndex 和 prevLogTerm 进行一致性检查。
- Raft 通过投票规则保证新 Leader 的日志中包含所有已 commit 的数据，确保数据不丢失。
- Raft 的设计目标是可理解性，使得普通工程师能够读懂、实现和调试。
- Raft 的实现比 Paxos 更加简单易懂，用户实验显示 Raft 的理解程度显著高于 Paxos。
❓
延伸问答
Raft 算法的主要设计目标是什么？
Raft 算法的主要设计目标是可理解性，使普通工程师能够读懂、实现和调试。
Raft 如何确保系统在节点故障时保持一致性？
Raft 通过将共识问题分解为选举、日志复制和安全性三个子问题，并使用随机化超时机制来避免死循环，确保一致性。
Raft 的选举机制是如何工作的？
Raft 的选举机制通过每个 Follower 维护一个随机的 election timeout，当超时未收到 Leader 的心跳时，Follower 会变为 Candidate 并发起选举。
Raft 和 Paxos 算法有什么主要区别？
Raft 强制单 Leader，所有写操作都经过 Leader，而 Paxos 可以无 Leader，且 Raft 的设计更注重可理解性。
Raft 如何处理日志复制以确保数据一致性？
Raft 通过将日志条目追加到 Leader 的日志中，并并行发送给所有 Follower，确保多数节点确认后才将条目标记为已提交。
Raft 的日志压缩是如何实现的？
Raft 通过快照机制来实现日志压缩，快照包含状态机的完整状态，允许节点在需要时丢弃旧的日志条目。
➡️
