Kernel Debugging System using SMP environment by Primary/Backup Model

KAWASAKI JIN, OIKAWA SHUICHI

カーネルパニックが発生した際に，原因であるバグを短時間で特定する事は困難である．そこで，仮想マシンモニタを利用してOSの実行履歴を保存し，デバッグ時にOS状態を再現する手法が提案されている．本稿では，SMP環境を活用し，同一マシン上で実行履歴を用いてPrimary/Backupモデルを実現するシステムを提案する．また，その基礎となる機能として，OS状態の転送に必要である仮想マシン間の通信をリングバッファを用いて実装し，性能評価を行う．When a kernel panic occurs, it is difficult to identify its responsible bug in a small amount of time. In consequence, there is a suggested method of saving the histories of previous runs and replaying the state on the OS utilizing its saved histories. This paper proposes the system of the Primary/Backup model by application of SMP environment. As a basis of the proposed system, implementing ring buffer for connections between virtual machines is required for transformation of the OS states. In addition, its performance evaluations are performed.

Kernel Debugging System using SMP environment by Primary/Backup Model

Bibliographic Information

Search this article

Description

Journal

References(8)*help

Details 詳細情報について

Export

Report a problem