作者:Leslie Lamport (非常厉害的老头了)
在使用消息进行通信的分布式系统中,使用物理时钟对不同process进行时间同步与事件排序是非常困难的。一是因为不同process的时钟有差异,另外也是因为在计算中时间表示的精度也是有限的,两个时间标签相同的时间便无法区分前后了。
Lamport提出逻辑时钟的概念。在同一process中,事件发生的顺序很容易定义与区分,不同process发生的独立时间认为是并发的(部分排序)。而不同process间,只需要定义好相互通信时消息的发送和接收事件的前后顺序即可。根据因果律,发送消息的事件在前,接收消息的事件在后。
这里是论文原文