誰かが分散コンピューティングの因果関係の概念を説明できますか？

Question

私は一貫性モデルを読んでいますが、分散システムの因果関係の概念を理解できないようです。私はかなりたくさんのグーグルを見つけましたが、そのコンセプトの良い説明は見つかりません。人は、因果関係がなぜ良いのかなどを説明しますが、基本的な概念は何ですか？

Answer 1

分散システムにおけるイベント間の因果関係の基本的な考え方を聞いているとすれば、以下のことが正しい軌道に乗るのに役立ちます。

分散システムのすべてのプロセスが共有するクロックが完全に同期していない場合、Leslie Lamportは論理クロックという概念を導入しました。論理クロックは、いわゆるという関係前に発生した関係（因果関係）を介して、分散システム内で発生するイベントに対する部分的な順序の確立を可能にする。

さらに詳しく説明すると、ローカルクロックを使用して同じマシン上のイベントを注文することができます。ただし、これは一般的にプロセス境界を越えるイベントのオプションではありません。特に、システム内のメッセージパッシングイベントに対して因果関係を確立するために、次の洞察を使用します。プロセス：プロセスpは、プロセスでreceive(m)より前に発生します。これにより、これらのイベント間に因果関係を確立することができます。

私の説明はどれほど役に立つのかよく分かりませんが、まだ行っていない場合は、レスリー・ラムポートのオリジナル論文Time, Clocks, and the Ordering of Events in a Distributed Systemがあなたのために明確にするのに役立ちます。次に、Spanner: Google's Globally Distributed Databaseを見て、分散システム（TrueTime）で時間の問題に対処する独創的な方法を検討してください。

これが役に立ちます。