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 条
  • [31] Automatic clustering using a local search-based human mental search algorithm for image segmentation
    Mousavirad, Seyed Jalaleddin
    Ebrahimpour-Komleh, Hossein
    Schaefer, Gerald
    APPLIED SOFT COMPUTING, 2020, 96
  • [32] Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering
    Alexandru Burdusel
    Steffen Zschaler
    Stefan John
    Software and Systems Modeling, 2021, 20 : 1857 - 1887
  • [33] Automatic generation of atomic multiplicity-preserving search operators for search-based model engineering
    Burdusel, Alexandru
    Zschaler, Steffen
    John, Stefan
    SOFTWARE AND SYSTEMS MODELING, 2021, 20 (06): : 1857 - 1887
  • [34] Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing
    Papadakis, Mike
    Malevris, Nicos
    SOFTWARE QUALITY JOURNAL, 2011, 19 (04) : 691 - 723
  • [35] Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing
    Papadakis, Mike
    Malevris, Nicos
    Software Quality Journal, 2011, 19 (04): : 691 - 723
  • [36] Search-based Automatic Repair for Fairness and Accuracy in Decision-making Software
    Hort, Max
    Zhang, Jie M.
    Sarro, Federica
    Harman, Mark
    EMPIRICAL SOFTWARE ENGINEERING, 2024, 29 (01)
  • [37] pRnR: A Parallel Record-Replay Framework for Virtual Machines
    Wang, Wei
    Cui, Lei
    Hao, Zhiyu
    Fei, Haiqiang
    Wang, Chonghua
    Peng, Yaqiong
    2020 IEEE 38TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2020), 2020, : 610 - 618
  • [38] Efficient search-based inference for noisy-OR belief networks: TopEpsilon
    Huang, K
    Henrion, M
    UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, 1996, : 325 - 331
  • [39] Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing
    Mike Papadakis
    Nicos Malevris
    Software Quality Journal, 2011, 19
  • [40] Automatic Test Data Generation Using the Activity Diagram and Search-Based Technique
    Jaffari, Aman
    Yoo, Cheol-Jung
    Lee, Jihyun
    APPLIED SCIENCES-BASEL, 2020, 10 (10):