【摘要】：并發(fā)錯(cuò)誤難觸發(fā)、難調(diào)試、難檢測(cè).為應(yīng)對(duì)這一挑戰(zhàn),已有動(dòng)態(tài)程序分析技術(shù)通過(guò)觀測(cè)或控制并發(fā)程序執(zhí)行實(shí)現(xiàn)其質(zhì)量保障.由于并發(fā)程序不確定性主要來(lái)自共享內(nèi)存,實(shí)現(xiàn)其動(dòng)態(tài)分析的基本問(wèn)題即是獲取線程訪問(wèn)共享內(nèi)存的順序,即獲取訪存依賴.提出訪存依賴獲取技術(shù)的綜述框架,包含4個(gè)評(píng)價(jià)指標(biāo)(即時(shí)性、準(zhǔn)確性、高效性、簡(jiǎn)化性)、兩種方法(在線追蹤、離線合成)、兩類(lèi)應(yīng)用(軌跡分析、并發(fā)控制).通過(guò)對(duì)已有技術(shù)的總結(jié)和分析框架中的空白,對(duì)未來(lái)可能的研究方向予以展望.
【圖文】：

⒎⒊絳蚨，

本文編號(hào)：2576429