支持多核并行程序确定性重放的高效访存冲突记录方法
文献类型:期刊论文
作者 | 刘磊2; 黄河1![]() |
刊名 | 计算机研究与发展
![]() |
出版日期 | 2012 |
卷号 | 49.0期号:1.0页码:64 |
关键词 | 确定性重放 缓存一致性协议 访存冲突 多核 并行程序 |
ISSN号 | 1000-1239 |
英文摘要 | 多核系统中并行程序执行过程的不确定性给程序调试带来了很大的困难.准确记录初始执行中冲突访存的次序是并行程序确定性重放的基础.提出了通过建立精确happens-before关系记录访存冲突的方法.此方法利用简洁高效的地址冲突检测机制确定冲突访存操作在执行中所处happens-before序关系的位置,可以抑制部分记录信息的产生,从而有效减少记录信息.与其他方式方法相比,可以进一步压缩17%的记录条数.采用逻辑向量时钟描述冲突访存操作间的happens-before关系,与采用标量时钟相比,可以避免happens-before关系的误识,降低重放执行时并行度的损失. |
语种 | 英语 |
源URL | [http://119.78.100.204/handle/2XEOYT63/31503] ![]() |
专题 | 中国科学院计算技术研究所期刊论文_中文 |
作者单位 | 1.美普思科技有限公司 2.中国科学院计算技术研究所 |
推荐引用方式 GB/T 7714 | 刘磊,黄河,唐志敏. 支持多核并行程序确定性重放的高效访存冲突记录方法[J]. 计算机研究与发展,2012,49.0(1.0):64. |
APA | 刘磊,黄河,&唐志敏.(2012).支持多核并行程序确定性重放的高效访存冲突记录方法.计算机研究与发展,49.0(1.0),64. |
MLA | 刘磊,et al."支持多核并行程序确定性重放的高效访存冲突记录方法".计算机研究与发展 49.0.1.0(2012):64. |
入库方式: OAI收割
来源:计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。