动态翻译和优化若干关键技术研究

来源 :复旦大学 | 被引量 : 0次 | 上传用户:sky007
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
动态翻译技术是一种即时编译技术,它将针对源体系结构编译生成的源机器码动态翻译为可以在目的体系结构上运行的翻译码。动态优化技术是指在软件运行时获取动态信息并进行代码优化的技术。动态翻译及优化技术在动态二进制翻译系统、动态二进制优化系统和高级语言虚拟机中得到了广泛的应用和研究。这些技术对遗产代码移植、硬件设计、程序性能提高、网络应用、系统安全、并行编程模型等方面都有重要的意义。动态翻译及优化技术已经成为现代编译技术研究的热点之一。本论文着重研究提高动态翻译和优化系统性能的一系列技术。首先,本文在深入探讨了动态二进制翻译系统中影响性能的主要因素的基础上,提出了注解信息制导的翻译及优化方法,来结合传统编译器和动态二进制翻译和优化系统以提高二进制代码在计算机系统上的运行性能。然后,本文针对源体系结构中的SIMD指令集,分析了翻译SIMD指令集的技术难点,并提出了翻译SIMD指令的优化翻译方法。再后,本文转向对动态翻译实用程序的研究,并针对模块化实用桌面程序中的“热”模块频繁装卸载问题提出了模块翻译复用方法,以降低反复翻译“热”模块引起的开销。最后,本文研究了高性能计算领域中Java程序内的数组边界检查问题,提出了利用自适应动态翻译方法来优化外提循环内的数组边界检查。本文的贡献在于:1.本文在比较分析动态二进制翻译生成的翻译码性能偏低原因的基础上,指出传统编译器在生成二进制代码的同时需要生成注解信息来指导该二进制代码的动态翻译及优化。本文给出了注解信息制导的动态二进制翻译及优化的整体框架,以及一种可扩展的注解信息参考格式。2.本文提出的SIMD数据类型分析算法可以在Itanium体系结构上高效地模拟IA-32 SIMD指令。该算法利用三个Itanium浮点寄存器和两个Itanium整数寄存器来映射一个XMM寄存器,并有效地解决这些映射寄存器之间的数据同步问题。该算法可以被扩展使用于任何多映射寄存器之间数据同步的场合。3.本文提出了针对SIMD指令翻译的一系列优化方法,以进一步提高SIMD代码的翻译质量。本文对SIMD指令优化翻译设计了三个算法:SIMD数据类型重分配算法,翻译时块间类型冲突消除算法及运行时块间类型冲突消除算法。它们通过消除块间类型冲突和降低翻译码块的执行代价来进一步提高翻译码的性能。4.本文提出了一种针对可装载软件模块的翻译重用引擎和内存管理机制以提高实用桌面程序的整体运行性能。实用桌面程序的动态翻译开销远远高于CPU2000标准程序。一部分实用桌面程序的一次运行通常多次装载卸载软件模块,且被多次反复装载与卸载的软件模块通常集中在一部分“热”软件模块。对这些软件模块的反复翻译非常费时,同时反复的翻译会带来大量的内存浪费。针对可装载软件模块的翻译重用引擎和内存管理机制解决了这些问题。5.本文利用自适应动态翻译方法解决了高性能计算中Java程序内的数组边界检查的循环外提问题。在高性能计算领域程序通常使用大量数组进行计算,而在Java语言中数组操作会引起数组边界检查。消除数组边界检查的一种有效手段为边界检查循环外提。现有的边界检查循环外提主要采用多版本方法:它将迭代空间划分为安全和非安全区域,然后在安全区域执行完全优化的代码而非安全区域执行非优化的代码。本文提出的自适应循环翻译算法从动态优化的角度更优化地解决这些问题。首先,在第一次编译循环时该算法仅产生优化版本,直到运行时边界检查失败后才生成非安全区的版本。其次,在产生非安全区的版本时,它利用动态信息使得区域划分和翻译码生成更加优化。
其他文献
目的:探讨孕妇孕前体重指数(BMI)、孕期BMI增幅与妊娠期高血压疾病子痫前期、巨大儿及分娩结局的关系。方法:将500例单胎孕妇按孕前BMI分为正常组(18.5≤BMI<23)、超重组(23
<正> 在计算工作中,小数乘法的乘积一般要求保留两位或四位小数,其下一位四舍五入处理。因此,我们在计算时,就可以根据算题的要求,采用省乘法来计算,去掉后面多余的位数,以减
随着经济和文化水平的提高,人们对饲养宠物的态度逐渐发生了变化.如时下悄然兴起的宠物选美、宠物摄影、宠物减肥及宠物泡吧……显然,现在宠物们的生活已变得丰富有趣、多姿
前馈逆有限自动机的结构是有限自动机可逆性理论中的基本问题。对延迟步数≥3的前馈逆结构的刻划则是一个长期的未解决问题,尤其是当希望给出输出函数的显表达式时,这种刻划
成体神经元干细胞是藏匿于成体神经系统某些部位中的一些细胞,这些细胞具有良好的可塑性,可以通过基因工程或细胞工程等当代高新技术将之进行人工改造,使其发育成为能够对神经损
<正> 激光致僵武器据英国《星期日泰晤士报》报道,美国一名发明家最近研制出新概念&#39;致僵&#39;武器。这种非致命武器依靠&#39;致僵射线&#39;,即利用紫外激光器发出光束来,
<正> 教师教学的目标之一是使他的学生尽可能快地在一个时段内阅读足够多的印刷符号。当学生阅读时,集中注意力于它的意思,而不是注意单个字母的外形。一个优秀的阅读者在阅
<正> 翻开世界文明史册,我们便可看到:无论是尼罗河畔建造金字塔的古埃及居民,还是印度次大陆上创造灿烂的古代文明的达罗毗荼人;无论是爱琴岛上现代西方文明的前辈——希腊
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield