Two Phase Lock - Qiita

実行スケジュールを動的に作成したい Conflict Serializability(CSR)が担保される実行スケジュールはトランザクションの実装上好ましい性質を持っている。 そのCSRを動的に生成する方法の1つがTwo Phase Lock(2相ロックまたは2PL)である。 厳密にはCSRより更に狭い範囲のスケジュールしか許容しないが、詳細はリカバリなどの議論を含むため後日にする。 Two Phase Lockとは、成長相と縮退相の2相からなるロックプロトコルである。 ロックプロトコルとは、複数のロックを獲得・解放する際の取り決め（プロトコル）を規定する物であり、特定のロック実装には依存しない。 Two Phase Lockの規定するプロトコルは以下である。 成長相のあとに縮退相が来なくてはならない。 縮退相のあとに成長相が来る事は許可されていない。 成長相と縮退相はそれぞれ1つずつしか