面向动态二进制翻译的动态优化和微处理器体系结构支撑技术研究

来源 :国防科学技术大学 | 被引量 : 0次 | 上传用户:yuxk781224
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
经过三十多年的发展,微处理器已经进入到社会生产和日常生活的各个领域,并取得了巨大的成功。微处理器产业的成熟,也使得大部分市场应用和软件投资集中到具有垄断性地位的几种体系结构上。为满足永无止境的性能需求,必须不断推出更新、更快、更有效的处理器。但是为了保护原有的大量投资和研究成果,新处理器往往需要保证对原有结构和应用的二进制兼容性。如今,二进制代码兼容已经成为微处理器是否能在市场上存活的关键问题,也成为新体系结构技术应用的障碍。 动态二进制翻译和优化与微体系结构设计相结合,为微处理器性能继续提升,采用创新的体系结构技术提供了新的思路和方法。将与兼容性相关的复杂逻辑交给动态二进制翻译软件,可以使底层硬件更加简洁并能极大的扩展设计空间。动态优化还可以利用程序运行时特有的优化机会,进一步提高性能。这种处理器设计模式可以降低对制造工艺的要求,并通过采用创新设计避开处理器硬件设计中的众多专利障碍,特别适合我国国情。 本文针对动态二进制翻译处理器中的动态优化技术和微处理器体系结构支撑技术展开深入研究。基于可扩展的处理器模型,提出了低开销的快速热点识别技术;系统分析并研究了动态优化的特性,提出了新的优化方法;并根据开销和性能分析提出了动态多级优化框架,掌握了以动态二进制翻译和动态优化为基础进行微处理器设计的关键技术。主要的工作与创新点包括: 1.全面深入地研究了国际上动态二进制翻译和动态优化技术的研究现状与热点方向。特别针对几个对二进制翻译处理器研究有重要影响的研究项目,总结并分析了它们的特点与不足。 2.结合我国发展处理器产业的实际情况,提出基于动态二进制翻译的可扩展体系结构框架Transtar-VISA。以一个全新基于VLIW结构的Transtar-Core为例,展示部分体系结构迁移,从IA-32迁移到新体系结构,以及同时支持多个ISA平台时Transtar-VISA的有效性和可扩展性。 3.深入研究了动态二进制翻译和优化中热点代码发掘问题,提出了适合翻译和优化使用,基于硬件实现的profiling方案-CSP。CSP不会影响用户程序的执行效率,以适当的硬件开销获得了非常精确的热点路径信息。CSP还可以根据翻译和优化的需要调整对执行路径的监测。 4.深入讨论了动态优化的执行环境、调度单位和优化时机等内容,并分析了常用的优化方法。针对硬件难以预测的分支指令,提出了新的动态隐式断言执行优化技术RIMP。 5.为了平衡优化的开销和性能收益,在分析论证的基础上给出了多级优化调度框架FMO。分析了多级动态优化算法下各个阈值的控制原理,并指出了有效优化的关
其他文献
利用遗传算法优化了电子在电场中运动获得的最大返回动能,得到了组合双色场的波形。结果表明,在激光脉冲总能量不变的前提下,优化得到的双色场能够将产生的高次谐波的截止位置提
以银杏叶为原料,在700℃下热解制备银杏叶生物炭(GBBC),研究其对溶液中亚甲基蓝(MB)的吸附。考察了pH、吸附时间、GBBC投加量等对吸附结果的影响。实验结果表明:GBBC是一种很好的吸
分析了武汉金口垃圾填埋场中不同填埋时间的垃圾渗滤液特性和周边地下水水质,并结合场地条件分析垃圾渗滤液对地下水环境的影响机制。结果表明:(1)所有垃圾渗滤液(均超过7年)中COD
随着信息时代的到来,在人们的现实生活中,对计算机、互联网的应用也变得越来越普遍,许多事情都可以由此来完成.而在互联网技术快速发展的环境下,第三方支付方面也在迅速的崛
期刊
在分布式内存多处理机系统上,对于中、细粒度并行程序而言,不同处理机之间的通信开销在整个程序的执行时间中所占的比重仍然很大,有时可能会抵消多处理机并行所带来的好处。为了
CK直接方法是求解非线性发展方程的一种有效的方法.利用推广的CK直接方法,求出了变系数Boussinesq方程的一般对称群,建立了方程新旧解之间的关系,从而得到了变系数Boussinesq方程
秋冬季是嘉兴中度及中度以上霾天气多发季节,使用HYSPLIT4模型和潜在源贡献因子法及浓度权重轨迹分析法对嘉兴的潜在污染来源及传输特征进行分析。结果表明,嘉兴中度及中度以上
设R是任意环,Z(R)是R的中心,Γ(R)是R的中心图,则其顶点集V(Γ(R))=R(R),且Γ(R)中不同的两个顶点a,b相连当且仅当a,bZ(R)但ab∈Z(R)或ba∈Z(R).若R是交换环且每个R的有限零因子集都有非零零化子,则Γ(Mn(R))是连通的且diam(Γ(Mn(R)))=3.若F是一个有限域且其特征ch(F)≠2,则Γ(Mn(R))有n-12qn∏(1-qi-n)i=12
采用半经典(T homas-Fermi)近似方法,研究了有限重力场中广义测不准原理下理想费米气体的性质。得到了内能和定容热容在低温情况下的解析表达式,同时以铜电子气为例进行了具体模
以Thomson Reuters公司Web of Science信息平台提供的科学引文索引扩展版(SCIE)数据库为数据源,采用Thomson Data Analyzer(TDA)和UCINET软件对1992年1月至2016年6月SCIE收录的修