一种基于微内核虚拟化的设备驱动优化模型

为解决日趋复杂的嵌入式系统的效率和可靠性问题,本文比较并分析了现有的设备驱动模型,针对嵌入式设备对虚拟化的特殊要求,参考L4微内核虚拟化技术,提出了一种新的虚拟设备驱动优化模型,不仅实现了微内核架构中多虚拟机间的驱动共享,并且在提供系统可靠性的同时,弥补了虚拟化技术带来的性能开销,提供了一个在效率、功能和可靠性三方面取得相对均衡的虚拟化环境。

An Optimized Device Driver Model Based on Micro-Kernel Virtualization

With the embedded system becoming more and more complicated,the efficiency and reliability turns to be an obvious and serious problem.In our paper,we analyze the present device driver models,and propose a new optimized device driver model based on the L4 micro-kernel virtualization to serve the special requirements of embedded devices.With this model,device drivers can be shared among multiple virtual machines,and the reliability can be greatly improved,making up the performance cost brought by virtualization,and providing a virtual environment with the relative balance of efficiency,function,and reliability.