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

An Efficient Access Model of Virtual Device Based on Microkernel

作　　者：郝继锋[1] 任晓瑞[1] 胡宁[1] 

机构地区：[1]中国航空西安计算技术研究所

出　　处：《电子技术（上海）》2013年第7期4-6,共3页Electronic Technology

基　　金：航空科学基金(2012ZC31006)

摘　　要：文章提出了一种基于微核架构的虚拟化设备高效访问模型,这种访问模型的基本思想就是把设备驱动程序置于虚拟机管理器内核之外的用户空间,然后,通过向客户OS中插入代理驱动/插桩驱动,它可以把用户的I/O请求转化为到驱动程序的IPC消息,从而完成多分区对设备的并发访问请求。此方法可以提供和内核态驱动相接近的性能、更好的信息安全性能、减小内核尺寸、故障隔离以及实现虚拟机管理器内核可形式化验证的目标。This paper proposes a kind of efficient access model of virtual device based on the microkernel.The basic idea of this virtual device access model is to put the physical device driver to the user space out of the hypervisor kernel,and then insert stub driver into the guest OS,which will convert user I/O request into IPC message to the real driver,so that the concurrent access of the device can be accomplished.This efficient virtual device access model can provide good performance close to in-kernel driver,better security,smaller kernel size,better fault isolation,and achieve the object of the formal verification of hypervisor.

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

分 类 号：TP308[自动化与计算机技术—计算机系统结构]