| 并发环境中渐增式追踪重演机制 |
| |
| 引用本文： | 曾奕,徐宝文,许蕾.并发环境中渐增式追踪重演机制[J].计算机与数字工程,2005,33(3):16-20. |
| |
| 作者姓名： | 曾奕 徐宝文 许蕾 |
| |
| 作者单位： | 东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096;南京师范大学数学与计算机科学学院,南京,210046;东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096 |
| |
| 基金项目： | 国家973重点基础研究发展规划项目(项目编号:2002CB312000)，国家杰出青年科学基金资助项目(项目编号:60425206)，国家自然科学基金(项目编号:90412003,60373066)，教育部跨世纪优秀人才基金，高等学校博士学位点专项科研基金(项目编号:20020286004)，江苏省计算机 |
| |
| 摘 要： | 在基于消息传递的并发程序中，由于进程的调度顺序以及消息延时等特性，使得同样输入的不同执行呈现不同的结果，这种并发程序行为的不确定性直接导致了程序错误的不可再现性，即后续的执行无法再现前次执行的错误。以反复执行程序、重复再现故障为核心的循环调试方法变得不再可用。因此，对于并发程序的调试问题，我们将传统的循环调试方法加以扩充，引入追踪和重演的机制，重放程序的某次执行，以消除并发程序的错误不可再现性。
|
| 关 键 词： | 并发 不确定性 追踪重演 检查点 消息记录 |
| 修稿时间： | 2003年11月3日 |
Incremental Tracing and Replay Mechanism in Concurrent Environments |
| |
| Zeng Yi,Xu Baowen,Xu Lei.Incremental Tracing and Replay Mechanism in Concurrent Environments[J].Computer and Digital Engineering,2005,33(3):16-20. |
| |
| Authors: | Zeng Yi Xu Baowen Xu Lei |
| |
| Affiliation: | Zeng Yi 1)2)3) Xu Baowen 1)2) Xu Lei 1)2) |
| |
| 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. |
| |
| Keywords: | concurrent non-deterministic tracing and replay checkpoint message logging |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
