基于虛擬機的增量檢查點和執(zhí)行重放技術(shù)研究.pdf

1、交互式調(diào)試要求我們能重現(xiàn)測試過程中發(fā)現(xiàn)的bug，反復(fù)執(zhí)行程序，逐步定位錯誤的根源。然而，隨著計算機體系結(jié)構(gòu)、程序設(shè)計語言等的不斷豐富，以及計算機應(yīng)用的快速發(fā)展，軟件系統(tǒng)規(guī)模不斷增大，任務(wù)復(fù)雜度不斷提高，軟件的并發(fā)性不斷加強，程序中存在著大量不確定性的因素導(dǎo)致bug難以復(fù)現(xiàn)。 為了解決這個問題，學(xué)術(shù)界提出了執(zhí)行重放的方法，找出程序中所有不確定因素，并在一次執(zhí)行中將它們的表現(xiàn)記錄下來，使得這些不確定因素始終按記錄中的方式表現(xiàn)。采用重

2、放的方法支持軟件調(diào)試與故障診斷具有實現(xiàn)成本低、調(diào)試效果好等特點。 但是，現(xiàn)有的重放系統(tǒng)只關(guān)注于應(yīng)用程序，無法支持系統(tǒng)級的重放，并且這些技術(shù)往往需要修改操作系統(tǒng)或庫函數(shù)?；谔摂M機擴展技術(shù)的重放技術(shù)不需要修改應(yīng)用程序與操作系統(tǒng)，系統(tǒng)的行為能夠與真實情況下做到盡可能的一致，‘對于用戶來說可以做到透明。因而我們采取這種方法來實現(xiàn)系統(tǒng)的重放，研發(fā)了全系統(tǒng)重放系統(tǒng)Bbreplayer(bochs-based replayer)。Bbrep