Raft算法系列教程2：状态机复制 (State Machine Replication)

分区容错如何保证？

在分布式系统设计中，需要遵循CAP理论，如果我们要让一个服务具有容错能力，那么最常用最直接的办法就是让一个服务的多个副本同时运行在不同的节点上。但是，当一个服务的多个副本都在运行的时候，我们如何保证它们的状态都是同步的呢，或者说，如果让客户端看起来无论请求发送到哪一个服务副本，最后都能得到相同的结果？实现这种同步方法就是所谓的状态机复制（State Machine Replication）。

状态机复制的理论基础是：如果集群里的每一个节点上都运行着相同的确定性状态机S，并且所有的状态机刚开始都处于同样的初始状态s0，那么给予这些状态机相同的输入序列：

{
   i1, i2, i3, i4, i5, i6, …, in}

这些状态机必然会经过相同的状态转换路径：

s0->s1->s2->s3->…->sn

最终达到相同的状态sn，同时生成相同的输出序列：