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

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

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