《计算机学报》文章摘要   全文下载
文章题目	基于锁集合的动态数据竞争检测方法
作者	章隆兵1) 张福新1) 吴少刚1) 陈意云2)
作者单位	1)(中国科学院计算技术研究所 北京 100080) 2)(中国科学技术大学计算机系 合肥 230027)
发表年份	2003
发表月份	10期(页码： 1217-1223)
文章摘要	摘要 数据竞争使得共享存储程序难于调试.以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现.这种方法有一个重要缺点，即针对程序的一种输入，对程序的一次执行进行检测，不能检测出所有的可行数据竞争.文中利用存储一致性模型的框架模型，针对域一致性模型提出了增强发生序概念，并依此得出一种基于锁集合的动态数据竞争检测算法，克服了这个问题.在软件DSM系统JIAJIA上的实现获得了很好的性能，应用平均减速比为3.14.利用该方法，在TSP程序中找到了大量的读写数据竞争的情况. 关键词 软件分布式共享存储系统；域一致性模型；数据竞争；增强发生序；JIAJIA 中图法分类号 TP302