SMPを活用した Primary/Backup モデルによるカーネルデバッグ環境の提案

  • 川崎 仁
    筑波大学システム情報工学研究科コンピュータサイエンス専攻
  • 追川 修一
    筑波大学システム情報工学研究科コンピュータサイエンス専攻

書誌事項

タイトル別名
  • Kernel Debugging System using SMP environment by Primary/Backup Model

この論文をさがす

説明

カーネルパニックが発生した際に,原因であるバグを短時間で特定する事は困難である.そこで,仮想マシンモニタを利用して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.

収録刊行物

参考文献 (8)*注記

もっと見る

詳細情報 詳細情報について

  • CRID
    1573387452365547008
  • NII論文ID
    110007997547
  • NII書誌ID
    AN10096105
  • ISSN
    09196072
  • 本文言語コード
    ja
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ