ランポートクロック とは？

時刻を秒で測る時計ではなく、出来事に数字を付ける論理時計だよ。各プロセス内の順序や、メッセージの送信から受信へのつながりを保つ。カウンタが同じ実時間を示したり、全プロセスで同じ値になったりする必要はないんだ。

整数カウンタを0から始める例では、通常のイベントで+1する。送信もイベントとして数え、その値をメッセージに添える。受信イベントの値は、自分の現在値と受信値の大きい方に1を足すんだ。受信をさらに別の+1で二重に数えないようにしよう。

happens-beforeという因果的な順序を保つよ。同じプロセス内でaの後にbが起きた場合、aが送信でbがその受信の場合、さらにそのつながりをたどれる場合をa→bと書く。このとき必ずC(a) < C(b)になるんだ。

逆は成り立たないよ。数字が小さくても、メッセージなどのつながりがなく、因果的には並行かもしれない。ここでの並行は、壁の時計で同じ瞬間だったという意味ではないんだ。カウンタだけで実時間の前後や経過秒数は判断できないよ。

論理時刻が同じ場合に、プロセスIDの決めた順序で比べれば全順序を作れるよ。この順序はa→bに矛盾しないが、並行な出来事に付けた順は規則によるもの。実際の因果関係が増えたわけではないんだ。因果関係そのものを詳しく調べるには、より多くの情報を持つ方式が必要だね。