線形化可能性 とは？

同時に動く操作が、順番に一つずつ実行されたように見える性質だよ。各操作が呼び出しから応答までの間の一点で起きたと考え、対象の仕様に合う一列の順序を作れる。その一点を線形化点と呼ぶんだ。

一つの値を読む・書く対象を考えよう。値を1に書く操作が完了し、そのあと読み取りを始めたなら、間に別の書き込みがない限り1が返る。書き込み後にさらに値が変わった場合は、その変更も含めた順序で考えるんだ。

その二つには、完了後に始まるという前後関係がないよ。読み取りが先だったと考えて変更前の値を返すことも、書き込みが先だったと考えて1を返すこともある。ただし、全体として矛盾のない順序と結果にならなければならないんだ。

直列化可能性は、トランザクションを順番に実行したのと同じ結果になる性質で、実時間の順序までは要求しないよ。複数の操作をまとめたトランザクションについて、その実時間の順序も守るのが厳密な直列化可能性なんだ。

使えるけれど、分断した全ノードが常に応答する保証とは両立しないよ。たとえば、更新を受け取れない側が読み取りに古い値を返すと、完了済みの書き込みとの順序を守れない場合がある。応答を待たせるなど、保証と応答可能な範囲の調整が必要になるんだ。