Institutional Repository
| 虚拟机确定性执行重放的模型分析和实现方法 | |
| Alternative Title | model analysis and implementation method of deterministic execution replay based on virtual machine |
| 于佳耕; 周鹏; 武延军; 赵琛 | |
| 2012 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 23Issue:6Pages:1620-1634 |
| English Abstract | 进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion讨论了Xen DomU中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失. |
| Indexed Type | CNKI ; CSCD |
| 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. |
| Keyword | 执行重放 不确定事件 模型分析 虚拟机 Xen |
| Department | 中国科学院软件研究所基础软件国家工程研究中心;中国科学院研究生院; |
| Subject | Computer Science (Provided By Thomson Reuters) |
| Sponsorship | 国家自然科学基金(90818012)|中国科学院知识创新工程(KGCX2-YW-125) |
| Language | 中文 |
| CSCD ID | CSCD:4565359 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15377 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 于佳耕,周鹏,武延军,等. 虚拟机确定性执行重放的模型分析和实现方法[J]. 软件学报,2012,23(6):1620-1634. |
| APA | 于佳耕,周鹏,武延军,&赵琛.(2012).虚拟机确定性执行重放的模型分析和实现方法.软件学报,23(6),1620-1634. |
| MLA | 于佳耕,et al."虚拟机确定性执行重放的模型分析和实现方法".软件学报 23.6(2012):1620-1634. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment