【摘要】 在基于消息传递的并发程序中 ,由于进程的调度顺序以及消息延时等特性 ,使得同样输入的不同执行呈现不同的结果 ,这种并发程序行为的不确定性直接导致了程序错误的不可再现性 ,即后续的执行无法再现前次执行的错误。以反复执行程序、重复再现故障为核心的循环调试方法变得不再可用。因此 ,对于并发程序的调试问题 ,我们将传统的循环调试方法加以扩充 ,引入追踪和重演的机制 ,重放程序的某次执行 ,以消除并发程序的错误不可再现性。更多还原

【Abstract】 In concurrent programs based on message-passing, because of variation in message latencies and process scheduling, different executes on the same input may produce different results. The execution of concurrent programs is non-deterministic, and it leads to the fact that the following executions cannot replay the bugs that the proceeding execution has produced. So, the traditional cycle debugging method, which bases on producing bugs repeatedly, no longer has effective for the concurrent programs. Therefore, this paper introduces a tracing and replay mechanism into the concurrent debugging environments, so as to replay the execution of programs without non-determination.更多还原