コンテンツへスキップ
uencoder

Causal Consistency

因果一貫性とは、因果関係のある操作が因果順で可視になることを保証する一貫性モデルであり、因果関係のない並行操作は任意の順序で観測されうる。

目的

強い一貫性までは不要だが因果の正しさが必要な場面で、結果整合性より強い保証を提供する。

メカニズム

ベクトルクロックやバージョンベクトルが因果関係を追跡する。操作 A が B より因果的に先行する場合(B が A の書き込んだ値を読んだか知った場合)、すべてのノードが B より先に A を観測する。並行な操作はノードごとに異なる順序で現れうる。

ユースケース

  • コラボレーティブ編集
  • ソーシャルコメントシステム
  • 因果履歴のトラッキング

関連ツール

References