Multiversion Concurrency Control(MVCC) その2 - Qiita

Reads-From関係の導入 トランザクション内で値を書き込む場合、その書き込み操作はMultiversionの実行時には必ず「新たなバージョンを作る」という操作で代用する（無限にバージョンを増やしていくとメモリが足りないという問題はあるがそれは後日の議論で解決する）。 「トランザクションaがxに書き込む」場合、その値をバージョンaを付けてxaと表現することにする。トランザクション1が書いた値ならx1と表現するしトランザクション2が書いた値ならx2と表現する。そうしてバージョンを付けた値を扱うスケジュール図をマルチバージョンスケジュール図と以後では呼ぶ。 マルチバージョンスケジュール図から「それぞれのReadが読んだバージョンはどのバージョンか」を集合の形で抽出し、それをReads-From関係と呼ぶ。なお初期状態はTx0という特殊なトランザクションがすべて書き込んだ物として扱う。 ↑の