CAJ | 학술논문

　　文章提出了一种基于微核架构的虚拟化设备高效访问模型，这种访问模型的基本思想就是把设备驱动程序置于虚拟机管理器内核之外的用户空间，然后，通过向客户OS中插入代理驱动/插桩驱动，它可以把用户的I/O请求转化为到驱动程序的IPC消息，从而完成多分区对设备的并发访问请求。此方法可以提供和内核态驱动相接近的性能、更好的信息安全性能、减小内核尺寸、故障隔离以及实现虚拟机管理器内核可形式化验证的目标。
　　문장제출료일충기우미핵가구적허의화설비고효방문모형，저충방문모형적기본사상취시파설비구동정서치우허의궤관리기내핵지외적용호공간，연후，통과향객호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 .