| 基于锁集合算法的增强型数据竞争检测方法 |
| |
| 引用本文： | 富浩,蔡铭,董金祥,金星,龚宜.基于锁集合算法的增强型数据竞争检测方法[J].浙江大学学报(自然科学版 ),2009,43(2). |
| |
| 作者姓名： | 富浩 蔡铭 董金祥 金星 龚宜 |
| |
| 作者单位： | 富浩,蔡铭,董金祥,龚宜,FU Hao,CAI Ming,DONG Jin-xiang,GONG Yi(浙江大学,计算机科学与技术学院,浙江,杭州,310027);金星,JIN Xing(北京神舟航天软件技术有限公司,北京,100094)
|
| |
| 基金项目： | 航天创新基金，航天支撑技术基金，浙江大学国防预研基金 |
| |
| 摘 要： | 针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.
|
| 关 键 词： | 体系结构扩展 锁集合 数据竞争 |
Enhanced data race detection approach based on lockset algorithm |
| |
| FU Hao,CAI Ming,DONG Jin-xiang,JIN Xing,GONG Yi.Enhanced data race detection approach based on lockset algorithm[J].Journal of Zhejiang University(Engineering Science),2009,43(2). |
| |
| Authors: | FU Hao CAI Ming DONG Jin-xiang JIN Xing GONG Yi |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
