[發明專利]用于驗證運行時引用的方法

有效

• 申請號: 201180057874.5
• 申請日: 2011-10-25
• 公開（公告）號: CN103250136A
• 公開（公告）日: 2013-08-14
• 發明（設計）人: A.賴特;P.R.李;P.A.德沃爾;E.A.艾迪森
• 申請（專利權）人: 國際商業機器公司
• 主分類號: G06F9/45
• 分類號: G06F9/45
• 代理公司: 北京市柳沈律師事務所 11105
• 代理人: 黃小臨

1.一種用于識別在程序列表中聲明的共享存儲區的重疊數據結構的、沖突的所聲明的無效運行時引用的方法，該方法包括以下步驟：

響應于在程序列表中識別出參數列表的第一參數聲明，識別第一運行時調用、以及所述第一運行時調用的通過所述程序列表的順序執行流，以便將數據寫入所述共享存儲區；

響應于在所述程序列表中識別出第二參數列表的第二參數聲明，識別第二運行時調用、以及所述第二運行時調用的通過所述程序列表的順序執行流，以便將數據寫入所述共享存儲區；

當所述第一和第二運行時調用中的每個請求對域訪問時分析所述第一和第二運行時調用的所識別的順序執行流，并生成所述第一和第二運行時調用的元數據狀態；以及

分析所述元數據狀態，以確定所述第一運行時調用的元數據狀態是否與所述第二運行時調用的元數據狀態沖突。

2.根據權利要求1的方法，其中，所述域包括所述運行時調用需要訪問的資源。

3.根據權利要求1的方法，其中，分析元數據的步驟還包括：訪問規則集，所述規則集確定所識別的執行流內運行時調用的重要性。

4.根據權利要求1的方法，還包括：從所生成的元數據狀態生成歷史規則數據。

5.根據權利要求4的方法，還包括：將所述歷史規則數據存儲在數據存儲器中，并用所述歷史規則數據更新分析組件。

6.根據權利要求1或2的方法，還包括：從所述參數列表中的任一個識別是否已請求了鎖定域、資源域或存儲域。

7.根據權利要求6的方法，還包括：響應于鎖定域、資源域或存儲域被識別，在程序的共享存儲區的元數據狀態中填入響應和原因代碼。

8.根據任一前述權利要求的方法，還包括：分析所填入的響應和原因代碼，以便識別對程序的共享存儲區的一個或多個無效交錯調用。

9.根據權利要求1的方法，還包括：生成消息，所述消息包括一個或多個確定的沖突，用于傳送給編譯器、診斷工具的集成開發環境。

10.一種用于識別在程序列表中聲明的共享存儲區的重疊數據結構的、沖突的所聲明的無效運行時引用的裝置，所述裝置包括：

解析組件，響應于在程序列表中識別出參數列表的第一參數聲明，識別第一運行時調用、以及所述第一運行時調用的通過所述程序列表的順序執行流，以便將數據寫入所述共享存儲區；

解析組件，響應于在所述程序列表中識別出第二參數列表的第二參數聲明，識別第二運行時調用、以及所述第二運行時調用的通過所述程序列表的順序執行流，以便將數據寫入所述共享存儲區；

分析組件，當所述第一和第二運行時調用中的每個請求對域訪問時分析所述第一和第二運行時調用的所識別的順序執行流，以及映射組件，生成所述第一和第二運行時調用的元數據狀態；以及

分析組件，分析所述元數據狀態，以確定所述第一運行時調用的元數據狀態是否與所述第二運行時調用的元數據狀態沖突。

11.根據權利要求10的裝置，其中，所述域包括所述運行時調用需要訪問的資源。

12.根據權利要求10的裝置，其中，分析元數據步驟還包括：訪問規則集，所述規則集確定所識別的執行流內的運行時調用的重要性。

13.根據權利要求10的裝置，還包括：歷史組件，從所生成的元數據狀態生成歷史規則數據。

14.根據權利要求13的裝置，還包括：歷史組件，將所述歷史規則數據存儲在數據存儲器中，并用所述歷史規則數據更新分析組件。

15.根據權利要求10或11的裝置，還包括：分析組件，從所述參數列表中的任一個識別是否已請求了鎖定域、資源域或存儲域。

16.根據權利要求15的裝置，還包括：映射組件，響應于鎖定域、資源域或存儲域被識別，在程序的共享存儲區的元數據狀態中填入響應和原因代碼。

17.根據任一前述權利要求的裝置，還包括：分析組件，分析所填入的響應和原因代碼，以便識別對程序的共享存儲區的一個或多個無效交錯調用。

18.根據權利要求10的裝置，還包括：呈現組件，生成消息，所述消息包括一個或多個確定的沖突，用于傳送給編譯器、診斷工具的集成開發環境。

19.一種計算機程序，包括計算機程序代碼，用來在加載到計算機系統并執行時，執行根據權利要求1至9中的任一項的方法的所有步驟。