现代计算机ISA支持虚拟化的研究

摘要：

本文在Popek,Goldberg等人的研究基础上,进一步讨论了ISA支持虚拟化的内容.首先形式化地定义了与这一议题相关的概念,将指令重新进行了分类,讨论如何缩小被虚拟机监控器干预并解释执行的指令在整个指令集的比例,从而在保证可虚拟化的前提下,进一步挖掘了可以提高的效率空间;给出并证明了关于在VMM不存在时的任一指令序列t与其对应于VMM存在时的等价序列t”之间的映射的一个定理,这些结果不仅给可虚拟化计算机ISA的设计以及高效VMM的构造提供了指导,也有助于评估已有体系结构并对其作修改,以使一个虚拟机系统可被构造.通过本文,我们对虚拟机”现象”有一个更好的理论认识,同时还能向机器架构师和系统设计者提供实际的指导方针.

关键词： 指令集体系结构 敏感指令 虚拟机 计算机

作者: 刘宇航 郝沁汾 肖利民 祝明发

作者单位: 北京航空航天大学计算机学院,北京 100083

会议类型: 国内会议

会议名称: 2008年中国计算机学会体系结构专委会学术年会(ACA”08)

会议地点: 南京

会议语种:中文

页码: 111-115

在线出版日期: 2008-11-05（万方平台首次上网日期，不代表论文的发表时间）