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());
54 retval
->icount
= replay_get_current_icount();
58 static void replay_break(uint64_t icount
, QEMUTimerCB callback
, void *opaque
)
60 assert(replay_mode
== REPLAY_MODE_PLAY
);
61 assert(replay_mutex_locked());
62 assert(replay_break_icount
>= replay_get_current_icount());
65 replay_break_icount
= icount
;
67 if (replay_break_timer
) {
68 timer_del(replay_break_timer
);
70 replay_break_timer
= timer_new_ns(QEMU_CLOCK_REALTIME
,
74 static void replay_delete_break(void)
76 assert(replay_mode
== REPLAY_MODE_PLAY
);
77 assert(replay_mutex_locked());
79 if (replay_break_timer
) {
80 timer_free(replay_break_timer
);
81 replay_break_timer
= NULL
;
83 replay_break_icount
= -1ULL;
86 static void replay_stop_vm(void *opaque
)
88 vm_stop(RUN_STATE_PAUSED
);
89 replay_delete_break();
92 void qmp_replay_break(int64_t icount
, Error
**errp
)
94 if (replay_mode
== REPLAY_MODE_PLAY
) {
95 if (icount
>= replay_get_current_icount()) {
96 replay_break(icount
, replay_stop_vm
, NULL
);
99 "cannot set breakpoint at the instruction in the past");
102 error_setg(errp
, "setting the breakpoint is allowed only in play mode");
106 void hmp_replay_break(Monitor
*mon
, const QDict
*qdict
)
108 int64_t icount
= qdict_get_try_int(qdict
, "icount", -1LL);
111 qmp_replay_break(icount
, &err
);
113 error_report_err(err
);
118 void qmp_replay_delete_break(Error
**errp
)
120 if (replay_mode
== REPLAY_MODE_PLAY
) {
121 replay_delete_break();
123 error_setg(errp
, "replay breakpoints are allowed only in play mode");
127 void hmp_replay_delete_break(Monitor
*mon
, const QDict
*qdict
)
131 qmp_replay_delete_break(&err
);
133 error_report_err(err
);
138 static char *replay_find_nearest_snapshot(int64_t icount
,
139 int64_t *snapshot_icount
)
141 BlockDriverState
*bs
;
142 QEMUSnapshotInfo
*sn_tab
;
143 QEMUSnapshotInfo
*nearest
= NULL
;
147 AioContext
*aio_context
;
149 *snapshot_icount
= -1;
151 bs
= bdrv_all_find_vmstate_bs(NULL
, false, NULL
, NULL
);
155 aio_context
= bdrv_get_aio_context(bs
);
157 aio_context_acquire(aio_context
);
158 nb_sns
= bdrv_snapshot_list(bs
, &sn_tab
);
159 aio_context_release(aio_context
);
161 for (i
= 0; i
< nb_sns
; i
++) {
162 rv
= bdrv_all_has_snapshot(sn_tab
[i
].name
, false, NULL
, NULL
);
166 if (sn_tab
[i
].icount
!= -1ULL
167 && sn_tab
[i
].icount
<= icount
168 && (!nearest
|| nearest
->icount
< sn_tab
[i
].icount
)) {
169 nearest
= &sn_tab
[i
];
174 ret
= g_strdup(nearest
->name
);
175 *snapshot_icount
= nearest
->icount
;
183 static void replay_seek(int64_t icount
, QEMUTimerCB callback
, Error
**errp
)
185 char *snapshot
= NULL
;
186 int64_t snapshot_icount
;
188 if (replay_mode
!= REPLAY_MODE_PLAY
) {
189 error_setg(errp
, "replay must be enabled to seek");
193 snapshot
= replay_find_nearest_snapshot(icount
, &snapshot_icount
);
195 if (icount
< replay_get_current_icount()
196 || replay_get_current_icount() < snapshot_icount
) {
197 vm_stop(RUN_STATE_RESTORE_VM
);
198 load_snapshot(snapshot
, NULL
, false, NULL
, errp
);
202 if (replay_get_current_icount() <= icount
) {
203 replay_break(icount
, callback
, NULL
);
206 error_setg(errp
, "cannot seek to the specified instruction count");
210 void qmp_replay_seek(int64_t icount
, Error
**errp
)
212 replay_seek(icount
, replay_stop_vm
, errp
);
215 void hmp_replay_seek(Monitor
*mon
, const QDict
*qdict
)
217 int64_t icount
= qdict_get_try_int(qdict
, "icount", -1LL);
220 qmp_replay_seek(icount
, &err
);
222 error_report_err(err
);
227 static void replay_stop_vm_debug(void *opaque
)
229 replay_is_debugging
= false;
230 vm_stop(RUN_STATE_DEBUG
);
231 replay_delete_break();
234 bool replay_reverse_step(void)
238 assert(replay_mode
== REPLAY_MODE_PLAY
);
240 if (replay_get_current_icount() != 0) {
241 replay_seek(replay_get_current_icount() - 1,
242 replay_stop_vm_debug
, &err
);
247 replay_is_debugging
= true;
254 static void replay_continue_end(void)
256 replay_is_debugging
= false;
257 vm_stop(RUN_STATE_DEBUG
);
258 replay_delete_break();
261 static void replay_continue_stop(void *opaque
)
264 if (replay_last_breakpoint
!= -1LL) {
265 replay_seek(replay_last_breakpoint
, replay_stop_vm_debug
, &err
);
268 replay_continue_end();
273 * No breakpoints since the last snapshot.
274 * Find previous snapshot and try again.
276 if (replay_last_snapshot
!= 0) {
277 replay_seek(replay_last_snapshot
- 1, replay_continue_stop
, &err
);
280 replay_continue_end();
282 replay_last_snapshot
= replay_get_current_icount();
284 /* Seek to the very first step */
285 replay_seek(0, replay_stop_vm_debug
, &err
);
288 replay_continue_end();
293 bool replay_reverse_continue(void)
297 assert(replay_mode
== REPLAY_MODE_PLAY
);
299 if (replay_get_current_icount() != 0) {
300 replay_seek(replay_get_current_icount() - 1,
301 replay_continue_stop
, &err
);
306 replay_last_breakpoint
= -1LL;
307 replay_is_debugging
= true;
308 replay_last_snapshot
= replay_get_current_icount();
315 void replay_breakpoint(void)
317 assert(replay_mode
== REPLAY_MODE_PLAY
);
318 replay_last_breakpoint
= replay_get_current_icount();
321 void replay_gdb_attached(void)
324 * Create VM snapshot on temporary overlay to allow reverse
325 * debugging even if snapshots were not enabled.
327 if (replay_mode
== REPLAY_MODE_PLAY
328 && !replay_snapshot
) {
329 if (!save_snapshot("start_debugging", true, NULL
, false, NULL
, NULL
)) {
330 /* Can't create the snapshot. Continue conventional debugging. */