针对共享内存SPMD程序的通信流依赖分析方法  

Method of communication flow dependence analysis for shared-memory SPMD program

作　　者：王骞[1] 刘晓洁[1] 梁刚[1] 

机构地区：[1]四川大学计算机学院

出　　处：《计算机应用》2010年第3期596-599,共4页journal of Computer Applications

基　　金：国家自然科学基金资助项目(60873246);国家863计划项目(2006A01Z435);教育部新世纪优秀人才计划项目(NCET-04-0870);四川省应用基础研究计划项目(05JY029-021-1);四川大学青年科学基金资助项目(校青07001;校青07002)

摘　　要：传统数据流依赖分析方法在处理共享内存单指令多数据(SPMD)程序时,不能识别共享数据访问语句所属的处理节点,也不能消除执行顺序不定的控制流对共享数据流依赖造成的影响,从而在分析共享数据依赖时产生精度较低的结果。根据共享内存SPMD程序的共享数据别名特性,提出了一种可扩展的共享数据通信流依赖分析方法,并将其应用于一个编译后端分析器原型中。实验表明,该方法较传统分析方法可发现更多精确的共享数据通信流依赖。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 according to the alias feature of shared data in shared-memory SPMD program,which was applied in a prototype of back-end analyzer.The experimental results show that the new method can find more accurate shared data communication-flow dependence than the traditional method.

关 键 词：共享内存 单指令多数据 通信流依赖分析 别名分析 控制流分析 

分 类 号：TP302[自动化与计算机技术—计算机系统结构]