版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
一种基于微内核虚拟化的设备驱动优化模型
An Optimized Device Driver Model Based on Micro-Kernel Virtualization作者机构：华中科技大学计算机科学与技术学院软件与嵌入式系统工程研究中心湖北武汉430074
出 版 物：《计算机工程与科学》 (Computer Engineering & Science)
年 卷 期：2011年第33卷第12期
页 面：44-51页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
主 题：嵌入式 虚拟化 微内核 L4 Fiasco 设备驱动
摘 要：为解决日趋复杂的嵌入式系统的效率和可靠性问题,本文比较并分析了现有的设备驱动模型,针对嵌入式设备对虚拟化的特殊要求,参考L4微内核虚拟化技术,提出了一种新的虚拟设备驱动优化模型,不仅实现了微内核架构中多虚拟机间的驱动共享,并且在提供系统可靠性的同时,弥补了虚拟化技术带来的性能开销,提供了一个在效率、功能和可靠性三方面取得相对均衡的虚拟化环境。
