并行调试环境中的追踪和重演

通过传递消息进行通信的并行程序,由于受进程调度和消息等待时间变化的影响,其执行结果可能是不确定的。这导致调试时相继执行不能再现先前的故障,为此,在并行调试环境中引入了追踪和重演机制。本文详细讨论了一种比较先进的追踪和重演算法及其工程实现。