Raft 协议原理详解

最新推荐文章于 2025-05-23 16:45:53 发布

妖四灵.Shuen

最新推荐文章于 2025-05-23 16:45:53 发布

阅读量3.9k

点赞数 4

CC 4.0 BY-SA版权

分类专栏：分布式文章标签：算法分布式

本文链接：https://blog.csdn.net/wangxuelei036/article/details/108894053

本文详细介绍了Raft协议的原理，包括leader选举、日志复制和一致性保证。在选举中，节点通过随机超时时间避免并发选举，确保日志完整性最高的节点成为leader。日志复制保证了数据一致性，当节点宕机或故障时，Raft通过检查日志顺序和任期编号进行修复。面对网络分区，Raft协议通过限制任期内的log记录提交，防止出现多leader情况。此外，还讨论了日志压缩以防止日志无限增长。总的来说，Raft通过将问题分解为选举和日志复制，确保了分布式系统的强一致性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

前言

先简单聊聊分布式算法的重要性问题

在分布式微服务系统的项目中，最重要的是如何选择或者设计合适的算法，来解决一致性问题以及可用性等相关问题

而分布式系统的最关键之处，在于根据场景的需要选择合适的算法，在一致性和可用性之间权衡（注:因为分区容错性是必须满足的），而权衡妥协的关键在于是否了解各个算法的特点，对于其他技术也适用。找到影响选择的因素，了解各个技术的特点，根据场景需要权衡选择。

下面是一些分布式算法的比较：

当然本章不是介绍所有的分布式算法，我也没法仅仅使用一篇文章就把上面表格中覆盖的分布式算法知识清晰的讲述。

所有我们重点讲解的是现在分布式算法或者说现在分布式数据一致性首选算法：Raft 算法

raft是工程上使用较为广泛的强一致性、去中心化、高可用的分布式协议。在这里强调了是在工程上，因为在学术理论界，最耀眼的还是大名鼎鼎的Paxos。但Paxos是：少数真正理解的人觉得简单，尚未理解的人觉得很难，大多数人都是一知半解。本人也花了很多时间、看了很多材料也没有真正理解。直到看到raft的论文，两位研究者也提到，他们也花了很长的时间来理解Paxos，他们也觉得很难理解，于是研究出了raft算法。

raft是一个共识算法（consensus algorithm），所谓共识，就是多个节点对某个事情达成一致的看法，即使是在部分节点故障、网络延时、网络分割的情况下。这些年最为火热的加密货币（比特币、区块链）就需要共识算法，而在分布式系统中，共识算法更多用于提高系统的容错性。raft协议就是一种leader-based的共识算法，与之相应的是leaderless的共识算法。

本文基于论文In Search of an Understandable Consensus Algorithm对raft协议进行分析，当然，还是建议读者直接看论文。

简单提一下，因为Raft协议也是基于CAP理论，但是现在大部分人对CAP 存在一个误解，认为无论在什么情况下，A和C 只能选择一个，因为P必选，其实，在不存在网络分区的情况下或者网络故障等问题的时候，也就是分布式系统正常，P 不需要的时候，C和P是能同时保证的。只有发生故障分区的时候，在需要的P的时候，才会在C和P 中抉择。