别名集切片与并行化研究  

Research on Alias Set Slice and Parallelization

作　　者：桑春雷[1,2] 张兆庆[1] 

机构地区：[1]中国科学院计算技术研究所计算机系统结构重点实验室,北京100190 [2]中国科学院研究生院,北京100049

出　　处：《计算机工程》2011年第21期6-10,共5页Computer Engineering

基　　金：国家"973"计划基金资助项目(2011CB302504);"核高基"重大专项(2009ZX01036-001-002);国家自然科学基金创新研究群体资助项目(60921002)

摘　　要：针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度。以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.

关 键 词：别名集切片 并行程序分析 切片技术 别名分析 程序检错 

分 类 号：N945[自然科学总论—系统科学]