别名集切片与并行化研究

• 作者: 张兆庆 桑春雷
• 来源期刊: 计算机工程
• 学科: 地球科学
• 关键词: 别名集切片 并行程序分析 切片技术 别名分析 程序检错
• 年，卷（期）: 2011,（21）
• 所属期刊栏目: 博士论文
• 页码范围: 6-10
• 分类号: N945
• 字数: 8013字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2011.21.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张兆庆	中国科学院计算技术研究所计算机系统结构重点实验室	64	430	11.0	17.0
2	桑春雷	中国科学院计算技术研究所计算机系统结构重点实验室	2	4	1.0	2.0