時間同步不需要絕對的精確時間，如果程序間沒有相互作用，就不需要時鐘同步並且程序所關心的不是說明時間做什麼工作，它們所關心的是事件發生的順序：
時間戳(timestamp)， 在分布式系統中，每一台機器都設定乙個整型變數作為時鐘，當a發生時，用這個時鐘的值作為a的timestamp，記為c(a)，這樣有：if a->b then c(a) < c(b)，對於同一機器上的任兩個事件a，b有c(a) != c(b)
在程序通訊中，訊息中含有發生時的時間戳，訊息到達目標機器時，它的核心檢查其時間戳，若它的時間小於所收到訊息的時間戳，則修改它的時鐘，使其時鐘值大於接受資訊的時間戳，如下圖，程序間的通訊時間不一致，當c(a) > c(b)，調整c(b)，使c(a)
邏輯時鐘 分布式物理時鐘邏輯時鐘和向量時鐘
在分布式系統中，多個節點都有可能修改資料，由於網路等的原因，第乙個修改的時間節點發起的寫入請求並不一定能最先到達實際寫入節點，為了資料的一致性，各個節點對同一資料產生的update create的值要達到一致性，一般情況下就需要對各個節點的請求資料更新時間進行比對，將最後更新的資料更新到資料系統中 ...
分布式系統學習（一）邏輯時鐘與向量時鐘
目的 由於分布式系統中各個機器之間的系統時間同步差異，導致無法用物理時鐘準確衡量事件的先後順序。因此，提出了邏輯時鐘這一概念，用來定義分布式系統中所有事件的發生順序 背景偏序與全序關係，這在大學的線性代數課程中有相關概念。簡單的講，對於乙個數字集合，如果能夠定義兩兩之間的先後關係，則該集合為全序關係...
邏輯設計中多時鐘設計 2
在上個系列中，主要分析了單bit時鐘訊號是如何在多個時鐘域中進行同步的。概括起來只有兩點 一是通過同步器，二是將控制訊號與資料訊號合併成一組 資料 控制 匯流排，經過fifo或ram實現跨時鐘域設計。那麼在這節中，重點來分析跨時鐘域這個概念。通過這節的分析，可以知道那些型別的時鐘，在實際的處理過程中...