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

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

A Trace and Replay Algorithm of Concurrent Processes

Owing to the unpredictable progress of the processes in the program and the embedded non - deterministic statements of the program language, feeing the same input to several executions of one concurrent program does not lead to the same result. This makes the conventional cycle debugging approach for sequential programs no longer effective for the concurrent program. Tracing and replaying the execution of the program can ensure that two executions will get the same result with the same input. This paper analyses the execution model of the concurrent program based on message passing, and proposes a corresponding trace and replay algorithm of the concurrent processes and its implementation.