基于锁集合的动态数据竞争检测方法
文献类型：期刊论文
| 作者 | 章隆兵1; 张福新1; 吴少刚1; 陈意云2 |
| 刊名 | 计算机学报
 |
| 出版日期 | 2003 |
| 卷号 | 26.0期号:010页码:1217 |
| 关键词 | 编程技巧 动态数据竞争检测方法 锁集合 软件分布式共享存储系统 域一致性模型 程序并行性 |
| ISSN号 | 0254-4164 |
| 英文摘要 | 数据竞争使得共享存储程序难于调试．以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现．这种方法有一个重要缺点，即针对程序的一种输入，对程序的一次执行进行检测，不能检测出所有的可行数据竞争．文中利用存储一致性模型的框架模型，针对域一致性模型提出了增强发生序概念，并依此得出一种基于锁集合的动态数据竞争检测算法，克服了这个问题．在软件DSM系统JIAJIA上的实现获得了很好的性能，应用平均减速比为3．14．利用该方法，在TSP程序中找到了大量的读写数据竞争的情况． |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/35929]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.中国科学技术大学 |
| 推荐引用方式 GB/T 7714 | 章隆兵,张福新,吴少刚,等. 基于锁集合的动态数据竞争检测方法[J]. 计算机学报,2003,26.0(010):1217. |
| APA | 章隆兵,张福新,吴少刚,&陈意云.(2003).基于锁集合的动态数据竞争检测方法.计算机学报,26.0(010),1217. |
| MLA | 章隆兵,et al."基于锁集合的动态数据竞争检测方法".计算机学报 26.0.010(2003):1217. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。