Lamport Clock
Dağıtık olaylara fiziksel zamandan bağımsız, happens-before ilişkisiyle uyumlu artan mantıksal timestamp atayan sayaç.
Dağıtık Sistem Bağlamı
Her lokal olayda sayaç artırılır; mesaj alındığında max(local, received)+1 uygulanır. Böylece nedensel olarak önce gelen olay daha küçük logical time alır.
Tutarlılık ve Hata Modeli Sınırı
Lamport clock concurrent olayları ayırt edemez; ters yönde karşılaştırma nedensellik kanıtı değildir.
İlişkili Dağıtık Sistem Kavramları
- Vector Clock
- Causality
- Logical Time
- Distributed System