分布式系统一致性解决方案——Paxos算法