资 源 简 介
针对数据竞争检测过程中的误报和漏报问题提出一种静态数据竞争检测方法。首先，使用控制流分析自动构造线程内和线程间函数调用图;然后，收集线程内变量访问事件信息，定义竞争产生条件并分析检测出所有可能的竞争;其次，为了提高检测的准确率，进行别名变量和别名锁的分析降低漏报和误报;最后，通过控制流分析来抽象访问事件之间的时序关系，并结合程序切片技术对访问事件的发生序关系进行判断，以此避免因忽略线程交互带来的误报。依据该方法，使用Java语言在Soot软件分析框架下实现了一个数据竞争检测工具。在实验中，对JGF和IBMContest基准测试套件中的raytracer和airline等程序进行数据竞争检测，并与目前已有的数据竞争检测算法和工具（HB算法和RVPredict）进行对比。实验结果表明，与HB算法和RVPredict工具相比，该方法检测到的数据竞争总，数分别增加了81%和16%，数据竞争检测的准确率分别提升了约14%和19%，有效地避免了数据竞争检测中的漏报和误报现象。
