2017 Fiscal Year Annual Research Report
| Project/Area Number |
16H02798
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
品川 高廣 東京大学, 情報基盤センター, 准教授 (40361745)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
加藤 和彦 筑波大学, システム情報系, 教授 (90224493)
|
|---|
| Project Period (FY) |
2016-04-01 – 2021-03-31
|
| Keywords | 仮想化技術 / オペレーティングシステム |
|---|
| Outline of Annual Research Achievements |
本研究では、準パススルー型仮想マシンモニタ「BitVisor」に関する研究開発を行っている。平成29年度は主に以下のテーマを実施した。
(1) ベアメタルマシンのライブマイグレーション：本サブテーマでは、物理マシン上で動作するゲストOSのライブマイグレーションを実現する技術の研究開発をおこなった。研究成果はIEEE Transactions on Cloud Computingに投稿中である。
(2) ハイパーバイザの若化：本サブテーマでは、ハイパーバイザを稼働中に仮想マシンを止めることなく再起動して若化をはかる手法の研究開発をおこなった。設計と実装が完了し、性能評価を行っている段階である。
(3) I/Oレベルでのフォルトインジェクションによるデバイスドライバの信頼性向上：本サブテーマでは、デバイスドライバの信頼性向上のために、I/Oレベルでフォルトインジェクションを行って、デバイスドライバが正しく動作するかどうか検証する技術の研究開発をおこなった。性能評価をおこなって、論文にまとめている段階である。
(4) ベアメタルマシンのサンドボックス化：本サブテーマでは、ゲストOSのユーザに対して管理者権限を与えつつも、保護すべきハードウェアへのアクセスだけはハイパーバイザで確実に防止するシステムの研究開発を行った。設計を完了し、実装を進めている段階である。
(5)モバイルコードに寄るネットワーク管理：本サブテーマでは、OSが乗っ取られた場合でもネットワークに不正なパケットが送信されることを防止するために、ハイパーバイザでパケットの中身に基づくフィルタリングをおこなう仕組みの研究開発をおこなった。設計・実装・評価が完了し、論文にまとめている段階である。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
当初予定よりもやや早く進行したテーマや、やや遅れているテーマもあるが、全体としてはおおむね順調に進展している。
|
| Strategy for Future Research Activity |
今後も予定どおり研究を進めていく方針である。
|
