4 * Copyright (c) 2010-2020 Institute for System Programming
5 * of the Russian Academy of Sciences.
7 * This work is licensed under the terms of the GNU GPL, version 2 or later.
8 * See the COPYING file in the top-level directory.
12 #include "qemu/osdep.h"
13 #include "qapi/error.h"
14 #include "sysemu/replay.h"
15 #include "sysemu/runstate.h"
16 #include "replay-internal.h"
17 #include "monitor/hmp.h"
18 #include "monitor/monitor.h"
19 #include "qapi/qapi-commands-replay.h"
20 #include "qapi/qmp/qdict.h"
21 #include "qemu/timer.h"
22 #include "block/snapshot.h"
23 #include "migration/snapshot.h"
25 static bool replay_is_debugging
;
26 static int64_t replay_last_breakpoint
;
27 static int64_t replay_last_snapshot
;
29 bool replay_running_debug(void)
31 return replay_is_debugging
;
34 void hmp_info_replay(Monitor
*mon
, const QDict
*qdict
)
36 if (replay_mode
== REPLAY_MODE_NONE
) {
37 monitor_printf(mon
, "Record/replay is not active\n");
40 "%s execution '%s': instruction count = %"PRId64
"\n",
41 replay_mode
== REPLAY_MODE_RECORD
? "Recording" : "Replaying",
42 replay_get_filename(), replay_get_current_icount());
46 ReplayInfo
*qmp_query_replay(Error
**errp
)
48 ReplayInfo
*retval
= g_new0(ReplayInfo
, 1);
50 retval
->mode
= replay_mode
;
51 if (replay_get_filename()) {
52 retval
->filename
= g_strdup(replay_get_filename());
53 retval
->has_filename
= true;
55 retval
->icount
= replay_get_current_icount();
59 static void replay_break(uint64_t icount
, QEMUTimerCB callback
, void *opaque
)
61 assert(replay_mode
== REPLAY_MODE_PLAY
);
62 assert(replay_mutex_locked());
63 assert(replay_break_icount
>= replay_get_current_icount());
66 replay_break_icount
= icount
;
68 if (replay_break_timer
) {
69 timer_del(replay_break_timer
);
71 replay_break_timer
= timer_new_ns(QEMU_CLOCK_REALTIME
,
75 static void replay_delete_break(void)
77 assert(replay_mode
== REPLAY_MODE_PLAY
);
78 assert(replay_mutex_locked());
80 if (replay_break_timer
) {
81 timer_del(replay_break_timer
);
82 timer_free(replay_break_timer
);
83 replay_break_timer
= NULL
;
85 replay_break_icount
= -1ULL;
88 static void replay_stop_vm(void *opaque
)
90 vm_stop(RUN_STATE_PAUSED
);
91 replay_delete_break();
94 void qmp_replay_break(int64_t icount
, Error
**errp
)
96 if (replay_mode
== REPLAY_MODE_PLAY
) {
97 if (icount
>= replay_get_current_icount()) {
98 replay_break(icount
, replay_stop_vm
, NULL
);
101 "cannot set breakpoint at the instruction in the past");
104 error_setg(errp
, "setting the breakpoint is allowed only in play mode");
108 void hmp_replay_break(Monitor
*mon
, const QDict
*qdict
)
110 int64_t icount
= qdict_get_try_int(qdict
, "icount", -1LL);
113 qmp_replay_break(icount
, &err
);
115 error_report_err(err
);
120 void qmp_replay_delete_break(Error
**errp
)
122 if (replay_mode
== REPLAY_MODE_PLAY
) {
123 replay_delete_break();
125 error_setg(errp
, "replay breakpoints are allowed only in play mode");
129 void hmp_replay_delete_break(Monitor
*mon
, const QDict
*qdict
)
133 qmp_replay_delete_break(&err
);
135 error_report_err(err
);
140 static char *replay_find_nearest_snapshot(int64_t icount
,
141 int64_t *snapshot_icount
)
143 BlockDriverState
*bs
;
144 QEMUSnapshotInfo
*sn_tab
;
145 QEMUSnapshotInfo
*nearest
= NULL
;
148 AioContext
*aio_context
;
150 *snapshot_icount
= -1;
152 bs
= bdrv_all_find_vmstate_bs();
156 aio_context
= bdrv_get_aio_context(bs
);
158 aio_context_acquire(aio_context
);
159 nb_sns
= bdrv_snapshot_list(bs
, &sn_tab
);
160 aio_context_release(aio_context
);
162 for (i
= 0; i
< nb_sns
; i
++) {
163 if (bdrv_all_find_snapshot(sn_tab
[i
].name
, &bs
) == 0) {
164 if (sn_tab
[i
].icount
!= -1ULL
165 && sn_tab
[i
].icount
<= icount
166 && (!nearest
|| nearest
->icount
< sn_tab
[i
].icount
)) {
167 nearest
= &sn_tab
[i
];
172 ret
= g_strdup(nearest
->name
);
173 *snapshot_icount
= nearest
->icount
;
181 static void replay_seek(int64_t icount
, QEMUTimerCB callback
, Error
**errp
)
183 char *snapshot
= NULL
;
184 int64_t snapshot_icount
;
186 if (replay_mode
!= REPLAY_MODE_PLAY
) {
187 error_setg(errp
, "replay must be enabled to seek");
191 snapshot
= replay_find_nearest_snapshot(icount
, &snapshot_icount
);
193 if (icount
< replay_get_current_icount()
194 || replay_get_current_icount() < snapshot_icount
) {
195 vm_stop(RUN_STATE_RESTORE_VM
);
196 load_snapshot(snapshot
, errp
);
200 if (replay_get_current_icount() <= icount
) {
201 replay_break(icount
, callback
, NULL
);
204 error_setg(errp
, "cannot seek to the specified instruction count");
208 void qmp_replay_seek(int64_t icount
, Error
**errp
)
210 replay_seek(icount
, replay_stop_vm
, errp
);
213 void hmp_replay_seek(Monitor
*mon
, const QDict
*qdict
)
215 int64_t icount
= qdict_get_try_int(qdict
, "icount", -1LL);
218 qmp_replay_seek(icount
, &err
);
220 error_report_err(err
);
225 static void replay_stop_vm_debug(void *opaque
)
227 replay_is_debugging
= false;
228 vm_stop(RUN_STATE_DEBUG
);
229 replay_delete_break();
232 bool replay_reverse_step(void)
236 assert(replay_mode
== REPLAY_MODE_PLAY
);
238 if (replay_get_current_icount() != 0) {
239 replay_seek(replay_get_current_icount() - 1,
240 replay_stop_vm_debug
, &err
);
245 replay_is_debugging
= true;
252 static void replay_continue_end(void)
254 replay_is_debugging
= false;
255 vm_stop(RUN_STATE_DEBUG
);
256 replay_delete_break();
259 static void replay_continue_stop(void *opaque
)
262 if (replay_last_breakpoint
!= -1LL) {
263 replay_seek(replay_last_breakpoint
, replay_stop_vm_debug
, &err
);
266 replay_continue_end();
271 * No breakpoints since the last snapshot.
272 * Find previous snapshot and try again.
274 if (replay_last_snapshot
!= 0) {
275 replay_seek(replay_last_snapshot
- 1, replay_continue_stop
, &err
);
278 replay_continue_end();
280 replay_last_snapshot
= replay_get_current_icount();
282 /* Seek to the very first step */
283 replay_seek(0, replay_stop_vm_debug
, &err
);
286 replay_continue_end();
291 bool replay_reverse_continue(void)
295 assert(replay_mode
== REPLAY_MODE_PLAY
);
297 if (replay_get_current_icount() != 0) {
298 replay_seek(replay_get_current_icount() - 1,
299 replay_continue_stop
, &err
);
304 replay_last_breakpoint
= -1LL;
305 replay_is_debugging
= true;
306 replay_last_snapshot
= replay_get_current_icount();
313 void replay_breakpoint(void)
315 assert(replay_mode
== REPLAY_MODE_PLAY
);
316 replay_last_breakpoint
= replay_get_current_icount();
319 void replay_gdb_attached(void)
322 * Create VM snapshot on temporary overlay to allow reverse
323 * debugging even if snapshots were not enabled.
325 if (replay_mode
== REPLAY_MODE_PLAY
326 && !replay_snapshot
) {
327 if (save_snapshot("start_debugging", NULL
) != 0) {
328 /* Can't create the snapshot. Continue conventional debugging. */