多線程程序數(shù)據(jù)競(jìng)爭(zhēng)靜態(tài)檢測(cè)方法研究.pdf

1、隨著多核處理器以及多線程程序應(yīng)用的普及，多線程技術(shù)得到越來(lái)越廣泛的應(yīng)用，但是多線程程序本身編程復(fù)雜，并且伴隨著結(jié)果隨機(jī)性和難以重現(xiàn)等特點(diǎn)，因此，開(kāi)發(fā)多線程程序是困難的，并發(fā)性引入了許多順序程序設(shè)計(jì)中不存在的錯(cuò)誤的可能性。此外，由于線程調(diào)度的不確定性，多線程程序在從一個(gè)線程轉(zhuǎn)移到另一個(gè)線程可能表現(xiàn)出不同的行為。這些都會(huì)導(dǎo)致程序產(chǎn)生數(shù)據(jù)競(jìng)爭(zhēng)故障，該故障很難通過(guò)幾次運(yùn)行程序發(fā)現(xiàn)并定位出來(lái)，因此研究多線程程序數(shù)據(jù)競(jìng)爭(zhēng)故障檢測(cè)技術(shù)具有很高的研究?jī)r(jià)

2、值。
　　本文提出了一種多線程程序數(shù)據(jù)競(jìng)爭(zhēng)故障的靜態(tài)檢測(cè)分析方法和工具系統(tǒng)，在前期研究了國(guó)內(nèi)外在數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)方面的現(xiàn)狀和成果的基礎(chǔ)上，本文提出了抽象語(yǔ)法樹(shù)識(shí)別多線程源程序和XML中間模型形式化描述程序?qū)傩孕畔⒌姆椒?，XML描述可以減少程序?qū)傩孕畔?fù)雜度，并且具有很強(qiáng)的可擴(kuò)展性。最后，本文提出了基于happened-before關(guān)系和鎖集的數(shù)據(jù)競(jìng)爭(zhēng)靜態(tài)分析方法，構(gòu)建多線程程序共享資源讀寫(xiě)訪問(wèn)信息XML模型，利用一定算法從中提取定位可