基于OpenMP的并行Fortran程序数据竞争静态检测方法

摘要： 数据竞争是并行程序中最常见的问题，因为其在程序中存在着随机性和难以重现的问题，所以利用动态方法检测并不可靠.本文介绍了一种针对以OpenMP实现程序并行的数据竞争故障的静态检测方法.首先根据基于OpenMP的Fortran并行程序的语法和语义特性，构建并行程序的抽象语法树，并对控制流图进行扩展引入并行控制流图；然后将数据竞争问题抽象为一种故障模型，利用有限状态机来形式化的描述此...