Raft协议的一些概念

一些概念

相比于其余一致性算法（paxos）的优点

• 更简单，更容易理解
• 描述得很完备
• 被开源项目实现而且被一些公司采用
• 安全性获得了证实
• 有效性可与其余算法相比拟。

最关键的优点仍是更容易理解。

服务器的三种状态：Leader, follower, candidate

• Leader: 处理客户端的请求
• Follower: 仅响应来自leaders和candidates的请求
• Candidate: 选出一个leader.

三种状态之间的转换

• 开始时，全部的servers的状态都是follower；
• 其中一个follower最先发现没有leader的heartbeat发送过来，这叫times out，而后此follower就转化为candidate进入选举阶段。选举超时，也叫times out。一旦选举超时，则进入下一个选举阶段；
• 若是一个candidate获得大多数的投票，则成为leader；
• 若是leader发现有更高term的server，则自动转化为follower；
• 若是candidate发现了当前的leader也转化为follower。

Terms

描述

在Raft中term的角色是一个逻辑时钟

如上图所示：

• term的编号是连续的整数；
• term都是以选举开始；
• 每一个etcd服务器都存储当前的term号，并随时间单调递增；
• 服务器通讯时都要交换当前的term号；
• 若是服务器的当前term号小于其余的，则更新到较大的。若是candidate或者leader发现本身的term号过时，则立刻退回到follower的状态；
• 若是server收到带有旧的term号的请求，则拒绝。

平票问题

这种状况下，此任期将无leader选出，一个新的term（选举）将会立刻开始。Raft会保证在一个给定的term中最多有一个leader。
Raft采用服务器term时长随机生成的方法来保证总会有一个leader产生。