Raft实现报告(八)

本文涉及的产品
日志服务 SLS,月写入数据量 50GB 1个月
简介: Raft实现报告(八)

Raft实现报告(八)

Raft使用投票操作,防止不包含全部日志条目的候选人成为leader。candidate必须跟集群中大多数的服务器沟通过,为了成功变成leader,日志条目必须出现在这些集群服务器之一中,如果candidate的日志,至少至少跟其中任何server的日志一样为最新(up to date)那证明该candidate至少包含了所有的已提交条目。RequestVote RPC实现了这则限制,RPC包含了candidate的日志信息,还包含投票者的拒绝响应,可能其他投票者投给了自己因为自己的log比起candidate更加的新。

(这里留下一个疑问,如果一个followerA出发了leader选举,他开始发送RequestVoteRPC,然后其他的followerB发现了自己的log更加的新,那么该followerB会变成candidate吗?)

如何确定谁的log更加新

Raft通过对比日志中term的索引和term中最后一条日志条目的索引,日志中最后一条如果term不相同,那么term靠后的为最新,如果日志中最后一条有相同的term,那么谁的日志长,该日志为最新。

难得有个好例子


image.png


上图会解释为什么leader不能通过旧term中的日志条目来确定提交行为。

- (a):S1是一个leader,已经将新的日志条目2,复制给了少部分server,S2

- (b):S1宕机,S5从term3开始被选举为leader,S5的票来自S3,S4和他自己,然后收到了一条不一样的日志条目在日志索引的2号位置。

- (c):如果S5宕机;S1重启,又被选为了leader,继续复制日志。这时,S1先前保存的在term2时产生的日志条目就会给大家同步,但是没有确认提交。

- (d):因为在d这种时候,如果S1宕机了,先前S5在选举为leader的时候开始同步自己在term3的日志条目,且因为要保持一致性,需要一致性检查,leader会强行复制自己的最新日志条目。

- (e):如果S1能在自己宕机之前完成日志复制,那么该条目(所有在term4产生的log)就会提交(S5无法完成选举),那么先前term2时刻的所有条目也会成功提交。

问题一:S5为什么会收到S3和S4的投票?

因为在follower在投票的时候会检查自己log中条目的term,S1,S2发现S5带来的日志信息,与自己的不一致,就会否决投票。

所有的RPC请求都带有term信息,所以即便是S1宕机了,也能感知到下一term是什么。

相关实践学习
日志服务之使用Nginx模式采集日志
本文介绍如何通过日志服务控制台创建Nginx模式的Logtail配置快速采集Nginx日志并进行多维度分析。
相关文章
|
存储 算法
Raft实现报告(七)
Raft实现报告(七)
|
存储 算法
Raft实现报告(12)
Raft实现报告(12)
|
算法 安全
Raft实现报告(13)
Raft实现报告(13)
|
存储 安全 算法
Raft实现报告(一)
Raft实现报告(一)
|
存储 算法
Raft实现报告(六)
Raft实现报告(六)
|
安全
Raft实现报告(11)
Raft实现报告(11)
|
Linux
Raft实现报告(18)
Raft实现报告(18)
|
开发工具 git
Raft实现报告(四)
Raft实现报告(四)
|
存储 安全
Raft实现报告(14)
Raft实现报告(14)