[發(fā)明專利]靜態(tài)數(shù)據(jù)競爭檢測和分析

有效

• 申請?zhí)枺?/td>: 201210051862.8
• 申請日: 2012-03-01
• 公開（公告）號: CN102708043B
• 公開（公告）日: 2017-04-26
• 發(fā)明（設(shè)計(jì)）人: E·L·艾勒布雷希特
• 申請（專利權(quán)）人: 微軟技術(shù)許可有限責(zé)任公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 上海專利商標(biāo)事務(wù)所有限公司31100
• 代理人: 黃嵩泉

1.一種對多線程應(yīng)用的至少一部分執(zhí)行靜態(tài)數(shù)據(jù)競爭分析以便標(biāo)識多線程應(yīng)用中的潛在的數(shù)據(jù)競爭缺陷的方法，所述方法包括：

對所述多線程應(yīng)用的至少多個(gè)組件執(zhí)行組件內(nèi)靜態(tài)分析的動作，所述組件內(nèi)靜態(tài)分析包括對于所述多個(gè)組件中至少一些組件中的每一個(gè)的以下動作：

標(biāo)識組件內(nèi)的一組存儲器訪問操作的動作；以及

對于所述組件中的該組存儲器訪問操作中的每一個(gè)存儲器訪問操作，執(zhí)行以下動作：

確定是否有與所述存儲器訪問操作相關(guān)聯(lián)的數(shù)據(jù)競爭保護(hù)元件的動作，其中所述數(shù)據(jù)競爭保護(hù)元件包括鎖和易失性存儲器訪問；以及

對所述多個(gè)組件執(zhí)行組件間靜態(tài)分析的動作。

2.如權(quán)利要求1所述的方法，其特征在于，所述執(zhí)行組件間靜態(tài)分析的動作包括對于相應(yīng)組件的至少一個(gè)參數(shù)中的多個(gè)組件中的至少一些組件的每一個(gè)的以下動作：

確定調(diào)用者組件對所述組件的參數(shù)執(zhí)行的操作類型的動作；

確定相關(guān)聯(lián)的被調(diào)用者組件對所述組件的參數(shù)執(zhí)行的操作類型的動作；以及

協(xié)調(diào)兩種類型的操作的確定以標(biāo)識操作是否針對數(shù)據(jù)競爭被保護(hù)的動作。

3.如權(quán)利要求2所述的方法，其特征在于，所述協(xié)調(diào)動作將來自被調(diào)用者組件的代碼內(nèi)聯(lián)到調(diào)用者組件的代碼中。

4.如權(quán)利要求2所述的方法，其特征在于，所述協(xié)調(diào)動作不解除虛擬函數(shù)調(diào)用的虛擬化。

5.如權(quán)利要求1所述的方法，其特征在于，給定存儲器訪問的數(shù)據(jù)競爭保護(hù)元件是該存儲器訪問通過所述鎖來保護(hù)。

6.如權(quán)利要求1所述的方法，其特征在于，給定存儲器訪問操作的數(shù)據(jù)競爭保護(hù)元件是該存儲器訪問是其中向編譯器發(fā)信號通知其不重排存儲器訪問操作的所述易失性存儲器訪問。

7.如權(quán)利要求1所述的方法，其特征在于，第一存儲器訪問的數(shù)據(jù)競爭保護(hù)元件是所述第一存儲器訪問通過所述鎖來保護(hù)，第二存儲器訪問的數(shù)據(jù)競爭保護(hù)元件是所述第二存儲器訪問是所述易失性存儲器訪問。

8.如權(quán)利要求1所述的方法，其特征在于，所述多個(gè)組件是以中間代碼編寫的。

9.如權(quán)利要求1所述的方法，其特征在于，所述組件內(nèi)分析還包括對于多個(gè)組件的至少一些組件的每一個(gè)的以下動作：

對所述一組存儲器訪問操作執(zhí)行到達(dá)分析以確定相應(yīng)的所訪問數(shù)據(jù)是已知全局可訪問的、還是通過函數(shù)參數(shù)訪問的。

10.一種對多線程應(yīng)用的至少一部分執(zhí)行靜態(tài)數(shù)據(jù)競爭分析以標(biāo)識多線程應(yīng)用中的潛在的數(shù)據(jù)競爭缺陷的方法，所述方法包括：

對所述多線程應(yīng)用執(zhí)行組件內(nèi)靜態(tài)分析的動作，所述組件內(nèi)靜態(tài)分析包括對于多個(gè)組件中至少一些組件中的每一個(gè)的以下動作；以及

對所述多個(gè)組件執(zhí)行組件間靜態(tài)分析的動作，其中所述執(zhí)行組件間靜態(tài)分析的動作包括對于相應(yīng)組件的至少一個(gè)參數(shù)的多個(gè)組件中至少一些組件的每一個(gè)的以下動作：

確定調(diào)用者組件對所述組件的參數(shù)執(zhí)行的操作類型的動作；

確定相關(guān)聯(lián)的被調(diào)用者組件對所述組件的參數(shù)執(zhí)行的操作類型的動作；以及

協(xié)調(diào)兩種類型的操作的確定以標(biāo)識操作是否針對數(shù)據(jù)競爭被保護(hù)的動作。