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

摘要： 數(shù)據(jù)競(jìng)爭(zhēng)是并行程序中最常見(jiàn)的問(wèn)題，因?yàn)槠湓诔绦蛑写嬖谥S機(jī)性和難以重現(xiàn)的問(wèn)題，所以利用動(dòng)態(tài)方法檢測(cè)并不可靠.本文介紹了一種針對(duì)以O(shè)penMP實(shí)現(xiàn)程序并行的數(shù)據(jù)競(jìng)爭(zhēng)故障的靜態(tài)檢測(cè)方法.首先根據(jù)基于OpenMP的Fortran并行程序的語(yǔ)法和語(yǔ)義特性，構(gòu)建并行程序的抽象語(yǔ)法樹(shù)，并對(duì)控制流圖進(jìn)行擴(kuò)展引入并行控制流圖；然后將數(shù)據(jù)競(jìng)爭(zhēng)問(wèn)題抽象為一種故障模型，利用有限狀態(tài)機(jī)來(lái)形式化的描述此...