POSIX多線程程序中數(shù)據(jù)競(jìng)爭(zhēng)錯(cuò)誤的檢測(cè).pdf

1、隨著半導(dǎo)體技術(shù)和發(fā)熱量的限制，處理器頻率的發(fā)展已經(jīng)不再適用于摩爾定律，處理器頻率的提高越來(lái)越緩慢，因此通過(guò)增加處理器上面的核心數(shù)量來(lái)提高處理器性能是一個(gè)有效的方法。多核處理器的普及給程序的并發(fā)性提出了新的要求，多線程編程技術(shù)使用越來(lái)越廣泛，并發(fā)程序的并發(fā)度越來(lái)越高，越來(lái)越復(fù)雜。現(xiàn)代商業(yè)競(jìng)爭(zhēng)中，時(shí)間就是金錢，研究表明軟件開發(fā)過(guò)程中投入在軟件調(diào)試階段的時(shí)間越來(lái)越多。數(shù)據(jù)競(jìng)爭(zhēng)錯(cuò)誤是一類嚴(yán)重的多線程程序并發(fā)錯(cuò)誤，這類錯(cuò)誤會(huì)使得多線程程序在運(yùn)行時(shí)

2、進(jìn)入一種非預(yù)期狀態(tài)。為了對(duì)這類錯(cuò)誤進(jìn)行檢測(cè)，需要提供方便高效的調(diào)試工具，協(xié)助開發(fā)人員盡可能快速準(zhǔn)確地找出軟件中的錯(cuò)誤，以提高系統(tǒng)的可靠性和穩(wěn)定性。
　　本文針對(duì)數(shù)據(jù)競(jìng)爭(zhēng)錯(cuò)誤產(chǎn)生時(shí)一般會(huì)出現(xiàn)線程間同步失控的現(xiàn)象設(shè)計(jì)實(shí)現(xiàn)檢測(cè)系統(tǒng)。系統(tǒng)運(yùn)行在Linux桌面操作系統(tǒng)上。假定被檢測(cè)多線程程序使用多C語(yǔ)言編寫，使用的線程庫(kù)是POSIX多線程庫(kù)，用GCC編譯器進(jìn)行編譯。
　　本文首先總體介紹了數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)系統(tǒng)，包括并發(fā)程序調(diào)試的總體框架以