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

摘要：

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

关键词：嵌入式、虚拟化、微内核、L4、Fiasco、设备驱动

所属期刊栏目：33

分类号：TP316(计算技术、计算机技术)

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

页数：共8页

页码：44-51