基于锁集合的动态数据竞争检测方法_节隆兵.pdf

第 26 卷 　第 10 期 计 　　算 　　机 　　学 　　报 Vol . 26 No . 10 2003 年 10 月 CH IN ESE J OU RNAL OF COM PU TER S Oct . 2003 　 基于锁集合的动态数据竞争检测方法 1) 1) 1) 2) 章隆兵 　张福新 　吴少刚 　陈意云 1) ( ) 　 中国科学院计算技术研究所 　北京 100080 2) ( ) 　 中国科学技术大学计算机科学技术系 　合肥 230027 摘 　要 　数据竞争使得共享存储程序难于调试. 以前大部分针对共享存储程序的动态数据竞争检测工作都是通过 维护发生序来实现. 这种方法有一个重要缺点 ,即针对程序的一种输入 ,对程序的一次执行进行检测 ,不能检测出 所有的可行数据竞争. 文中利用存储一致性模型的框架模型 ,针对域一致性模型提出了增强发生序概念 ,并依此得 出一种基于锁集合的动态数据竞争检测算法 ,克服了这个问题. 在软件 DSM 系统 J IAJ IA 上的实现获得了很好的 性能 ,应用平均减速比为 3 . 14 . 利用该方法 ,在 TSP 程序中找到了大量的读写数据竞争的情况. 关键词 　软件分布式共享存储系统 ;域一致性模型 ;数据竞争 ;增强发生序 ;J IAJ IA 中图法分类号 TP302 A LocksetBased Dyna mic Data Race Detection Approach ZHAN G LongBing1) 　ZHAN G FuXin1) 　WU ShaoGang1) 　CHEN YiYun2) ) 1 ( ) 　 I nstit ute of Comp uti ng Technology , Chi nese A cademy of S ciences , B eij i ng 100080 ) 2 ( )