動態(tài)數(shù)據(jù)競爭檢測研究.pdf

1、數(shù)據(jù)競爭是多線程程序中最復(fù)雜的一種并發(fā)錯誤。由于線程調(diào)度與多線程程序執(zhí)行順序的不確定，導(dǎo)致數(shù)據(jù)競爭的檢測變得異常困難。動態(tài)檢測數(shù)據(jù)競爭是指在程序執(zhí)行過程中實時監(jiān)控程序行為并檢測數(shù)據(jù)競爭，現(xiàn)有的動態(tài)數(shù)據(jù)競爭檢測算法主要有happen-before算法，Lockset算法以及將兩者混合的算法。
　　針對動態(tài)數(shù)據(jù)競爭檢測的問題，分析了不同算法的數(shù)據(jù)競爭檢測能力，研究了現(xiàn)存算法對線程調(diào)度的敏感程度，并提出了FastTrack與Lockse

2、t混合的BufferTrack算法，使用sub-hb關(guān)系判斷訪問事件的并發(fā)關(guān)系，降低算法對線程調(diào)度的敏感程度，對并發(fā)的讀寫訪問使用Lockset算法檢測數(shù)據(jù)競爭。在此基礎(chǔ)上，BufferTrack算法采用讀寫信息動態(tài)緩沖區(qū)存儲訪問記錄，用以預(yù)測數(shù)據(jù)競爭，提高數(shù)據(jù)競爭的檢測數(shù)量。動態(tài)緩沖區(qū)的大小隨著數(shù)據(jù)競爭發(fā)生的次數(shù)而改變，在某段內(nèi)存頻繁發(fā)生數(shù)據(jù)競爭時，動態(tài)增長緩沖區(qū)大小，檢測更多的數(shù)據(jù)競爭，反之則縮小緩沖區(qū)大小，降低檢測開銷。