基于锁集合的动态数据竞争检测方法

• 作者: 吴少刚 张福新 章隆兵 陈意云
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 软件分布式共享存储系统 域一致性模型 数据竞争 增强发生序 JIAJIA
• 年，卷（期）: 2003,（10）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1217-1223
• 页数: 7页
• 分类号: TP302
• 字数: 7890字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2003.10.001

摘要

数据竞争使得共享存储程序难于调试.以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现.这种方法有一个重要缺点,即针对程序的一种输入,对程序的一次执行进行检测,不能检测出所有的可行数据竞争.文中利用存储一致性模型的框架模型,针对域一致性模型提出了增强发生序概念,并依此得出一种基于锁集合的动态数据竞争检测算法,克服了这个问题.在软件DSM系统JIAJIA上的实现获得了很好的性能,应用平均减速比为3.14.利用该方法,在TSP程序中找到了大量的读写数据竞争的情况.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈意云	中国科学技术大学计算机科学技术系	83	854	16.0	26.0
2	章隆兵	中国科学院计算技术研究所	27	256	6.0	15.0
3	张福新	中国科学院计算技术研究所	17	323	7.0	17.0
4	吴少刚	中国科学院计算技术研究所	5	66	4.0	5.0