線形化可能性は、並行分散システムにおける強力な一貫性モデルです。それを導入した論文 [1] から：線形化可能性は、並行プロセスによって適用された各操作が、呼び出しとその応答との間のどこかのある時点で瞬間的に効力を持つという幻想を提供します。最初の読み（おそらく 2 番目と 3 番目も…