線形化可能性
linearizability
Lock-freeとWait-freeアルゴリズム
一貫性モデル
(ソフトウェア)
逐次一貫性
厳密な一貫性
不可分性
因果整合性
結果整合性
メモリオーダリング
https://ja.wikipedia.org/wiki/線形化可能性