分布式软件事件级重演调试方法与工具

摘要

随着分布式系统的不断发展，分布式软件的调试成为一个日益重要的问题。然而，由于分布式软件执行行为存在“不确定性”，无法应用传统的循环调试方法；同时，全局一致性状态的维护问题使得传统调试中断点和单步调试等方法无法适用。基于事件模型的记录重演机制可使分布式软件的错误再现，同时提供了事件级别的调试方法，可以有效的提高分布式软件的调试效率。
　　本文将基于事件模型的记录重演机制应用到分布式软件的调试中，研究提出了事件级别的重演调试方法。首先，在对分布式软件的特征以及调试需求进行分析的基础上，本文给出了一种基于事件模型的分布式软件调试框架及调试流程。其次，重点研究了监测过程中系统偏序模型的建立、监测后分布式系统因果分布式断点的计算以及重演的控制策略等问题，同时针对分布式调试提出了事件级别的断点和单步调试方法。最后对重演调试策略及事件级别调试方法进行了实现。
　　本文已将所实现工具应用至综合化航空机载分布式领域，通过对实验过程和实验结果的研究和分析，验证了事件级重演调试方法的有效性。

目录

封面

声明

中文摘要

英文摘要

目录

第一章 绪论

1.1 研究背景

1.2 研究目标与内容

1.3 国内外研究现状

1.4 本文组织结构

第二章 相关理论与技术

2.1 事件模型

2.2 分布式系统全局状态

2.3 本章小结

第三章 基于事件模型的分布式软件调试框架

3.1 分布式软件调试需求

3.2 分布式软件调试器框架

3.3 分布式软件调试器工作流程

3.4 本章小结

第四章 分布式软件事件级重演调试方法

4.1 系统模型

4.2 事件级重演调试思想

4.3 实时监测策略

4.4 全局一致性状态实现策略

4.5 重演调试策略

4.6 小结

第五章 分布式软件事件级重演调试工具

5.1 事件级重演调试工具整体分析与设计

5.2 实时监测模块

5.3 重演调试模块

5.4 小结

第六章 实验研究

6.1 实验目的

6.2 实验设计

6.3 实验结果分析

6.4 实验总结

结束语

致谢

参考文献

在研期间研究成果