[发明专利]用于验证运行时引用的方法

权利要求书

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中的任一项的方法的所有步骤。