Raft协议分析

概述

分布式系统作为一致性协议较为常用的有两种:raft协议和paxos 协议。两种协议实现的复杂度不同，paxos相对于raft的复杂难度要高出好几个级别，而目前只有zookeeper实现了paxos的简化版本；而使用raft协议的中间件则相对多很多，例如：etcd和consul。raft协议中有三种角色:Leader、Follower和Candidate，类似于现实中的选举体制，所有角色都需要投票，当一个节点票数过半时，则它会成为leader。

算法细节

在极简的思维下，一个最小的 Raft 民主集群需要三个参与者（如下图：A、B、C），这样才可能投出多数票。初始状态 ABC 都是 Follower，然后发起选举这时有三种可能情形发生。下图中前二种都能选出 Leader，第三种则表明本轮投票无效（Split Votes），每方都投给了自己，结果没有任何一方获得多数票。之后每个参与方随机休息一阵（Election Timeout）重新发起投票直到一方获得多数票。这里的关键就是随机 timeout，最先从 timeout 中恢复发起投票的一方向还在 timeout 中的另外两方请求投票，这时它们就只能投给对方了，很快达成一致。选出 Leader 后，Leader 通过定期向所有 Follower 发送心跳信息维持其统治。若 Follower 一段时间未收到 Leader 的心跳则认为 Leader 可能已经挂了再次发起选主过程。

当一个集群处于就绪状态ÿ