|
|||||
|
|
| 基于可行序的数据竞争检测 | |
| 引用本文： | 李磊,陈云霁,章隆兵,肖俊华.基于可行序的数据竞争检测[J].高技术通讯,2014(7). |
| 作者姓名： | 李磊 陈云霁 章隆兵 肖俊华 |
| 作者单位： | 1. 计算机体系结构国家重点实验室北京 100190; 中国科学院计算技术研究所北京 100190; 中国科学院大学北京 100049 2. 计算机体系结构国家重点实验室北京 100190; 中国科学院计算技术研究所北京 100190 3. 计算机体系结构国家重点实验室北京 100190; 中国科学院计算技术研究所北京 100190; 龙芯中科技术有限公司北京 100190 |
| 基金项目： | 国家“核高基”科技重大专项课题，国家自然科学基金，863计划(2012AA010901，2012AA011002，2012AA012202，2013AA014301)资助项目。 |
| 摘 要： | 为了在并行程序的单次执行中找到更多的数据竞争，提出了用可行序关系替代传统的“happens before”序关系来动态地实现数据竞争预测的算法。该算法认为：从技术上讲，如果在观测到的执行轨迹中，两个临界区之间没有可行序的关系，那么这两个临界区的顺序可以被颠倒以构造出其他的执行轨迹；通过判断可行序关系来分析这些构造出来的执行轨迹，就可以找到单次执行中未暴露出来的可能的数据竞争；所有构造出来的执行轨迹中的数据竞争，可以在O(an)的时间内全部检测出来，其中n为程序中所有访存操作的个数，a为每个共享地址上的最大锁集合数。在Java Grande测试程序集上的实验结果说明，上述算法可以找到其他动态检测数据竞争的方法找不到的数据竞争，而且算法时间也完全符合理论上的O(an)时间复杂度。 |
| 关 键 词： | 数据竞争 并行程序调试 发生前(HB) 可行序 |
Data race detection via feasibleahead relation |
|
| Li Lei,Chen Yunji,Zhang Longbing,Xiao Junhua.Data race detection via feasibleahead relation[J].High Technology Letters,2014(7). | |
| Authors: | Li Lei Chen Yunji Zhang Longbing Xiao Junhua |
| Abstract: | |
| Keywords: | data race concurrent program debugging happensbefore (HB) feasibleahead |
| 本文献已被 万方数据 等数据库收录！ | |