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

？传统数据流依赖分析方法在处理共享内存单指令多数据(spmd)程序时，不能识别共享数据访问语句所属的处理节点，也不能消除执行顺序不定的控制流对共享数据流依赖造成的影响，从而在分析共享数据依赖时产生精度较低的结果。根据共享内存spmd程序的共享数据别名特性，提出了一种可扩展的共享数据通信流依赖分析方法，并将其应用于一个编译后端分析器原型中。实验表明，该方法较传统分析方法可发现更多精确的共享数据通信流依赖。