Lamport 在论文《Time, Clocks and the Ordering of Events in a Distributed System》中提到的 Mutual Exclusion 算法。
Diego Ongaro 和 John Ousterhout 认为 Paxos 难以理解， 于是在 《In Search of an Understandable Consensus Algorithm (Extended Version)》 中以可理解为目标，提出了一种新的共识算法——Raft。
为了实现去中心化的数字货币--Bitcoin ，中本聪利用 PoW (Proof of Work) 算法来解决系统中的拜占庭将军问题。
TODO: 总结分布式系统的特点