别名集切片与并行化研究

摘要：

针对复杂程序的分析问题,提出基于别名集切片的切片级并行技术与并行程序分析技术.利用传统分析算法,在每个切片上并行地进行复杂程序分析,从而实现复杂程序分析的并行化,加快复杂程序分析速度.以SPEC CPU2000/CPU2006中的部分C程序为测试用例进行实验,结果表明,利用别名集切片技术可在4个进程并行情况下,获得3.42的加速比.

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

所属期刊栏目：37

分类号：N945(系统科学)

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

在线出版日期：2012-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：6-10