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