IPA公式正解:エ 待ちグラフ
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【エ】です。待ちグラフ(WFG: Wait-for Graph)は、トランザクションを節点、ロック解放待ちの状態を枝とする有向グラフです。このグラフ内に閉路(サイクル)が存在する場合、デッドロックが発生していると判断できます。他の選択肢は同時実行制御や障害回復のための手法です。
【詳細解説】■ 本問の核心・解法のポイント
デッドロックの「検出」手法に関する知識を問う問題です。デッドロックとは、複数のトランザクションが互いに相手の保持する資源の解放を待ち、処理が停止する状態です。
・各選択肢の徹底解説:
・ア:2相ロック(2PL)は、ロックの獲得フェーズと解放フェーズを分けることで直列可能性を保証するプロトコルですが、デッドロックを「防止」するものではなく、むしろ発生させる可能性があります。
・イ:時刻印(タイムスタンプ)アルゴリズムは、トランザクション開始時の時刻を用いて競合を解決する手法で、デッドロックを「回避」するために使われます。
・ウ:チェックポイントは、障害回復のためにメモリ上のデータをディスクに書き出す同期点のことです。
・エ:【選択肢エ★】待ちグラフは、どのトランザクションがどのトランザクションを待っているかを可視化する手法です。グラフにループ(閉路)ができると、相互待ちの状態、すなわちデッドロックであると検出できます。
よって正解はエです。