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

摘要：传统的数据流依赖性分析方法在处理共享内存单程序多数据（SPMD）程序时，无法识别访问共享数据的语句所属的处理节点，也无法避免顺序不确定的控制流所带来的影响，因此，在分析共享数据依赖时，生成的结果精确度较低。根据共享内存SPMD程序中共享数据的别名特性，提出了一种可扩展的共享数据通信流依赖性分析方法，并将其应用于后端分析仪的原型中。实验结果表明，与传统方法相比，新方法可以发现更准确的共享数据通信流相关性。

关键词： 共享内存， 单程序多数据（SPMD）， 通信流相关性分析， 别名分析， 控制流分析