【摘 要】
：
在基于消息传递的并发程序中,由于进程的调度顺序以及消息延时等特性,使得同样输入的不同执行呈现不同的结果,这种并发程序行为的不确定性直接导致了程序错误的不可再现性,即
【机 构】
：
东南大学计算机科学与工程系,东南大学计算机科学与工程系
【基金项目】
：
国家重点基础研究发展计划(973计划)，国家自然科学基金，国家自然科学基金，高等学校博士学科点专项科研项目，苏州大学校科研和教改项目
论文部分内容阅读
在基于消息传递的并发程序中,由于进程的调度顺序以及消息延时等特性,使得同样输入的不同执行呈现不同的结果,这种并发程序行为的不确定性直接导致了程序错误的不可再现性,即后续的执行无法再现前次执行的错误.以反复执行程序、重复再现故障为核心的循环调试方法变得不再可用.因此,对于并发程序的调试问题,我们将传统的循环调试方法加以扩充,引入追踪和重演的机制,重放程序的某次执行,以消除并发程序的错误不可再现性.
其他文献
北京电视台节目主持人李向显,是唯一荣获“北京电视台首届观众喜爱的十佳主持人”以及“北京广播电视台十佳员工”称号的“双十佳”。“在荣耀面前,我感到有些压力。但同时这种压力也会让自己更积极地投身到工作当中去。”这位从农村小学教师转行到媒体已经20多年的主持人谦虚地表示。 北京电视台节目主持人李向显,是唯一荣获“北京电视台首届观众喜爱的十佳主持人”以及“北京广播电视台十佳员工”称号的“双十佳”。“在荣
水路运输专业保障队伍,是军交运输保障不可或缺的生力军。新形势下,必须积极适应交通运输行业改革,健全法规制度,增强国防观念,提高整体素质,确保队伍训练质量,努力推进水路
利用遗传算法，依据已有的控制目标直接从实际系统或系统模型中自动生成全局最优的控制规则。在倒立摆系统中进行了仿真。最后的仿真结果，表明本文方法的可行性和有效性。
作为金融联机交易平台重要组成之一的网络服务子系统,其设计与实现关系整体平台系统的安全、可靠.本文对于金融联机交易平台FOTE的网络服务子系统的设计与实现做了细致的分析
国家和军队全面深化改革将使国防动员和后备力量建设迎来一个全新历史时期,进而对党管武装工作提出新的更高要求。必须进一步履行好管武装建武装的政治责任,切实加强民兵预备
未来的系统芯片设计将基于IP设计,为了加强嵌入式核应用商和提供商之间的交流,确保系统芯片的快速上市,降低芯片的开发周期和开发成本,IEEE提出了P1500标准.从基于IP设计系统