论文部分内容阅读
并发程序执行的不确定性导致了程序错误的不可再现性,后续的执行无法再现前次执行的错误,这使得以反复执行程序,重复再现故障为核心的循环调试方法变得不再可用.本文提出了一种基于确定性重演的并发程序的调试方法,确定化并发程序的执行轨迹,重现程序初始运行的错误状态.
基于确定性重演的并发程序调试
【摘 要】
：
并发程序执行的不确定性导致了程序错误的不可再现性,后续的执行无法再现前次执行的错误,这使得以反复执行程序,重复再现故障为核心的循环调试方法变得不再可用.本文提出了一
【机 构】
：
南京师范大学数学与计算机科学学院
【出 处】
：
计算机与数字工程
【发表日期】
：
2005年12期
其他文献
提出了一个基于CORBA通知服务的分布式工作流系统模型,使得工作流的定义可以在执行过程中动态修改,并解决了Client/Server模式中存在的瓶颈效应和单点故障问题.基于CORBA技术
当前高校普遍建立了局域网，但通讯方面仍采用电信专线，给学校增加不少的话费开支，文章阐述了基于校园网利用VoIP构建校园IP电话系统，从对系统的硬件组成、结构及实际应用配置等实