基于OpenMP的并行Fortran程序數(shù)據(jù)競爭靜態(tài)檢測方法

摘要： 數(shù)據(jù)競爭是并行程序中最常見的問題，因為其在程序中存在著隨機性和難以重現(xiàn)的問題，所以利用動態(tài)方法檢測并不可靠.本文介紹了一種針對以O(shè)penMP實現(xiàn)程序并行的數(shù)據(jù)競爭故障的靜態(tài)檢測方法.首先根據(jù)基于OpenMP的Fortran并行程序的語法和語義特性，構(gòu)建并行程序的抽象語法樹，并對控制流圖進(jìn)行擴展引入并行控制流圖；然后將數(shù)據(jù)競爭問題抽象為一種故障模型，利用有限狀態(tài)機來形式化的描述此...