软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2012年
6期
1620-1634
,共15页
于佳耕%周鹏%武延军%赵琛
于佳耕%週鵬%武延軍%趙琛
우가경%주붕%무연군%조침
执行重放%不确定事件%模型分析%虚拟机%Xen
執行重放%不確定事件%模型分析%虛擬機%Xen
집행중방%불학정사건%모형분석%허의궤%Xen
进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion讨论了Xen DomU中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.
進程重放用于程序調試,無法重現繫統全部狀態,難以分析錯誤根源.而繫統級重放複雜且難于實現,尚無模型分析方法提供理論指導,確保重放執行與記錄執行等價.為瞭使執行重放繫統適用于繫統調試,建立虛擬機指令執行模型,提齣瞭虛擬機執行重放的定義,給齣併證明瞭成功重放的充分條件.根據該充分條件,設計實現瞭基于Xen的虛擬機重放繫統CASMotion.CASMotion討論瞭Xen DomU中不確定事件的種類,給齣各類事件的重放方法以及時間點的匹配算法.CASMotion成功實現瞭不確定事件的準確重放,實驗結果錶明其具有較低的性能損失.
진정중방용우정서조시,무법중현계통전부상태,난이분석착오근원.이계통급중방복잡차난우실현,상무모형분석방법제공이론지도,학보중방집행여기록집행등개.위료사집행중방계통괄용우계통조시,건립허의궤지령집행모형,제출료허의궤집행중방적정의,급출병증명료성공중방적충분조건.근거해충분조건,설계실현료기우Xen적허의궤중방계통CASMotion.CASMotion토론료Xen DomU중불학정사건적충류,급출각류사건적중방방법이급시간점적필배산법.CASMotion성공실현료불학정사건적준학중방,실험결과표명기구유교저적성능손실.
