读过Paxos等论文的读者，应该对复制状态机（Replicated State Machine）的概念并不陌生。复制状态机在分布式系统中是一个很简单却很强大的模型，也是一种很有价值的思想。 模型一句话描述就是：多个节点上，从相同的初始状态开始，执行相同的一串命令，产生相同的最终状态。 这里有几个有趣的问题。   复制状态机保持一致是什么意思？ 实际上，与其说是一致，其实可以泛化为分布式的两个节点状态存在某种...