虚拟机确定性执行重放的模型分析和实现方法
文献类型：期刊论文
| 作者 | 于佳耕 ; 周鹏 ; 武延军 ; 赵琛 |
| 刊名 | 软件学报
 |
| 出版日期 | 2012 |
| 卷号 | 23期号:6页码:1620-1634 |
| 关键词 | 执行重放 不确定事件 模型分析 虚拟机 Xen |
| ISSN号 | 1000-9825 |
| 其他题名 | model analysis and implementation method of deterministic execution replay based on virtual machine |
| 中文摘要 | 进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于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. |
| 学科主题 | Computer Science (provided by Thomson Reuters) |
| 收录类别 | CNKI ; CSCD |
| 资助信息 | 国家自然科学基金(90818012)|中国科学院知识创新工程(KGCX2-YW-125) |
| 语种 | 中文 |
| CSCD记录号 | CSCD:4565359 |
| 公开日期 | 2013-09-17 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15377]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 于佳耕,周鹏,武延军,等. 虚拟机确定性执行重放的模型分析和实现方法[J]. 软件学报,2012,23(6):1620-1634. |
| APA | 于佳耕,周鹏,武延军,&赵琛.(2012).虚拟机确定性执行重放的模型分析和实现方法.软件学报,23(6),1620-1634. |
| MLA | 于佳耕,et al."虚拟机确定性执行重放的模型分析和实现方法".软件学报 23.6(2012):1620-1634. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。