Lamport Timestamp

Lamport タイムスタンプ（Lamport Timestamp）は、単調増加カウンタとメッセージへの同乗により因果的半順序を実装する。分散イベント順序付けの基盤である。

目的

軽量な因果順序を提供し、ベクトルクロックとの精度差を理解する。

メカニズム

ローカルイベント：L = L + 1。メッセージ送信：L を添付。メッセージ受信：L = max(L, msg.L) + 1。a が b に因果的に先行すれば L(a) < L(b) が保証されるが、逆は保証されない（ベクトルクロックより弱い）。

ユースケース

分散イベントの順序付け
因果的な半順序（パーシャルオーダー）
Lamport クロック

関連ツール

SQL フォーマッター

Beautify or minify SQL queries online. Uppercase keywords, indent clauses, or compress to a single line。無料、プライベート、100%クライアントサイド。

References