一种基于同步关系的并行动态数据竞争检测系统

摘要

本发明公开了一种基于同步关系的并行动态数据竞争检测系统，包括过滤模块、记录模块、向量时钟计算模块以及并行检测模块。过滤模块负责监控待检测程序运行过程中各个线程的内存访问操作，过滤冗余的内存访问以及不可能发生数据竞争的访问，过滤后剩下的访问由记录模块写入到各线程对应的记录文件中。向量时钟计算模块从记录文件中读出程序的内存访问记录，计算内存访问的向量时钟。并行检测模块利用向量时钟将检测任务划分成小的任务分配到多个工作线程中并负责汇总检测结果。本发明只记录可能发生竞争的内存访问并对访问区间进行合并压缩，使得记录量大幅减少，同时数据竞争检测算法的并行度较高，能够充分利用多核硬件实现检测加速。