一种基于检查点的并行程序调试器的设计与实现

摘要

为支持大规模长时间运行并行程序的调试,有必要将检查点机制引入到并行程序调试器中.检查点设置与卷回应用中需要解决中途消息、孤儿消息和多米诺效应、活锁4个问题;并行程序调试中需要解决不确定性问题.提出的基于状态冻结的确定性检查点设置方法,可以避免检查点应用中孤儿消息和多米诺效应、活锁3个问题,通过消息记录的方法处理中途消息问题;采用记录/重放方法解决并行调试中的不确定性问题.基于状态冻结的确定性检查点设置方法,有效地解决了并行程序调试器和检查点结合时产生的诸多问题.该方法具有结构清晰、易于实现的优点.基于此技术,设计并实现了一个并行调试工具--DENNET.