基于全局同步逻辑时间的访存依赖约减方法

• 作者: 刘志勇 唐士斌 宋风龙 张帅 范东睿
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 多核 并行程序 确定性重放 访存冲突
• 年，卷（期）: 2014,（7）
• 所属期刊栏目: 计算机系统体系结构
• 页码范围: 1487-1499
• 页数: 13页
• 分类号: TP303
• 字数: 9680字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2014.01487

摘要

并发执行的并行多线程程序执行过程中,不同的访存顺序会得到不同的执行结果.由于再次执行时,难以重现首次执行时的错误,导致并行程序的调试非常困难.确定性重放是解决该问题的一种方法,目的是通过记录并行程序执行过程中的不确定性事件,然后利用记录的事件重现出程序的原始执行.然而,已有的确定性重放方法会产生大量的记录日志,如何减小记录日志是确定性重放领域的研究热点,在实际应用中也是非常具有挑战性的问题.为了减小记录日志的开销,文中提出了一种基于逻辑时间的访存依赖约减方法,并在支持松弛存储一致性模型的处理器上提出具体的实现技术,该方法利用了访存依赖对应的逻辑时间之间的序关系进行约减.通过模拟评估所提出方法的性能和可扩展性.其中,在8核模拟平台上,通过Splash2测试程序进行评估,结果显示所提出的记录方法平均日志开销为0.11Bytes/Kilo-Instruction,与目前最好的访存依赖约减方法Timetraveler相比提高了75％;通过4核、8核和16核平台的评估结果,表明所提出约减方法具有较好的可扩展性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋风龙	中国科学院计算技术研究所计算机体系结构国家重点实验室	12	112	6.0	10.0
2	张帅	中国科学院计算技术研究所计算机体系结构国家重点实验室	58	363	8.0	18.0
6	范东睿	中国科学院计算技术研究所计算机体系结构国家重点实验室	35	225	9.0	13.0
7	唐士斌	中国科学院计算技术研究所计算机体系结构国家重点实验室	4	14	2.0	3.0