论文部分内容阅读
并发程序执行的不确定性导致了程序错误的不可再现性,后续的执行无法再现前次执行的错误,这使得以反复执行程序,重复再现故障为核心的循环调试方法变得不再可用.本文提出了一种基于确定性重演的并发程序的调试方法,确定化并发程序的执行轨迹,重现程序初始运行的错误状态.
基于确定性重演的并发程序调试
【摘 要】
：
并发程序执行的不确定性导致了程序错误的不可再现性,后续的执行无法再现前次执行的错误,这使得以反复执行程序,重复再现故障为核心的循环调试方法变得不再可用.本文提出了一
【机 构】
：
南京师范大学数学与计算机科学学院
【出 处】
：
计算机与数字工程
【发表日期】
：
2005年12期
其他文献
今年秋，我市举行第九届课改展示活动，主题是优化教学行为，促进有效教学，我上了一节三角函数单元复习课，得到与会专家和同行的一致好评，下面，我谈谈这节课的构想和我的一些思考．
【正】 近年来,为适应干部“四化”的要求,组织人事部门从各行业中选拔了一大批德才兼备的高级干部(指局级以上)。这些同志的特点是文化高、年龄轻,其中有不少以前是从事各种
提出了一个基于CORBA通知服务的分布式工作流系统模型,使得工作流的定义可以在执行过程中动态修改,并解决了Client/Server模式中存在的瓶颈效应和单点故障问题.基于CORBA技术
解析几何中的点、线与圆锥曲线的位置关系很多都是与向量结合起来的，即用向量的形式来反应他们的位置关系，那么对诸如→AF1=m→F1B向量形式反应TA、F，、B三点的位置关系，这种关系
乳腺增生病是中青年妇女的常见病、多发病。笔者采用自拟解郁化痰汤治疗乳腺增生病35例，取得了较满意疗效，报道如下。
人类的进步始终是在“？”的牵引下产生的，正所谓无“问”何思，无“思”何明，孔子所说的“每事问”就是对问题意识的最好说明．然纵观我们现在的教学不乏让人有些悲哀——我们的孩子
当前高校普遍建立了局域网，但通讯方面仍采用电信专线，给学校增加不少的话费开支，文章阐述了基于校园网利用VoIP构建校园IP电话系统，从对系统的硬件组成、结构及实际应用配置等实
高中数学教科书第二册（上），“不等式的证明”一节例2，题目形式看似简单，但内涵丰富，在讲解时可以有意构思，诱发学生，探究本质，灵活运用，充分发挥一道例题的意外功能，既培养学生的思维能