基于事件模型的分布式調試方法及其監(jiān)測策略的研究.pdf

1、隨著網絡技術的發(fā)展，分布式系統(tǒng)得到了廣泛的應用，然而由于分布式系統(tǒng)運行的“不確定”性、交互調試方法對分布式程序造成的“探針效應”等諸多問題，致使傳統(tǒng)的串行調試方法無法適用于分布式軟件調試。而基于事件模型的分布式調試技術所特有的“監(jiān)測-重演”調試方法使分布式程序的錯誤再現(xiàn)，減少了調試工具對分布式程序造成的“探針效應”，在分布式調試技術的研究中顯現(xiàn)出了諸多優(yōu)勢。
　　本文針對基于事件模型的調試技術進行了研究，首先，在對分布式軟件特征分

2、析及調試需求分析的基礎上，給出了一種基于事件模型的調試框架及相應的調試過程。其次深入研究了基于事件模型分布式調試技術中的監(jiān)測策略以及動態(tài)分析方法，重點研究了監(jiān)測過程檢查點的設置、多米諾消息的判定與解決、依賴集合的判定等問題，同時針對分布式調試需求提出了多種動態(tài)分析邏輯視圖以輔助用戶進行調試。最后對基于事件模型的分布式調試監(jiān)測策略與動態(tài)分析方法進行了實現(xiàn)。
　　實驗研究時，將已實現(xiàn)的分布式調試工具應用在綜合化航電機載分布式領域，通過