Lamport Clock

Ein logischer Uhren-Algorithmus, der die "Happens-Before"-Beziehung respektiert. Jeder Prozess $P_i$ hat einen Zähler $C_i$.

1. Lokal: Vor jedem Ereignis inkrementiert der Prozess seinen Zähler: $C_i\leftarrow C_i+1$.
2. Senden: Jede Nachricht $m$ enthält den Zeitstempel des Absenders $C(m)$.
3. Empfang: Der Empfänger $P_j$ aktualisiert seine Uhr auf $C_j\leftarrow max(C_j,C(m))+1$.
   Dies garantiert, dass wenn $a\to b$, dann $C(a)<C(b)$.