Raft算法详解

为什么会有这篇总结

留下这篇总结的原因还是因为MIT6.824课程，分布式系统中的Raft算法是非常重要的，首先给出一篇很好的参考博客，供自己以后查看。

Raft作为分布式系统中很重要的算法，其强调的是最终一致性，而非时时刻刻的强一致性。

总而言之，Raft共识算法可以进行以下总结：
Raft算法将共识问题分解成了两个相对独立的问题，即leader election, 以及log replication。更详细一些的话，是首先选出leader，然后由leader负责日志log的复制、提交。日志log中包含着command，所以日志直接决定着系统是否可以完成最终一致性。
为了保证系统的高可用性，即在任何异常情况下系统都不会出错，满足safety的属性，对上述的两个过程leader election以及log replication有着比较严格的约束和要求，具体如下：
leader election约束：
1.同一个任期内最多只能投一票，先来先得；
2.选举人必须知道的比自己多（比较term、log index），或者说选举人一定要比自己牛逼才行。
log replication约束：
1.一个log被复制到大多数节点，就是committed，要保证不会回滚；
2.leader一定包含最新的committed log，因此leader只会追加日志，不会删除覆盖日志；
3.不同节点，某个位置上日志相同，那么这个位置之前的所有日志一定都是相同的；
4.Raft算法从不通过计算副本提交以前某个时期内的log entries。

持续更新…