| 针对共享内存SPMD程序的通信流依赖分析方法 |
| |
| 引用本文： | 王骞,刘晓洁,梁刚. 针对共享内存SPMD程序的通信流依赖分析方法[J]. 计算机应用, 2010, 30(3): 596-599 |
| |
| 作者姓名： | 王骞 刘晓洁 梁刚 |
| |
| 作者单位： | 1. 四川大学计算机学院2. |
| |
| 基金项目： | 国家自然科学基金资助项目(60873246);;国家863计划项目(2006A01Z435);;教育部新世纪优秀人才计划项目(NCET-04-0870);;四川省应用基础研究计划项目(05JY029-021-1);;四川大学青年科学基金资助项目(校青07001;校青07002) |
| |
| 摘 要： | 传统数据流依赖分析方法在处理共享内存单指令多数据(SPMD)程序时，不能识别共享数据访问语句所属的处理节点，也不能消除执行顺序不定的控制流对共享数据流依赖造成的影响，从而在分析共享数据依赖时产生精度较低的结果。根据共享内存SPMD程序的共享数据别名特性，提出了一种可扩展的共享数据通信流依赖分析方法，并将其应用于一个编译后端分析器原型中。实验表明，该方法较传统分析方法可发现更多精确的共享数据通信流依赖。
|
| 关 键 词： | 共享内存 单指令多数据 通信流依赖分析 别名分析 控制流分析 |
| 收稿时间： | 2009-09-17 |
| 修稿时间： | 2009-11-04 |
Method of communication flow dependence analysis for shared-memory SPMD program |
| |
| WANG Qian,LIU Xiao-jie,LIANG Gang. Method of communication flow dependence analysis for shared-memory SPMD program[J]. Journal of Computer Applications, 2010, 30(3): 596-599 |
| |
| Authors: | WANG Qian LIU Xiao-jie LIANG Gang |
| |
| Abstract: | The traditional analysis methods of data flow dependence cannot recognize the processing nodes to which the statements for accessing shared data should belong and also cannot avoid the impact caused by the control flow whose sequence is non-deterministic while dealing with shared memory Single Program Multiple Data(SPMD)program,thus generating the results with a lower accuracy when they analyze shared data dependence.A scalable analysis method of shared data communication-flow dependence was presented accor... |
| |
| Keywords: | shared memory Single Program Multiple Data (SPMD) communication flow dependence analysis alias analysis control flow analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
