分散システムII(時間と順序・論理時計)

複数のマシンにまたがるシステムでは「どのイベントが先に起きたか」を物理時計だけでは決められません。なぜ時刻が信頼できないのか、Lamportのhappened-before関係と論理時計がどう順序を与えるのか、ベクタークロックがどこまで因果を捉えられるのかを、一次ソースの定義に沿って基礎から整理します。用語を覚えるのではなく「なぜその保証が必要か」を理解することを目指します。