| 虚拟机确定性执行重放的模型分析和实现方法 |
| 其他题名 | model analysis and implementation method of deterministic execution replay based on virtual machine
|
| 于佳耕; 周鹏; 武延军; 赵琛
|
| 2012
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 23期号:6页码:1620-1634 |
| 摘要 | 进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion讨论了Xen DomU中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失. |
| 收录类别 | CNKI
; CSCD
|
| 其他摘要 | 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. |
| 关键词 | 执行重放
不确定事件
模型分析
虚拟机
Xen
|
| 部门归属 | 中国科学院软件研究所基础软件国家工程研究中心;中国科学院研究生院;
|
| 学科领域 | Computer Science (Provided By Thomson Reuters)
|
| 资助者 | 国家自然科学基金(90818012)|中国科学院知识创新工程(KGCX2-YW-125)
|
| 语种 | 中文
|
| CSCD记录号 | CSCD:4565359
|
| 内容类型 | 期刊论文
|
| URI标识 | 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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论