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