数据范围化的动态数据竞争检测

    公开(公告)号:CN102314394B

    公开(公告)日:2016-12-14

    申请号:CN201110190783.0

    申请日:2011-06-27

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

Patent Agency Ranking