基本情報技術者 2024年 科目A 問07

トランザクションの原子性【午前解説】

正解の理由

解法ステップ

1. 問題で問われている用語（ここでは「原子性」）の定義を思い出す（ACIDのA）。
2. 各選択肢をACIDの4要素（Atomicity, Consistency, Isolation, Durability）やその他の概念（冪等性など）に当てはめる。
3. 原子性に一致する文言（「全て実行されるか、全て取り消されるか」）を含む選択肢を選ぶ。
4. 他の選択肢が別の概念を指していることを確認して排除する。

選択肢別の誤答解説

• ア: 「同一処理を何度実行しても結果が同じ」は冪等性（idempotence）の説明であり、原子性ではありません。たとえばHTTPのGETは冪等になり得ますが、それは原子性とは別概念です。
• イ: トランザクション完了後の更新内容が保証されるのは耐久性（Durability）です。障害発生後もコミット済みデータが失われないことを指します。ログや永続化機構が関連します。
• ウ: トランザクション内の処理が全て実行されるか全て取り消されるか、という記述は原子性そのものです。途中で障害が発生した場合にロールバックされる仕組みがこれを実現します。
• エ: 「あるトランザクションの処理結果が他のトランザクションの影響を受けない」は独立性または隔離性（Isolation）の説明です。並行実行時の相互干渉を防ぐ性質を指します。

よくある誤解

• 「原子性＝処理が一回だけ行われること」ではない：原子性は回数や冪等性ではなく、トランザクションの中身が全体として適用されるか全く適用されないかを指します。
• 「原子性があればデータは永続化される」と混同しやすい：原子性は途中中断時の一貫性維持を扱い、永続性（耐久性）はコミット後のデータ保持を扱う別の概念です。
• 「単純なファイル操作と同じ」と見なす誤り：原子性を実現するにはログ（undo/redo）、チェックポイント、必要に応じて2フェーズコミットなどの仕組みが必要です。単純なファイル書き込みだけでは保証できない場合があります。

補足コラム

• トランザクションログ（WAL: Write-Ahead Logging）に事前に変更情報を書き込む。
• 障害時にログを参照してロールバック（undo）やリカバリ（redo）を行う。
• 分散トランザクションでは2フェーズコミット（2PC）などで全参加者の合意をとって「全員コミット」か「全員ロールバック」にする。

• 銀行の振替処理（口座Aから引き落とし、口座Bに入金）が途中で止まれば、どちらの処理も適用されないことが原子性の要件です。部分適用は認められません。

FAQ