Lamport 邏輯時鐘

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

>>阅读原文<<