摘要
数据竞争是共享存储程序中的一类难于调试的错误 .在支持域存储一致性模型的软件 DSM系统 JIAJIA上 ,通过采用汇编代码装配技术来获得程序所读写的共享变量集合的方法 ,实现了基于锁集合的动态数据竞争检测算法 .利用本文方法 ,在 TSP和 Barnes程序中找到了数据竞争情况 ,并根据找到的数据竞争 ,修正了 Barnes中的错误 .实际使用经验表明 ,本文方法易于用户使用 。
Shared-Memory parallel program is difficult to debug because of data races. This paper describes a implementation of lockset-based dynamic data race detection algorithm with assemble code instrumentation technique. Our implementation is targeted on a software distributed shared memory(DSM) system called JIAJIA which supports Scope Consistency. we presents an experimental evaluation of Lockset-based technique by looking for data races in six common shared-memory programs. In TSP and Barnes program, some data races have been correctly found. we have correct the bug of Barnes program. The experience shows that our implementation is easy to use and practical.
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第12期2070-2074,共5页
Journal of Chinese Computer Systems
基金
国家自然科学基金项目 ( 60 0 73 0 18
698962 5 0 )资助
中国科学院全国首届优秀博士学位论文作者专项基金资助
关键词
软件分布式共享存储系统
数据竞争
代码装配
software distributed shared memory system
data race
code instrumentation
