qemu-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Qemu-devel] [PATCH 0/3] Deterministic replay extensions


From: Pavel Dovgalyuk
Subject: [Qemu-devel] [PATCH 0/3] Deterministic replay extensions
Date: Tue, 09 Feb 2016 08:55:07 +0300
User-agent: StGit/0.16

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

[Prev in Thread] Current Thread [Next in Thread]