| 摘要: |
| 进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion 讨论了Xen DomU 中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion 成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失. |
| 关键词: 执行重放 不确定事件 模型分析 虚拟机 Xen |
| DOI：10.3724/SP.J.1001.2012.04118 |
| 分类号: |
| 基金项目:国家自然科学基金(90818012); 中国科学院知识创新工程(KGCX2-YW-125) |
|
| Model Analysis and Implementation Method of Deterministic Execution Replay Based on Virtual Machine |
|
YU Jia-Geng1,2, ZHOU Peng1, WU Yan-Jun1, ZHAO Chen1
|
|
1.National Engineering Research Center of Fundamental Software, Institute of Software, The Chinese Academy of Sciences, Beijing 100190, China;2.Graduate University, The Chinese Academy of Sciences, Beijing 100049, China
|
| Abstract: |
| To make the replay deterministic, the study presents the definition of VM replay by constructing a VM execution model, and then proves the sufficient conditions of VM replay using formal expressions of the algebra. Based on these conditions, the paper presents CASMotion, a Xen based implementation of VM execution replay. CASMotion classifies the category of non-deterministic events in Xen domU and presents their replaying methods and time matching algorithms. The experiment results show CASMotion can accurately replay the non-deterministic events with low performance penalty. |
| Key words: execution replay non-deterministic event model analysis virtual machine Xen |
