技術(shù)編號：12665648
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。一種基于約束求解的原子違背探測方法所屬技術(shù)領域本發(fā)明涉及軟件測試技術(shù)領域，具體涉及一種基于約束求解的原子違背探測方法。背景技術(shù)隨著多核處理器的普及，并發(fā)編程技術(shù)得到了廣泛的應用。由于并發(fā)程序的執(zhí)行交織空間大、運行不確定，并發(fā)程序錯誤的測試、調(diào)試以及修復十分困難。其中，原子違背是其中最常見的并發(fā)錯誤，約占非死鎖類型并發(fā)錯誤的65％?，F(xiàn)有的原子違背探測技術(shù)大致分為三類：靜態(tài)探測技術(shù)、運行時監(jiān)測技術(shù)和運行時預測技術(shù)。其中，靜態(tài)探測技術(shù)可在程序源代碼級別識別出潛在的原子違背錯誤，但其無法處理鎖以外的其他...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學習研究技術(shù)思路。