| 别名集切片与并行化研究 |
| |
| 引用本文： | 桑春雷,张兆庆.别名集切片与并行化研究[J].计算机工程,2011,37(21):6-10. |
| |
| 作者姓名： | 桑春雷 张兆庆 |
| |
| 作者单位： | 1. 中国科学院计算技术研究所计算机系统结构重点实验室,北京100190;中国科学院研究生院,北京100049
2. 中国科学院计算技术研究所计算机系统结构重点实验室,北京,100190 |
| |
| 基金项目： | 国家"973"计划基金资助项目，"核高基"重大专项，国家自然科学基金创新研究群体资助项目 |
| |
| 摘 要： | 针对复杂程序的分析问题，提出基于别名集切片的切片级并行技术与并行程序分析技术。利用传统分析算法，在每个切片上并行地进行复杂程序分析，从而实现复杂程序分析的并行化，加快复杂程序分析速度。以SPEC CPU2000/CPU2006中的部分C程序为测试用例进行实验，结果表明，利用别名集切片技术可在4个进程并行情况下，获得3.42的加速比。
|
| 关 键 词： | 别名集切片 并行程序分析 切片技术 别名分析 程序检错 |
| 收稿时间： | 2011-04-19 |
Research on Alias Set Slice and Parallelization |
| |
| SANG Chun-lei,ZHANG Zhao-qing.Research on Alias Set Slice and Parallelization[J].Computer Engineering,2011,37(21):6-10. |
| |
| Authors: | SANG Chun-lei ZHANG Zhao-qing |
| |
| Affiliation: | 1(1.Key Laboratory of Computer System and Architecture,Institute of Computing Technology,Chinese Academy of Sciences,Beijing 100190,China;2.Graduate University of Chinese Academy of Sciences,Beijing 100049,China) |
| |
| Abstract: | 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. |
| |
| Keywords: | alias set slice parallel program analysis slicing technique alias analysis program error checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
