Strong Consistency
強整合性は、読み取りが常に直近に書き込まれた値を返すことを保証する。線形化可能性はその最強の形態である。
目的
読み取りに、以前に確認済みのすべての書き込みを見せることを要求する。金融取引など厳密な整合性が必要な場面向けである。
メカニズム
線形化可能性:書き込みが完了したら、すべての読み取りが新しい値を見る。同期レプリケーション(Quorum W+R>N)、合意プロトコル(Paxos/Raft)、グローバルロックで実装する。代償はレイテンシの増大と可用性の低下である。
ユースケース
- 金融システムの設計
- リニアライザビリティの実装
- 同期レプリケーション