针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序为测试用例进行实验,结果表明,利用别名集切片技术可在4个进程并行情况下,获得3.42的加速比。
In this paper,it presents a new slicing technique and alias set slicing technique.Based on alias set slice,it partitions the input program into several independent slices which can analyzed by complex program analyzer,because slices contain all statements which they dependent on.It uses this method to parallelize complex alias analysis and error checking analysis.With the experiments on SPEC CPU2000/CPU2006,it can achieve speedup 3.42 for parallel error checking analysis.