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

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

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