一种基于微核架构的虚拟化设备高效访问模型

摘要：

　　文章提出了一种基于微核架构的虚拟化设备高效访问模型，这种访问模型的基本思想就是把设备驱动程序置于虚拟机管理器内核之外的用户空间，然后，通过向客户OS中插入代理驱动/插桩驱动，它可以把用户的I/O请求转化为到驱动程序的IPC消息，从而完成多分区对设备的并发访问请求。此方法可以提供和内核态驱动相接近的性能、更好的信息安全性能、减小内核尺寸、故障隔离以及实现虚拟机管理器内核可形式化验证的目标。

关键词：微核、客户OS、I/O、IPC、代理驱动/插桩驱动、虚拟机管理器

分类号：TP3;TN9

资助基金：航空科学基金2012ZC31006

在线出版日期：2013-08-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：4-6