基于硬件辅助的用户态并行程序记录方法

摘要：

程序调试工作的首要基础是错误可重现,然而并行程序执行过程存在天然的不确定性,尤其在多核处理器上,如何重现并行程序的错误是一个巨大的挑战.现有的方法或记录整个系统的状态或需要细粒度插桩,存在可用性差与运行时开销大等问题.本文首次提出一种基于硬件辅助的面向用户态并行程序的轻量级记录与重放方法,该方法通过软件协助来记录信号、系统调用与操作系统调度相关的序关系；利用硬件记录访存冲突,同时在记录过程中采用基于目录的方法来压缩日志存储.通过在16核模拟平台上评估,本文提出的方法不仅方便了用户态并行程序调试,同时减少了81％的存储日志开销.

关键词：多核、并行程序、确定性重放、访存冲突

所属期刊栏目：33

分类号：TP303(计算技术、计算机技术)

资助基金：国家"九七三"重点基础研究发展计划项目2011CB302501资助:国家"八六三"高技术研究发展计划项目2012AA010303;国家自然科学基金项目60925009,60921002,61100015,61070025;华为合作项目YBCB2011030

在线出版日期：2013-01-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2243-2248