[論文レビュー] FReD: Automated Debugging via Binary Search through a Process Lifetime

Kapil Arya, Tyler Denniston+2 more|arXiv (Cornell University)|Dec 20, 2012

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

ひとこと要約

FReDは、複雑なマルチスレッドアプリケーションにおける困難で時間的局所性のないバグの根本原因を、プログラムの実行ライフタイムにわたる自動バイナリサーチによって特定する手法を提案する。チェックポイント、カスタム DMTCP プラグインを用いた決定論的リプレイ、GDB 結合を活用することで、FReD は効率的に逆方向の式ウォッチポイントを実現し、プログラムの不変条件が正しい状態から違反状態に遷移する正確なソースコード文を特定する。16コアシステム上で29〜406秒のデバッグ時間を達成した。

ABSTRACT

Reversible debuggers have been developed at least since 1970. Such a feature is useful when the cause of a bug is close in time to the bug manifestation. When the cause is far back in time, one resorts to setting appropriate breakpoints in the debugger and beginning a new debugging session. For these cases when the cause of a bug is far in time from its manifestation, bug diagnosis requires a series of debugging sessions with which to narrow down the cause of the bug. For such "difficult" bugs, this work presents an automated tool to search through the process lifetime and locate the cause. As an example, the bug could be related to a program invariant failing. A binary search through the process lifetime suffices, since the invariant expression is true at the beginning of the program execution, and false when the bug is encountered. An algorithm for such a binary search is presented within the FReD (Fast Reversible Debugger) software. It is based on the ability to checkpoint, restart and deterministically replay the multiple processes of a debugging session. It is based on GDB (a debugger), DMTCP (for checkpoint-restart), and a custom deterministic record-replay plugin for DMTCP. FReD supports complex, real-world multithreaded programs, such as MySQL and Firefox. Further, the binary search is robust. It operates on multi-threaded programs, and takes advantage of multi-core architectures during replay.

研究の動機と目的

• 時間的局所性に欠けるが、原因が顕在化から遠く離れている「困難な」バグを診断する課題に対処すること。
• 数百万の命令を手動で逆方向ステップで戻る必要なく、このようなバグの根本原因を自動的に絞り込むプロセスを自動化すること。
• MySQL や Firefox といった複雑な実世界のマルチスレッドプログラムを、スケーラブルかつ効率的なデバッグ環境でサポートすること。
• 高水準の式ベースのデバッグクエリ（例：「この不変条件はいつ偽になったか？」）を自動バイナリサーチを用いて実現すること。
• GDB や DMTCP といった既存ツールと統合しながら、決定論的記録・再生と逆方向実行機能を拡張すること。

提案手法

• FReD は、DMTCP を用いたチェックポイント・リスタートと、システムコール、pthread コール、glibc ライブラリコールのログ記録を実行するカスタム決定論的記録・再生プラグインを組み合わせ、決定論的動作を実現する。
• GDB をフ론トエンドのデバッガーとして利用し、逆方向実行と式評価を可能にするために統合する。
• コア技術は、ユーザー定義の式が真から偽に遷移するタイミングを示す、プログラム実行タイムラインにおけるバイナリサーチである。
• 各ステップで、システムはチェックポイントを生成し、中間地点まで順方向にリプレイして、ターゲット式がまだ真であるかを確認し、探索空間を半分に絞る。
• アルゴリズムは、式が偽に変わる正確なソースレベルの文を特定し、手動でのブレークポイント設定やステップバイステップの逆方向実行に依存しない。
• 決定論的リプレイ中に並列性を活用することで、マルチコアアーキテクチャ上で顕著に性能向上を達成する。

実験結果

リサーチクエスチョン

• RQ1 複雑なマルチスレッドプログラムにおける時間的局所性のないバグの根本原因を、プロセスのライフタイムにわたる自動バイナリサーチで効率的に特定できるか？
• RQ2 決定論的リプレイとチェックポイントを、シンボリックデバッガーと効果的に統合することで、スケーラブルな逆方向デバッグを実現できるか？
• RQ3 実世界のアプリケーションにおいて、手動での逆方向ステップと比較して、逆方向式ウォッチポイントはデバッグ時間をどの程度短縮できるか？
• RQ4 MySQL や Firefox のような生産環境レベルの高並列システムに対しても、正しさとパフォーマンスを維持したままスケーラブルに拡張可能か？
• RQ5 逆方向デバッグ環境で決定論的リプレイを維持し、バイナリサーチを有効化する際のパフォーマンスオーバーヘッドはどの程度か？

主な発見

• FReD は、MySQL や Firefox といった複雑なマルチスレッドプログラムにおけるバグの根本原因を、自動バイナリサーチを用いて効果的に特定した。
• 16コアマシン上でのデバッグ時間は29〜406秒にわたり、実世界のデバッグにおいて実用的なパフォーマンスを示した。
• 逆方向式ウォッチポイント機能により、プログラムの不変条件が失敗する文を正確に特定でき、手動での逆方向ステップの必要がなくなった。
• 変更のない GDB および DMTCP との統合により、互換性と拡張性が保たれ、多様なワークロードにわたり堅牢性が確保された。
• リプレイ時にマルチコアアーキテクチャを活用することで、高速な決定論的リプレイが実現され、バイナリサーチのスケーラビリティと効率性が向上した。
• 大規模な実行トレースに対して反復的な逆方向次へ（reverse-next）や逆方向ステップ（reverse-step）コマンドを実行する手動の逆方向デバッグと比較して、本手法は優れた性能を発揮した。