一些概念
相比于其他一致性算法(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 发现了当前的 leade
化为 follower。
Terms
描述
在 Raft 中 term 的角色是一个逻辑时钟如上图所示:
term 的编号是连续的整数;
term 都是以选举开始;
每个 etcd 服务器都存储当前的 term 号,并随时间单调递增;
服务器通信时都要交换当前的 term 号;
如果服务器的当前 term 号小于其他的,则更新到较大的。如果 candidate 或者 leader 发现自己的 term 号过期,则马上退回到 follower 的状态;
如果 server 收到带有旧的 term 号的请求,则拒绝。
平票问题
这种情况下,此任期将无 leader 选出,一个新的 term(选举)将会马上开始。Raft 会保证在一个给定的 term 中最多有一个 leader。Raft 采用服务器 term 时长随机生成的方法来保证总会有一个 leader 产生。