Features/record-replay: Difference between revisions

From QEMU
Line 48: Line 48:
==Links==
==Links==
Papers with description of deterministic replay implementation:
Papers with description of deterministic replay implementation:
http://www.computer.org/csdl/proceedings/csmr/2012/4666/00/4666a553-abs.html
* http://www.computer.org/csdl/proceedings/csmr/2012/4666/00/4666a553-abs.html
http://dl.acm.org/citation.cfm?id=2786805.2803179
* http://dl.acm.org/citation.cfm?id=2786805.2803179


Prior QEMU version with block patches added:
Prior QEMU version with block patches added:
https://github.com/Dovgalyuk/qemu/tree/rr-15
https://github.com/Dovgalyuk/qemu/tree/rr-15

Revision as of 07:23, 7 November 2015

Overview

Record/replay feature is implementation of deterministic replay for system-level simulation (softmmu mode).

Record/replay functions are used for the reverse execution and deterministic replay of qemu execution. Determinitsic replay is used to record volatile system execution once and replay it for multiple times for the sake of analysis, debugging, logging, etc. This implementation of deterministic replay can be used for deterministic and reverse debugging of guest code through a gdb remote interface.

Using record/replay

Record/replay feature is tested for i386, x86_64, ARM, and MIPS platforms.

Current version does not support replaying of block devices, serial ports, passthrough USB, and network devices. Therefore record/replay may be used with the following or similar command line options:

qemu-system-arm -M integratorcp -kernel zImage.integrator -initrd arm_root.img -net none

Execution recording may be enabled through icount command line option: -icount shift=7,rr=record,rrfile=replay.bin

To enable replaying icount option should look like this: -icount shift=7,rr=replay,rrfile=replay.bin

Features to add

Full version of record/replay will include support of:

  • Block devices
  • Network adapters
  • Serial ports
  • Passthrough USB devices
  • Automatic VM snapshotting
  • Reverse debugging through GDB

How to get involved

First version of patches of record/replay feature is prepared by ISP RAS

You can mail Pavel Dovgalyuk to get information about patches that were not upstreamed yet.

Links

Papers with description of deterministic replay implementation:

Prior QEMU version with block patches added: https://github.com/Dovgalyuk/qemu/tree/rr-15