基于動(dòng)態(tài)二進(jìn)制翻譯的多線程程序數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)方法研究.pdf

1、隨著多核平臺(tái)的應(yīng)用越來(lái)越廣泛,多線程越來(lái)越被人們所關(guān)注,然而多線程為人們帶來(lái)更高性能的同時(shí)也帶來(lái)很多問(wèn)題。通常來(lái)說(shuō),相對(duì)于傳統(tǒng)的單線程編程,多線程編程是比較難以設(shè)計(jì)和實(shí)現(xiàn)的,程序員編程的過(guò)程中很容易由于疏忽等原因而引入同步性的錯(cuò)誤,其中最典型的就是數(shù)據(jù)競(jìng)爭(zhēng)錯(cuò)誤。這類(lèi)問(wèn)題通常很隱蔽,在調(diào)試期間難于被發(fā)現(xiàn)和定位。目前的數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)工具大部分采用動(dòng)態(tài)檢測(cè)的方法,相對(duì)于靜態(tài)檢測(cè)方法,動(dòng)態(tài)檢測(cè)的結(jié)果更加準(zhǔn)確,更為實(shí)用。但是,現(xiàn)有的動(dòng)態(tài)數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)

2、工具性能還有待提高,并且缺乏對(duì)跨平臺(tái)檢測(cè)的支持。本文基于自主開(kāi)發(fā)的動(dòng)態(tài)二進(jìn)制翻譯平臺(tái)Crossbit,構(gòu)建了一個(gè)針對(duì)多線程程序的動(dòng)態(tài)數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)工具Racebit。檢測(cè)算法采用了一種混合了基于鎖集合檢測(cè)算法和發(fā)生序檢測(cè)算法的動(dòng)態(tài)檢測(cè)算法,有效提高了檢測(cè)準(zhǔn)確度,減少了漏報(bào)、誤報(bào)的發(fā)生,同時(shí)也減少了檢測(cè)開(kāi)銷(xiāo)。利用數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)工具Racebit,程序員可以在調(diào)試期間找出多線程程序中大量潛在的數(shù)據(jù)競(jìng)爭(zhēng)錯(cuò)誤,從而大幅度地提高多線程軟件的質(zhì)量。此外