[論文レビュー] A Monitoring Language for Run Time and Post-Mortem Behavior Analysis and Visualization

Mikhail Auguston, Clinton Jeffery+1 more|ArXiv.org|Oct 14, 2003

Data Visualization and Analytics参考文献 31被引用数 9

ひとこと要約

本稿では、Alamoアーキテクチャ内の仮想マシン上で実行される実行モニタにルールをコンパイルする宣言的モニタリング言語UFOを紹介する。この手法により、構造化されたルールベースのモニタリングを通じて、実行時および事後分析が可能となり、形式的意味論と仮想マシンコンパイルによる効率的実行を備えた統合フレームワークを提供し、ソフトウェア実行の不審な挙動の検出と可視化が可能になる。

ABSTRACT

UFO is a new implementation of FORMAN, a declarative monitoring language, in which rules are compiled into execution monitors that run on a virtual machine supported by the Alamo monitor architecture.

研究の動機と目的

• 実行時および事後分析の両方をサポートするソフトウェア挙動のための宣言的モニタリング言語の設計。
• モニタリングルールの仮想マシンベース実行モデルの実装により、効率性とポータビリティの向上。
• デバッグおよび検証のためのシステム実行トレースの形式的意味論と構造化された可視化の提供。
• 実世界のソフトウェア工学に適した実行メカニズムを備えたFORMAN言語の拡張。
• スケーラブルでモジュラーな挙動分析を可能にする、Alamoモニタアーキテクチャへのモニタリング機能の統合。

提案手法

• 本稿では、FORMAN言語のコンパイル拡張としてUFOを提案し、高レベルのモニタリングルールを仮想マシンで実行可能なバイトコードに変換する。
• ルールは実行中にまたは記録されたトレース上で事後的に実行されるモニタにコンパイルされる。
• Alamoモニタアーキテクチャが実行環境を提供し、動的インストルメンテーションとルール評価をサポートする。
• 仮想マシンはコンパイル済みのモニタリングルールを解釈し、実行トレース上の効率的なパターンマッチングを可能にする。
• 時間論理に類似した構文を用いて、挙動的性質を宣言的に指定できる。
• ルール違反を実行トレースと照合することで可視化が実現され、デバッグおよび分析が可能になる。

実験結果

リサーチクエスチョン

• RQ1 仮想マシン上で実行可能なコンパイルおよび実行機構を用いて、実行時および事後分析の両方を効率的に行うにはどうすればよいか？
• RQ2 実行中および障害発生後の両方で、システム挙動を統合的に分析するにはどのようなメカニズムが必要か？
• RQ3 Alamoアーキテクチャへのルールベースモニタリングの統合が、デバッグおよび検証をどのように向上させるか？
• RQ4 形式的意味論がモニタリングルールの正しさと一貫性を保証するために果たす役割は何か？
• RQ5 ソフトウェア診断に効果的であるために、モニタリングルールをどのように表現・可視化できるか？

主な発見

• UFOは、FORMAN風のルールを仮想マシン用の実行可能バイトコードに成功してコンパイルし、効率的なモニタリングを可能にした。
• 仮想マシン実行モデルは、一貫した意味論を備えたリアルタイムモニタリングと事後トレース分析の両方をサポートする。
• Alamoアーキテクチャは、ソフトウェアシステムへのモニタリング統合のためのスケーラブルでモジュラーな基盤を提供する。
• 宣言的ルール指定と実行トレースとの可視化的相関により、複雑な挙動パターンの検出が可能になった。
• 実際のソフトウェア工学の文脈において、形式的モニタリングルールを仮想マシンで実行する手法の実現可能性が示された。
• 本研究は、挙動分析のための高レベルの仕様と低レベルの実行をつなぐ動作するプロトタイプを貢献した。