指令级并行中谓词分析技术的研究

谓词支持是IA 6 4体系结构的新特征 ,它为发掘指令级并行提供了更多的机会 ,同时给编译器的设计者增加了难度 .谓词是条件执行的依据 ,是提高指令级并行的新途径 .该文介绍在ORC(IA 6 4OpenResearchCompiler)中首次设计实现的基于谓词划分图的谓词分析技术及其在指令调度中的应用 .利用谓词分析技术建立了谓词关系数据库、指令调度查询谓词关系数据库提高指令级并行 .文章着重论述了谓词关系数据库的核心———谓词划分图的建立 ,在谓词划分图的基础上实现了谓词关系的计算和查询 ,实际结果表明谓词分析技术有显著优化效果 .

多源数据转换与装载向导开发技术

对研制的一个多源数据转换与装载向导DEPWizard的开发技术做了介绍。该向导作为网站开发通用平台的一部分,可以支持网站管理或维护人员自动转换和装载多源异构数据、快速构建数据中心和灵活组织数据发布页面。

Linux下优化编译单元的程序调用共享连接技术

本文分析了LINUX下的动态连接和静态连接,默认的动态连接方式在一定程度上限制了编译器的优化,而静态连接方式又有很多不足。本文在ORC编译器中提出了一种程序调用共享连接技术,对程序编译单元应用冗余的代码优化,并且展望了这种优化技术的未来研究,具有很强的实际意义。

控制流路径敏感的深层代码优化技术

软件规范中的函数调用约定指出，caller和callee都需要保存函数调用前后的程序状态。根据数据流分析和过程间分析，caller和callee会保存和恢复的程序状态有不同的分工。数据流分析方法在决定对callee-save的寄存器是否要保存恢复时是从理论上在函数的入口保存寄存器状态而在函数的出口恢复寄存器状态，然而在特定控制流路径上并没有对一些保存的全局寄存器的状态进行修改，所以这些控制流路径上的寄存器保存恢复实际上是冗余的。该文提出了一种简单快捷的反向数据流分析方法，对特定控制流路径上的callee-save的寄存器恢复指令进行选择性优化，从而使特定控制流路径上的代码得到有效的优化，特别是对热控制流路径和短路径，提出的优化方法显得特别重要。