一貫性モデル
#分散システム
一貫性モデル、いろいろあってよくわからん問題
Atomic Consistency, linearizability, 線形化可能性
操作が実時間上のどこか (かつその操作の時間内) にプロットされて直列になる
操作の事前条件と事後条件が直列につながる、だと思う
同じクライアントからのリクエストの順序は保存される
real-time order だし当たり前感あるけど非同期だとそうでもない？
composability, real-time order,
例: Raft
Sequential Consistency, 逐次一貫性
操作が実時間上のどこかにプロットされて直列になる
同じクライアントからのリクエストの順序は保存される
linearizability は、sequential consistency に実時間制約を入れたもの、として定義することもできる
実時間制約: 操作の開始・終了の時間内にプロットされるかどうか、だと思う
Causal Consistency, 因果一貫性
Strong Eventual Consistency, 強結果整合性
https://stackoverflow.com/questions/29381442/eventual-consistency-vs-strong-eventual-consistency-vs-strong-consistency
結果整合性はなにも言ってないに等しいけど、強結果整合性は、いつかは必ずすべてのシステムの状態が同一になる？
CRDTs の一貫性モデル
wikipedia には載ってない
Eventual Consistency, 結果整合性
どうでもいいけど、なんで結果整合性だけ結果一貫性とは呼ばないのか
読むべき:
wikipedia: https://en.wikipedia.org/wiki/Consistency_model
kumagiさん: https://qiita.com/kumagi/items/3867862c6be65328f89c
もっと詳しく: https://qiita.com/kumagi/items/3867862c6be65328f89c#もっと知りたい人はどこに行けば
yahooブログ: https://techblog.yahoo.co.jp/architecture/2015-04-ditributed-consistency/
12年後のCAP: https://www.infoq.com/jp/articles/cap-twelve-years-later-how-the-rules-have-changed
『The Art of Multiprocessor Programming』の3章
Jepsen の Aphyr さんの記事: https://aphyr.com/posts/313-strong-consistency-models
遅延との関係
タイムアウト
故障モデル、一貫性モデルがあるなら可用性モデルみたいなのもあるんだろうか