応用情報技術者 2015年 秋期 午前2 問30

前進復帰の対象判定【午前2解説】

正解の理由

解法ステップ

1. 図のチェックポイント位置と障害発生位置を確認する。
2. 各トランザクションについて「コミットの有無」と「コミット時刻がチェックポイントの前後どちらか」「障害時点でコミット済みか」を判定する。
3. ロールフォワードの判定基準を適用する：
   • 前進復帰（redo）できるのは「障害時にコミット済みで、コミット記録がチェックポイント以降にある（＝チェックポイント時点でまだデータベースに反映されていない可能性がある）」トランザクション。
4. 判定を各トランザクションへ適用し、該当するものを列挙する（この問題では T4 と T5）。

選択肢別の誤答解説

• ア: T1
  • 誤り。T1 はコミットがチェックポイントより前に完了しており、チェックポイント時点でデータベースに反映済みと想定されるため redo の対象ではない。
• イ: T2とT3
  • 誤り。T2 はチェックポイントをまたいで実行中で未コミット、T3 はチェックポイント後に開始して未コミット。いずれも障害時に未コミットのため、redo ではなく undo の対象。
• ウ: T4とT5
  • 正解。両者とも開始はチェックポイント前に見えるが、コミットはチェックポイント後かつ障害前に行われているため、前進復帰で再適用可能。
• エ: T5
  • 誤り。T5 は確かに対象だが、同様の条件を満たす T4 も含まれるため不完全。

よくある誤解

• 「トランザクションがチェックポイント後に開始したかどうか」が前進復帰の第一条件と思う誤解。実際には重要なのはコミット時刻がチェックポイント以降かどうかであり、開始時刻そのものは redo 判定の必要条件ではない。
• 「コミット済み＝常にデータベースへ反映済み」と考える誤解。コミットはログへの記録と永続化を意味するが、チェックポイント以降にコミットされた更新がデータファイルへ書き込まれていないことがあり、これが redo の対象となる。
• 「未コミットトランザクションは redo できる」との誤解。未コミットは一貫性維持のため undo（取り消し）されるべきで、redo してはいけない。

補足コラム

• チェックポイントは一般に「現在のログ位置（LSN）と、まだ書き戻されていないダーティページやアクティブトランザクション一覧」を記録します。復旧時はチェックポイント以降のログを参照して、redo（コミット済みだがデータ反映漏れの処理を再適用）と、undo（未コミットの取り消し）を行います。
• 用語整理：WAL（Write-Ahead Logging）により「変更内容のログが先に永続化」されるため、障害後はログを頼りに整合性を回復できます。実運用では「fuzzy checkpoint（漸進チェックポイント）」が使われ、チェックポイント時点におけるコミットログの有無で判断します。

FAQ