并发环境中渐增式追踪重演机制  

Incremental Tracing and Replay Mechanism in Concurrent Environments

作　　者：曾奕[1] 徐宝文[1] 许蕾[1] 

机构地区：[1]东南大学计算机科学与工程系

出　　处：《计算机与数字工程》2005年第3期16-20,共5页Computer & Digital Engineering

基　　金：国家973重点基础研究发展规划项目(项目编号:2002CB312000);国家杰出青年科学基金资助项目(项目编号:60425206);国家自然科学基金(项目编号:90412003;60373066);教育部跨世纪优秀人才基金;高等学校博士学位点专项科研基金(项目编号:20020286004);江苏省计算机

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

关 键 词：并发 不确定性 追踪重演 检查点 消息记录 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]