aboutsummaryrefslogtreecommitdiff
path: root/stubs/replay.c
diff options
context:
space:
mode:
authorPavel Dovgalyuk <Pavel.Dovgaluk@ispras.ru>2016-03-14 10:45:10 +0300
committerKevin Wolf <kwolf@redhat.com>2016-03-30 12:15:57 +0200
commit63785678f3941c84be01d3ab7867e2742ea9fe3e (patch)
tree789d6d22b463e23ea5737ce9036c8160eccfab1a /stubs/replay.c
parent95b4aed5fd0bec00e2c3f754c86fec5ba7a83a20 (diff)
replay: introduce block devices record/replay
This patch introduces block driver that implement recording and replaying of block devices' operations. All block completion operations are added to the queue. Queue is flushed at checkpoints and information about processed requests is recorded to the log. In replay phase the queue is matched with events read from the log. Therefore block devices requests are processed deterministically. Signed-off-by: Pavel Dovgalyuk <pavel.dovgaluk@ispras.ru> [ kwolf: Rebased onto modified and already applied part of the series ] Signed-off-by: Kevin Wolf <kwolf@redhat.com>
Diffstat (limited to 'stubs/replay.c')
-rw-r--r--stubs/replay.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/stubs/replay.c b/stubs/replay.c
index 2f1a6dc62e..de9fa1ec98 100644
--- a/stubs/replay.c
+++ b/stubs/replay.c
@@ -63,3 +63,7 @@ void replay_char_read_all_save_buf(uint8_t *buf, int offset)
{
abort();
}
+
+void replay_block_event(QEMUBH *bh, uint64_t id)
+{
+}