[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PATCH v4 10/19] replay: implement replay-seek command to p
From: |
Pavel Dovgalyuk |
Subject: |
[Qemu-devel] [PATCH v4 10/19] replay: implement replay-seek command to proceed to the desired step |
Date: |
Mon, 28 May 2018 10:14:30 +0300 |
User-agent: |
StGit/0.17.1-dirty |
This patch adds hmp/qmp commands replay_seek/replay-seek that proceed
the execution to the specified step.
The commands automatically loads nearest snapshot and replay the execution
to find the desired step.
Signed-off-by: Pavel Dovgalyuk <address@hidden>
--
v2:
- renamed replay_seek qmp command into replay-seek
(suggested by Eric Blake)
---
hmp-commands.hx | 15 ++++++++
hmp.h | 1 +
qapi/misc.json | 16 ++++++++
replay/replay-debugging.c | 89 +++++++++++++++++++++++++++++++++++++++++++++
4 files changed, 121 insertions(+)
diff --git a/hmp-commands.hx b/hmp-commands.hx
index a6d3f12..3bd418e 100644
--- a/hmp-commands.hx
+++ b/hmp-commands.hx
@@ -1864,6 +1864,21 @@ Execution stops when the specified step is reached.
ETEXI
{
+ .name = "replay_seek",
+ .args_type = "step:i",
+ .params = "step",
+ .help = "rewinds replay to the specified step",
+ .cmd = hmp_replay_seek,
+ },
+
+STEXI
address@hidden replay_seek @var{step}
address@hidden replay_seek
+Automatically proceeds to the specified step, when replaying
+the execution.
+ETEXI
+
+ {
.name = "info",
.args_type = "item:s?",
.params = "[subcommand]",
diff --git a/hmp.h b/hmp.h
index c6b8e37..52ad7b9 100644
--- a/hmp.h
+++ b/hmp.h
@@ -148,5 +148,6 @@ void hmp_info_memory_size_summary(Monitor *mon, const QDict
*qdict);
void hmp_info_sev(Monitor *mon, const QDict *qdict);
void hmp_info_replay(Monitor *mon, const QDict *qdict);
void hmp_replay_break(Monitor *mon, const QDict *qdict);
+void hmp_replay_seek(Monitor *mon, const QDict *qdict);
#endif
diff --git a/qapi/misc.json b/qapi/misc.json
index b02e776..5f2604c 100644
--- a/qapi/misc.json
+++ b/qapi/misc.json
@@ -3150,6 +3150,22 @@
{ 'command': 'replay-break', 'data': { 'step': 'int' } }
##
+# @replay-seek:
+#
+# Automatically proceeds to the specified step, when replaying
+# the execution.
+#
+# @step: destination execution step
+#
+# Since: 3.0
+#
+# Example:
+#
+# -> { "execute": "replay-seek", "data": { "step": 220414 } }
+##
+{ 'command': 'replay-seek', 'data': { 'step': 'int' } }
+
+##
# @xen-load-devices-state:
#
# Load the state of all devices from file. The RAM and the block devices
diff --git a/replay/replay-debugging.c b/replay/replay-debugging.c
index 819017e..8d6c03d 100644
--- a/replay/replay-debugging.c
+++ b/replay/replay-debugging.c
@@ -18,6 +18,8 @@
#include "qapi/qapi-commands-misc.h"
#include "qapi/qmp/qdict.h"
#include "qemu/timer.h"
+#include "block/snapshot.h"
+#include "migration/snapshot.h"
void hmp_info_replay(Monitor *mon, const QDict *qdict)
{
@@ -94,3 +96,90 @@ void hmp_replay_break(Monitor *mon, const QDict *qdict)
return;
}
}
+
+static char *replay_find_nearest_snapshot(int64_t step, int64_t* snapshot_step)
+{
+ BlockDriverState *bs;
+ QEMUSnapshotInfo *sn_tab;
+ QEMUSnapshotInfo *nearest = NULL;
+ char *ret = NULL;
+ int nb_sns, i;
+ AioContext *aio_context;
+
+ *snapshot_step = -1;
+
+ bs = bdrv_all_find_vmstate_bs();
+ if (!bs) {
+ goto fail;
+ }
+ aio_context = bdrv_get_aio_context(bs);
+
+ aio_context_acquire(aio_context);
+ nb_sns = bdrv_snapshot_list(bs, &sn_tab);
+ aio_context_release(aio_context);
+
+ for (i = 0; i < nb_sns; i++) {
+ if (bdrv_all_find_snapshot(sn_tab[i].name, &bs) == 0) {
+ if (sn_tab[i].icount != -1ULL
+ && sn_tab[i].icount <= step
+ && (!nearest || nearest->icount < sn_tab[i].icount)) {
+ nearest = &sn_tab[i];
+ }
+ }
+ }
+ if (nearest) {
+ ret = g_strdup(nearest->name);
+ *snapshot_step = nearest->icount;
+ }
+ g_free(sn_tab);
+
+fail:
+ return ret;
+}
+
+static void replay_seek(int64_t step, Error **errp, QEMUTimerCB callback)
+{
+ char *snapshot = NULL;
+ if (replay_mode != REPLAY_MODE_PLAY) {
+ error_setg(errp, "replay must be enabled to seek");
+ return;
+ }
+ if (!replay_snapshot) {
+ error_setg(errp, "snapshotting is disabled");
+ return;
+ }
+ int64_t snapshot_step = -1;
+ snapshot = replay_find_nearest_snapshot(step, &snapshot_step);
+ if (snapshot) {
+ if (step < replay_get_current_step()
+ || replay_get_current_step() < snapshot_step) {
+ vm_stop(RUN_STATE_RESTORE_VM);
+ load_snapshot(snapshot, errp);
+ }
+ g_free(snapshot);
+ }
+ if (replay_get_current_step() <= step) {
+ replay_break(step, callback, NULL);
+ vm_start();
+ } else {
+ error_setg(errp, "cannot seek to the specified step");
+ }
+}
+
+void qmp_replay_seek(int64_t step, Error **errp)
+{
+ replay_seek(step, errp, replay_stop_vm);
+}
+
+void hmp_replay_seek(Monitor *mon, const QDict *qdict)
+{
+ int64_t step = qdict_get_try_int(qdict, "step", -1LL);
+ Error *err = NULL;
+
+ qmp_replay_seek(step, &err);
+ if (err) {
+ monitor_printf(mon, "replay_seek error: %s\n", error_get_pretty(err));
+ error_free(err);
+ return;
+ }
+}
- [Qemu-devel] [PATCH v4 00/19] reverse debugging, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 01/19] block: implement bdrv_snapshot_goto for blkreplay, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 02/19] replay: disable default snapshot for record/replay, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 03/19] replay: update docs for record/replay with block devices, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 04/19] replay: don't drain/flush bdrv queue while RR is working, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 06/19] qcow2: introduce icount field for snapshots, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 05/19] replay: finish record/replay before closing the disks, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 07/19] migration: introduce icount field for snapshots, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 08/19] replay: introduce info hmp/qmp command, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 09/19] replay: introduce breakpoint at the specified step, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 10/19] replay: implement replay-seek command to proceed to the desired step,
Pavel Dovgalyuk <=
- [Qemu-devel] [PATCH v4 11/19] replay: flush events when exiting, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 12/19] timer: remove replay clock probe in deadline calculation, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 13/19] replay: refine replay-time module, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 14/19] translator: fix breakpoint processing, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 15/19] replay: flush rr queue before loading the vmstate, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 16/19] gdbstub: add reverse step support in replay mode, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 17/19] gdbstub: add reverse continue support in replay mode, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 18/19] replay: describe reverse debugging in docs/replay.txt, Pavel Dovgalyuk, 2018/05/28
- [Qemu-devel] [PATCH v4 19/19] replay: allow loading any snapshots before recording, Pavel Dovgalyuk, 2018/05/28