共识算法:Raft 墨蓝 2021-06-10 20:37 446阅读 0赞 多个拜占庭将军要如何在可能有叛徒、信使可能被策反或者暗杀的情况下达成是否要进攻的一致性决定?还不了解的先看看上一篇[《拜占庭将军问题》][Link 1]。这篇主要是介绍简化版拜占庭将军问题的解决方案:Raft 共识算法。 > 拜占庭将军问题是分布式领域最复杂、最严格的容错模型。但在日常工作中使用的分布式系统面对的问题不会那么复杂,更多的是计算机故障挂掉了,或者网络通信问题而没法传递信息,这种情况不考虑计算机之间互相发送恶意信息,极大简化了系统对容错的要求,最主要的是达到一致性。 所以将拜占庭将军问题根据常见的工作上的问题进行简化:**假设将军中没有叛军,信使的信息可靠但有可能被暗杀的情况下,将军们如何达成一致性决定?** 对于这个简化后的问题,有许多解决方案,第一个被证明的共识算法是 Paxos,由拜占庭将军问题的作者 Leslie Lamport 在1990年提出,最初以论文难懂而出名,后来这哥们在2001重新发了一篇简单版的论文 [Paxos Made Simple][],然而还是挺难懂的。 因为 Paxos 难懂,难实现,所以斯坦福大学的教授在2014年发表了新的分布式协议 Raft。与 Paxos 相比,Raft 有着基本相同运行效率,但是更容易理解,也更容易被用在系统开发上。 ## 针对简化版拜占庭将军问题,Raft 解决方案类比 ## 我们还是用拜占庭将军的例子来帮助理解 Raft。 > 假设将军中没有叛军,信使的信息可靠但有可能被暗杀的情况下,将军们如何达成一致性决定? Raft 的解决方案大概可以理解成 先在所有将军中选出一个大将军,所有的决定由大将军来做。**选举环节**:比如说现在一共有3个将军 A, B, C,每个将军都有一个**随机时间**的倒计时器,倒计时一结束,这个将军就会把自己当成大将军候选人,然后派信使去问其他几个将军,能不能选我为总将军?假设现在将军A倒计时结束了,他派信使传递选举投票的信息给将军B和C,如果将军B和C还没把自己当成候选人(倒计时还没有结束),并且没有把选举票投给其他,他们把票投给将军A,信使在回到将军A时,将军A知道自己收到了足够的票数,成为了大将军。在这之后,是否要进攻就由大将军决定,然后派信使去通知另外两个将军,如果在一段时间后还没有收到回复(可能信使被暗杀),那就再重派一个信使,直到收到回复。 故事先讲到这里,希望不做技术方面的朋友可以大概能理解 Raft 的原理,下面从比较技术的角度讲讲 Raft 的原理。 ## 1. Raft 节点状态 ## 从拜占庭将军的故事映射到分布式系统上,每个将军相当于一个分布式网络节点,每个节点有**三种状态:Follower,Candidate,Leader**,状态之间是互相转换的,可以参考下图,具体的后面说。 ![format_png][] 每个节点上都有一个倒计时器 (Election Timeout),时间随机在 150ms 到 300ms 之间。有几种情况会重设 Timeout: 1. 收到选举的请求 2. 收到 Leader 的 Heartbeat (后面会讲到) 在 Raft 运行过程中,最主要进行两个活动: 1. 选主 Leader Election 2. 复制日志 Log Replication ## 2. 选主 Leader Election ## ### 2.1 正常情况下选主 ### ![format_png 1][] 假设现在有如图5个节点,5个节点一开始的状态都是 Follower。 ![format_png 2][] 在一个节点倒计时结束 (Timeout) 后,这个节点的状态变成 Candidate 开始选举,它给其他几个节点发送选举请求 (RequestVote) ![format_png 3][] 其他四个节点都返回成功,这个节点的状态由 Candidate 变成了 Leader,并在每个一小段时间后,就给所有的 Follower 发送一个 Heartbeat 以保持所有节点的状态,Follower 收到 Leader 的 Heartbeat 后重设 Timeout。 这是最简单的选主情况,**只要有超过一半的节点投支持票了,Candidate 才会被选举为 Leader**,5个节点的情况下,3个节点 (包括 Candidate 本身) 投了支持就行。 ### 2.2 Leader 出故障情况下的选主 ### ![format_png 4][] 一开始已经有一个 Leader,所有节点正常运行。 ![format_png 5][] Leader 出故障挂掉了,其他四个 Follower 将进行重新选主。 ![format_png 6][] ![format_png 7][] ![format_png 8][] 4个节点的选主过程和5个节点的类似,在选出一个新的 Leader 后,原来的 Leader 恢复了又重新加入了,这个时候怎么处理?在 Raft 里,第几轮选举是有记录的,重新加入的 Leader 是第一轮选举 (Term 1) 选出来的,而现在的 Leader 则是 Term 2,所有原来的 Leader 会自觉降级为 Follower ![format_png 9][] ### 2.3 多个 Candidate 情况下的选主 ### ![format_png 10][] 假设一开始有4个节点,都还是 Follower。 ![format_png 11][] 有两个 Follower 同时 Timeout,都变成了 Candidate 开始选举,分别给一个 Follower 发送了投票请求。 ![format_png 12][] 两个 Follower 分别返回了ok,这时两个 Candidate 都只有2票,要3票才能被选成 Leader。 ![format_png 13][] 两个 Candidate 会分别给另外一个还没有给自己投票的 Follower 发送投票请求。 ![format_png 14][] 但是因为 Follower 在这一轮选举中,都已经投完票了,所以都拒绝了他们的请求。所以在 Term 2 没有 Leader 被选出来。 ![format_png 15][] 这时,两个节点的状态是 Candidate,两个是 Follower,但是他们的倒计时器仍然在运行,最先 Timeout 的那个节点会进行发起新一轮 Term 3 的投票。 ![format_png 16][] 两个 Follower 在 Term 3 还没投过票,所以返回 OK,这时 Candidate 一共有三票,被选为了 Leader。 ![format_png 17][] 如果 Leader Heartbeat 的时间晚于另外一个 Candidate timeout 的时间,另外一个 Candidate 仍然会发送选举请求。 ![format_png 18][] 两个 Follower 已经投完票了,拒绝了这个 Candidate 的投票请求。 ![format_png 19][] Leader 进行 Heartbeat, Candidate 收到后状态自动转为 Follower,完成选主。 以上是 Raft 最重要活动之一选主的介绍,以及在不同情况下如何进行选主。 ## 3. 复制日志 Log Replication ## ### 3.1 正常情况下复制日志 ### Raft 在实际应用场景中的一致性更多的是体现在不同节点之间的数据一致性,客户端发送请求到任何一个节点都能收到一致的返回,当一个节点出故障后,其他节点仍然能以已有的数据正常进行。在选主之后的复制日志就是为了达到这个目的。 ![format_png 20][] 一开始,Leader 和 两个 Follower 都没有任何数据。 ![format_png 21][] 客户端发送请求给 Leader,储存数据 “sally”,Leader 先将数据写在本地日志,这时候数据还是 **Uncommitted** (还没最终确认,红色表示) ![format_png 22][] Leader 给两个 Follower 发送 AppendEntries 请求,数据在 Follower 上没有冲突,则将数据暂时写在本地日志,Follower 的数据也还是 Uncommitted。 ![format_png 23][] Follower 将数据写到本地后,返回 OK。Leader 收到后成功返回,**只要收到的成功的返回数量超过半数**,Leader 将数据 “sally” 的状态改成 Committed。( 这个时候 Leader 就可以返回给客户端了) ![format_png 24][] Leader 再次给 Follower 发送 AppendEntries 请求,收到请求后,Follower 将本地日志里 Uncommitted 数据改成 Committed。这样就完成了一整个复制日志的过程,三个节点的数据是一致的, ### 3.2 Network Partition 情况下进行复制日志 ### 在 Network Partition 的情况下,部分节点之间没办法互相通信,Raft 也能保证在这种情况下数据的一致性。 ![format_png 25][] 一开始有 5 个节点处于同一网络状态下。 ![format_png 26][] Network Partition 将节点分成两边,一边有两个节点,一边三个节点。 ![format_png 27][] 两个节点这边已经有 Leader 了,来自客户端的数据 “bob” 通过 Leader 同步到 Follower。 ![format_png 28][] 因为只有两个节点,少于3个节点,所以 “bob” 的状态仍是 Uncommitted。所以在这里,**服务器会返回错误给客户端** ![format_png 29][] 另外一个 Partition 有三个节点,进行重新选主。客户端数据 “tom” 发到新的 Leader,通过和上节网络状态下相似的过程,同步到另外两个 Follower。 ![format_png 30][] ![format_png 31][] ![format_png 32][] 因为这个 Partition 有3个节点,超过半数,所以数据 “tom” 都 Commit 了。 ![format_png 33][] 网络状态恢复,5个节点再次处于同一个网络状态下。但是这里出现了数据冲突 “bob" 和 “tom" ![format_png 34][] 三个节点的 Leader 广播 AppendEntries ![format_png 35][] 两个节点 Partition 的 Leader 自动降级为 Follower,因为这个 Partition 的数据 “bob” 没有 Commit,返回给客户端的是错误,客户端知道请求没有成功,所以 Follower 在收到 AppendEntries 请求时,可以把 “bob“ 删除,然后同步 ”tom”,通过这么一个过程,就完成了在 Network Partition 情况下的复制日志,保证了数据的一致性。 ![format_png 36][] ## 小总结 ## Raft 是能够实现分布式系统强一致性的算法,每个系统节点有三种状态 Follower,Candidate,Leader。实现 Raft 算法两个最重要的事是:选主和复制日志 参考链接: Raft 官网:[https://raft.github.io/][https_raft.github.io] Raft 原理动画 (推荐看看):[http://thesecretlivesofdata.com/raft/][http_thesecretlivesofdata.com_raft] Raft 算法解析图片来源:[http://www.infoq.com/cn/articles/coreos-analyse-etcd][http_www.infoq.com_cn_articles_coreos-analyse-etcd] (本来不想一个个图片粘,但是在国内时候访问不了这个链接,干脆就复述了一遍整个过程。) 作者:闭眼卖布 链接:https://www.jianshu.com/p/8e4bbe7e276c 来源:简书 著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。 [Link 1]: https://link.jianshu.com?t=%255Bhttps%3A%2F%2Fmp.weixin.qq.com%2Fs%2FPJvCXm9pwU-Wp3LNN7g8pQ%255D%28https%3A%2F%2Fmp.weixin.qq.com%2Fs%2FPJvCXm9pwU-Wp3LNN7g8pQ%29 [Paxos Made Simple]: https://link.jianshu.com?t=%255Bhttps%3A%2F%2Flamport.azurewebsites.net%2Fpubs%2Fpaxos-simple.pdf%255D%28https%3A%2F%2Flamport.azurewebsites.net%2Fpubs%2Fpaxos-simple.pdf%29 [format_png]: /images/20210527/5e3c1683111f471ea4c33eed8d0bec10.png [format_png 1]: /images/20210527/a5ee8995ade241d7b3939267b93bceda.png [format_png 2]: /images/20210527/e36945eb7367480da1dbbe8082546820.png [format_png 3]: /images/20210527/39e74aa66d1846f9a22fcbc0da227f48.png [format_png 4]: /images/20210527/3e18a32cb4884ba3a08761585ec90551.png [format_png 5]: /images/20210527/9db00089882d4136a563576c2469324a.png [format_png 6]: /images/20210527/7cac9ade01004f3c94c167f4161ade43.png [format_png 7]: /images/20210527/47377d5ed091429c8ffe4003dd9ad906.png [format_png 8]: /images/20210527/0157d60f3c06441c8f0edeb5eb3da6eb.png [format_png 9]: /images/20210527/d50088ebf7104cc79955cd431a207659.png [format_png 10]: /images/20210527/bc6691948287419cb372dcdb037d525c.png [format_png 11]: /images/20210527/a746051597534fc59c239e9b616fa9d4.png [format_png 12]: /images/20210527/2777f012e5e34261846a65c880469b85.png [format_png 13]: /images/20210527/caea233d9f1648fcb658b3ef540b5a98.png [format_png 14]: /images/20210527/8b513ca516f7459b9160b927f5b87e1b.png [format_png 15]: /images/20210527/a7f8e208a49e460ba05b9775ce2e4991.png [format_png 16]: /images/20210527/dd0f707baf6c431a90fe4e586e286eaf.png [format_png 17]: /images/20210527/6a4b5e7b8e3449c2a8297de16dee61c2.png [format_png 18]: /images/20210527/73446b9035244cf494ae5ef91ad2732b.png [format_png 19]: /images/20210527/e59c7e859bcb41129f7366bdbb150d6b.png [format_png 20]: /images/20210527/9a38319adef8425fb03c1124d828fffc.png [format_png 21]: /images/20210527/b4b5ade4a59b459c8ef9486a2d6600e8.png [format_png 22]: /images/20210527/42ec76ec8e5c4ecf9d2645c9f4991cff.png [format_png 23]: /images/20210527/5477dca27154492f80d31020443745b6.png [format_png 24]: /images/20210527/eb47dd321d0b41449b8b37c27bd76fc4.png [format_png 25]: /images/20210527/32d67e57cc244d65bd6882e9e43a7eff.png [format_png 26]: /images/20210527/ade598ba968f4facb95f7967b30ec444.png [format_png 27]: /images/20210527/9c4a01a5e35746abbf43dd34d12ebd62.png [format_png 28]: /images/20210527/e913adf85c7c4b3893cb69b08946710c.png [format_png 29]: /images/20210527/2d4ca6efdb4b4afa91bfd449aacdbb33.png [format_png 30]: /images/20210527/4e52d6f5482646f09aca61265fe8082b.png [format_png 31]: /images/20210527/4650670885aa4261930da7a2b3533961.png [format_png 32]: /images/20210527/d68b0a0b8c6447f69ffb721fb859d21f.png [format_png 33]: /images/20210527/43c85bc4b5fe48b2bb6ce9d091f70348.png [format_png 34]: /images/20210527/4bc35ad3d5374fe79d1519d6f4dd29ed.png [format_png 35]: /images/20210527/f04fd2deaefc462b9642397316d2f4e6.png [format_png 36]: /images/20210527/4dfcc716738b4afabb89bb6dcd9d278e.png [https_raft.github.io]: https://link.jianshu.com?t=https%3A%2F%2Fraft.github.io%2F [http_thesecretlivesofdata.com_raft]: https://link.jianshu.com?t=http%3A%2F%2Fthesecretlivesofdata.com%2Fraft%2F [http_www.infoq.com_cn_articles_coreos-analyse-etcd]: https://link.jianshu.com?t=http%3A%2F%2Fwww.infoq.com%2Fcn%2Farticles%2Fcoreos-analyse-etcd
还没有评论,来说两句吧...