[論文レビュー] Debugging Backwards in Time

Bil Lewis|arXiv (Cornell University)|Oct 9, 2003

Advanced Software Engineering Methodologies参考文献 6被引用数 155

ひとこと要約

この論文は、プログラム実行中のすべての状態変化を記録することで、時間遡及デバッグを可能にする「オムニスコントデバッグ」を紹介する。バイトコードをインターセプトし、すべての変数代入とメソッド呼び出しを記録することで、オムニスコントデバッガ（ODB）は開発者が自由にプログラムの状態を移動できるようにし、複雑で非決定的であるため再現が難しいバグのデバッグ時間を著しく短縮する。

ABSTRACT

By recording every state change in the run of a program, it is possible to present the programmer every bit of information that might be desired. Essentially, it becomes possible to debug the program by going ``backwards in time,'' vastly simplifying the process of debugging. An implementation of this idea, the ``Omniscient Debugger,'' is used to demonstrate its viability and has been used successfully on a number of large programs. Integration with an event analysis engine for searching and control is presented. Several small-scale user studies provide encouraging results. Finally performance issues and implementation are discussed along with possible optimizations. This paper makes three contributions of interest: the concept and technique of ``going backwards in time,'' the GUI which presents a global view of the program state and has a formal notion of ``navigation through time,'' and the integration with an event analyzer.

研究の動機と目的

• 従来のデバッガが前方のみのデバッグと手動でのブレークポイント設定に依存するという限界を解消すること。
• 非決定的で再現が難しいバグの根本的問題を、プログラム状態の完全な後向き分析によって解決すること。
• 開発者が時間の前向きおよび後向きの両方でプログラム実行を自由にナビゲートできる統合的かつインタラクティブなインターフェースを提供すること。
• すべての状態変化を記録することで、従来のブレークポイントベースのアプローチよりも効果的で直感的なデバッグが可能になることを示すこと。
• イベント解析を状態ベースのナビゲーションと統合し、大規模な自動的および探索的デバッグを可能にすること。

提案手法

• ロード時におけるJavaバイトコードのインターセプトにより、すべての変数代入とメソッド呼び出しを一意のタイムスタンプを持つ離散的なイベントとして記録すること。
• 実行中に複数スレッド間でイベントの順序を一貫して保つために、1つの高レベルのロックを用いること。
• 永続的かつシリアライズ可能なログにすべての状態変化を保存し、いつでも再生・検査可能にすること。
• GUIベースのデバッガ（ODB）を提供し、選択されたタイムスタンプに基づいて変数、スタック、コードのすべてのパネルを同期的に更新すること。
• 任意の以前の状態に「戻す」ことでナビゲーションを可能にし、後退ステップ、例外トレース、メソッド呼び出し履歴をサポートすること。
• イベントアナライザーを統合し、動的クエリと制御を可能にし、get()関数を介して条件に基づく選択的記録を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 プログラムのすべての状態変化を記録することで、従来のブレークポイントベースの手法よりも効果的で直感的なデバッグが可能になるか？
• RQ2 時間遡及ナビゲーションは、複雑または非決定的なバグのデバッグ時間をどの程度短縮するか？
• RQ3 イベントアナライザーを状態ベースのデバッガと統合することで、デバッグの効率性と使いやすさはどのように向上するか？
• RQ4 すべての状態変化を記録する際のパフォーマンスへの影響は何か？最適化によってこれを緩和できるか？
• RQ5 オムニスコントデバッグは、概念実証の範囲を超えて、実世界の大型プログラムに対しても効果的に適用可能か？

主な発見

• オムニスコントデバッガ（ODB）は、多くの複雑なバグに対してデバッグ時間を数時間から数分に短縮した。特に「草むらに潜む蛇」のような問題に顕著だった。
• ユーザースタディーでは、時間遡及ナビゲーションが可能な場合、開発者がバグの原因をより速く、認知的負荷を低くして特定できた。
• ODBが『この変数を誰が設定したか？』を即座に回答できることで、ブレークポイントの配置における推測作業が不要になった。
• パフォーマンスのオーバーヘッドは管理可能で、イベント記録が1イベントあたり約2μs程度であり、単純なget()呼び出しの約40倍遅いにとどまり、長時間実行プログラムに対しても実用的であった。
• ガベージコレクションと選択的インストルメンテーションにより、イベント数が1桁減少し、1000万件を超えるイベントを含むプログラムのデバッグが可能になった。
• イベントアナライザーの統合により、記録の動的制御が可能となり、デバッグの有用性を失うことなくデータ量を大幅に削減できた。