平成25年春期試験午前問題 午前Ⅱ 問10

平成25年春期試験午前問題　午前Ⅱ 問10

午前Ⅱ 問10解説へ

t₁～t₁₀の時刻でスケジュールされたトランザクションT₁～T₄がある。時刻t₁₀でT₁がcommitを発行する直前の，トランザクションの待ちグラフを作成した。aに当てはまるトランザクションはどれか。ここで，select(X)は共有ロックをかけて資源Xを参照することを表し，update(X)は専有ロックをかけて資源Xを更新することを表す。これらのロックは，commitされるまでアンロックされないものとする。また，トランザクションの待ちグラフの矢印は，T_i→T_jとしたとき，T_jがロックしている資源のアンロックを，T_iが待つことを表す。

T₁
T₂
T₃
T₄

正解　イ問題へ

分野：テクノロジ系
中分類：データベース
小分類：トランザクション処理

共有・専有の2種類のロックの違いを確認しておきましょう。

共有ロック: データを読込むときに使うロックで、資源がこの状態の場合は他のトランザクションによる更新処理ができなくなる。(読込みは可能)
専有ロック: データを更新するときに使うロックで、資源がこの状態の場合は他のトランザクションによる読込みや更新ができなくなる。

上記の性質から、ある資源に共有または専有ロックがかけれられているときの新たなロックの可否は次の表の通りになります。

[t₁]
T₁がAを共有ロックする。

[t₂]
T₂がBを共有ロックする。

[t₃]
T₃がAの共有ロックを試みる。Aは共有ロック状態なのでロックが成功する。

[t₄]
T₄がBの共有ロックを試みる。Bは共有ロック状態なのでロックが成功する。

[t₅]
T₄がBの専有ロックを試みる。Bは共有ロック状態なのでT₂のロック解除待ちとなる。

[t₆]
T₁がCを共有ロックする。

[t₇]
T₂がCの共有ロックを試みる。Cは共有ロック状態なのでロックが成功する。

[t₈]
T₂がCの専有ロックを試みる。Cは共有ロック状態なのでT₁のロック解除待ちとなる。

[t₉]
T₃がAの専有ロックを試みる。Aは共有ロック状態なのでT₁のロック解除待ちとなる。

設問の待ちグラフと向きは異なりますが、aにはT₁がCをアンロックするのを待ち、かつ、T₄にBのアンロックを待たれているT₂が入ります。