- 著者
-
伊藤愛
追川 修一
- 出版者
- 一般社団法人情報処理学会
- 雑誌
- 情報処理学会論文誌コンピューティングシステム(ACS) (ISSN:18827829)
- 巻号頁・発行日
- vol.49, no.2, pp.98-112, 2008-03-15
- 被引用文献数
-
1
これからの組み込みシステムでは,ユーザの選択したアプリケーションを動作させるとともに,安全で効率の良い実行環境を実現する必要がある.その解決策として,VMM は有効な手段である.組み込みシステムでVMM を動作させることによって,資源の効率利用,安全性の向上,信頼性の向上を実現することができる.そのため,マルチコアCPU 指向の軽量VMM として,Gandalf を設計,実装してきた.本論文では,ゲストOS 間のメモリ保護を実現するシャドウページングについて述べる.シャドウページングを利用することで,VMM がゲストOS のメモリ利用を監視することができる.2 方式のシャドウページングを設計し,実装を行った.それぞれの方式について評価実験を行い,ネイティブなLinux やXenLinux との比較した.その結果,Gandalf がXen より軽量に実現できていること,また,割込み応答性に対して軽微な影響で済んでいることが確認できた.While the provision of secure and reliable, yet efficient execution environments is a must for embedded systems, users' desire for using applications of their own choices is rapidly growing. In order to deal with both requirements, VMMs will be an answer. By using VMMs in embedded systems, 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. The results from benchmark experiments show that Gandalf performs better than Xen.