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

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

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