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