Raft协议是分布式一致性协议的一种,所以在了解Raft协议之前,我们首先要知道一致性协议的作用。
一致性协议
1.一致性协议用于解决分布式环境下多副本之间数据一致性的问题的。
2.主要包括两个部分,一是 Leader 选举,二是日志同步。
3.一致性协议主要包括Paxos、ZAB、Raft及 Gossip 等
raft协议
1.简图
2.状态机
Leader:负责处理所有客户端请求,当接收到客户的写入请求时,Leader 节点相应追加日志,然后封装成消息发送给其他 Follower 节点。当收到足够的 Follower响应之后,提交日志。
Follower:不发送任何请求,只是简单响应来自Leader 和 Candidate 的请求。不处理任何 Client 请求,而是简单的转发给 Leader。
Candidate:当 Follower 长时间没有收到 Leader 发送的心跳包,会转换为该状态,并发起一轮新的选举。
3.时间计数器
心跳计时器:Leader 节点定时向所有 Follower 发送心跳包,告知 Follower Leader 存活,避免 Follower 发起新一轮选举。Follower在收到心跳包之后,会重置选举计数器。
选举计时器:每个 Follower 维护一个选举计时器,当选举计时器超时(没有收到心跳包),状态切换为Candidate,发起一轮新选举。同时每个 Follower 的选举超时时间是随机的。
4.Raft协议关键字段说明
Index:事务 ID,单调自增,每条消息都拥有唯一的 ID,Raft 通过这个实现消息的有序性和一致性(Leader)
Term:任期 ID,每发起一轮新的选举,Term+1
commitIndex:已提交的最大事务 ID, 代表过半节点已收到(还没应用到该节点,比如某些配置信息)。
applyIndex:当前节点已应用的最大Index
NextIndex:Follower 下一次同步消息的开始位置(Leader 会为每个 Follower 维护一份)
MatchIndex:Follower 已匹配的消息位置,即 Leader 已经接收并响应的 ID ( Leader 会为每个 Follower 维护一份)
5.选举PK
发起选举的条件:Follower 选举计时器超时或者 Leader 发现当前活跃且将选票投给它的节点不超过半数。
Follower 当选条件:在选举超时时间内,过半节点投票给了当前节点。
PK:
(1) 当前节点的 Term>候选节点的 Term,拒绝投票给候选节点。
(2) 当前节点的 Term<候选节点的 Term,同意投票给候选节点。
(3) 当前节点的 Term=候选节点的 Term。对比 Index , 如果当前节点 Index > 候选节点 Index, 拒绝投票,否则,同意投票。
PS:欢迎纠正