分散システムIV(一貫性モデル)

複製されたデータが「どこまで揃って見えるか」には段階があります。線形化可能性から結果整合性まで、それぞれの保証が何を約束し何を約束しないのか、そして強い一貫性がなぜレイテンシと可用性という代償を伴うのかを、強さの順序に沿って理解します。