VMMを用いた実デバイスドライバの検証環境の設計
スポンサーリンク
概要
- 論文の詳細を見る
Windows や Linux などの主要な OS では,システムクラッシュの原因の多くはデバイスドライバの不具合にある.そのため,システムの安定性を維持するためにはデバイスドライバの検証が重要である.しかし,従来のデバイスドライバの検証方法では,デバイスドライバのソースコードが必要であったり,あるいは実マシン上での検証が難しい,といった課題があった.本論文では,デバイスの仮想化を行わない VMM を用いて,実デバイスドライバの検証を行うシステムを提案する.まれにしか発生しない状況での検証を容易に行うために,デバイスの仕様にもとづいて状態遷移を監視するオートマトンを VMM 内に保持し,予め指定したタイミングで I/O やレジスタの値を強制的に変更する.これにより通常はほとんど発生しない状態遷移を意図的に引き起こして,デバイスドライバが正しく動作するか検証する.VMM で I/O を監視・書き換えを行う手法であるため,デバイスドライバのソースコードが不要であるほか,実マシン上のデバイスドライバに対する検証が可能になる.本研究では,ディスクアクセスに使われる AHCI デバイスのデバイスドライバに対して,実際に指定した状態遷移を強制的に引き起こすシステムを実装し,Windows7 及び Ubuntu10.10 のデバイスドライバの検証を行った.
- 2012-07-25
著者
関連論文
- 大川清人著, 「WBS構築」〜プロアクティブなプロジェクトマネジメントを支える技術〜, 発行所:生産性出版, 発行日:2008年3月25日, 体裁:A5版, 179ページ, 価格:2200円+税, ISBN:978-4-8201-1888-6
- 持ち込みPCを対象としたネットワーク利用許可権限の委譲を可能にするアクセス制御メカニズムの実現(シングルセッション,インターネットと情報倫理教育,一般)
- 準パススルー型仮想マシンモニタBitVisorの設計と実装(OS-4:仮想化,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 仮想マシンモニタBitVisorとI/O仮想化技術(仮想化)
- モバイル向け異常検知ソフトウェア(セッション2:セキュリティ)
- スタック探索の簡略化による異常検知システムの高速化
- 携帯端末向けソフトウェア異常検知技術(セキュリティ)
- 1Y-8 PC上で動作するスケーラブルなIPネットワーク実験システム(ネットワーク構築・管理技術,学生セッション,ネットワーク)
- 1P-2 モード遷移削減による仮想計算機の高速化(仮想化技術(1),学生セッション,アーキテクチャ)
- 1704 プロスポーツビジネスにおけるプロジェクトマネジメント手法導入に関する研究(一般セッション)
- 異常検知システムの誤検知率を低減するための一考察
- 3P-4 広域ネットワークにおける大規模データ転送手法の検討(分散・並列システム,学生セッション,アーキテクチャ)
- サステーナブルサービスための基盤ツールキットの設計(分散コンピューティング)
- リファレンスモニタの多重化法の提案(セキュリティとプライバシー)
- インターネットを介した協調作業のためのファイル同期システム(インターネットシステム)
- インターネットを介した協調作業のためのファイル同期システム
- 仮想計算環境の効率的な転送法に関する研究(OS-6 : 分散システム,2006年並列/分散/協調処理に関する『高知』サマー・ワークショップ(SWoPP高知2006)-研究会・連続同時開催-)
- 仮想機械デバイスドライバ検証の一考察
- クォーラムシステムにおける消費電力の最適化手法(ネットワーク環境でのディペンダビリティ)
- 高性能Recoloring手法(コンピュータグラフィックス)
- 応答時間を考慮したQuorumプロトコルを利用するストレージの配置最適化(セッション5:ストレージ)
- 6E-3 感性を用いた色彩表現(ことばと文化,一般セッション,インターフェース)
- デ-04 位置情報を用いたブログサービス「ろぐの細道」(デモセッション,データベースとメディア)
- 1P-1 仮想計算機におけるデバイスエミュレーションの部分評価を用いた高速化(仮想化技術(1),学生セッション,アーキテクチャ)
- 仮想計算機におけるデバイスエミュレーションの特化による高速化(仮想化(3))
- S-13 コンピテンシ手法を用いた職業能力開発に関する研究
- 利用者間で接続権限を受け渡し可能なネットワーク制御機構の実現
- インターネットサービス基盤の構築に向けたパッシブ複製の自己安定化手法
- 狭帯域バックアップ回線を用いたネットワーク分断時の可用性向上
- 仮想マシンモニタBitVisorのためのロールベースアクセス制御機構の設計と実装
- 準パススルー型VMMのマルウェア検出機能による拡張
- 画像処理によるバレル研磨面の評価方法に関する研究(機械力学,計測,自動制御)
- ネットワーク分断に対応した分散オブジェクトライブラリ
- 特集「成功するプロジェクトのための仕組みと組織活動」に寄せて
- 2808 コンピテンシを活用したヒューマンエラーに起因するリスク要因の評価(一般セッション)
- 2807 プロジェクトチームにおけるリスク認識の共有化に関する研究(一般セッション)
- 2512 動機傾向の把握によるモチベーション管理モデルの提案(一般セッション)
- 特集「プロジェクトの品質と顧客満足」に寄せて
- 2710 ヒヤリハットを活用したリスク優先順位の細分化に関する研究(一般セッション)
- 1706 事業リスク評価に関する研究(一般セッション)
- 1705 チーム・コンピテンシ評価方法に関する研究(一般セッション)
- 自治体支援によるR&Dプロジェクトの評価システムに関する研究
- 1308 チーム業績向上のためのチーム・コンピテンシモデルに関する研究(一般セッション)
- 産学連携研究開発プロジェクトにおける課題とその改善事例(研究開発のプロジェクトマネジメント)
- 1502 公的助成事業におけるR&Dプロジェクトの評価体制に関する研究 : 都道府県における地域活性化創造技術研究開発費補助金を対象として(一般セッション)
- 2404 コンピテンシを活用した人材育成に関する研究(一般セッション)
- 2401 ベンチャービジネス立ち上げにおけるリスクアセスメントに関する研究(一般セッション)
- 1404 EVM活用によるプロジェクト進捗管理の一考察(一般セッション)
- 2303 リアル・オプションを応用した研究開発プロジェクトの管理に関する研究(一般セッション)
- 1405 公共研究開発プロジェクトの評価に関する一考察(一般セッション)
- 1503 研究・開発プロジェクトの証券化による資金調達法
- 1501 研究・開発プロジェクトマネジメントのフレームワーク : 特許流通市場創成に関する研究
- 2409 コンピテンシを用いたプロジェクト要員の人材評価に関する研究
- 2404 複合組織型研究・開発プロジェクトにおけるプロジェクトマネジメント
- 116 PC 制御デスクトップマシンによる放電加工機
- 投稿 : 日本からシンガポールへの生産技術開発力の移転(グローバル・プロジェクトへ向けて)
- プロジェクトマネジメント教育における超小型放電加工機の開発
- 3-5 プロジェクトシミュレーションに関する研究
- 仕上げ加工面の欠陥認識法について
- 1-13 千葉県新産業創生への提言
- S-5 プロジェクト環境評価システム開発
- 3-3 地域コンソーシアム型技術開発におけるプロジェクト手法の導入
- 1-14 ネット対応型F EMコンサルティングシステムの開発と技術開発プロジェクトへの応用
- 画像処理によるバレル研磨面の評価(第4報) : エッジ部の表面性状の評価
- 画像処理を用いたレンズ表面の欠陥検査 : 同心フレーム差分法を用いた欠陥の検出
- C-12 ビジネス創成プロジェクト支援機構に関する一考察
- B-53 生産環境評価システムの開発
- 解説 画像処理によるレンズ表面の欠陥検査システム
- 賢いモノづくり--バリ取りとエッジ仕上げから生産技術まで(10)仕上げ面の評価はどのように行われるか?(光学を利用したインテリジェント評価システムの開発)
- B-62 日本からシンガポールへの生産技術開発力の移転
- B-53 コンカレント・エデュケーションの試み : 技術開発プロジェクト教育 第1報
- B-22 マニュファクチャリング・オン・ザ・テーブル (MOT) のコンセプト : 新小型生産システムの開発
- 画像処理によるバレル研磨面の評価(第3報)-SEM画像解析による表面性状の評価-
- 画像処理を用いた知的鏡面評価システムの開発
- 鏡面性状評価システムの開発
- 画像処理によるバレル研磨面の評価(第2報) -官能検査を考慮した評価システム-
- バレル研磨面の知的認識法
- 画像処理とニュ-ラルネットワ-クによる鏡面性状評価システム
- ファイン・スクレイバ型フライスカッタの開発(第2報) -ファイン・スクレイバ型カッタによるバリの生成-
- ロボットによる精密研削システムの開発
- 6ZD-4 制御構造と論理言語を基にしたアクセス制御のポリシー記述言語の構築(ID連携・アクセス制御,一般セッション, セキュリティ,情報処理学会創立50周年記念)
- ファイン・スクレイパ型フライスカッタの開発
- カラー画像解析による布の色評価
- 表面欠陥検出のためのロバスト画像処理アルゴリズム
- 画像処理によるレンズの欠陥検査(第2報) -欠陥抽出アルゴリズムの開発-
- クラウド環境におけるサーバパラメータ調整のためのスクリプティング環境
- VMMによるSSDのランダム書き込み性能の改善
- VMMによるSSDのランダム書き込み性能の改善
- デスクトップ・マニュファクチャリング(DTM)の構築とそのプロジェクトマネジメントに関する研究--小型複合工作機械の開発
- 学会運営基盤の更なる充実を目指して
- クラウド基盤ソフトウェアにおけるLineageを利用した障害対策手法の検討
- VMMを用いた実デバイスドライバの検証環境の設計
- VMMによる軽量かつセキュアなボランティアコンピューティング基盤の実現
- 仮想マシンモニタによる透過的ネットワークブート方式 (コンピューティングシステム Vol.4 No.4)
- クラウド基盤ソフトウェアにおけるFailure-Oblivious Computing導入
- サーバ・チューニング記述のためのスクリプティング環境
- 大学におけるプロジェクトマネジメント教育のカリキュラム(プロジェクトマネジメント教育)
- 仮想資源管理基盤におけるキャッシュ機構の導入
- 直感的ポリシー設定を可能にする動的な資源隔離機構
- 1301 オフショア開発のための異文化適応モデルに関する研究(一般セッション)