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 条
  • [41] Search-based automatic path test generation method for character string data
    Department of Computer Science, Beijing University of Chemical Technology, Beijing 100029, China
    不详
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao, 2008, 5 (671-677): : 671 - 677
  • [42] Search-based Automatic Repair for Fairness and Accuracy in Decision-making Software
    Max Hort
    Jie M. Zhang
    Federica Sarro
    Mark Harman
    Empirical Software Engineering, 2024, 29
  • [43] A Search-Based Approach for Test Suite Generation from Extended Finite State Machines
    Rao, Sana
    Jahan, Hosney
    Liu, Dongmei
    PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON PROGRESS IN INFORMATICS AND COMPUTING (PIC), VOL 1, 2016, : 82 - 87
  • [44] Genetic search-based control
    Kureichik, VV
    Kureichik, VM
    AUTOMATION AND REMOTE CONTROL, 2001, 62 (10) : 1698 - 1710
  • [45] Search-based Model Merging
    Kessentini, Marouane
    Werda, Wafa
    Langer, Philip
    Wimmer, Manuel
    GECCO'13: PROCEEDINGS OF THE 2013 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2013, : 1453 - 1460
  • [46] On the Performance of Multidimensional Array Representations in Programming Languages Based on Virtual Execution Machines
    de Carvalho Junior, Francisco Heron
    Rezende, Cenez Araujo
    Silva, Jefferson de Carvalho
    Lins Magalhaes, Francisco Jose
    Juacaba-Neto, Renato Caminha
    PROGRAMMING LANGUAGES, SBLP 2013, 2013, 8129 : 31 - 45
  • [47] Genetic Search-Based Control
    V. V. Kureichik
    V. M. Kureichik
    Automation and Remote Control, 2001, 62 : 1698 - 1710
  • [48] Search-based class discretization
    Torgo, L
    Gama, J
    MACHINE LEARNING : ECML-97, 1997, 1224 : 266 - 273
  • [49] Search-based amorphous slicing
    Fatiregun, D
    Harman, M
    Hierons, RM
    WCRE: 12TH WORKING CONFERENCE ON REVERSE ENGINEERING 2005, PROCEEDINGS, 2005, : 3 - 12
  • [50] Search-based software engineering
    Gutjahr, Walter J.
    Harman, Mark
    COMPUTERS & OPERATIONS RESEARCH, 2008, 35 (10) : 3049 - 3051