This set of patches is related to the reverse execution and deterministic 
replay of qemu execution. It includes recording and replaying of serial devices
and block devices operations.

With these patches one can record and deterministically replay behavior
of the system with connected disk drives and serial communication ports
(e.g., telnet terminal).

---

Pavel Dovgalyuk (3):
      replay: character devices
      replay: introduce new checkpoint for icount warp
      replay: introduce block devices record/replay


 block/block-backend.c          |   71 +++++++++++---
 cpus.c                         |    9 +-
 gdbstub.c                      |    2 
 include/qemu/timer.h           |    3 -
 include/sysemu/block-backend.h |   16 +++
 include/sysemu/char.h          |   26 +++++
 include/sysemu/replay.h        |   40 ++++++++
 main-loop.c                    |    2 
 qemu-char.c                    |   56 ++++++++++-
 qemu-timer.c                   |    2 
 replay/Makefile.objs           |    2 
 replay/replay-block.c          |  202 ++++++++++++++++++++++++++++++++++++++++
 replay/replay-char.c           |   97 +++++++++++++++++++
 replay/replay-events.c         |   68 +++++++++++++
 replay/replay-internal.h       |   39 ++++++++
 replay/replay.c                |   25 +++++
 stubs/clock-warp.c             |    2 
 stubs/replay.c                 |   46 +++++++++
 18 files changed, 674 insertions(+), 34 deletions(-)
 create mode 100755 replay/replay-block.c
 create mode 100755 replay/replay-char.c

-- 
Pavel Dovgalyuk

Reply via email to