Czas i uporzadkowanie

Stopniowe odchylanie się wskazań zegara fizycznego od czasu odniesienia wskutek różnicy częstotliwości jego oscylatora od wartości nominalnej.

Ograniczony zakres czasu rzeczywistego, w którym z gwarancją mieści się prawdziwa chwila zdarzenia, mimo niedokładności zegarów fizycznych.

Proces uzgadniania odczytów zegarów fizycznych wielu węzłów tak, by ich różnice mieściły się w zadanej granicy.

Algorytm rejestrujący spójny stan globalny systemu rozproszonego przez znaczniki przesyłane kanałami, bez wstrzymywania normalnej pracy.

Globalny stan, w którym dla każdego odebranego komunikatu uwzględniono również jego wysłanie; nie zawiera zdarzeń łamiących przyczynowość.

Zbiór lokalnych stanów wszystkich procesów i kanałów w danym punkcie, opisujący chwilowy obraz systemu rozproszonego.

Globalny system odniesienia czasowego oparty na przyczynowości zamiast czasu fizycznego, służący do rozumowania o stanach globalnych i porządkowaniu zdarzeń.

Sposób uporządkowania komunikatów lub zdarzeń, w którym każde zdarzenie jest dostarczane dopiero po wszystkich zdarzeniach, od których przyczynowo zależy.

Częściowy porządek na zdarzeniach systemu rozproszonego wyrażający potencjalną zależność przyczynową: zdarzenie a poprzedza b w tym samym procesie lub przez przesłany komunikat.

Własność pary zdarzeń, których nie łączy żadna relacja przyczynowa w żadnym kierunku, więc ich względna kolejność jest nieokreślona.

Uporządkowanie, w którym wszystkie procesy dostarczają zbiór komunikatów w tej samej, jednoznacznie określonej kolejności.

Prymityw komunikacyjny dostarczający każdy komunikat do wszystkich poprawnych procesów w identycznym porządku całkowitym, na zasadzie wszystko-albo-nic.

Zegar łączący czas fizyczny ze składnikiem logicznym, dający znaczniki bliskie czasowi rzeczywistemu i jednocześnie zgodne z porządkiem przyczynowym.

Skalarny zegar logiczny inkrementowany przy każdym zdarzeniu i aktualizowany do max przy odbiorze komunikatu; gwarantuje, że relacja przyczynowa implikuje rosnące znaczniki.

Mechanizm przypisujący zdarzeniom w systemie rozproszonym wartości liczbowe odzwierciedlające ich przyczynowe następstwo, bez odwołania do czasu fizycznego.