分布式技术栈2.1–常见算法之Paxos算法理论与应用