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