微信服务号

微信订阅号

2025年4月5日 22:44 星期六
首页 > 过刊浏览>2012年第23卷第6期 >1620-1634. DOI:10.3724/SP.J.1001.2012.04118
PDF HTML阅读 XML下载 导出引用 引用提醒
虚拟机确定性执行重放的模型分析和实现方法
作者:
基金项目:

国家自然科学基金(90818012); 中国科学院知识创新工程(KGCX2-YW-125)


Model Analysis and Implementation Method of Deterministic Execution Replay Based on Virtual Machine
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [12]
    • |
  • 相似文献 [20]
    • | | |
  • 文章评论
    摘要:

    进程重放用于程序调试,无法重现系统全部状态,难以分析错误根源.而系统级重放复杂且难于实现,尚无模型分析方法提供理论指导,确保重放执行与记录执行等价.为了使执行重放系统适用于系统调试,建立虚拟机指令执行模型,提出了虚拟机执行重放的定义,给出并证明了成功重放的充分条件.根据该充分条件,设计实现了基于Xen的虚拟机重放系统CASMotion.CASMotion 讨论了Xen DomU 中不确定事件的种类,给出各类事件的重放方法以及时间点的匹配算法.CASMotion 成功实现了不确定事件的准确重放,实验结果表明其具有较低的性能损失.

    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.

    参考文献
    [1] Cornelis F, Georges A, Christiaens M, Ronsse M, Ghesquiere T, De Bosschere K. A taxonomy of execution replay systems. In:Proc. of the Int'l Conf. on Advances in Infrastructure for Electronic Business, Education, Science, Medicine, and MobileTechnologies on the Internet. 2003.
    [2] Barham P, Dragovic B, Fraser K, Hand S, Harris T, Ho A, Neugebauer R, Pratt I, Warfield A. Xen and the art of virtualization. In:Proc. of the 19th ACM Symp. on Operating Systems Principles. Bolton: ACM Press, 2003. 164-177. [doi: 10.1145/945445.945462]
    [3] Popek GJ, Goldberg RP. Formal requirements for virtualizable third generation architectures. Communications of the ACM, 1974,17(7):412-421. [doi: 10.1145/361011.361073]
    [4] Damani OP, Garg VK. How to recover efficiently and asynchronously when optimism fails. In: Proc. of the 16th Int'l Conf. onDistributed Computing. 1996. 108-115. [doi: 10.1109/ICDCS.1996.507907]
    [5] Intel 64 and IA-32 Architectures Software Developer's Manual Volume 3B System Programming Guide. Part 2. 2007.
    [6] Chow J, Lucchetti D, Garfinkel T, Lefebvre G, Gardner R, Mason J, Small S, Chen PM. Multi-Stage replay with crosscut. In: Proc.of the 6th ACM SIGPLAN/SIGOPS Int'l Conf. on Virtual Execution Environments (VEE 2010). New York: ACM Press, 2010.13-24. [doi: 10.1145/1735997.1736002]
    [7] Oliveira DAS, de Crandall JR, et al. ExecRecorder: VM-based full-system replay for attack analysis and system recovery. In: Proc.of the 1st Workshop on Architectural and System Support for Improving Software Dependability. San Jose: ACM Press, 2006.66-71. [doi: 10.1145/1181309.1181320]
    [8] Dunlap GW, King ST, et al. ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. SIGOPS OperatingSystem Review, 2002,36(SI):211-224. [doi: 10.1145/1060289.1060309]
    [9] Dunlap GW. Execution replay for intrusion analysis [Ph.D. Thesis]. University of Michigan, 2006.
    [10] Dunlap GW, Lucchetti DG, et al. Execution replay of multiprocessor virtual machines. In: Proc. of the 4th ACM SIGPLAN/SIGOPS Int'l Conf. on Virtual Execution Environments. Seattle: ACM Press, 2008. 121-130. [doi: 10.1145/1346256.1346273]
    [11] Pan ZQ. A non-deterministic events log system based on the paravirtual VM Xen [MS. Thesis]. Wuhan: Huazhong University ofScience and Technology, 2008 (in Chinese with English abstract).
    [12] Ma C. Research on VM-based incremental checkpoint and execution replay [MS. Thesis]. Hangzhou: Zhejiang University, 2008(in Chinese with English abstract).
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

于佳耕,周鹏,武延军,赵琛.虚拟机确定性执行重放的模型分析和实现方法.软件学报,2012,23(6):1620-1634

复制
分享
文章指标
  • 点击次数:4300
  • 下载次数: 6764
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2010-11-12
  • 最后修改日期:2011-08-24
  • 在线发布日期: 2012-06-05
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会CCF数字图书馆Int'l J of Softw Info计算机系统应用
您是第19791963位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京市海淀区中关村南四街4号,邮政编码：100190
电话：010-62562563 传真：010-62562533 Email：jos@iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号