此篇简要介绍一下分布式系统中的一致性算法：paxos和raft。