[論文レビュー] A brief overview of the MAD debugging activities

Dieter Kranzlmueller, Christian Schaubschlaeger+1 more|arXiv (Cornell University)|Dec 16, 2000

Parallel Computing and Optimization Techniques参考文献 4被引用数 10

ひとこと要約

本論文は、MPIベースの並列プログラムのためのグラフィカルデバッグ環境MAD（Monitoring And Debugging）を提示する。MADは、データ競合のような非決定的動作の分析に役立つ空間時間図を用いて実行を可視化する。レコードアンドリプレイとインタラクティブなイベント操作を統合することで、MADは分散配列の検査、グラフィカルなブレークポイントの設定、代替実行パスの評価を可能にし、ハイパフォーマンスコンピューティング環境におけるデバッグの複雑さを顕著に低減する。

ABSTRACT

Debugging parallel and distributed programs is a difficult activitiy due to the multiplicity of sequential bugs, the existence of malign effects like race conditions and deadlocks, and the huge amounts of data that have to be processed. These problems are addressed by the Monitoring And Debugging environment MAD, which offers debugging functionality based on a graphical representation of a program's execution. The target applications of MAD are parallel programs applying the standard Message-Passing Interface MPI, which is used extensively in the high-performance computing domain. The highlights of MAD are interactive inspection mechanisms including visualization of distributed arrays, the possibility to graphically place breakpoints, a mechanism for monitor overhead removal, and the evaluation of racing messages occuring due to nondeterminism in the code.

研究の動機と目的

• 並列および分散プログラムのデバッグの複雑さ、特にMPI標準を用いたプログラムのデバッグの複雑さに対処すること。
• グラフィカルな実行可視化を通じてデバッグのオーバーヘッドを低減し、プログラムの理解を向上させること。
• データ競合のような非決定的動作の分析と解決のためのメカニズムを提供すること。
• 配列のような分散データ構造のインタラクティブな検査をサポートすること。
• 統合されたグラフィカルインターフェース内でのブレークポイント設定やモニターオーバーヘッド除去といった高度なデバッグ機能を統合すること。

提案手法

• 並列プログラム実行の可視化として、空間時間図をデバッグの中心抽象化として使用する。
• 実行時インストルメンテーションとトレース収集にNOPE（Nondeterministic Program Evaluator）を採用する。
• マクロ（例：monARRAYTRACE）を介してユーザー定義のモニタリングイベントを挿入し、配列や変数の検査を可能にする。
• レコードアンドリプレイ機構を適用して、非決定的動作を再現・分析する。
• ワイルドカード受信操作における代替実行順序をシミュレートするために、グラフィカルなイベント操作を可能にする。
• 選択されたワイルドカード受信ですべての競合するメッセージを強調表示し、メッセージ順序のインタラクティブ選択を可能にすることで、データ競合を可視化する。

実験結果

リサーチクエスチョン

• RQ1 グラフィカルな実行可視化は、並列プログラムのデバッグの複雑さをどのように低減できるか？
• RQ2 メッセージパス方式のプログラムにおけるデータ競合の効果的分析を可能にするメカニズムは何か？
• RQ3 非決定的動作はどのように体系的に評価され、再現可能になるか？
• RQ4 ハイパフォーマンスコンピューティング環境において、デバッグの正確性を保ちながらモニターオーバーヘッドを最小限に抑えることは可能か？
• RQ5 配列のような分散データ構造は、並列プログラムのデバッグ中にどのように効果的に検査できるか？

主な発見

• テキストベースのデバッガーと比較して、グラフィカルな空間時間表現はプログラム理解を著しく向上させ、デバッグの複雑さを低減する。
• レコードアンドリプレイとイベント操作の統合により、開発者は代替実行パスを探索し、データ競合の影響を評価できる。
• monARRAYTRACEによる配列可視化により、デバッグ中に分散された多次元配列の効果的な検査が可能になる。
• ツールはワイルドカード受信操作とその関連する競合メッセージを効果的に特定・強調表示でき、標的的な分析を支援する。
• 選択的インストルメンテーションと動的削除メカニズムにより、モニターオーバーヘッドが低減され、デバッグ中のパフォーマンスが向上する。
• 非決定的動作の再現可能な分析が可能となり、並列デバッグにおける再現不能性と不完全性の問題が緩和される。