虚拟机确定性执行重放的模型分析和实现方法

• 作者: 于佳耕 周鹏 武延军 赵琛
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 执行重放 不确定事件 模型分析 虚拟机 Xen
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 操作系统
• 页码范围: 1620-1634
• 分类号: TP316
• 字数: 13734字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2012.04118

摘要

进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion讨论了Xen DomU中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵琛	中国科学院软件研究所基础软件国家工程研究中心	18	65	5.0	7.0
2	周鹏	中国科学院软件研究所基础软件国家工程研究中心	18	254	7.0	15.0
3	武延军	中国科学院软件研究所基础软件国家工程研究中心	35	178	7.0	11.0
4	于佳耕	中国科学院软件研究所基础软件国家工程研究中心	4	6	2.0	2.0