分布式调试中基于事件模型的确定性重演策略

doi:10.3969/j.issn.1001-2400.2010.05.017

J4 ›› 2010, Vol. 37 ›› Issue (5): 872-878.doi: 10.3969/j.issn.1001-2400.2010.05.017

分布式调试中基于事件模型的确定性重演策略

李青山^1;李珺¹;叶宏²;杜林¹

(1. 西安电子科技大学软件工程研究所，陕西西安 710071；
2. 西安航空计算技术研究所，陕西西安 710068)

收稿日期:2009-07-20 出版日期:2010-10-20 发布日期:2010-10-11
通讯作者: 李青山
作者简介:李青山(1973-)，男，副教授，博士，E-mail: qshli@mail.xidian.edu.cn．
基金资助:
航空科学基金资助项目(20081981010,20080531005);国家“十一五”国家部委预研资助项目(513060401)

Strategy of deterministic replay debugging based on the event model in distributed debugging

LI Qing-shan¹;LI Jun¹;YE Hong²;DU Lin¹

(1. Research Inst. of Software Engineering, Xidian Univ., Xi'an 710071， China;
2. No.631 Research Inst. of China Aviation Industry Corp., Xi'an 710068， China)

Received:2009-07-20 Online:2010-10-20 Published:2010-10-11
Contact: LI Qing-shan

摘要/Abstract

摘要：

分布式系统中，进程并发执行的不确定性导致了程序错误的不可再现性，后续的执行无法再现前次执行的错误，这使得反复执行程序以重现故障的循环调试方法不再可用．基于事件模型的记录重演机制，提出了一种确定性的重演策略．该策略使得程序的执行轨迹确定化，重现了程序初始运行的错误状态，并结合传统的循环调试策略，通过设立断点或单步调试等方法最终定位错误．

关键词: 分布式调试, 事件模型, 不确定性, 重演

Abstract:

In the distributed system, the nondeterministic feature that the process's concurrency causes the error can not be reproduced. The following execution of the program is unable to reproduce the mistakes that occurred on the previous execution. This causes the circulation debugging method no longer to be available. Based on the event model, by studying the mechanism of record and replay during the debugging process, a strategy for deterministic replay is given. This strategy can make the path of the procedure deterministic, reproducing the program initial error status. Then through the traditional circulation debugging strategy, it is possible to set the breakpoint or to debugging step by step to locate the error.

Key words: distributed debugging, event model, nondeterministic, replay

李青山;李珺;叶宏;杜林. 分布式调试中基于事件模型的确定性重演策略[J]. J4, 2010, 37(5): 872-878.

LI Qing-shan;LI Jun;YE Hong;DU Lin. Strategy of deterministic replay debugging based on the event model in distributed debugging[J]. J4, 2010, 37(5): 872-878.

[1]	肖利军,郭继昌,顾翔元. 一种采用冗余性动态权重的特征选择算法[J]. 西安电子科技大学学报, 2019, 46(5): 155-161.
[2]	庞策,单甘霖,段修生. 目标威胁等级风险控制传感器管理方法[J]. 西安电子科技大学学报, 2019, 46(2): 95-100.
[3]	刘英挺;朱睿杰;杜晓明;赵永利. 全光网中采用可信度模型的故障定位技术[J]. 西安电子科技大学学报, 2016, 43(6): 152-157.
[4]	陈国培1;李俊民1;杨莹1;2. 一类不确定脉冲混合系统的非脆弱控制器设计 [J]. J4, 2008, 35(1): 65-70.
[5]	曹鸿钧;段宝岩. 基于凸集模型的多学科耦合系统不确定性分析[J]. J4, 2005, 32(3): 335-338.
[6]	暂时无作者信息. 非线性不确定系统的鲁棒镇定[J]. J4, 2000, 27(4): 429-433.

分布式调试中基于事件模型的确定性重演策略

Strategy of deterministic replay debugging based on the event model in distributed debugging

PDF (PC)

赞

可视化

被引次数

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 6

Metrics

本文评价

推荐阅读 10