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

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

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