多線程并發(fā)程序分析及別名算法研究.pdf

1、　 本文為提高分析效率，論文還提出了以對(duì)象為中心，結(jié)合Escape分析縮小檢測(cè)范圍的競(jìng)爭(zhēng)檢測(cè)算法,由于別名信息極大的影響了算法的效率和精度，論文首先探討了不同設(shè)計(jì)要素對(duì)別名算法質(zhì)量的影響，進(jìn)而針對(duì)分析語(yǔ)言和并發(fā)結(jié)構(gòu)設(shè)計(jì)了一種流不敏感、上下文敏感的別名算法并分別從語(yǔ)義和運(yùn)行特征提出上下文敏感分析的兩種優(yōu)化方法。除了程序分析，動(dòng)態(tài)分析和模型檢測(cè)是另外兩種有效的分析手段。動(dòng)態(tài)分析和靜態(tài)分析在分析精度、性能和覆蓋率上有很好的互補(bǔ)性，論文針對(duì)

2、競(jìng)爭(zhēng)檢測(cè)討論了它們相互結(jié)合的一些思路。程序分析和模型檢測(cè)往往可以檢測(cè)相同的屬性，分析過程也有相似之處，但是幾乎沒有對(duì)這兩種方法適用的分析范圍的研究。 論文對(duì)比分析了兩種方法各自的優(yōu)缺點(diǎn)，并以活躍變量分析為例說(shuō)明了某些程序分析中的數(shù)據(jù)流分析問題可以轉(zhuǎn)換 為 模型檢測(cè)問題，證明了二者在分析結(jié)論上的等價(jià)性。論文工作形成了一個(gè)基本的數(shù)據(jù)流分析框架JTool。在JTool上實(shí)現(xiàn)了建立在算法研究之上的冗余同步刪除工具SyncRem