POSIX多線程程序中數(shù)據(jù)競爭錯誤的檢測.pdf

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

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