图解Raft之日志复制

Posted 2021-04-27 码农Linx

　　日志复制可以说是Raft集群的核心之一，保证了Raft数据的一致性，下面通过几张图片介绍Raft集群中日志复制的逻辑与流程；

　　在一个Raft集群中只有Leader节点能够接受客户端的请求，由Leader向其他Follower转发所有请求日志，并且有那么两条规则：Leader不删除任何日志、Follower只接收Leader所发送的日志信息；

　　此图介绍了Raft集群中日志的组成结构，日志由序号与条目组成，每个条目又由任期与指令组成，committed范围内为已提交的日志是指过半节点已经接收并存储的日志；

　　上图从整个上介绍了Raft集群的日志复制流程，Leader接收到指令后写入到本地日志，在随后的心跳中（AppendEntries）往其他追随者发送该条目，等待收到过半追随者响应后将该条目标志位已提交状态，并发往状态机执行，完成后返回结果给客户端；在后续心跳包（AppendEntries）中通知所有追随者哪些条目为已提交状态，以便追随者更新在自己状态机中执行该指令； 只有Leader能够接受客户端的指令，追随者只能够接收领导者的AppendEntries请求；

　　在Raft集群中可通过条目索引号、任期号唯一确定一个条目，该条目前序所有条目也是一致的，如上图中索引号为5的条目为已提交状态的条目，则从索引号1到5的所有条目均为已提交的状态；

　　上图中Leader发送AppendEntries请求时带有其前序索引位置4、前序任期号2，发往Follower1、Follower2；
　　Follower1由于前序索引与前序任期能匹配本地条目所以将会接受该请求;
　　Follower2由于前序索引与前序任期未能够匹配所以拒绝该请求;

　　Raft处理日志不一致的情况是通过强制追随者复制领导者日志来调整日志一致性的，所以当追随者与领导者出现日志不一致时，追随者日志将会被领导者日志覆盖；

参考资料：
http://ramcloud.stanford.edu/raft.pdf