Lamport Logical Clock 学习

1，导论

①如何在分布式环境下定义系统中所有事件的发生顺序？②分布式环境下多个进程竞争资源时如何互斥？③什么是偏序，偏序的作用是什么，有什么不足？④什么是全序，全序的作用是什么，有什么不足？⑤为什么需要物理时钟，物理时钟如何同步？下面来进行介绍。

 

2，偏序的定义、发生在先(happened before)关系

考虑单一的进程A，在某时刻发生了事件E1，经过一段时间后，发生事件E2，可以说：E1发生在E2前面。考虑多个进程，进程A向进程B发送消息，进程A发送消息时记为事件E1，进程B接收到进程A发送的消息记为E2，可以说：E1发生在E2前面。以上两个例子表明了E1与E2是一种偏序的关系。之所以说明这两个例子所代表的关系是偏序的，是因为：当需要判断下图中的 a 和 e 这两个事件谁先谁后时，在偏序关系下是无法判断的。

偏序的定义：（1）若a，b 是同一进程中的两个事件，且 a 发生在 b 之前，则 a ---> b  （---> 符号 表示 发生在先 关系， !---> 符号 表示 非发生在先 关系）

（2）若 a 是 "一个进程发送消息 "事件，b 是一个进程接收消息事件，则 a ---> b

(3)若 a !--->b and b!---> a ，则称 a、b是并发的。如上图中 事件a 与 事件e 就是并发的。

发生在先关系即偏序的代名词。

 

3，全序

在 2 中，由于偏序不能表示 图中事件a 和 事件e 的先后关系，而在分布式系统中对所有的事件排序又是必须的，因此就需要另一种方法来定义所有事件的顺序，即用Lamport 逻辑时钟来定义分布式系统中所有事件的全序。

“引用自网络”
Logical Clock解决的问题是找到一种方法，给分布式系统中所有时间定一个序，
这个序能够正确地排列出具有因果关系的事件（注意，是不能保证并发事件的真实顺序的）
，使得分布式系统在逻辑上不会发生因果倒置的错误。 

Lamport 逻辑时钟如下：

首先定义一个Clock Condition:如果 a ---> b ，则 C(a) < C(b)(C