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

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

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