论文部分内容阅读
针对多线程程序同时读写同一块内存产生的数据竞争,已有的检测方法漏检率和误检率较高,文章结合静态RELAY法和动态Eraser锁集法,利用数据流的静态法对共同锁集的判断和动态法对共同锁集的保护,有效地降低误检率和漏检率。为减少因重复交织出现的冗余,提出使用重复检测器减少重复检测的数据竞争,提升了检测性能,降低了检测开销。