理论基础: 两次众数必有交集,交集拥有上次commit的共识
基本原理: 先append log,再投票,投票通过再commit到状态机
一致性检查: append log时附带前一条log信息,数学归纳。
选主: term++, 随机timeout,第一个timeout结束重新选主从而获得更大term成为leader
监控: leader发送带term、地址、当前commit索引的心跳,如无心跳则开始选主
日志同步: 从后往前依次询问是否当前index、term相同,直到均相同处开始推送log进行同步
比较新旧: term大优先,然后看index最大
安全限制: leader必须同步直到当前的term才能commit,否则中途挂了,因为当前term没有commit,可能产生新主,已commit会被覆盖
日志压缩: snapshot 状态机和CHECKPOINT(最后commit的entry)
拓扑变化:一阶段:每次一个;二阶段:先到并集再到新集避免二主,新服务器追赶时无投票权
客户端交互: 初次随机,如为follower则拒绝并返回leader