The following series includes the following record/replay-related changes:
- simplified async event processing
- updated record/replay documentation, which was also converted to rst
- avocado tests for record/replay of Linux for x86_64 and Aarch64
- some bugfixes
v3 changes:
- rebased to master
v2 changes:
- rebased to master
- fixed some issues found by Richard Henderson
---
Pavel Dovgalyuk (9):
replay: fix event queue flush for qemu shutdown
replay: notify vCPU when BH is scheduled
replay: rewrite async event handling
replay: simplify async event processing
docs: convert docs/devel/replay page to rst
docs: move replay docs to docs/system/replay.rst
tests/avocado: update replay_linux test
tests/avocado: add replay Linux tests for virtio machine
tests/avocado: add replay Linux test for Aarch64 machines
accel/tcg/tcg-accel-ops-icount.c | 5 +-
docs/devel/index-tcg.rst | 1 +
docs/devel/replay.rst | 306 +++++++++++++++++++++++
docs/devel/replay.txt | 46 ----
docs/replay.txt | 410 -------------------------------
docs/system/index.rst | 1 +
docs/system/replay.rst | 237 ++++++++++++++++++
include/sysemu/cpu-timers.h | 1 +
include/sysemu/replay.h | 9 +-
replay/replay-events.c | 56 ++---
replay/replay-internal.h | 37 ++-
replay/replay-snapshot.c | 2 -
replay/replay.c | 75 +++---
softmmu/icount.c | 12 +-
stubs/icount.c | 4 +
tests/avocado/replay_linux.py | 86 ++++++-
util/async.c | 8 +
17 files changed, 726 insertions(+), 570 deletions(-)
create mode 100644 docs/devel/replay.rst
delete mode 100644 docs/devel/replay.txt
delete mode 100644 docs/replay.txt
create mode 100644 docs/system/replay.rst
--
Pavel Dovgalyuk