動(dòng)態(tài)數(shù)據(jù)競(jìng)爭(zhēng)檢測(cè)研究.pdf

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

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