Institute of Computing Technology, Chinese Academy IR
| 基于可行序的数据竞争检测 | |
李磊; 陈云霁 ; 章隆兵; 肖後华
| |
| 2014 | |
| 发表期刊 | 高技术通讯
 |
| ISSN | 1002-0470 |
| 卷号 | 24期号:7页码:669 |
| 摘要 | 为了在并行程序的单次执行中找到更多的数据竞争,提出了用可行序关系替代传统的“happens-before”序关系来动态地实现数据竞争预测的算法。该算法认为:从技术上讲,如果在观测到的执行轨迹中,两个临界区之间没有可行序的关系,那么这两个临界区的顺序可以被颠倒以构造出其他的执行轨迹;通过判断可行序关系来分析这些构造出来的执行轨迹,就可以找到单次执行中未暴露出来的可能的数据竞争;所有构造出来的执行轨迹中的数据竞争,可以在0(an)的时间内全部检测出来,其中n为程序中所有访存操作的个数,α为每个共享地址上的最大锁集合数。在Java Grande测试程序集上的实验结果说明,上述算法可以找到其他动态检测数据竞争的方法找不到的数据竞争,而且算法时间也完全符合理论上的0(an)时间复杂度。 |
| 关键词 | 数据竞争 并行程序调试 发生前(HB) 可行序 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/30549 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 李磊,陈云霁,章隆兵,等. 基于可行序的数据竞争检测[J]. 高技术通讯,2014,24(7):669. |
| APA | 李磊,陈云霁,章隆兵,&肖後华.(2014).基于可行序的数据竞争检测.高技术通讯,24(7),669. |
| MLA | 李磊,et al."基于可行序的数据竞争检测".高技术通讯 24.7(2014):669. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [李磊]的文章 |
| [陈云霁]的文章 |
| [章隆兵]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [李磊]的文章 |
| [陈云霁]的文章 |
| [章隆兵]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [李磊]的文章 |
| [陈云霁]的文章 |
| [章隆兵]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论