基于OpenMP的并行Fortran程序數(shù)據(jù)競(jìng)爭(zhēng)靜態(tài)檢測(cè)方法
小型微型計(jì)算機(jī)系統(tǒng)
頁(yè)數(shù): 7 2022-05-13
摘要: 數(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)形式化的描述此... (共7頁(yè))