| Item type |
SIG Technical Reports(1) |
| 公開日 |
2018-05-14 |
| タイトル |
|
|
タイトル |
ハードウェア障害に対するハイパーバイザの対故障性検証 |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
検証・評価 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
東京大学 |
| 著者所属 |
|
|
|
東京大学 |
| 著者所属 |
|
|
|
筑波大学 |
| 著者所属 |
|
|
|
東京大学 |
| 著者所属(英) |
|
|
|
en |
|
|
The University of Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
The University of Tokyo |
| 著者所属(英) |
|
|
|
en |
|
|
University of Tsukuba |
| 著者所属(英) |
|
|
|
en |
|
|
The University of Tokyo |
| 著者名 |
荻野, 将拓
味曽野, 雅史
深井, 貴明
品川, 高廣
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
本稿ではハイパーバイザのデバイスドライバがハードウェア障害に対して適切なエラーハンドリングを実施しているかを検査する手法を提案する．提案手法ではネステッド仮想化を用いて検査対象のハイパーバイザを動作させ，ハイパーバイザのデバイスドライバによるデバイスレジスタ読み込み要求をトラップする．そして，この際に擬似的なエラーを挿入し，適切なエラーハンドリングが実行されるかどうかを観察する．ネステッド仮想化のオーバヘッドの削減のために検査対象以外のデバイスはパススルーとし，検査に不要な EPT シャドウイングなどの処理は省略する．これにより現実に近い環境下で，ソースコードが非公開の場合であってもハイパーバイザのデバイスドライバの検査が可能となる．提案手法の評価として VMWare ESXi 上の 2 つのデバイスドライバに対して検査をおこなったところ，デバイスドライバの不適切なハンドリングが原因と考えられるエラーを 3 種類発見した． |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10444176 |
| 書誌情報 |
研究報告システムソフトウェアとオペレーティング・システム（OS）
巻 2018-OS-143,
号 6,
p. 1-8,
発行日 2018-05-14
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8795 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-OS18143006.pdf (387.4 kB)
