很全的论文，包括： A brief history of Consensus, 2PC and Transaction Commit：关于一致性，2PC，事务 提交方面的文章的历史性综述。 Time, Clocks, and the Ordering of Events in a Distributed System：发表于 1978 年， 理解分布式系统时序逻辑的必读文章 拜占庭将军问题：发表于 1982 年，分布式领域的经典问题，作者 Leslie Lamport Leases：发表于19
fast paxos算法，英文版，作者：Leslie Lamport，简介： As used in practice, traditional consensus algorithms require three message delays before any process can learn the chosen value. Fast Paxos is an extension of the classic Paxos algorithm that allows the value
一. 简介
《Time, Clocks, and the Ordering of Events in a Distributed System》是大神Leslie Lamport写的一篇关于时钟序列的文章。本文影响极其深远，可以说是分布式领域开山奠基式的重要文章。而该作者Leslie Lamport，同时也是共识算法Paxos的发明者，也是Latex的创作者，是一位非常可敬的牛人。
此文不长，主要以提出算法和数学证明为主。在这里我主要记录算法的主要思想，具体证明过程请参考原文深入了解。
