| 软件DSM系统中的动态数据竞争检测 |
| |
| 引用本文： | 章隆兵,吴少刚,张福新.软件DSM系统中的动态数据竞争检测[J].小型微型计算机系统,2004,25(12):2070-2074. |
| |
| 作者姓名： | 章隆兵 吴少刚 张福新 |
| |
| 作者单位： | 中国科学院,计算技术研究所,北京,100080 |
| |
| 基金项目： | 国家自然科学基金项目 ( 60 0 73 0 18,698962 5 0 )资助，中国科学院全国首届优秀博士学位论文作者专项基金资助 |
| |
| 摘 要： | 数据竞争是共享存储程序中的一类难于调试的错误 .在支持域存储一致性模型的软件 DSM系统 JIAJIA上 ,通过采用汇编代码装配技术来获得程序所读写的共享变量集合的方法 ,实现了基于锁集合的动态数据竞争检测算法 .利用本文方法 ,在 TSP和 Barnes程序中找到了数据竞争情况 ,并根据找到的数据竞争 ,修正了 Barnes中的错误 .实际使用经验表明 ,本文方法易于用户使用 ,达到了实用水平
|
| 关 键 词： | 软件分布式共享存储系统 数据竞争 代码装配 |
| 文章编号： | 1000-1220(2004)12-2070-05 |
Data Race Detection of Software Distributed Shared Memory System |
| |
| ZHANG Long-bing,WU Shao-gang,ZHANG Fu-xin.Data Race Detection of Software Distributed Shared Memory System[J].Mini-micro Systems,2004,25(12):2070-2074. |
| |
| Authors: | ZHANG Long-bing WU Shao-gang ZHANG Fu-xin |
| |
| Abstract: | 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. |
| |
| Keywords: | software distributed shared memory system data race code instrumentation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
