虚拟机确定性执行重放的模型分析和实现方法
作者:
基金项目:

国家自然科学基金(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

复制
分享
文章指标
  • 点击次数:4297
  • 下载次数: 6763
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 收稿日期:2010-11-12
  • 最后修改日期:2011-08-24
  • 在线发布日期: 2012-06-05
文章二维码
您是第19780544位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号