本发明针对并发程序动态数据竞争检测问题,公开了一种自适应轻量级动态混合数据竞争检测方法,属于并发程序测试领域。该方法首先过滤掉线程本地数据访问和只读数据访问,进而只分析共享内存位置,然后为每个共享内存维护两个历史访问信息读写队列,针对读操作采用自适应轻量级表示方法,当共享内存为读并发状态时切换为向量时钟记录访问信息,否则只记录最后一次访问信息,使用Happpens‑before关系和LockSet算法检测数据竞争。本发明提供了一种自适应轻量级动态混合数据竞争检测方法,有助于提高数据竞争检测准确性,降低检测代价。
📄 2021106594126
📂 G06F11_36
👤 西安邮电大学
📅 2021-06-15