并发进程的一种跟踪与重演算法

并发程序的执行具有“不确定性”，即在同样的输入条件下并发程序的执行结果不一定相同。这使得传统的对于顺序程序的循环调试方法对于并发程序的调试不再有效。通过对并行程序的执行情况进行跟踪和重演，可以保证并发程序在相同的输入时候两次执行完全一样。本分析了基于消息传递的并发程序执行模型，并给出了相应的跟踪和重演算法及其实现。