过程繁衍及其实现方法

过程的处理在并行化编译工具中是十分关键的问题，过程嵌入和跨过程信息传播是常用的解决方法．近年来，兼有前二者优点的新技术：过程繁衍（Ｃｌｏｎｉｎｇ），逐渐受到人们的重视．而以往的研究中，过程繁衍仅局限于常数值的传播．本文提出了在过程繁衍中进行符号等式约束信息传播的方法，该方法可以增强系统中全局的符号分析（ＳｙｍｂｏｌｉｃＡｎａｌｙｓｉｓ）能力，并可与一些新技术（如Ｏｍｅｇａ测试）互相配合，从而提高并行化系统的能力．该方法在作者开发的并行化编译工具ＡＦＴ中得到了实现．对于ＰｅｒｆｅｃｔＢｅｎｃｈｍａｒｋ的测试

CLONING AND ITS IMPLEMENTATION

Interprocedural analysis is one of the critical issues for parallelizing compilers. Traditionally, inline and interprocedural information propagation are the two methods to solve the problem. Recently, a new technique called cloning shows its advantage. Cloning creates specialized copies of procedure body to allow distinct call site inherits an environment context that allows for better code optimization. Previous research focused on constant propagation. This paper presents a method that can propagate the information of symbolic linear equations. The capability of cloning is enhanced by the new method. The authors implemented their scheme in AFT, a parallelizing compiler that they developed. The test result illustrates the effectiveness of this method.