面向MPSoC虚拟化体系结构的操作系统关键技术

来源 :国防科技大学 | 被引量 : 0次 | 上传用户:Hejing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
集成电路制造工艺的发展与人们对计算性能的不断追求,使得MPSoC成为从移动计算到高性能计算硬件平台上的主流发展方向。随着越来越多的计算单元被集成到单一芯片上,如何更有效地使用单芯片上的资源从而获得良好的系统伸缩性成为摆在系统软件设计者前面的重要问题。在MPSoC系统上部署虚拟化技术是解决该问题的一种有效的解决方式。同时,虚拟化也带来了保障虚拟机的安全和提高虚拟机系统性能的挑战。针对面向MPSoC虚拟化体系结构的操作系统技术进行研究,可为未来基于多核处理器芯片的系统软件设计与实现提供良好的理论与技术基础,具有重要的理论意义与应用价值。本文针对面向MPSoC虚拟化体系结构的操作系统关键技术中的虚拟化系统结构、边信道安全隔离机制、网络I/O虚拟化的扩展性性能优化等方面展开了一系列的研究。文章首先对开源虚拟化平台与体系结构、虚拟机安全与I/O虚拟化技术进行了综述,然后介绍了基于飞腾硬件虚拟化技术的的操作系统设计,对虚拟化体系结构的边信道安全与高可伸缩MPSoC网络I/O的虚拟化技术进行了研究,最后实现了飞腾平台下基于硬件分区的虚拟机监控器并完成了系统性能测试。具体贡献包括:1)针对飞腾平台的体系结构特点,设计了基于飞腾硬件虚拟化技术的操作系统。文章分析了飞腾平台所提供的CPU虚拟化、内存虚拟化、中断虚拟化以及计时器虚拟化的硬件机制,讨论了飞腾平台下虚拟化系统设计中触发自陷的敏感操作、虚拟机上下文切换、两阶段地址转换机制、中断注入方式以及计时系统,完成了面向飞腾平台虚拟化系统的软件设计。此外,文章分别从CPU虚拟化支持、上下文切换方式、内存虚拟化机制、计时器虚拟化机制、中断以及中断注入分析对比了飞腾平台硬件虚拟化机制与Intel x86平台的异同。2)针对虚拟化体系结构下的边信道安全,提出了一种针对熔断漏洞主动切断隐蔽信道的防护方法。该方法在检测到异常时将噪声注入边信道或对微体系结构状态进行复位,实现了针对熔断漏洞的按需隔离。相比现有的KAISER,该方法还可以用于防御针对系统寄存器的信息泄露(熔断漏洞变种II)。由于噪声注入或状态复位的操作仅出现在异常处理路径上,因此大部分普通应用程序的性能几乎不受到影响。根据测试,该方法引入的系统性能折损率不超过1%。此外,本文针对幽灵漏洞的Retpoline防护方案进行了性能分析,提出了利用用户态网络的性能优化方案,使其网络I/O性能折损率从6.67%降低至1.27%。3)针对多核虚拟机的可扩展性问题,设计实现了基于飞腾体系结构的多队列虚拟网络I/O机制。根据实验观测,当网络I/O并发度逐步提高时,飞腾平台下虚拟机系统性能出现了明显的性能回退,增加虚拟CPU数量反而会降低系统性能。基于飞腾硬件中断虚拟化技术,本文使用虚拟MSI实现了多队列虚拟网络I/O。该机制提高了飞腾平台下虚拟机的中断处理性能,增强了虚拟机网络报文处理在多核系统上的可扩展性。实验表明,当虚拟机的CPU核心数设置为12时,相对优化前设计,虚拟网络I/O的并发请求处理吞吐率在Linux网桥、Macvlan以及Open vSwitch三种配置下分别提高了53.03%、59.78%与71.26%。4)实现了基于飞腾平台的硬件分区虚拟机监控器,解决了由飞腾平台缓存特性引入的模拟设备实现问题。相比x86架构,飞腾平台将页面高速缓存的一部分管理工作暴露给软件系统。对于飞腾平台下模拟I/O设备的实现,系统软件需要显式地介入高速缓存系统,以保证系统正常运行所需的缓存一致性。本文对飞腾平台高速缓存一致性特点进行深入分析后,改进了虚拟化平台下客户操作系统内核的加载流程,解决了飞腾平台下模拟设备的缓存不一致问题。
其他文献
<正>(一)桑螟的发生与为害地处浙西南低丘红壤上的龙游蚕种场,系我省七十年代中期新创办的生产一代杂交种的专业蚕种场.全场有专用桑园400余亩,年产普通种在10万盒左右.近年
在企业经营机制转换的过程中,如何开通渠道,为广大职工群众提供讲话的机会呢?我们把开展民主座谈活动作为民主参与的重要形式。一、根据不同内容选择不同座谈对象民主座谈的
随着海上运输业的发展,运输船舶保有量逐年增加,船舶燃料消耗与日俱增,船舶引起的大气污染日益受到重视,IMO对船舶发动机的污染物排放提出了严格的限值,面对能源、环境和排放
本文是在民盟主导缅甸政治转型大背景下展开论述的,主要采用民族政治学相关理论对民盟执政以来的民族整合问题进行深入系统分析,对本轮缅甸民族整合的现状、挑战、影响因素、
用矩量法对一些用于天线罩、电磁兼容设计的低损耗介电材料填充的无限长介质圆柱在TM波照射下的双站RCS进行了数值计算.仿真结果表明,相对于设计要求而言,低介电常数低损耗材
脱层是层合材料最主要的破坏形式之一。利用振动红外热像法的理论研究有脱层的层合梁,对层合梁施加低幅值、高频率的振动激励,当激励频率达到脱层区域的自然频率时,脱层区域将会
灵乡铁矿工业港矿石加工车间主任饶浩泉是一个锐意进取、无私奉献的老党员,在工业港工作的7年中,他使这个不到70人,完全依靠白手起家的车间,实现产值8700万元,创造利润5600万
随着我国经济的不断发展,国家也在逐步的加大对于环境的保护力度,这就使工业建筑受到了一定的限制,逐渐的朝着大规模、产业集中化的方向发展,而一些比较小、高耗能、低产出的
本文从工程造价的确定与控制角度分析,主要是合同价款的确定存在不规范、不合理、施工过程中的价格控制不严格,本文就上述问题做一探讨。
随着建筑创作中建筑本体的回归,现代材料工艺技术的发展,材料在建筑创作中地住发生了变化,由服务于风格形式,在建筑创作中居从属地位,发展到成为建筑创作着力表现的对象,在某些建筑