System|分布式|Raft(概述)

理论基础: 两次众数必有交集，交集拥有上次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