过程繁衍及其实现方法

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