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

摘要

用于识别在程序列表中声明的共享存储区的重叠数据结构的、冲突的所声明的无效运行时引用的方法、装置和计算机程序，该方法包括以下步骤：响应于在程序列表中识别出第一数据结构和参数列表，识别第一例程调用、以及第一例程调用的通过程序列表的顺序执行流，以便将数据写入共享存储区；响应于在程序列表中识别出第二数据结构和第二参数列表，识别第二例程调用、以及第二例程调用的通过程序列表的顺序执行流，以便将数据写入共享存储区；以及确定第二例程调用是否正试图在共享存储区中用第二例程调用的数据覆写第一例程调用的数据。

主权项

一种用于识别在程序列表中声明的共享存储区的重叠数据结构的、冲突的所声明的无效运行时引用的方法，该方法包括以下步骤：响应于在程序列表中识别出参数列表的第一参数声明，识别第一运行时调用、以及所述第一运行时调用的通过所述程序列表的顺序执行流，以便将数据写入所述共享存储区；响应于在所述程序列表中识别出第二参数列表的第二参数声明，识别第二运行时调用、以及所述第二运行时调用的通过所述程序列表的顺序执行流，以便将数据写入所述共享存储区；当所述第一和第二运行时调用中的每个请求对域访问时分析所述第一和第二运行时调用的所识别的顺序执行流，并生成所述第一和第二运行时调用的元数据状态；以及分析所述元数据状态，以确定所述第一运行时调用的元数据状态是否与所述第二运行时调用的元数据状态冲突。