主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
于佳耕,周鹏,武延军,赵琛.虚拟机确定性执行重放的模型分析和实现方法.软件学报,2012,23(6):1620-1634
虚拟机确定性执行重放的模型分析和实现方法
Model Analysis and Implementation Method of Deterministic Execution Replay Based on Virtual Machine
投稿时间:2010-11-12  修订日期:2011-08-24
DOI:10.3724/SP.J.1001.2012.04118
中文关键词:  执行重放  不确定事件  模型分析  虚拟机  Xen
英文关键词:execution replay  non-deterministic event  model analysis  virtual machine  Xen
基金项目:国家自然科学基金(90818012); 中国科学院知识创新工程(KGCX2-YW-125)
作者单位E-mail
于佳耕 中国科学院 软件研究所 基础软件国家工程研究中心,北京 100190
中国科学院 研究生院,北京 100049 
yujiageng734@gmail.com 
周鹏 中国科学院 软件研究所 基础软件国家工程研究中心,北京 100190  
武延军 中国科学院 软件研究所 基础软件国家工程研究中心,北京 100190  
赵琛 中国科学院 软件研究所 基础软件国家工程研究中心,北京 100190  
摘要点击次数: 2950
全文下载次数: 3309
中文摘要:
      进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion 讨论了Xen DomU 中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion 成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利