分散システムの正確性はグローバルシステムの不変性が要。
・例
- デッドロックが無い
- 分散データベースへの書き込み権限を2つ以上のプロセスに与えない（排他制御）
・ではここで問題：分散システムにおけるグローバルな状態とは何か。
- 非同期のメッセージパッシング
- プロセスがLocal Clocksを保持する時、これらと完璧に同期するのは不可能なので、ローカルなタイムスタンプを使う。
- 結果：分散システムでは、グローバルシステムの状態をタイムリーに観測できるプロセスは存在しない。 （訳に自信がない。）
