中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Subject: Computer Science (provided by Thomson Reuters)
Title:
虚拟机确定性执行重放的模型分析和实现方法
Alternative Title: model analysis and implementation method of deterministic execution replay based on virtual machine
Author: 于佳耕 ; 周鹏 ; 武延军 ; 赵琛
Keyword: 执行重放 ; 不确定事件 ; 模型分析 ; 虚拟机 ; Xen
Source: 软件学报
Issued Date: 2012
Volume: 23, Issue:6, Pages:1620-1634
Indexed Type: CNKI ; CSCD
Department: 中国科学院软件研究所基础软件国家工程研究中心;中国科学院研究生院;
Sponsorship: 国家自然科学基金(90818012)|中国科学院知识创新工程(KGCX2-YW-125)
Abstract: 进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion讨论了Xen DomU中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.
English 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.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15377
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
于佳耕,周鹏,武延军,等. 虚拟机确定性执行重放的模型分析和实现方法[J]. 软件学报,2012-01-01,23(6):1620-1634.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[于佳耕]'s Articles
[周鹏]'s Articles
[武延军]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[于佳耕]‘s Articles
[周鹏]‘s Articles
[武延军]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace