Lamport 邏輯時鐘

    分佈式系統中按是否存在節點交互可分爲三類事件，一類發生於節點內部，二是發送事件，三是接收事件。注意： 以下文章中提及的時間戳如無特別說明，都指的是Lamport 邏輯時鐘的時間戳，不是物理時鐘的時間戳。       如果a在進程Pi中，b在進程Pj中，Ci(a) = Cj(b)且i < j，那麼a在b之前。形式化一點，我們可以把系統事件E上的全序關係「=>」定義爲：     假設a是Pi中

>>阅读原文<<