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

⒎⒊絳蚨，

本文編號：2576429