分布式共识算法-Raft算法

Posted Lord Lean Notes

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了分布式共识算法-Raft算法相关的知识,希望对你有一定的参考价值。

分布式共识算法有多种,比如Paxos算法、zookeeper的zab算法,这两种算法由于理解起来较为复杂,所以衍生出了raft算法。
raft算法是一种管理复制日志的一致性算法,其产生的结果和paxos是一样的,效率和paxos一样高,但是其比paxos更易于理解,也为构建系统提供了良好的基础。
raft将协商一致的关键要素(如领导人选举、日志复制和安全)分开,并强制加强一致性,以减少必须考虑的状态数量。并且raft还包括一种新的改变集群成员资格的机制,该机制使用重叠的多数关系来保证安全性。
Raft的特性

raft引入了几个新颖的特性:强领导、领导人选举、成员变更。

强领导

raft使用更强的领导形式。例如,日志条目仅从引导者流向其他服务器。这简化了复制日志的管理,并使raft更易于理解。

领导人选举

raft使用随机定时器来选举领导人,这只是为任何共识算法所需的心跳增加了少量机制,同时简单而快速的解决冲突。

成员资格更改

RAFT 机制更改群中的服务器使用一种新的联合共识方法,其中两种不同配置的大多数在过渡期间重叠。这允许集群在配置更改期间可以继续正常运行。
复制状态机
一致性算法通常出现在复制状态机的上下文中,在这种方法中,服务器集合上的状态机计算相同状态的副本。即使某些服务器关闭,也是可以继续运行的。复制状态机用来解决分布式系统中的各种容错问题。
例如:在大规模的系统中,有一个单一的集群领导者,通常采用zookeeper来管理领导者选举和存储必须在领导者崩溃后存活的配置信息。
复制状态机通常使用复制日志的方式来实现,在每个状态机中都会存储一个包含一系列命令的日志,状态机则按顺序执行这些命令。这样每个状态机计算相同的状态和输出相同的序列。 所以保持复制日志的一致性是共识算法的工作。
共识算法又有下面几种特性
  • 确保在所有非拜占庭条件下(包括网络延迟、分区、数据包丢失、重复和重新排序)的安全性(从不返回错误的结果)

  • 只要大多数服务器处于运行状态,并且可以互相通信,就是完全可用的。例如:五台服务器可以容忍两台服务器的故障。如果出现故障,会在稳定存储状态下恢复,然后重新加入集群。

  • 不依赖于时间来确保日志的一致性,但是在错误的时钟和极端的消息延迟在最坏的情况下会导致可用性问题。

  • 一个命令可以在大多数集群响应了一轮远程调用之后立即完成,少数慢速服务器不影响整个系统性能。

Paxos怎么了?

在过去很长时间中,Paxos协议几乎成为了共识的同义词,但是其仍有两个缺点,Paxos非常难以理解,完整的解释是出了名的不透明;Paxos没有为建立实际的实施提供一个良好的基础,因为并没有一个关于paxos广泛认同的算法,而就像zookeeper虽说已经实现了paxos算法,但是其细节并未公开。
Paxos架构对构建实用系统十分的不友好,这是单一法令分解的结果。例如:独立的选择一组日志条目,将他们合并到一个顺序日志中,只会增加复杂性。 另一个问题是Paxos在其核心部分使用了对称的对等方法(尽管其最终暗示了作为性能优化的一种薄弱的领导形式) 。这在一个只需要做出一个决定的简化世界中是很有意义的,但是在实际系统中很少这样做。如果必须做出一系列决策,就必须选出一个领导者,然后做一系列决策。[注:红色字体的部分这里并没有理解透,有理解的可以留言,一起交流]
raft共识算法
raft算法是一种复制日志的算法,其会先通过选举出一个领导者来实现共识,然后赋予领导者管理复制日志的全部责任。领导者接受客户端的日志,并在其他服务器上复制这些日志,并告诉服务器何时可以安全的将日志应用到他们的状态机上,拥有一个领导者可以简化复制日志的管理。

图1:这是raft算法中涉及到的状态、角色和属性

raft集群可以在包含5台服务器时,容许2台服务器的故障。在任何时候,每个服务器都属于三种状态之一:追随者、候选人、领导者。在正常运行中,只有一个领导者,其他所有服务器都是追随者。追随者是被动的:其不会自己发出请求,只是回应领导者和候选人的请求。领导者处理所有的客户请求(如果一个客户联系了一个追随者,追随者会将其重定向到领导者)第三种状态,候选人,被用来选举一个新的领导者。图2显示了状态的转换。

分布式共识算法-Raft算法

                                图2:服务器状态的转换

raft将时间划分为任意长度,每一项任期用连续的整数编号,每个任期都以一次选举开始,在这次选举中会有一个或多个候选人试图成为领导者。当一个赢得了选举,就会成为剩余任期的领导者。在某些情况下,选举会导致分裂投票。这种情况下任期会很快结束,新的任期会很快开始,raft会确保在新的任期内只有一个领导者。图3显示了每个时间段任期的状态。

分布式共识算法-Raft算法

                                    图3:时间段任期的状态

不同的服务器可能会在不同的时间观察任期的转换,任期在raft中充当逻辑时钟,其允许服务器检测过时的信息。每个服务器都会存储当前任期的编号,并随着时间的推移来增加,当前任期会在服务器通信时进行交换。如果一个服务器的当前任期比另一个服务器的当前任期小,就更新为最大的任期。如果一个候选人或者领导者发现其任期已经过期,会恢复到追随者的状态。如果服务器接收到了一个带有过期编号的请求,会拒绝该请求。

领导人选举

raft使用心跳机制来触发领袖选举。当服务器启动时,它们作为追随者开始。只要服务器接收到来自领导者或候选人的有效RPC,它就会保持在跟随者状态。领导者定期发送心跳到跟随者,以维护其权威。如果跟随者在称为选举超时的一段时间内没有收到任何通信。追随者就会假定没有可存活的领导人,并开始选举新的领导人。

追随者会递增自己的任期成为候选人,然后发布投票请求到其他的服务器。直到其赢得选举、另一个服务器确定了自己的领导地位或者在一段时间内没有选出领导者,才会退出候选人的状态。

候选人在同一任期内获得大多数服务器的投票后将会赢得选举。在给定的任期内,每个服务器会按先到先得的原则投票给最多一名候选人,多数票规则可以确保最多只有一名候选人成为某一任期的领导者。然后会向所有的服务器发送心跳信息,建立自己的权威,并阻止新的选举。

在等待投票时,候选人可能收到另一台声称是领导者的rpc请求,领导者的任期至少要与候选人的任期一样,候选人才会承认其是合法的,并且退回追随者的状态。如果小于候选人的任期,那么则拒绝该请求。

如果出现多名候选人的情况,即选票可能被分割。每个候选人会超时,并且开启一次新的选举。(注:如果没有额外措施,是有可能出现无限的分裂投票)

raft使用随机的选举超时来确保分裂选票很少,而且很快就能解决。为了从一开始就防止分裂投票,选举超时是从固定间隔(例如,150-300ms)中随机选择的。 这会分散服务器,因此在大多数情况下,只有一台服务器会超时,它会赢得选举,并在任何其他服务器超时之前发送心跳信号。
同样的机制也被用来处理分裂投票。每个候选人在选举开始时重新启动其随机选举超时,并等待超时过后开始下一次选举,这减少了在新选举中再次出现分裂投票的可能性。
日志复制

当选出领导者后,便开始服务于客户端的请求,每个客户端请求都包含一个由复制状态机执行的命令。领导者将该命令作为一个新的一条记录写入到日志中,然后同步复制到其他服务器。当记录已安全复制到其他服务器时,就将该记录应用到领导者的状态机,并将执行结果返回给客户机。如果追随者崩溃或网络缓慢,领导者将无限重试,直至追随着最终存储所有记录。图4显示了raft的日志格式。

                                                图4raft的日志格

日志中是以key-value的形式进行存储,里面存储着领导者接收记录时的任期编号,任期编号用来检测日志之间的不一致,以此来确保raft的一些属性(可以查看图1中正确的属性)。整数索引用来标识在日志中的位置。

领导者决定何时将日志记录写入日志中,这样的记录被称为commit-ted。Raft保证提交的记录是持久的,并最终会被所有的服务器所记录。如果创建记录的领导者在大多数服务器上同步了该记录,则会提交一个日志记录(包括领导者日志中所有的记录,包括之前领导者创建的记录)。

Raft的日志机制保证了在不同服务器上日志之间的高度一致,其一是在给定的任期中使用给定的日志索引最多创建一个条目,并且在日志中不会发生修改。其二是会通过一个RPC请求来执行日志记录的一致性检查,领导者会在请求中加入新记录的上一条记录的索引和任期。如果追随者者中找不到相同索引和任期的记录,则将新的记录合并到自己的日志中。如果一致则追加到追随者的日志中。Raft协议正是这样来保证图1中的日志匹配属性在任何属性都是真实正确的。

在正常操作期间,领导者和追随者的日志保持高度一致,然而领导者的崩溃会导致日志不一致的情况出现。比如下图:

在上图中出现了追随者缺少领导者上的记录、追随者上有的记录领导者中没有或者两种情况都存在,而且日志中缺失的记录可能是跨越多个任期的,Raft通过下面的方式来解决追随者的冲突记录。

在Raft中,领导者通过强制追随者的日志同步自己的日志来处理不一致性。领导者中会为每个跟随者维护一个nextIndex,当领导者第一次掌权时,会初始化这个值,并将其值初始化为其日志最后一个索引的下一个索引的值。如果追随者和领导者的日志不一致,则会遍历的方式来和追随者的nextIndex来进行比对,若不相等,领导者的nextIndex则-1,然后往复循环,直到nextIndex相等为止。随之将追随者相同日志记录之后的记录删除并将领导者的日志记录同步过去。一旦日志同步成功,跟随者和领导者的日志会在任期内保持一致。

有了这种机制,领导者可以不采取任何恢复行动来保证日志的一致性。并且Raft可以接受、复制和应用新的日志记录,在正常情况下,一个新的记录可以通过一次rpc请求来完成复制,并且不会应某个追随者的缓慢而导致性能缓慢。

以上是关于分布式共识算法-Raft算法的主要内容,如果未能解决你的问题,请参考以下文章

浅谈分布式共识算法Raft

共识(Raft)算法详解

分布式共识算法-Raft算法

分布式共识算法——Raft算法(图解)

分布式共识算法——Raft算法(图解)

拜占庭将军问题和 Raft 共识算法讲解