Vektör saatleri ve mantıksal zaman
Kısaca: Dağıtık sistemlerde saatler uyuşmaz. Mantıksal saatler (Lamport) ve vektör saatleri olayları duvar saati zamanı yerine neden ve sonuca göre sıralar.
Biraz daha ayrıntılı: Bir Lamport saati, her olayda ve alınan her iletide artırılan bir sayaçtır. Şunu güvence eder: A, B’den önce olduysa zaman(A) < zaman(B). Tersi geçerli değildir. Vektör saatleri düğüm başına bir sayaç tutar ve gerçek eşzamanlılığı algılar.
Ayrıntılı
- Önce-oldu (→): kısmi sıra: aynı…
Ayrıca bak: CRDT’ler: çakışmasız çoğaltılan veri tipleri, Çoğaltma: lider ve izleyici