コンテンツへスキップ
uencoder

Strong Consistency

強整合性は、読み取りが常に直近に書き込まれた値を返すことを保証する。線形化可能性はその最強の形態である。

目的

読み取りに、以前に確認済みのすべての書き込みを見せることを要求する。金融取引など厳密な整合性が必要な場面向けである。

メカニズム

線形化可能性:書き込みが完了したら、すべての読み取りが新しい値を見る。同期レプリケーション(Quorum W+R>N)、合意プロトコル(Paxos/Raft)、グローバルロックで実装する。代償はレイテンシの増大と可用性の低下である。

ユースケース

  • 金融システムの設計
  • リニアライザビリティの実装
  • 同期レプリケーション

関連ツール

References