Efficient Search-Based Automatic Execution Replay for Virtual Machines

被引:0
|
作者
Wang, Tao [1 ]
Zhang, Jianhua [1 ]
Zhang, Wenbo [1 ]
Xu, Jiwei [1 ]
Wei, Jun [1 ]
机构
[1] Chinese Acad Sci, Inst Software, Beijing 100190, Peoples R China
关键词
Replay; Virtual machine; Xen; Cloud computing;
D O I
10.1007/978-3-319-26979-5_13
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Execution replay of virtual machines is a useful method for debugging applications in the cloud computing environment. The traditional methods to reproduce a bug is recording every details during the system runtime. However, these methods will incur much overhead and affect the system performance, especially in a multicore processor system. In this paper, we present a virtualization-based execution replay method consisting of three steps. First, we only record some necessary events in the runtime and take a memory checkpoint in a regular interval. Second, we search for execution paths between every two adjacent checkpoints. Third, we reproduce the bugs according to these paths. We can decrease the logging overhead in the runtime by searching instead of logging. We have implemented the method and evaluate it on Xen. The experimental results demonstrate that our method can reduce the runtime overhead by 30% effectively.
引用
收藏
页码:181 / 194
页数:14
相关论文
共 50 条
  • [1] ReSeer: Efficient search-based replay for multiprocessor virtual machines
    Wang, Tao
    Xu, Jiwei
    Zhang, Wenbo
    Zhang, Jianhua
    Wei, Jun
    Zhong, Hua
    JOURNAL OF SYSTEMS AND SOFTWARE, 2017, 126 : 101 - 112
  • [2] Execution Replay for Multiprocessor Virtual Machines
    Dunlap, George W.
    Lucchetti, Dominic G.
    Chen, Peter M.
    Fetterman, Michael A.
    VEE'08: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON VIRTUAL EXECUTION ENVIRONMENTS, 2008, : 121 - 130
  • [3] Search-Based Concolic Execution for SW Vulnerability Discovery
    Fayozbek, Rustamov
    Choi, Minjun
    Yun, Joobeom
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2018, E101D (10): : 2526 - 2529
  • [4] Efficient execution of UML state machines on a virtual machine
    Schattkowsky, T
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTING TECHNIQUES, 2004, : 209 - 213
  • [5] Execution replay of the entire operating system based on virtual machine
    Wu, Yan-Jun
    Zhou, Peng
    Yu, Jia-Geng
    Beijing Gongye Daxue Xuebao/Journal of Beijing University of Technology, 2010, 36 (SUPPL. 2): : 134 - 141
  • [6] Stride: Search-Based Deterministic Replay in Polynomial Time via Bounded Linkage
    Zhou, Jinguo
    Xiao, Xiao
    Zhang, Charles
    2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 892 - 902
  • [7] Efficient Search-Based Weighted Model Integration
    Zeng, Zhe
    Van den Broeck, Guy
    35TH UNCERTAINTY IN ARTIFICIAL INTELLIGENCE CONFERENCE (UAI 2019), 2020, 115 : 175 - 185
  • [8] Differentiable Architecture Search-Based Automatic Modulation Classification
    Wei, Xun
    Luo, Wang
    Zhang, Xixi
    Yang, Jie
    Gui, Guan
    Ohtsuki, Tomoaki
    2021 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), 2021,
  • [9] Combining Search-based Testing and Dynamic Symbolic Execution by Evolvability Metric
    Zhu, Ziming
    Jiao, Li
    Xu, Xiong
    PROCEEDINGS 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME), 2018, : 59 - 68
  • [10] FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
    Lakhotia, Kiran
    Tillmann, Nikolai
    Harman, Mark
    de Halleux, Jonathan
    TESTING SOFTWARE AND SYSTEMS, 2010, 6435 : 142 - +