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