プロンプトとコンテキスト
デスクトップ同期サービスが、WALモードで複数のプロセスから1つのSQLiteファイルを開いています。チームは過去のバージョンにWAL-resetバグが含まれている可能性があることを知り、誤読の安全性、アップグレード中の同時書き込み、あるいは下流への破損コピーの同期を懸念しています。バージョン台帳、リスク評価、アップグレード、整合性検証、バックアップリカバリ、ロールバック、およびマルチプロセスアクセス制御を設計してください。
面接官がテストするポイント
- 影響を受けるバージョン範囲と、バグを引き起こす可能性のあるトリガー条件を切り分けて整理できるか。
- 正式な修正バージョンやバックポートバージョンからアップグレードマトリクスを構築できるか。
- 一貫性のあるバックアップ、検証、分離、リカバリの手順を適切な順序で構成できるか。
PRAGMA integrity_checkをビジネスロジック上の正しさとして扱うのではなく、その限界を説明できるか。- マルチプロセスの書き込み、チェックポイント、ファイルコピー、同期の副作用を適切に処理できるか。
明確にすべき質問
- 具体的にどのSQLiteバージョン、ビルドオプション、オペレーティングシステム、ジャーナルモードがデプロイされていますか？
- 2つ以上のプロセスまたはスレッドが同一ファイルに対して書き込みやチェックポイントを実行していますか？
- 検証済みのバックアップ、レプリカ、直近の正常確認タイムスタンプとして何が存在しますか？
- アップグレード時に一時的に書き込みを凍結し、古いプロセスを強制終了させることは可能ですか？
- リカバリの目標は、直近トランザクションの損失許容、サーバーからの再構築、それとも完全な状態復元ですか？
30秒の回答
まずバージョンとランタイムモードの台帳を作成します。影響を受けるバージョン範囲にあるからといって、破損が証明されたわけではありません。SQLiteのドキュメントによると、WAL-resetバグは3.7.0から3.51.2までの一部のWALシナリオで発生し、3.51.3以降で修正され、一部のバックポートリリースも提供されています。アップグレード前に書き込みを凍結し、データベースとWAL/SHMのエビデンスをコピーして、検証ベースラインを記録します。分離されたコピーでアップグレードを行い、構造的整合性チェック、ビジネスレベルのサンプリング、同期整合性チェックを実行します。ゲートを通過した後にのみ本番ファイルを切り替え、ロールバック用のコピーを保持します。長期的には、マルチプロセス書き込みを制限し、チェックポイント、ロック競合、検証失敗を監視し、リカバリ訓練をリリースの判定条件に組み込みます。
ステップごとの詳細解説
1. 影響マトリクスの構築
SQLiteの公式資料では、潜在的なバグの範囲を3.7.0から3.51.2としており、3.51.3以降で修正され、3.44.6および3.50.7にバックポートされています。また、このリスクの発生にはWALモード、1つのファイルへの複数接続、そしてごくわずかなタイミングでの書き込みやチェックポイントのインターリーブが必要です。各クライアントのSQLiteバージョン、WAL状態、接続数、プロセスモデル、ファイル配置を記録し、「影響バージョンかつトリガー条件が存在する」として分類します。
version/mode -> WAL enabled -> multi-connection/process -> concurrent write/checkpoint
| | | |
+-- upgrade gate ------------------+----------> isolate, verify, rehearse recovery2. 凍結とエビデンスの保全
新規の書き込みを停止し、アプリケーションが正常に接続を閉じるようにします。古いプロセスがまだ動作している可能性がある場合は、データベースの置換やコピーを行わないでください。元のデータベース、同一ディレクトリ内のWAL/SHMファイル、バージョン情報、最新のバックアップ、検証ログを保全します。安定した状態からのみコピーを行ってください。変化し続けているWALは静的なスナップショットではありません。
3. 分離環境でのアップグレードと検証
修正済みバージョンでコピーを開きます。まずSQLiteレベルの整合性チェックを実行し、次に行数、主要インデックス、外部キー、同期カーソル、直近のトランザクションに関するアプリケーションチェックを実行します。integrity_checkは構造的な問題を検出できますが、ドメインセマンティクス、リモートレプリカとの一致、コミットされていない作業の完全性を証明することはできません。結果をコピーのハッシュ値およびツールバージョンと紐付けます。
4. 切り替え、ロールバック、およびリカバリ
ゲートを通過した後、ファイルパスまたはバージョン管理されたディレクトリをアトミックに切り替え、古いコピーを読み取り専用として保持します。起動時に検証失敗、同期競合、またはビジネスデータの不整合が判明した場合は、新規書き込みを停止し、元の状態に切り戻すか信頼できるバックアップから再構築した上で、差分を再同期します。エビデンスを保全する前に、破損が疑われるファイルに対してVACUUMや一括修復を実行したり、コピーを上書きしたりしないでください。
5. マルチプロセス書き込みとチェックポイントの統制
1つのファイルに対して書き込みプロセスを1つに限定し、キューを介して書き込みトランザクションを直列化することを推奨します。他のプロセスは制御された読み取り接続を使用します。複数のコンポーネントが同時にチェックポイントを実行しないよう、チェックポイントをトリガーする主体、タイムアウト、障害アラートを定義します。マルチプロセスアクセスが避けられない場合は、接続のライフサイクル、ロック待機、チェックポイントの結果、プロセスのバージョンを記録し、インターリーブされた書き込みとチェックポイントのストレステストを実施します。
6. 監視とリカバリの訓練
リリース後は、SQLiteバージョンの適用率、WALの肥大化、チェックポイントのレイテンシ、ロック競合、整合性エラー、同期リトライ、リカバリ時間を監視します。サニタイズされたコピーを用いて「凍結—バックアップ—検証—切り替え—ロールバック」の手順を訓練し、古いクライアントが旧バージョンのデータベースを再度開けないことを確認します。単に「バックアップが存在する」と言うのではなく、ビジネスのRPOおよびRTOとしてリカバリ目標を表現します。
模範解答
まずは影響マトリクスの作成から始めます。SQLiteが3.7.0〜3.51.2の範囲内にあるか、WALが有効か、複数接続がファイルを共有しているか、書き込みとチェックポイントが重複する可能性があるかを確認します。該当範囲内にあることは「アップグレードと検証が必要」であることを意味し、破損を証明するものではありません。書き込みを凍結し、古いプロセスが終了したことを確認し、データベース、WAL/SHM、バックアップ、バージョン、ハッシュを保全した上で、分離されたコピーを3.51.3または適切なバックポートバージョンにアップグレードします。
検証には3つのレイヤーがあります。構造を確認するPRAGMA integrity_check、主要データとインデックスを確認するアプリケーションサンプリング、ローカルカーソルとリモートカーソルを比較する同期チェックです。ゲート通過後にアトミックに切り替えを行い、古いコピーは読み取り専用で保持します。チェックやビジネスインバリアントに不合格となった場合は、書き込みを停止し、信頼できるコピーを復元して差分同期を再構築します。長期的には、書き込みを単一プロセスに集約し、アクティブなチェックポイントを制限し、ロック競合と検証エラーを監視し、リカバリ訓練を実施します。
よくある間違い
- 古いバージョンがデプロイされていることだけを理由に、データベースが破損していると断定する。
- 書き込みの凍結や、WAL/SHMおよびロールバック用コピーの保全を行わずにバイナリをアップグレードする。
- 1回の
integrity_check成功をもって、ビジネス上の完全な正しさが証明されたと見なす。 - エビデンスを保全する前に、破損が疑われるファイルに対してVACUUMを実行したり上書きしたりする。
- 競合やタイムアウトのメトリクスを持たずに、多数のプロセスにチェックポイントを独立して実行させる。
- バックアップの一貫性、RPO、RTO、リカバリ訓練を考慮せずに「定期的にバックアップを取っている」とだけ答える。
フォローアップの質問と回答
バージョンは影響範囲内ですが、異常が見られない場合、アップグレードをスキップできますか？
いいえ。トリガー条件を用いて短期的なリスク露出を評価し、修正バージョンの適用をスケジュールしてください。障害が観測されていないからといって、わずかなタイミングで発生する競合状態が存在しないことの証明にはなりません。
PRAGMA integrity_checkが通過した後に、なぜビジネスチェックを実施するのですか？
主にデータベースの構造と一部の制約をチェックするものだからです。同期カーソル、ドメインのインバリアント、リモートレプリカとの一致、直近トランザクションの完全性は検証されないため、アプリケーションサンプリングとレプリカ比較が引き続き不可欠です。
マルチプロセスアクセスを即座に再設計できない場合の暫定措置は何ですか？
SQLiteのバージョンと起動設定を統一し、制御されていないアクティブなチェックポイントを禁止し、書き込みを直列化して、ロック競合のテレメトリを強化します。カナリアリリースのバッチを小さくし、シングルライター構成が利用可能になるまで、迅速に切り戻せる読み取り専用コピーを保持します。