于锁集合算法的增强型数据竞争检测方法 |
| |
作者姓名: | 富浩 蔡铭 董金祥 金星 龚宜 |
| |
作者单位: | 1.浙江大学 计算机科学与技术学院,浙江 杭州 310027; 2.北京神舟航天软件技术有限公司,北京 100094 |
| |
基金项目: | 航天创新基金资助项目(CASC04);航天支撑技术基金资助项目;浙江大学国防预研基金资助项目. |
| |
摘 要: | 针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.
|
关 键 词: | 体系结构扩展 锁集合 数据竞争 |
|
| 点击此处可从《浙江大学学报(工学版)》浏览原始摘要信息 |
|
点击此处可从《浙江大学学报(工学版)》下载全文 |
|