[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
- [Qemu-devel] [PATCH 0/3] Deterministic replay extensions,
Pavel Dovgalyuk <=
- [Qemu-devel] [PATCH 1/3] replay: character devices, Pavel Dovgalyuk, 2016/02/09
- [Qemu-devel] [PATCH 2/3] replay: introduce new checkpoint for icount warp, Pavel Dovgalyuk, 2016/02/09
- [Qemu-devel] [PATCH 3/3] replay: introduce block devices record/replay, Pavel Dovgalyuk, 2016/02/09
- Re: [Qemu-devel] [PATCH 3/3] replay: introduce block devices record/replay, Kevin Wolf, 2016/02/09
- Re: [Qemu-devel] [PATCH 3/3] replay: introduce block devices record/replay, Pavel Dovgalyuk, 2016/02/09
- Re: [Qemu-devel] [PATCH 3/3] replay: introduce block devices record/replay, Kevin Wolf, 2016/02/10
- Re: [Qemu-devel] [PATCH 3/3] replay: introduce block devices record/replay, Pavel Dovgalyuk, 2016/02/10
- Re: [Qemu-devel] [PATCH 3/3] replay: introduce block devices record/replay, Kevin Wolf, 2016/02/10
- Re: [Qemu-devel] [PATCH 3/3] replay: introduce block devices record/replay, Pavel Dovgalyuk, 2016/02/10
- Re: [Qemu-devel] [PATCH 3/3] replay: introduce block devices record/replay, Kevin Wolf, 2016/02/10