一. 简介   《Time, Clocks, and the Ordering of Events in a Distributed System》是大神Leslie Lamport写的一篇关于时钟序列的文章。本文影响极其深远，可以说是分布式领域开山奠基式的重要文章。而该作者Leslie Lamport，同时也是共识算法Paxos的发明者，也是Latex的创作者，是一位非常可敬的牛人。   此文不长，主要以提出算法和数学证明为主。在这里我主要记录算法的主要思想，具体证明过程请参考原文深入了解。