基于插樁和動(dòng)態(tài)符號(hào)執(zhí)行的數(shù)據(jù)競爭檢測與重放.pdf

1、近年來，由于多核處理器的快速發(fā)展，多線程編程技術(shù)已經(jīng)越來越受重視，并得到了廣泛的應(yīng)用。然而，由于多線程執(zhí)行順序的不確定性，也為大型并發(fā)程序或軟件中潛在錯(cuò)誤的查找工作帶來了一定的困擾和難度。其中，由數(shù)據(jù)競爭引發(fā)的錯(cuò)誤較為常見。如何高效準(zhǔn)確的檢測并發(fā)程序中可能存在的數(shù)據(jù)競爭，并能夠?qū)⒉l(fā)程序確定性重放，將成為研究的重點(diǎn)。
　　基于插樁和動(dòng)態(tài)符號(hào)執(zhí)行方案，分別實(shí)現(xiàn)了惡性和良性兩種數(shù)據(jù)競爭的檢測與重放。對(duì)于插樁方案，首先，解析源程序?qū)?yīng)的

2、中間指令文件格式，針對(duì)不同類型的共享變量定義和使用情況，進(jìn)行合適的判斷和插樁。然后，結(jié)合時(shí)間戳向量的方法，檢測存在沖突的同步操作，并在其基礎(chǔ)上添加惡性數(shù)據(jù)競爭判斷機(jī)制，使得能夠準(zhǔn)確有效的檢測出此次并發(fā)程序執(zhí)行過程中所發(fā)生的數(shù)據(jù)競爭。在動(dòng)態(tài)符號(hào)執(zhí)行方案中，利用KLEE中實(shí)現(xiàn)的動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)，虛擬執(zhí)行中間指令文件。通過修改KLEE源碼，添加監(jiān)視虛擬執(zhí)行過程和狀態(tài)模塊的方法，使得KLEE可以有效的監(jiān)控整個(gè)程序的執(zhí)行過程，并結(jié)合Happens