技術編號：6340366
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。本發(fā)明涉及一種檢測數(shù)據(jù)競爭的系統(tǒng)，特別是涉及一種用于檢測中斷驅動型程序 數(shù)據(jù)競爭的系統(tǒng)，屬于計算機軟件測試與驗證技術。背景技術數(shù)據(jù)競爭是并發(fā)程序中一種復雜的程序行為，它發(fā)生在多個并發(fā)執(zhí)行流(如線 程、任務、中斷)對同一數(shù)據(jù)單元進行同時讀寫，且至少其中一個操作是寫操作時。由于數(shù) 據(jù)競爭中涉及的兩次訪問之間的次序不可確定，程序可能會因此產(chǎn)生異常行為，嚴重時甚 至會導致軟件或系統(tǒng)失效。然而，數(shù)據(jù)競爭具有小概率的特點，往往需要在特定的外部環(huán) 境、執(zhí)行流切換條件下才...
注意：該技術已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權人授權前，僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。