WEKO3
アイテム
Gandalf VMM における Shadow Paging の設計と実装
https://ipsj.ixsq.nii.ac.jp/records/25440
https://ipsj.ixsq.nii.ac.jp/records/25440e5d522f6-8e50-417a-bd7c-5a22189a940e
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2007 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2007-04-05 | |||||||
タイトル | ||||||||
タイトル | Gandalf VMM における Shadow Paging の設計と実装 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Design and Implementation of Shadow Paging on Gandalf VMM | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
筑波大学大学院システム情報工学研究科 | ||||||||
著者所属 | ||||||||
筑波大学大学院システム情報工学研究科 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Computer Science, University of Tsukuba | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Department of Computer Science, University of Tsukuba | ||||||||
著者名 |
伊藤愛
× 伊藤愛
|
|||||||
著者名(英) |
Megumi, ITO
× Megumi, ITO
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 近年、マルチコアプロセッサを搭載したマシンは一般化しつつある。組み込みシステムにおいても、マルチコアプロセッサを搭載したシステムが増加している。このようなシステムで VMM を動作させることによって、資源の効率利用、安全性の向上、信頼性の向上を実現することができる。これまで、マルチコアプロセッサ指向の軽量 VMM として、Gandalf を設計、実装してきた。本論文では、ゲスト OS 間のメモリ保護を実現するシャドウページングについて述べる。シャドウページングを利用することで、VMM がゲスト OS のメモリ利用を監視することができる。2方式のシャドウページングを設計し、実装を行った。それぞれの方式について評価実験を行い、シャドウページングの有無や方式の違いによるコスト差を比較し、考察を行う。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 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. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10444176 | |||||||
書誌情報 |
情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS) 巻 2007, 号 36(2007-OS-105), p. 47-54, 発行日 2007-04-05 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |