多線程程序數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)和驗(yàn)證方法研究.pdf

1、當(dāng)前，隨著計(jì)算機(jī)多核硬件的飛速發(fā)展，多線程并發(fā)程序也越來(lái)越受到歡迎并被廣泛使用。但是由于對(duì)共享內(nèi)存空間訪問(wèn)的隱蔽性以及并發(fā)線程執(zhí)行調(diào)度的隨機(jī)性，導(dǎo)致多線程程序中并發(fā)線程之間產(chǎn)生不確定的相互作用和影響，這些都給并發(fā)程序的分析帶來(lái)巨大挑戰(zhàn)，而且很容易導(dǎo)致缺陷，而這些缺陷又往往難以調(diào)試，軟件開發(fā)和維護(hù)人員需要花費(fèi)大量的精力來(lái)檢測(cè)和定位這些軟件質(zhì)量問(wèn)題。
　　數(shù)據(jù)競(jìng)爭(zhēng)作為多線程并發(fā)程序中常見(jiàn)的一種問(wèn)題，經(jīng)常會(huì)導(dǎo)致程序不能正常運(yùn)行，或更為嚴(yán)

2、重地導(dǎo)致程序直接崩潰。數(shù)據(jù)競(jìng)爭(zhēng)產(chǎn)生的條件往往都比較隱蔽和苛刻，不僅需要特定的輸入，而且還需要特定的線程執(zhí)行交錯(cuò)。因此，這類問(wèn)題在并發(fā)程序中很難被檢測(cè)出來(lái)。如何有效地檢測(cè)和驗(yàn)證數(shù)據(jù)競(jìng)爭(zhēng)，也成為提高軟件可靠性和安全性急需要解決的問(wèn)題。
　　針對(duì)這一問(wèn)題，本文完成了以下工作：
　　首先，基于靜態(tài)分析技術(shù)找到所有可疑的數(shù)據(jù)競(jìng)爭(zhēng)語(yǔ)句對(duì)，同時(shí)定位出潛在的ad-hoc類型同步相關(guān)的信息。
　　其次，利用動(dòng)態(tài)二進(jìn)制插樁技術(shù)監(jiān)視程序在可

3、疑的數(shù)據(jù)競(jìng)爭(zhēng)語(yǔ)句處的行為，結(jié)合線程調(diào)度技術(shù)盡可能地觸發(fā)隱藏的數(shù)據(jù)競(jìng)爭(zhēng)產(chǎn)生條件，同時(shí)使用lockset算法和happens-before關(guān)系相結(jié)合的方法檢測(cè)和驗(yàn)證可疑的數(shù)據(jù)競(jìng)爭(zhēng)。
　　然后，根據(jù)靜態(tài)分析得到的潛在的ad-hoc類型同步信息，在動(dòng)態(tài)執(zhí)行程序時(shí)確認(rèn)這些ad-hoc類型的隱式同步，盡可能的剔除錯(cuò)誤和良性的數(shù)據(jù)競(jìng)爭(zhēng)。
　　同時(shí)為了提高數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)的效率，本文還提出了并行化的動(dòng)態(tài)數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)和驗(yàn)證方法，將大部分的檢測(cè)和驗(yàn)