[发明专利]证明并发处理环境内的执行跟踪的正确性的系统和方法

摘要

本发明涉及一种证明并发处理环境内的执行跟踪的正确性的系统和方法。由于多核处理器已成为通用机器的标准架构，因此要求程序设计者编写针对并行性优化的软件。由于并行代码的复杂性，检验其正确性是一个重要问题。仍缺少提供复杂代码的检验的工具，例如测试代码执行所提供的那样。因此，在此描述了用于评估程序跟踪的正确性的系统和方法。此外，在此描述的系统和方法没有过多的计算要求，并且所评估的程序跟踪的大小将增加。

主权项

一种由计算设备执行的检验包括针对数据结构并行执行的操作的执行历史的正确性的方法，所述方法包括：定义规则集，所述规则集包括定义针对所述数据结构的操作行为的操作规则集、新状态规则集以及旧状态规则集；从存储设备读取所述执行历史；构建包括所述执行历史中包括的每个操作的开始事件和结束事件的事件集，其中每个事件都包括基于每个操作的相应开始时间和结束时间的时间戳；根据每个相应事件的时间戳顺序地处理所述事件集中的每个事件；响应于所述处理而构建状态集，其中当根据所述新状态规则集中包括的新状态规则处理事件创建了新状态时，将新状态添加到所述状态集，以及当根据所述旧状态规则集中包括的旧状态规则处理事件删除了旧状态时，删除所述状态集中的旧状态；以及当所述状态集为空时，将不正确的结果输出到存储设备或显示设备中的至少一个；其中，当已处理每一个事件并且所述状态集包括至少一个状态时，将正确的结果输出到存储设备或显示设备中的至少一个。