ETCD 源码学习--Raft 协议介绍（二）

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：欢迎纠正