并行化编译关键技术的研究与开发

利用所开发的AFT并行化编译系统,对所拟分析的程序与其相配合进行相应的分析与采集数据,然后通过对数据人工分析并开发出有效的并行化编译技术,其中数组么有化首覆盖,动态数据流分析中的Proteus技术及基于冗余执行非循环级并行化等方法属国际首创,在实现了上述技术后测试结果表明AFT的并行化效果已远远超过了同类先进商品化系统PFA,与国际上公认为代表最高水平的学术性系统SUIF相比也略占优势.通过项目执行有一人获得了上海市科技精英称号，培养了三名博士，十名硕士，在著名学术刊物上发表了十八篇论文，十名硕士，在著名学术刊物上发表了十八篇论文。与比利时根特大学、美国明尼苏达大学建立了长期的合作研究关系，并共同承担了本项目有关的一些科研究项目。