基于逐步细化快照序列的多核并行程序调试

摘要

多核并行程序的调试是一个公认的困难问题,困难主要来自于程序执行的不确定性.可重现调试提供了消除程序中不确定性的能力,但是现有的可重现调试解决方案都无法应用于商用的软硬件平台中,且进行调试所带来的性能损失会随着并发度的增加而超线性的增长.本文提出了一种基于运行快照的新型并行程序调试方法,Snapshot Debug Tool-SDT.该方法以离线的断点设置、运行快照捕捉和运行快照细化为基础,提出了一套可以指导用户由粗到细发现错误的调试过程,并在通用的软硬件平台上进行了实现.实验结果显示,在8线程的并发条件下,使用SDT调试所带来的时间性能损耗平均为51.88％.同时当线程数增长4倍时,使用SDT所带来的额外时间消耗最多增长1倍,具有很好的可扩展性.