摘要
并发程序执行的不确定性导致了程序错误的不可再现性,后续的执行无法再现前次执行的错误,这使得以反复执行程序,重复再现故障为核心的循环调试方法变得不再可用。本文提出了一种基于确定性重演的并发程序的调试方法,确定化并发程序的执行轨迹,重现程序初始运行的错误状态。
The execution of concurrent programs is non - deterministic, and it leads to the fact that the following executions can not replay the bug which the proceeding execution has produced. So, the traditional cycle debugging which bases on producing bugs repeatedly no longer has effective for the concurrent programs. In this paper, we present a method to debug concurrent programs based on replay, which makes the execution deterministic and replays the original status of errors.
出处
《计算机与数字工程》
2005年第12期43-45,共3页
Computer & Digital Engineering
关键词
并发
不确定性
调试
重演
concurrent, non-deterministic, debug, replay