分布式系统的happen-before关系是个偏序关系，并且我们扩展为一个全序关系并用于分布式资源协调问题的求解。但是即使在全序关系下，会有异常情况发生，这里通过同步时钟来避免异常现象。本文解读了Lamport的经典论文，Time, Clocks, and the Ordering of Events in a Distributed System。