软件DSM系统中的动态数据竞争检测

摘要：

数据竞争是共享存储程序中的一类难于调试的错误.在支持域存储一致性模型的软件DSM系统JIAJIA上,通过采用汇编代码装配技术来获得程序所读写的共享变量集合的方法,实现了基于锁集合的动态数据竞争检测算法.利用本文方法,在TSP和Barnes程序中找到了数据竞争情况,并根据找到的数据竞争,修正了Barnes中的错误.实际使用经验表明,本文方法易于用户使用,达到了实用水平.

关键词：软件分布式共享存储系统、数据竞争、代码装配

所属期刊栏目：25

分类号：TP302(计算技术、计算机技术)

资助基金：中国科学院全国首届优秀博士学位论文基金60073018,69896250;国家自然科学基金

在线出版日期：2005-01-04（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2070-2074