[論文レビュー] Execution replay and debugging

Michiel Ronsse, Koenraad De Bosschere+1 more|ArXiv.org|Nov 6, 2000

Parallel Computing and Optimization Techniques参考文献 26被引用数 37

ひとこと要約

この論文は、非決定的並列および分散プログラムのデバッグのための実行再現技術について包括的なサーベイを提示し、実行トレースを記録する段階と、それを決定的に再現する段階からなる二段階アプローチを提案する。主な貢献は、ベクタークロックやメッセージトレーシングといった技術を用いて、最小限のパフォーマンスオーバーヘッドで実行イベントをキャプチャ・再現することで、本質的に非決定的システムにおいても標準的なサイクルデバッグツールが利用可能になるようにすることである。

ABSTRACT

As most parallel and distributed programs are internally non-deterministic -- consecutive runs with the same input might result in a different program flow -- vanilla cyclic debugging techniques as such are useless. In order to use cyclic debugging tools, we need a tool that records information about an execution so that it can be replayed for debugging. Because recording information interferes with the execution, we must limit the amount of information and keep the processing of the information fast. This paper contains a survey of existing execution replay techniques and tools.

研究の動機と目的

• 手作業で書かれた並列および分散プログラムには、本質的に非決定的であるため、効果的なデバッグツールが不足している問題に対処すること。
• タイミング干渉のため非決定的動作（例：ヘイセンバグ）で失敗する伝統的なデバッガの限界を克服すること。
• ブレークポイントやデータレース検出などの標準的なサイクルデバッグ技術を、決定的再現を介して並列および分散プログラムに適用可能にする。
• 順序実行、並列、分散プログラムにおける非決定要因の原因を特定・分類し、トレース収集および再現設計の指針とする。
• 既存の実行再現手法をサーベイ・評価し、再現の決定性を保証しながらパフォーマンスおよびストレージオーバーヘッドを最小限に抑えること。

提案手法

• 二段階の実行再現モデルを用いる：通常実行中にプログラム実行トレースを記録し、同じ入力と記録済みイベントを用いて決定的に再現する。
• 要因関係を追跡し、特に共有メモリシステムにおけるデータレース検出に役立てるために、ベクタークロックを用いる。
• 因果的に関係のないメモリ操作を破棄することで、メモリオーバーヘッドを低減するため、スプーンドマトリクスクロックを採用する。
• メッセージパッシングライブラリ（例：MPI、PVM）をインストルメント化して、送信および受信操作（非ブロッキングテスト操作を含む）をログ記録し、再現の決定性を保証する。
• プロミスキュア受信操作については、実際の送信者を記録し、再現時にポイントツーポイント受信に置き換えることで非決定性を排除する。
• タグ付きメッセージとチェックポイントを用いて、特にPVMのような分散システムやアタパスカンのようなハイブリッドシステムにおいて、実行をシミュレートまたは部分的に再現する。

実験結果

リサーチクエスチョン

• RQ1 並列および分散プログラムにおける非決定的動作をどのようにキャプチャし、決定的に再現することで標準的なデバッグが可能になるか？
• RQ2 並列および分散プログラムにおける非決定的要因の主な原因は何か？また、順序実行プログラムとの違いは何か？
• RQ3 正確かつ完全な実行再現を保証しながら、パフォーマンスおよびストレージオーバーヘッドを最小限に抑える技術は何か？
• RQ4 プロミスキュア受信操作を伴うメッセージパッシングシステムを、再現時にどのように決定的に行えるか？
• RQ5 トレースおよびメッセージログ記録の進展にもかかわらず、なぜ入力再現は依然として未解決の問題のままであるのか？

主な発見

• 実行再現により、再現実行を決定的に行えるため、非決定的並列および分散プログラムにおいても標準的なサイクルデバッグツールが利用可能になる。
• ベクタークロックは、メモリ操作間の因果的依存関係を追跡することで、再現中にデータレースを効果的に検出できる。
• スプーンドマトリクスクロックは、因果的に関係のない操作を破棄することで、データレース検出におけるメモリオーバーヘッドを顕著に低減する。
• メッセージパッシングシステム（例：MPI、PVM）におけるメッセージログ記録により決定的再現が可能になるが、非ブロッキングテスト操作は明示的に記録する必要がある。
• 実際の送信者を記録することで、プロミスキュア受信操作を決定的にすることができ、再現時にポイントツーポイント受信に置き換えることが可能になる。
• 進展は見られるものの、現存するツールではプログラム入力（例：キーボード、ファイルI/O）の決定的再現を完全にサポートできず、デバッグパイプラインにおける重要なギャップが残っている。