基于全局同步逻辑时间的访存依赖约减方法
并发执行的并行多线程程序执行过程中,不同的访存顺序会得到不同的执行结果.由于再次执行时,难以重现首次执行时的错误,导致并行程序的调试非常困难.确定性重放是解决该问题的一种方法,目的是通过记录并行程序执行过程中的不确定性事件,然后利用记录的事件重现出程序的原始执行.然而,已有的确定性重放方法会产生大量的记录日志,如何减小记录日志是确定性重放领域的研究热点,在实际应用中也是非常具有挑战性的问题.为了减小记录日志的开销,文中提出了一种基于逻辑时间的访存依赖约减方法,并在支持松弛存储一致性模型的处理器上提出具体的实现技术,该方法利用了访存依赖对应的逻辑时间之间的序关系进行约减.通过模拟评估所提出方法的性能和可扩展性.其中,在8核模拟平台上,通过Splash2测试程序进行评估,结果显示所提出的记录方法平均日志开销为0.11Bytes/Kilo-Instruction,与目前最好的访存依赖约减方法Timetraveler相比提高了75％;通过4核、8核和16核平台的评估结果,表明所提出约减方法具有较好的可扩展性.
多核、并行程序、确定性重放、访存冲突
37
TP303(计算技术、计算机技术)
This work is partly supported by the National Basic Research Program 973 Program of China under Grant No.2011CB302501,National High Technology Research and Development Program 863 Program of China under Grant No.2012AA010303 and National Natural Science Foundation of China under Grant Nos.6120202011CB302501;国家“八六三”高技术研究发展计划项目基金2012AA010303;国家自然科学基金61202059,60921002,61100015,61070025,61020106002,61161160566,61332009
2014-09-11（万方平台首次上网日期，不代表论文的发表时间）
共13页
1487-1499
