[論文レビュー] A Particular Bug Trap: Execution Replay Using Virtual Machines

Oliver Oppitz|ArXiv.org|Oct 15, 2003

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

ひとこと要約

本論文は、仮想マシン（特にUser-Mode-Linux（UML））を用いて、変更のないアプリケーションの再実行が可能で、インストルメンテーションや再コンパイルを必要としない、実用的で汎用的な実行再現（ER）インfraストラクチャを提案する。ハードウェア命令カウンタと決定的仮想化を活用することで、時間的に敏感でマルチスレッド処理を伴うソフトウェアの正確な再現可能な実行が実現される。

ABSTRACT

Execution-replay (ER) is well known in the literature but has been restricted to special system architectures for many years. Improved hardware resources and the maturity of virtual machine technology promise to make ER useful for a broader range of development projects. This paper describes an approach to create a practical, generic ER infrastructure for desktop PC systems using virtual machine technology. In the created VM environment arbitrary application programs will run and be replayed unmodified, neither instrumentation nor recompilation are required.

研究の動機と目的

• 一般用途のデスクトップソフトウェア開発における実行再現（ER）を可能にし、過去のERシステムが特殊なアーキテクチャに限定されていたという制限を克服すること。
• コンsumer PCシステムにおける決定的再現の課題を、仮想マシン（VM）技術を用いて非決定的入力を隔離・記録することで解決すること。
• 既存の仮想化技術およびハードウェアパフォーマンスモニタ機能を活用することで、標準ハードウェア上に汎用的で侵襲のないERインfraストラクチャが実現可能であることを示すこと。
• 正確なタイミングと入力刺激を再現することで、時間的に敏感でマルチスレッド処理を伴うアプリケーションのデバッグを可能にすること。

提案手法

• User-Mode-Linux（UML）を活用する。UMLはLinuxカーネルとユーザースペースバイナリをユーザースペースで実行する軽量仮想マシンであり、カーネルの変更なしにフルシステム仮想化を実現できる。
• ハードウェアパフォーマンスカウンタ（例：PowerPC MPC7441）を用い、高精度に実行された命令数を追跡することで、決定的命令レベルの再現を実現する。
• 割り込み、システムコール、デバイスI/Oなど、すべての非決定的入力を仮想デバイスドライバを介して記録し、実行時に再現ハンドラにリダイレクトする。
• 事前に記録された命令数に達した後に発生するパフォーマンスモニタ割り込みを用いて、再現と同期を図り、タイミングに敏感なイベントをシミュレートする。
• 既存のデバッガ（例：gdb や kgdb）をホストOSから操作可能に変更し、再現中におけるゲストプロセスの状態、レジスタ内容、スタックトレースを直接確認できるようにする。
• 割り込み遷移時の1命令分の過剰カウントといった決定的カウンタの不正確さを、事前に分かっているオーバーヘッドを差し引くことで補正し、再現の正確性を保証する。

実験結果

リサーチクエスチョン

• RQ1 コンsumer仮想マシン技術を用いて、プログラムやOSの変更なしに、標準デスクトップシステム上で実行再現を実装できるか？
• RQ2 x86およびPowerPCプロセッサ（例：Pentium III, IV, AMD Athlon）におけるハードウェアパフォーマンスカウンタは、仮想化環境下で決定的再現のための命令実行追跡をどの程度正確に実現できるか？
• RQ3 仮想デバイスドライバとパフォーマンスモニタ割り込みは、割り込みやI/Oといったシステムスティミュラスの忠実な記録と再現をどの程度可能にするか？
• RQ4 ホストOSから動作するデバッガを構築することは可能か？ これにより、再現中の仮想マシン内に実行中のプロセスの状態を直接監視・制御できるか？
• RQ5 ハードウェアカウンタと静かでバックグラウンドでのインストルメンテーションを用いることで、記録のプローブ効果を最小限に抑えることは可能か？

主な発見

• PowerPC MPC7441プロセッサは、非常に高精度な命令カウンタを提供しており、割り込み遷移あたり1命令分の決定的過剰カウントにとどまり、アルゴリズム的に補正可能である。
• x86命令カウンタ（例：Pentium III, IV, AMD Athlon）は、文書化された不正確さを示しており、追加の補正なしでは正確な再現に不適切である。
• Itaniumプロセッサは、カウンタの正確性が保証されておらず、文書の不足により信頼できるテストが不可能であった。
• UML仮想マシン環境では、変更のないアプリケーションが正確に実行され、再現可能であり、インストルメンテーションや再コンパイルの必要がない。
• 仮想デバイスドライバとパフォーマンスモニタ割り込みを用いることで、割り込みやI/Oを含むすべての非決定的入力が忠実に記録および再現された。
• gdb や kgdb などの変更済みデバッガは、ホストOSからゲストのメモリレイアウトとレジスタ状態に直接アクセスでき、再現中のゲストプロセスの状態を監視可能である。