メインコンテンツへスキップ
システムアーキテクト令和4年度 春期午前II24

令和4年度 春期 システムアーキテクト 午前II24

難度標準

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

選択肢

T₁
T₂
T₃
T₄

解説

結論 → 詳細 → 補足 の 3 層構成

展開
結論Layer 1

イのT₂が正解です。トランザクションの待ちグラフは、あるトランザクションが他のトランザクションのロック解除を待っている関係を示します。Tᵢ→Tⱼという矢印は、Tⱼがロックしている資源のアンロックをTᵢが待つことを意味します。選択肢の文言から、T₁がcommitを発行する直前の状態における待ちグラフが作成されたとあります。

詳細Layer 2

アのT₁が誤りである理由は、T₁はcommitを発行する直前であり、他のトランザクションのロック解除を待つ状態ではないからです。T₁自身がcommitすることでロックが解除され、待ち状態から解放される立場にあると考えられます。

補足Layer 3

ウのT₃やエのT₄も同様に、問題文からT₁がcommitする直前という状況設定であり、T₁がcommitすることで問題なく終了するトランザクションである可能性が高く、待ちグラフにおいて他のトランザクションを待つ関係にあるとは考えにくいからです。待ちグラフの構造は、デッドロックの検出などに用いられるもので、T₁がcommitするということは、T₁が関わる待ち関係が解消されることを示唆しています。したがって、T₁のcommit直前の待ちグラフで、T₁自身が他のトランザクションを待つ関係にあるとは想定されません。T₂は、T₁がcommitする前にアンロックを待っている資源をロックしている可能性があり、最も待ちグラフに登場する可能性が高いトランザクションと言えます。

この解説は?
この解説は AI 生成です(詳細)

解説テキストは Google Gemini に IPA 公式の問題文・公式解答を入力して生成しました。 人間によるレビューを行ったものと、未レビューのものが混在します。

AI は事実誤認・選択肢の取り違え・最新法令の反映漏れ等を含む可能性があります。 重要な判断は必ず IPA 公式 PDF または最新の参考書でご確認ください。

解説の検証プロセス・誤り報告フローは 運営透明性レポートで公開しています。

※ AI 生成の解説は誤りを含む可能性があります。重要な判断は IPA 公式資料でご確認ください。

最終更新:

分野「システム設計」の学習ポイント

この問題の理解を「分野全体の力」に広げるための足がかり

何が問われるか
本問の分野で問われる代表的な知識・用語の整理。
学習の進め方
正解/誤答の選択肢ごとに「なぜ正しい / なぜ違うのか」を1行ずつ言語化すると定着する。
この分野の問題をもっと解く
AI コパイロット

この問題を AI と深掘りする

用語解説・選択肢分析・類題生成をその場で対話。クイズモードでは解答→解説がゼロ遷移。

クイズモードで開く

共有

X でシェアLINE

ショート動画

関連する問題

システム設計 の他の問題