分布式軟件事件級重演調(diào)試方法與工具.pdf

1、隨著分布式系統(tǒng)的不斷發(fā)展，分布式軟件的調(diào)試成為一個日益重要的問題。然而，由于分布式軟件執(zhí)行行為存在“不確定性”，無法應(yīng)用傳統(tǒng)的循環(huán)調(diào)試方法；同時，全局一致性狀態(tài)的維護(hù)問題使得傳統(tǒng)調(diào)試中斷點(diǎn)和單步調(diào)試等方法無法適用。基于事件模型的記錄重演機(jī)制可使分布式軟件的錯誤再現(xiàn)，同時提供了事件級別的調(diào)試方法，可以有效的提高分布式軟件的調(diào)試效率。
　　本文將基于事件模型的記錄重演機(jī)制應(yīng)用到分布式軟件的調(diào)試中，研究提出了事件級別的重演調(diào)試方法。首先

2、，在對分布式軟件的特征以及調(diào)試需求進(jìn)行分析的基礎(chǔ)上，本文給出了一種基于事件模型的分布式軟件調(diào)試框架及調(diào)試流程。其次，重點(diǎn)研究了監(jiān)測過程中系統(tǒng)偏序模型的建立、監(jiān)測后分布式系統(tǒng)因果分布式斷點(diǎn)的計(jì)算以及重演的控制策略等問題，同時針對分布式調(diào)試提出了事件級別的斷點(diǎn)和單步調(diào)試方法。最后對重演調(diào)試策略及事件級別調(diào)試方法進(jìn)行了實(shí)現(xiàn)。
　　本文已將所實(shí)現(xiàn)工具應(yīng)用至綜合化航空機(jī)載分布式領(lǐng)域，通過對實(shí)驗(yàn)過程和實(shí)驗(yàn)結(jié)果的研究和分析，驗(yàn)證了事件級重演調(diào)試