Institute of Computing Technology, Chinese Academy IR
| 基于锁集合的动态数据竞争检测方法 | |
| 章隆兵1; 张福新1; 吴少刚1; 陈意云2 | |
| 2003 | |
| 发表期刊 | 计算机学报
 |
| ISSN | 0254-4164 |
| 卷号 | 26.0期号:010页码:1217 |
| 摘要 | 数据竞争使得共享存储程序难于调试．以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现．这种方法有一个重要缺点，即针对程序的一种输入，对程序的一次执行进行检测，不能检测出所有的可行数据竞争．文中利用存储一致性模型的框架模型，针对域一致性模型提出了增强发生序概念，并依此得出一种基于锁集合的动态数据竞争检测算法，克服了这个问题．在软件DSM系统JIAJIA上的实现获得了很好的性能，应用平均减速比为3．14．利用该方法，在TSP程序中找到了大量的读写数据竞争的情况． |
| 关键词 | 编程技巧 动态数据竞争检测方法 锁集合 软件分布式共享存储系统 域一致性模型 程序并行性 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/35930 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 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. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [章隆兵]的文章 |
| [张福新]的文章 |
| [吴少刚]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [章隆兵]的文章 |
| [张福新]的文章 |
| [吴少刚]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [章隆兵]的文章 |
| [张福新]的文章 |
| [吴少刚]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论