• 专利标题: 一种自适应轻量级动态混合数据竞争检测方法
  • 申请号: CN202110659412.6
    申请日: 2021-06-15
  • 公开(公告)号: CN113407447B
    公开(公告)日: 2022-09-27
  • 发明人: 孙家泽杨彦漫舒新峰
  • 申请人: 西安邮电大学
  • 申请人地址: 陕西省西安市长安南路563号
  • 专利权人: 西安邮电大学
  • 当前专利权人: 西安邮电大学
  • 当前专利权人地址: 陕西省西安市长安南路563号
  • 主分类号: G06F11/36
  • IPC分类号: G06F11/36
一种自适应轻量级动态混合数据竞争检测方法
摘要:
本发明针对并发程序动态数据竞争检测问题,公开了一种自适应轻量级动态混合数据竞争检测方法,属于并发程序测试领域。该方法首先过滤掉线程本地数据访问和只读数据访问,进而只分析共享内存位置,然后为每个共享内存维护两个历史访问信息读写队列,针对读操作采用自适应轻量级表示方法,当共享内存为读并发状态时切换为向量时钟记录访问信息,否则只记录最后一次访问信息,使用Happpens‑before关系和LockSet算法检测数据竞争。本发明提供了一种自适应轻量级动态混合数据竞争检测方法,有助于提高数据竞争检测准确性,降低检测代价。
公开/授权文献
0/0