ツーフェーズロック

ウィキペディア

ツーフェーズロック

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/07/19 08:55 UTC 版)

ツーフェーズロック (Two-Phase Locking) あるいは2相ロッキングとは、並列処理システム（特にデータベース管理システム (DBMS) や関係データベース）で使用されるロック手法である。ツーフェーズロックは以下のように分類される。

• Strict 2PL: 厳密な (Strict) ツーフェーズロック
• 2PL: 厳密でない (Non-Strict) ツーフェーズロック
• C2PL: 保守的な (Conservative) ツーフェーズロック

単にツーフェーズロック (2PL) といった場合、厳密でない (Non-strict) ツーフェーズロックを指す。以下ではこれらについて解説する。

厳密な (Strict) ツーフェーズロック

Strict 2PL には以下の2つの原則がある。

1. トランザクションTがあるオブジェクトをリード/ライトしようとしたとき、そのオブジェクトに共有/排他ロックを使用しなければならない。
2. トランザクションTがかけた全ての排他ロックはTがコミットする際に解放される（コミット前ではない）。

以下に2つの相互に影響する処理での Strict 2PL の例を示す。

${\displaystyle D={\begin{bmatrix}T1&T2\\S(A)&\\R(A)&\\&S(A)\\&R(A)\\&X(B)\\&R(B)\\&W(B)\\&Commit\\X(C)&\\R(C)&\\W(C)&\\Commit&\end{bmatrix}}}$ この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。