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

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

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