------------------------------------------------------------------
             第 393 回 PTT のお知らせ

    ---  Programming Tools and Techniques  ---
------------------------------------------------------------------
■日時: 2013年9月20日 (金) 18:30 から
■場所: 東京農工大学 小金井キャンパス 7 号館 3K 室
            http://www.tuat.ac.jp/access/tra5.html
------------------------------------------------------------------
■話者: 山田浩史（東京農工大学） 
------------------------------------------------------------------
■題名：
オペレーティングシステムバグに対する柔軟な対応に向けて

------------------------------------------------------------------
■概要：

オペレーティングシステム(OS)カーネルの肥大化複雑化に伴い，
開発段階でバ グを完全に除去することが困難になっている．
デバッグメッセージを加えると その存在が露見しないハイゼンバグや，
とあるタイミングで割り込みが生じた 際にだけファイラが顕在化する
割り込みバグなどが開発段階で除去が困難なバ グの代表的な例である．
カーネルの不具合はその上で動作するアプリケーショ ンにも伝播し，
結果としてサービスの信頼性を著しく損なう原因となる．
本発表では，話者が取り組んでいる OS バグを柔軟に取り扱うための
システムソフ トウェア技術についてお話する．具体的には，
仮想マシン技術を活用すること で，1.割り込みバグに対するデバッガ
ビリティの向上，2.パッチ適用時に生じ るダウンタイムの短縮，
を実現する手法について紹介する．

------------------------------------------------------------------
■アクセス情報：

● 東京農工大学小金井キャンパスまで：
農工大小金井キャンパスは，JR中央線東小金井駅南口から西へ向かって
徒歩8分程度です．農工大の東門に建物の配置図があります．駅からの経路は
    http://www.tuat.ac.jp/basic_information/access/koganei/route/index.html#p1
をご参考ください．


● 東京農工大学 小金井キャンパス 7 号館 3K 室 まで：
下記キャンパスマップの番号7の建物です．
    http://www.tuat.ac.jp/access/tra5.html

------------------------------------------------------------------