并发进程的一种跟踪与重演算法

• 作者: 鞠小林
• 来源期刊: 南通工学院学报(自然科学版)
• 学科: 工学
• 关键词: 并发程序 跟踪 重演 竞态消息
• 年，卷（期）: 2003,（4）
• 页码范围: 73-77
• 页数: 5页
• 分类号: TP311
• 字数: 4604字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2340.2003.04.021

摘要

并发程序的执行具有"不确定性",即在同样的输入条件下并发程序的执行结果不一定相同.这使得传统的对于顺序程序的循环调试方法对于并发程序的调试不再有效.通过对并行程序的执行情况进行跟踪和重演,可以保证并发程序在相同的输入时候两次执行完全一样.本文分析了基于消息传递的并发程序执行模型,并给出了相应的跟踪和重演算法及其实现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	鞠小林	南通工学院信息工程系	2	0	0.0	0.0