###
Journal of Software:2012.23(6):1620-1634

虚拟机确定性执行重放的模型分析和实现方法
于佳耕,周鹏,武延军,赵琛
(中国科学院 软件研究所 基础软件国家工程研究中心,北京 100190;中国科学院 研究生院,北京 100049)
Model Analysis and Implementation Method of Deterministic Execution Replay Based on Virtual Machine
YU Jia-Geng,ZHOU Peng,WU Yan-Jun,ZHAO Chen
(National Engineering Research Center of Fundamental Software, Institute of Software, The Chinese Academy of Sciences, Beijing 100190, China;Graduate University, The Chinese Academy of Sciences, Beijing 100049, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3289   Download 3623
Received:November 12, 2010    Revised:August 24, 2011
> 中文摘要: 进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion 讨论了Xen DomU 中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion 成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.
中文关键词: 执行重放  不确定事件  模型分析  虚拟机  Xen
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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(90818012); 中国科学院知识创新工程(KGCX2-YW-125) 国家自然科学基金(90818012); 中国科学院知识创新工程(KGCX2-YW-125)
Foundation items:
Reference text:

于佳耕,周鹏,武延军,赵琛.虚拟机确定性执行重放的模型分析和实现方法.软件学报,2012,23(6):1620-1634

YU Jia-Geng,ZHOU Peng,WU Yan-Jun,ZHAO Chen.Model Analysis and Implementation Method of Deterministic Execution Replay Based on Virtual Machine.Journal of Software,2012,23(6):1620-1634