基于锁集合算法的增强型数据竞争检测方法

作者：富浩; 蔡铭; 董金祥; 金星; 龚宜

来源：浙江大学学报(工学版), 2009, (02): 328-333.

• 体系结构扩展
• 锁集合
• 数据竞争 architecture extension
• lockset
• data race

针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.

• 单位
  浙江大学; 北京神舟航天软件技术有限公司