著者

伊藤愛 追川 修一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:09196072)

巻号頁・発行日

vol.2007, no.36, pp.47-54, 2007-04-05

---

近年、マルチコアプロセッサを搭載したマシンは一般化しつつある。組み込みシステムにおいても、マルチコアプロセッサを搭載したシステムが増加している。このようなシステムで VMM を動作させることによって、資源の効率利用、安全性の向上、信頼性の向上を実現することができる。これまで、マルチコアプロセッサ指向の軽量 VMM として、Gandalf を設計、実装してきた。本論文では、ゲスト OS 間のメモリ保護を実現するシャドウページングについて述べる。シャドウページングを利用することで、VMM がゲスト OS のメモリ利用を監視することができる。2方式のシャドウページングを設計し、実装を行った。それぞれの方式について評価実験を行い、シャドウページングの有無や方式の違いによるコスト差を比較し、考察を行う。Recently, the use of multi-core processors is increasing. Many multi-core processors are employed by embedded systems. By using VMMs in embedded systems with multi-core processors, we can effectively utilize the resources, improve safety and reliability. We designed and implemented a multi-core processor-oriented lightweight VMM, Gandalf. This paper focuses on shadow paging, which enables memory protection among guest OSes. A VMM can monitor the use of memory by guest OSes through shadow paging. We designed and implemented the two models of shadow paging. We compare and discuss the costs between these models by the results from benchmark experiments.