收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于动态二进制翻译的协同设计虚拟机关键技术研究

陈微  
【摘要】: 工艺技术的不断进步、应用需求的不断变化推动着微处理器产业的飞速发展。微处理器体系结构的发展正面临着新的挑战和机遇,开发新的体系结构是微处理器发展的必然趋势。但是大量基于原有体系结构开发的各类软件资源要求新处理器需对原有结构提供二进制代码兼容,这成为新体系结构技术应用和发展的一大障碍。协同设计虚拟机技术使用软硬件协同设计的方法来开发微处理器,同时设计硬件体系结构和在其上运行的虚拟机软件,从而降低了软体系结构和实际硬体系结构间的紧耦合关系,将硬件创新从兼容性中解脱出来,为微处理器体系结构的创新提供了一条新途径。这对于我国发展具有完全自主知识产权的微处理器而言尤为重要。 本文在广泛深入了解当前微处理器体系结构研究与协同设计虚拟机技术研究现状的基础上,展开对软硬件协同设计虚拟机的研究。针对协同设计虚拟机研究中的关键问题,就协同设计虚拟机模型与结构、协同设计虚拟机性能以及如何采用软硬件结合的设计手段降低协同设计虚拟机启动开销和稳定执行开销等方面进行了探讨。最后本文实现了一个协同设计虚拟机原型系统,验证了模型的正确性与优化技术的有效性。 本文取得的主要研究成果如下: 1.提出了一种基于动态二进制翻译的协同设计虚拟机模型。该模型以兼容性和性能为目标,在软件设计上,采用解释执行与翻译相结合的多级动态二进制翻译策略,在硬件设计上,为实现源体系结构的正确高效映射提供相应的硬件支持。基于该模型,对协同设计虚拟机的启动开销和稳定执行开销进行分析和评估,发现对源代码的解释与翻译影响了协同设计虚拟机的启动性能,而翻译后代码中控制转移指令的转移方式影响了协同设计虚拟机的稳定执行性能。此外,本文基于图灵机模型给出了一种协同设计虚拟机的形式化描述,奠定了本文协同设计虚拟机研究的理论基础。 2.提出了降低协同设计虚拟机启动开销的译码后指令缓存技术。启动开销是衡量协同设计虚拟机性能的重要指标,这对于交互式应用尤为重要。经对协同设计虚拟机的启动开销进行深入的分析与评测,本文发现启动开销主要来源于解释执行阶段。本文创新设计了译码后指令缓存(Decoded Instruction Cache,DICache),基于解释例程的局部性,DICache通过缓存解释执行过程中的中间结果来减少冗余的指令解析操作,从而降低协同设计虚拟机的启动开销。实验结果表明,DICache能以较小的硬件代价提升较高的性能。 3.提出了一种基于DICache的高效混合线索解释执行策略。解释执行过程中各步骤的组织方式对解释执行的效率有着重要影响。集中式解释执行方式效率较低,而效率较高的线索解释执行技术又因译码过程过于复杂而无法用于CISC指令集的解释执行。本文基于DICache提出了一种混合线索解释执行策略,通过DICache实现一种高效的硬件动态预译码,将源指令转换为一种中间表示,在解释例程中通过对DICache快速访问实现对CISC指令集的线索解释执行,从而进一步有效降低协同设计虚拟机的启动开销。 4.提出了降低协同设计虚拟机稳定执行开销的直接控制转移指令链接技术。协同设计虚拟机转换后的目标代码存储在虚拟机的代码Cache中,代码Cache中控制转移指令的转移方式影响着协同设计虚拟机稳定执行时的性能。本文针对直接控制转移指令提出了一种软件实现的直接控制转移指令链接算法,将直接控制转移指令的目标地址直接定位于翻译后的目标代码块,从而有效减少协同设计虚拟机执行代码Cache中代码块时产生的查表和上下文切换操作,提高虚拟机稳定执行的性能。 5.提出了基于间接控制转移地址缓冲的间接控制转移指令动态链接技术。间接控制转移指令的转移目标地址在程序执行的过程中可能被动态改变,无法通过软件手段有效链接。本文提出一种硬件实现的快速间接控制转移地址缓冲,存放经常访问的间接控制转移指令目标地址,在此基础上通过在目标代码执行过程中快速访问间接控制转移地址缓冲实现对间接控制转移指令的动态链接,从而减少查表和上下文切换操作,降低了协同设计虚拟机的稳定执行开销。 依据上述创新研究成果,本文设计并实现了协同设计虚拟机原型系统TransARM,其源体系结构为CISC类型的IA-32结构,目标为RISC类型的ARM结构。TransARM的实现对本文研究工作中提出的模型和算法进行了有效验证,同时也探讨了协同设计虚拟机实现中的一些关键技术问题。TransARM提供了一个协同设计虚拟机的研究平台,同时具有很好的实用价值。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 曹健,张友良,赵海燕;协同设计的版本管理[J];计算机集成制造系统-CIMS;1998年06期
2 李玉良,李培根,邵新宇,喻道远;虚拟企业下基于Web的三维协同设计研究[J];计算机辅助设计与图形学学报;2002年08期
3 江征风,全定策,胡业发,盛步云;基于多媒体技术的产品协同设计交流系统[J];计算机工程与应用;2003年31期
4 张和明,熊光楞;Web的多学科协同设计与仿真平台及其关键技术[J];计算机集成制造系统-CIMS;2003年08期
5 田凌,陈继忠,赵慧设,郝文涛,童秉枢;网络化协同设计工具[J];中国机械工程;2004年19期
6 裴云彰,史元春,徐光祐;分布式计算模式下的协同设计系统[J];通信学报;1999年09期
7 黄双喜,张友良;面向CSCW的CAD/CAM系统设计[J];中国机械工程;1999年03期
8 曹健,赵海燕,张友良,罗定志;产品协同设计中的任务调度方法研究[J];中国机械工程;1999年05期
9 ;AutoCAD 2000问世[J];每周电脑报;1999年11期
10 李祥,袁国华,周雄辉,阮雪榆;基于动约束求解的协同设计研究[J];机械科学与技术;2000年06期
11 闫俐,李继先,刘雪厚;基于Agent的协同设计系统结构和实现方法[J];辽宁工学院学报;2000年04期
12 李岳梅,孙守迁,潘云鹤;协同设计中多主体冲突问题的研究[J];计算机辅助设计与图形学学报;2002年02期
13 欧阳坚,张晓峰,沈海斌,严晓浪;一种基于WEB的VLSI协同设计平台[J];计算机工程与应用;2003年12期
14 张志胜,史金飞,颜景平;基于Web的微波器件协同设计系统研究[J];电子机械工程;2003年06期
15 田锋,李人厚,张金成;模糊定时高级Petri网的协同设计活动建模和分析[J];计算机辅助设计与图形学学报;2004年03期
16 曾巧明,何红波,王文军;工程CAD协同设计系统应用[J];计算机与现代化;2004年07期
17 胡文斌,郭荷清,华贲;基于Web的建筑协同设计平台的研究[J];计算机系统应用;2004年11期
18 李卫民;基于网络的液压原理图协同设计系统研究[J];组合机床与自动化加工技术;2004年12期
19 李自力,夏学知,陈炜,刘玉亮,郑雪;协同设计软件及其面向对象实现架构[J];舰船电子工程;2005年02期
20 李亚东;李从东;;CSCW及其在农机设计系统中的应用[J];中国农机化;2006年01期
中国重要会议论文全文数据库 前10条
1 王昕;熊光楞;;基于自解释仿真的协同设计[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年
2 姚燕安;查建中;颜鸿森;;机构与控制的协同设计[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年
3 秦晓东;孙世龙;;施工图设计中的协同设计浅析[A];土木建筑学术文库(第12卷)[C];2009年
4 何宏林;徐本柱;刘晓平;;基于模板的线束工艺协同设计研究[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
5 段翼真;王晓程;;可信安全虚拟机平台的研究[A];第26次全国计算机安全学术交流会论文集[C];2011年
6 朱吉满;徐本柱;李忠泽;何宏林;;汽车线束工艺图纸协同设计平台模型研究[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
7 石瑞华;;PDM在建筑协同设计上的应用探索[A];BIM与工程建设信息化——第三届工程建设计算机应用创新论坛论文集[C];2011年
8 王永滨;孟跃进;孟庆龙;;电器产品协同设计[A];中国电工技术学会低压电器专业委员会第十一届学术年会论文集[C];2002年
9 张涤非;;船舶协同设计中应用系统集成方法研究[A];2004年船舶与海洋工程学术研讨会论文集[C];2004年
10 邓雪原;王国俭;;现代集团CAD协同设计平台研究与推广[A];工程设计与计算机技术:第十五届全国工程设计计算机应用学术会议论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 陈微;基于动态二进制翻译的协同设计虚拟机关键技术研究[D];国防科学技术大学;2010年
2 刘海坤;虚拟机在线迁移性能优化关键技术研究[D];华中科技大学;2012年
3 王凯;面向飞机总体布置的协同设计关键技术研究[D];南京航空航天大学;2010年
4 程戈;基于虚拟机架构的可信计算环境构建机制研究[D];华中科技大学;2010年
5 孟江涛;Xen虚拟机研究[D];电子科技大学;2010年
6 孙连坤;网络化控制系统调度与控制协同设计[D];天津大学;2009年
7 陈彬;分布环境下虚拟机按需部署关键技术研究[D];国防科学技术大学;2010年
8 马润波;集成射频接收前端协同设计的关键技术研究[D];山西大学;2010年
9 苏铁明;计算机支持的协同设计框架及若干关键技术研究[D];大连理工大学;2003年
10 吴庆波;基于虚拟机的可信操作系统关键技术及应用研究[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 刘旭光;计算机支持的协同设计若干关键问题的研究[D];武汉理工大学;2004年
2 李林爱;基于MAS的协同设计任务分配机制研究[D];太原科技大学;2011年
3 卢茂华;协同设计的管理系统研究与实现[D];西南交通大学;2003年
4 王甫新;客车企业信息平台的建设及实施[D];西安理工大学;2005年
5 曹辉;特征造型协同设计中冲突检测和消解的研究[D];哈尔滨理工大学;2010年
6 蒋薇;分布式协同设计中基于Web的项目管理系统研究[D];武汉理工大学;2004年
7 殷毅;基于XML的协同设计中的异构产品信息集成技术研究[D];大连理工大学;2004年
8 陈永钊;固体火箭发动机协同设计环境研究[D];西北工业大学;2005年
9 孔艳艳;面向协同设计的PLM项目管理[D];西华大学;2010年
10 石东华;协同设计中三维信息的发布[D];合肥工业大学;2003年
中国重要报纸全文数据库 前10条
1 侯三省;西飞集团 启动飞机协同设计平台项目[N];中国航空报;2009年
2 朱金玲;协同设计:国产CAD的超越之路[N];中国高新技术产业导报;2007年
3 本报记者 申明;协同设计:国产CAD的超越之路[N];科技日报;2007年
4 朱金玲;协同设计:CAD应用的下一站[N];中国高新技术产业导报;2007年
5 高雪娟;协同设计的平台策略[N];中国计算机报;2006年
6 卿尧;具有协同设计功能的PLM渐受重视[N];电子资讯时报;2003年
7 本报记者 邹大斌;VMware推出新虚拟机管理工具[N];计算机世界;2011年
8 陈光瑞;协同设计的应用展望[N];中华建筑报;2008年
9 王易;实现CAD/CAE协同设计与管理[N];中国计算机报;2005年
10 袁丽丽;引领建筑设计信息化[N];首都建设报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978