并发环境中渐增式追踪重演机制
曾奕1
徐宝文2
许蕾2
1.东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096;南京师范大学数学与计算机科学学院,南京,2100462.东南大学计算机科学与工程系,南京,210096;江苏省软件质量研究所,南京,210096
摘要：在基于消息传递的并发程序中,由于进程的调度顺序以及消息延时等特性,使得同样输入的不同执行呈现不同的结果,这种并发程序行为的不确定性直接导致了程序错误的不可再现性,即后续的执行无法再现前次执行的错误.以反复执行程序、重复再现故障为核心的循环调试方法变得不再可用.因此,对于并发程序的调试问题,我们将传统的循环调试方法加以扩充,引入追踪和重演的机制,重放程序的某次执行,以消除并发程序的错误不可再现性.
关键词：并发不确定性追踪重演检查点消息记录
分类号：TP31(计算技术、计算机技术)
资助基金：国家重点基础研究发展计划（973计划）(2002CB312 000)国家自然科学基金(604 25206)国家自然科学基金(90412003,60373066)高等学校博士学科点专项科研基金(20020286004)
论文发表日期：2005-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 16-20 )
英文信息