文献

J-GLOBAL ID：201002225438801108   整理番号：10A0298476

SMPを活用したPrimary/Backupモデルによるリプレイ環境の構築

Kernel Debugging System using SMP environment by Primary/Backup Model

著者 (2件)： 川崎仁 (筑波大) ,  追川修一 (筑波大)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2009  号： 5  ページ： ROMBUNNO.OS-113,NO.12  発行年： 2010年02月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： オペレーティングシステム(OS)の開発時やシステムの運用時にカーネルパニックによる障害が発生することがある。こうした場合,一般的に障害時点から遡ってデバッグを行うことになるが,これは過去の状態を推定することであり容易ではない。そこで本研究では,SMP環境上にロギング&リプレイを適用した手法を提案する。本手法では,SMP環境上でロギング用とリプレイ用の2つのOSを起動し,リプレイ用OSの実行を遅らせることで常時過去の状態を保持する。障害時にはリプレイ用OSを利用して実行を再現することで,デバッグの効率化が可能であり,特に再現性の低いタイミングに依存するバグのデバッグが可能になる。ロギング&リプレイ機構の設計と実装を行い,安定動作には至っていないがゲストOSが起動することを確認した。(著者抄録)

シソーラス用語： *マルチプロセッサシステム ,  *オペレーティングシステム ,  再生 ,  プログラム実行 ,  記録 ,  再現性 ,  実装設計 ,  *デバッギング
準シソーラス用語： *SMPクラスタ ,  ゲストOS ,  リプレイ ,  リプレイ用OS ,  ロギング ,  ロギング用OS

分類 (3件)： ディジタル計算機方式一般  (JC02010O) ,  オペレーティングシステム  (JD03020J) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： SMP ,  活用 ,  モデル ,  環境 ,  構築