IPA公式正解:エ 待ちグラフ
※ 正解はIPA公表の解答です。解説は当サイトが生成AIを用いて作成しています。誤りにお気づきの場合はお問い合わせください。
【解説】正解は選択肢【エ】です。DBMSにおいてトランザクション間の資源待ち関係を有向グラフで表したものを待ちグラフ(Wait-For Graph)と呼び、グラフ内に閉路(サイクル)が存在することを検知してデッドロックを検出します。
【詳細解説】■ 本問の核心・解法のポイント
デッドロックの「検出」に用いる手法を問う問題です。デッドロック対策には「予防(防止)」と「検出・回復」があり、待ちグラフ(Wait-For Graph)は後者の検出に用いられます。
・各選択肢の徹底解説:
・ア:2相ロック(Two-Phase Locking: 2PL)は、直列化可能性を保証するためのロック方式であり、デッドロックの検出機能はありません(むしろ2相ロックの環境下でもデッドロックは発生します)。
・イ:時刻印アルゴリズム(タイムスタンプ順序付け方式)は、タイムスタンプを用いて競合を解消し直列化可能性を保つ方式であり、デッドロックを予防・回避します。
・ウ:チェックポイントは、障害回復(リカバリ)時にログの走査範囲を限定するために、メモリ上の更新内容をディスクに書き出す時点のことです。
・エ:【選択肢エ★】待ちグラフは、トランザクションを頂点とし、あるトランザクションが別のトランザクションの保持するロックの解放を待っている関係を有向辺で表したものです。このグラフに閉路(ループ)ができるとデッドロック状態であると検出できます。
よって正解はエです。