Lightweight Shadow Paging for Efficient Memory Isolation in Gandalf VMM
Lightweight Shadow Paging for Efficient Memory Isolation in Gandalf VMM
复制标题
DOI：
10.1109/isorc.2008.60
复制
发表时间：
2008-05
期刊：
影响因子：
--
通讯作者：
Megumi Ito;S. Oikawa
中科院分区：
文献类型：
--
作者：
Megumi Ito;S. Oikawa
人们越来越需要将多个操作系统整合到单个多核 CPU 上，而不是使用多组操作系统和 CPU。 VMM 使多个来宾操作系统能够在一个 CPU 上同时运行，同时提供单独的安全域。我们开发了 Gandalf 一个轻量级 VMM，针对具有多核 CPU 的嵌入式系统。本文重点介绍 Gandalf 的影子分页机制，该机制通过将客户页表与 CPU 分离来实现客户操作系统之间的物理内存隔离，因为影子分页会显着影响 VMM 开销，并且是实现 VMM 轻量化的关键。我们设计并实现了两种影子分页模型：单影子模型和多影子模型。测量结果表明它们实现了轻量化。
Demands are increasing for consolidating multiple OSes on a single multi-core CPU rather than using multiple sets of an OS and a CPU. A VMM enables multiple guest OSes to run concurrently on one CPU while providing separate security domains. We have developed Gandalf a lightweight VMM targeting embedded systems with multi-core CPUs. This paper focuses on the shadow paging mechanism of Gandalf which enables physical memory isolation among guest OSes by separating guest page tables from CPUs, because shadow paging significantly affects VMM overheads and is a key to make a VMM lightweight. We designed and implemented two models of shadow paging, single shadow model and multiple shadow model. The measurement results show that they are realized lightweight.