基于Xen虛擬機(jī)的逆向調(diào)試方法研究與實(shí)現(xiàn).pdf

1、隨著軟件產(chǎn)業(yè)的蓬勃發(fā)展，軟件的規(guī)模和復(fù)雜度越來越高。在軟件開發(fā)過程中，調(diào)試工作的難度也隨之提高。使用一般的調(diào)試方法，往往會遇到這樣的困境：第一，由于系統(tǒng)的并行性和外部環(huán)境的變化，導(dǎo)致軟件錯(cuò)誤無法重現(xiàn)；第二，軟件錯(cuò)誤的影響顯現(xiàn)時(shí)，系統(tǒng)的狀態(tài)已經(jīng)發(fā)生改變，無法通過分析系統(tǒng)當(dāng)前的狀態(tài)來挖掘錯(cuò)誤出現(xiàn)的根源，只能選擇從頭開始運(yùn)行，這樣非常耗費(fèi)時(shí)間。針對這樣的困境，本文提出了一種將確定性記錄回放技術(shù)和逆向調(diào)試相結(jié)合的調(diào)試方法。
　　 本文首

2、先介紹了當(dāng)前國內(nèi)外逆向調(diào)試技術(shù)以及確定性記錄回放技術(shù)的研究進(jìn)展，并分析這兩種技術(shù)在解決前文所提出的困境的可行性。本文著重介紹了基于Xen虛擬機(jī)的逆向調(diào)試方法，其實(shí)現(xiàn)方案主要分為兩個(gè)階段：實(shí)現(xiàn)確定性記錄回放系統(tǒng)；為記錄回放系統(tǒng)添加局部回放功能，并進(jìn)一步實(shí)現(xiàn)逆向調(diào)試系統(tǒng)。
　　 在確定性記錄回放系統(tǒng)的研究中，本文討論了實(shí)現(xiàn)確定性回放所需要記錄的信息以及具體的記錄方法，并設(shè)計(jì)了記錄文件的結(jié)構(gòu)。通過在Xen虛擬機(jī)管理器中添加記錄回放模塊

3、，實(shí)現(xiàn)了收集目標(biāo)對象DomU虛擬機(jī)運(yùn)行信息的記錄功能，以及根據(jù)記錄重現(xiàn)DomU的運(yùn)行過程的回放功能。
　　 在逆向調(diào)試系統(tǒng)的研究過程中，本文首先討論了引入檢查點(diǎn)機(jī)制的必要性和具體的實(shí)現(xiàn)方法；并進(jìn)一步研究了如何將回放系統(tǒng)與GDB調(diào)試器相結(jié)合，實(shí)現(xiàn)提供逆向調(diào)試命令的調(diào)試系統(tǒng)。
　　 實(shí)驗(yàn)結(jié)果表明，本文所實(shí)現(xiàn)的逆向調(diào)試能夠完整地重現(xiàn)調(diào)試對象的運(yùn)行過程，并且可以通過逆向調(diào)試命令使其逆向運(yùn)行，加以分析調(diào)試。而實(shí)現(xiàn)這些功能所帶來的空