[发明专利]数据范围化的动态数据竞争检测

摘要

本发明描述了数据范围化的动态数据竞争检测。公开了带有减小运行时开销的数据范围化能力的动态共享存储器数据竞争检测工具。该工具允许用户使用对库中所提供的作为竞争检测工具的一部分的函数的显式调用来将对存储器位置的分析限制于其感兴趣的堆和/或栈变量。操纵应用程序代码来在所有存储器指令处插入探测，并且与数据竞争检测库链接以执行数据范围化的竞争检测。

主权项

一种检测应用程序中的数据竞争的方法，所述方法包括：使用至少一个处理器基于接收到存储器的输入来定义所选择的目标存储器位置；以及使用所述至少一个处理器来监视对所选择的目标存储器位置内的所述应用程序的存储器访问用于数据竞争。