Lamport Clock
ল্যামপোর্ট ঘড়ি
Event-এ happens-before ক্রম সংরক্ষণকারী scalar counter — সহজ, কিন্তু concurrency detect করতে পারে না।
also: logical-clock
তিনটা নিয়ম:
1. প্রতি local event-এ L ← L + 1
2. message পাঠালে L সঙ্গে যায়
3. message নিলে L ← max(L, L_msg) + 1- Guarantee এক দিকেই:
a → b ⇒ L(a) < L(b); উল্টোটা মিথ্যা —L(a) < L(b)দেখেa → bবলা যায় না, concurrent-ও হতে পারে - Total order দরকার হলে tiebreaker:
(L, node_id)জোড়া — তবে সেটা artificial order, causality নয় - এই অন্ধত্বই vector clock-এর জন্ম দেয় — per-node counter যোগ করে concurrent detection