blob: 3adc387b3d2e962075c82192d466c69111499b3c [file] [log] [blame]
Pavel Dovgalyukd73abd62015-09-17 19:23:37 +03001/*
2 * replay.c
3 *
4 * Copyright (c) 2010-2015 Institute for System Programming
5 * of the Russian Academy of Sciences.
6 *
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.
9 *
10 */
11
Peter Maydelld38ea872016-01-29 17:50:05 +000012#include "qemu/osdep.h"
Markus Armbrusterda34e652016-03-14 09:01:28 +010013#include "qapi/error.h"
Philippe Mathieu-Daudé32cad1f2024-12-03 15:20:13 +010014#include "system/cpu-timers.h"
15#include "system/replay.h"
16#include "system/runstate.h"
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +030017#include "replay-internal.h"
Pavel Dovgalyuk8b427042015-09-17 19:24:05 +030018#include "qemu/main-loop.h"
Markus Armbruster922a01a2018-02-01 12:18:46 +010019#include "qemu/option.h"
Philippe Mathieu-Daudé32cad1f2024-12-03 15:20:13 +010020#include "system/cpus.h"
Pavel Dovgalyuk76159362015-09-17 19:25:07 +030021#include "qemu/error-report.h"
22
23/* Current version of the replay mechanism.
24 Increase it when file format changes. */
Pavel Dovgalyuk3e214082022-05-27 13:46:23 +030025#define REPLAY_VERSION 0xe0200c
Pavel Dovgalyuk76159362015-09-17 19:25:07 +030026/* Size of replay log header */
27#define HEADER_SIZE (sizeof(uint32_t) + sizeof(uint64_t))
Pavel Dovgalyukd73abd62015-09-17 19:23:37 +030028
29ReplayMode replay_mode = REPLAY_MODE_NONE;
Pavel Dovgalyuk9c2037d2017-01-24 10:17:47 +030030char *replay_snapshot;
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +030031
Pavel Dovgalyuk76159362015-09-17 19:25:07 +030032/* Name of replay file */
33static char *replay_filename;
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +030034ReplayState replay_state;
Pavel Dovgalyuk01947492015-09-17 19:25:13 +030035static GSList *replay_blockers;
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +030036
Pavel Dovgalyuke7510672020-10-03 20:13:26 +030037/* Replay breakpoints */
38uint64_t replay_break_icount = -1ULL;
39QEMUTimer *replay_break_timer;
40
Alex Bennéedcda7322023-12-11 09:13:38 +000041/* Pretty print event names */
42
43static const char *replay_async_event_name(ReplayAsyncEventKind event)
44{
45 switch (event) {
46#define ASYNC_EVENT(_x) case REPLAY_ASYNC_EVENT_ ## _x: return "ASYNC_EVENT_"#_x
47 ASYNC_EVENT(BH);
48 ASYNC_EVENT(BH_ONESHOT);
49 ASYNC_EVENT(INPUT);
50 ASYNC_EVENT(INPUT_SYNC);
51 ASYNC_EVENT(CHAR_READ);
52 ASYNC_EVENT(BLOCK);
53 ASYNC_EVENT(NET);
54#undef ASYNC_EVENT
55 default:
56 g_assert_not_reached();
57 }
58}
59
60static const char *replay_clock_event_name(ReplayClockKind clock)
61{
62 switch (clock) {
63#define CLOCK_EVENT(_x) case REPLAY_CLOCK_ ## _x: return "CLOCK_" #_x
64 CLOCK_EVENT(HOST);
65 CLOCK_EVENT(VIRTUAL_RT);
66#undef CLOCK_EVENT
67 default:
68 g_assert_not_reached();
69 }
70}
71
72/* Pretty print shutdown event names */
73static const char *replay_shutdown_event_name(ShutdownCause cause)
74{
75 switch (cause) {
76#define SHUTDOWN_EVENT(_x) case SHUTDOWN_CAUSE_ ## _x: return "SHUTDOWN_CAUSE_" #_x
77 SHUTDOWN_EVENT(NONE);
78 SHUTDOWN_EVENT(HOST_ERROR);
79 SHUTDOWN_EVENT(HOST_QMP_QUIT);
80 SHUTDOWN_EVENT(HOST_QMP_SYSTEM_RESET);
81 SHUTDOWN_EVENT(HOST_SIGNAL);
82 SHUTDOWN_EVENT(HOST_UI);
83 SHUTDOWN_EVENT(GUEST_SHUTDOWN);
84 SHUTDOWN_EVENT(GUEST_RESET);
85 SHUTDOWN_EVENT(GUEST_PANIC);
86 SHUTDOWN_EVENT(SUBSYSTEM_RESET);
87 SHUTDOWN_EVENT(SNAPSHOT_LOAD);
88#undef SHUTDOWN_EVENT
89 default:
90 g_assert_not_reached();
91 }
92}
93
94static const char *replay_checkpoint_event_name(enum ReplayCheckpoint checkpoint)
95{
96 switch (checkpoint) {
97#define CHECKPOINT_EVENT(_x) case CHECKPOINT_ ## _x: return "CHECKPOINT_" #_x
98 CHECKPOINT_EVENT(CLOCK_WARP_START);
99 CHECKPOINT_EVENT(CLOCK_WARP_ACCOUNT);
100 CHECKPOINT_EVENT(RESET_REQUESTED);
101 CHECKPOINT_EVENT(SUSPEND_REQUESTED);
102 CHECKPOINT_EVENT(CLOCK_VIRTUAL);
103 CHECKPOINT_EVENT(CLOCK_HOST);
104 CHECKPOINT_EVENT(CLOCK_VIRTUAL_RT);
105 CHECKPOINT_EVENT(INIT);
106 CHECKPOINT_EVENT(RESET);
107#undef CHECKPOINT_EVENT
108 default:
109 g_assert_not_reached();
110 }
111}
112
113static const char *replay_event_name(enum ReplayEvents event)
114{
115 /* First deal with the simple ones */
116 switch (event) {
117#define EVENT(_x) case EVENT_ ## _x: return "EVENT_"#_x
118 EVENT(INSTRUCTION);
119 EVENT(INTERRUPT);
120 EVENT(EXCEPTION);
121 EVENT(CHAR_WRITE);
122 EVENT(CHAR_READ_ALL);
123 EVENT(AUDIO_OUT);
124 EVENT(AUDIO_IN);
125 EVENT(RANDOM);
126#undef EVENT
127 default:
128 if (event >= EVENT_ASYNC && event <= EVENT_ASYNC_LAST) {
129 return replay_async_event_name(event - EVENT_ASYNC);
130 } else if (event >= EVENT_SHUTDOWN && event <= EVENT_SHUTDOWN_LAST) {
131 return replay_shutdown_event_name(event - EVENT_SHUTDOWN);
132 } else if (event >= EVENT_CLOCK && event <= EVENT_CLOCK_LAST) {
133 return replay_clock_event_name(event - EVENT_CLOCK);
134 } else if (event >= EVENT_CHECKPOINT && event <= EVENT_CHECKPOINT_LAST) {
135 return replay_checkpoint_event_name(event - EVENT_CHECKPOINT);
136 }
137 }
138
139 g_assert_not_reached();
140}
141
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +0300142bool replay_next_event_is(int event)
143{
144 bool res = false;
145
146 /* nothing to skip - not all instructions used */
Pavel Dovgalyuk13f26712019-07-25 11:44:43 +0300147 if (replay_state.instruction_count != 0) {
Pavel Dovgalyukf186d642016-09-26 11:08:04 +0300148 assert(replay_state.data_kind == EVENT_INSTRUCTION);
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +0300149 return event == EVENT_INSTRUCTION;
150 }
151
152 while (true) {
Pavel Dovgalyuke957ad82019-07-25 11:44:32 +0300153 unsigned int data_kind = replay_state.data_kind;
154 if (event == data_kind) {
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +0300155 res = true;
156 }
Pavel Dovgalyuke957ad82019-07-25 11:44:32 +0300157 switch (data_kind) {
Eric Blake802f0452017-05-15 16:41:12 -0500158 case EVENT_SHUTDOWN ... EVENT_SHUTDOWN_LAST:
Pavel Dovgalyukb60c48a2015-09-17 19:24:33 +0300159 replay_finish_event();
Pavel Dovgalyuke957ad82019-07-25 11:44:32 +0300160 qemu_system_shutdown_request(data_kind - EVENT_SHUTDOWN);
Pavel Dovgalyukb60c48a2015-09-17 19:24:33 +0300161 break;
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +0300162 default:
163 /* clock, time_t, checkpoint and other events */
164 return res;
165 }
166 }
167 return res;
168}
169
Pavel Dovgalyuk13f26712019-07-25 11:44:43 +0300170uint64_t replay_get_current_icount(void)
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +0300171{
Claudio Fontana8191d362020-08-31 16:18:34 +0200172 return icount_get_raw();
Pavel Dovgalyuk26bc60a2015-09-17 19:23:54 +0300173}
Pavel Dovgalyuk8b427042015-09-17 19:24:05 +0300174
175int replay_get_instructions(void)
176{
177 int res = 0;
Jamie Iles83ecdb12023-04-27 03:09:25 +0100178 g_assert(replay_mutex_locked());
Pavel Dovgalyuk8b427042015-09-17 19:24:05 +0300179 if (replay_next_event_is(EVENT_INSTRUCTION)) {
Pavel Dovgalyuk13f26712019-07-25 11:44:43 +0300180 res = replay_state.instruction_count;
Pavel Dovgalyuke7510672020-10-03 20:13:26 +0300181 if (replay_break_icount != -1LL) {
182 uint64_t current = replay_get_current_icount();
183 assert(replay_break_icount >= current);
184 if (current + res > replay_break_icount) {
185 res = replay_break_icount - current;
186 }
187 }
Pavel Dovgalyuk8b427042015-09-17 19:24:05 +0300188 }
Pavel Dovgalyuk8b427042015-09-17 19:24:05 +0300189 return res;
190}
191
192void replay_account_executed_instructions(void)
193{
194 if (replay_mode == REPLAY_MODE_PLAY) {
Alex Bennéed759c952018-02-27 12:52:48 +0300195 g_assert(replay_mutex_locked());
Pavel Dovgalyuk13f26712019-07-25 11:44:43 +0300196 if (replay_state.instruction_count > 0) {
Pavel Dovgalyuk366a85e2021-02-16 15:51:44 +0300197 replay_advance_current_icount(replay_get_current_icount());
Pavel Dovgalyuk8b427042015-09-17 19:24:05 +0300198 }
Pavel Dovgalyuk8b427042015-09-17 19:24:05 +0300199 }
200}
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300201
202bool replay_exception(void)
203{
Alex Bennéed759c952018-02-27 12:52:48 +0300204
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300205 if (replay_mode == REPLAY_MODE_RECORD) {
Alex Bennéed759c952018-02-27 12:52:48 +0300206 g_assert(replay_mutex_locked());
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300207 replay_save_instructions();
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300208 replay_put_event(EVENT_EXCEPTION);
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300209 return true;
210 } else if (replay_mode == REPLAY_MODE_PLAY) {
Alex Bennéed759c952018-02-27 12:52:48 +0300211 g_assert(replay_mutex_locked());
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300212 bool res = replay_has_exception();
213 if (res) {
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300214 replay_finish_event();
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300215 }
216 return res;
217 }
218
219 return true;
220}
221
222bool replay_has_exception(void)
223{
224 bool res = false;
225 if (replay_mode == REPLAY_MODE_PLAY) {
Alex Bennéed759c952018-02-27 12:52:48 +0300226 g_assert(replay_mutex_locked());
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300227 replay_account_executed_instructions();
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300228 res = replay_next_event_is(EVENT_EXCEPTION);
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300229 }
230
231 return res;
232}
233
234bool replay_interrupt(void)
235{
236 if (replay_mode == REPLAY_MODE_RECORD) {
Alex Bennéed759c952018-02-27 12:52:48 +0300237 g_assert(replay_mutex_locked());
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300238 replay_save_instructions();
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300239 replay_put_event(EVENT_INTERRUPT);
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300240 return true;
241 } else if (replay_mode == REPLAY_MODE_PLAY) {
Alex Bennéed759c952018-02-27 12:52:48 +0300242 g_assert(replay_mutex_locked());
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300243 bool res = replay_has_interrupt();
244 if (res) {
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300245 replay_finish_event();
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300246 }
247 return res;
248 }
249
250 return true;
251}
252
253bool replay_has_interrupt(void)
254{
255 bool res = false;
256 if (replay_mode == REPLAY_MODE_PLAY) {
Alex Bennéed759c952018-02-27 12:52:48 +0300257 g_assert(replay_mutex_locked());
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300258 replay_account_executed_instructions();
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300259 res = replay_next_event_is(EVENT_INTERRUPT);
Pavel Dovgalyuk6f060962015-09-17 19:24:16 +0300260 }
261 return res;
262}
Pavel Dovgalyukb60c48a2015-09-17 19:24:33 +0300263
Eric Blake802f0452017-05-15 16:41:12 -0500264void replay_shutdown_request(ShutdownCause cause)
Pavel Dovgalyukb60c48a2015-09-17 19:24:33 +0300265{
266 if (replay_mode == REPLAY_MODE_RECORD) {
Alex Bennéed759c952018-02-27 12:52:48 +0300267 g_assert(replay_mutex_locked());
Eric Blake802f0452017-05-15 16:41:12 -0500268 replay_put_event(EVENT_SHUTDOWN + cause);
Pavel Dovgalyukb60c48a2015-09-17 19:24:33 +0300269 }
270}
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300271
272bool replay_checkpoint(ReplayCheckpoint checkpoint)
273{
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300274 assert(EVENT_CHECKPOINT + checkpoint <= EVENT_CHECKPOINT_LAST);
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300275
Pavel Dovgalyuk66eb7822018-02-27 12:53:05 +0300276 replay_save_instructions();
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300277
278 if (replay_mode == REPLAY_MODE_PLAY) {
Alex Bennéed759c952018-02-27 12:52:48 +0300279 g_assert(replay_mutex_locked());
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300280 if (replay_next_event_is(EVENT_CHECKPOINT + checkpoint)) {
281 replay_finish_event();
Pavel Dovgalyuk60618e22022-05-27 13:46:18 +0300282 } else {
283 return false;
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300284 }
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300285 } else if (replay_mode == REPLAY_MODE_RECORD) {
Alex Bennéed759c952018-02-27 12:52:48 +0300286 g_assert(replay_mutex_locked());
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300287 replay_put_event(EVENT_CHECKPOINT + checkpoint);
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300288 }
Pavel Dovgalyuk60618e22022-05-27 13:46:18 +0300289 return true;
Pavel Dovgalyuk8bd7f712015-09-17 19:24:44 +0300290}
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300291
Pavel Dovgalyuk60618e22022-05-27 13:46:18 +0300292void replay_async_events(void)
293{
294 static bool processing = false;
295 /*
296 * If we are already processing the events, recursion may occur
297 * in case of incorrect implementation when HW event modifies timers.
298 * Timer modification may invoke the icount warp, event processing,
299 * and cause the recursion.
300 */
301 g_assert(!processing);
302 processing = true;
303
304 replay_save_instructions();
305
306 if (replay_mode == REPLAY_MODE_PLAY) {
307 g_assert(replay_mutex_locked());
308 replay_read_events();
309 } else if (replay_mode == REPLAY_MODE_RECORD) {
310 g_assert(replay_mutex_locked());
311 replay_save_events();
312 }
313 processing = false;
314}
315
316bool replay_has_event(void)
Pavel Dovgalyuk0c081852018-09-12 11:19:45 +0300317{
318 bool res = false;
319 if (replay_mode == REPLAY_MODE_PLAY) {
320 g_assert(replay_mutex_locked());
321 replay_account_executed_instructions();
322 res = EVENT_CHECKPOINT <= replay_state.data_kind
323 && replay_state.data_kind <= EVENT_CHECKPOINT_LAST;
Pavel Dovgalyuk3e214082022-05-27 13:46:23 +0300324 res = res || (EVENT_ASYNC <= replay_state.data_kind
325 && replay_state.data_kind <= EVENT_ASYNC_LAST);
Pavel Dovgalyuk0c081852018-09-12 11:19:45 +0300326 }
327 return res;
328}
329
Alex Bennéedcda7322023-12-11 09:13:38 +0000330G_NORETURN void replay_sync_error(const char *error)
331{
332 error_report("%s (insn total %"PRId64"/%d left, event %d is %s)", error,
333 replay_state.current_icount, replay_state.instruction_count,
334 replay_state.current_event,
335 replay_event_name(replay_state.data_kind));
336 abort();
337}
338
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300339static void replay_enable(const char *fname, int mode)
340{
341 const char *fmode = NULL;
342 assert(!replay_file);
343
344 switch (mode) {
345 case REPLAY_MODE_RECORD:
346 fmode = "wb";
347 break;
348 case REPLAY_MODE_PLAY:
349 fmode = "rb";
350 break;
351 default:
352 fprintf(stderr, "Replay: internal error: invalid replay mode\n");
353 exit(1);
354 }
355
356 atexit(replay_finish);
357
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300358 replay_file = fopen(fname, fmode);
359 if (replay_file == NULL) {
360 fprintf(stderr, "Replay: open %s: %s\n", fname, strerror(errno));
361 exit(1);
362 }
363
364 replay_filename = g_strdup(fname);
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300365 replay_mode = mode;
Alex Bennéed759c952018-02-27 12:52:48 +0300366 replay_mutex_init();
367
Pavel Dovgalyukf186d642016-09-26 11:08:04 +0300368 replay_state.data_kind = -1;
Pavel Dovgalyuk13f26712019-07-25 11:44:43 +0300369 replay_state.instruction_count = 0;
370 replay_state.current_icount = 0;
Alex Bennéedcda7322023-12-11 09:13:38 +0000371 replay_state.current_event = 0;
Pavel Dovgalyukf186d642016-09-26 11:08:04 +0300372 replay_state.has_unread_data = 0;
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300373
374 /* skip file header for RECORD and check it for PLAY */
375 if (replay_mode == REPLAY_MODE_RECORD) {
376 fseek(replay_file, HEADER_SIZE, SEEK_SET);
377 } else if (replay_mode == REPLAY_MODE_PLAY) {
378 unsigned int version = replay_get_dword();
379 if (version != REPLAY_VERSION) {
380 fprintf(stderr, "Replay: invalid input log file version\n");
381 exit(1);
382 }
383 /* go to the beginning */
384 fseek(replay_file, HEADER_SIZE, SEEK_SET);
385 replay_fetch_data_kind();
386 }
387
Nicholas Piggin9dbab312024-08-13 21:23:20 +0100388 runstate_replay_enable();
389
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300390 replay_init_events();
391}
392
393void replay_configure(QemuOpts *opts)
394{
395 const char *fname;
396 const char *rr;
397 ReplayMode mode = REPLAY_MODE_NONE;
Eduardo Habkost890ad552016-02-12 17:02:26 -0200398 Location loc;
399
400 if (!opts) {
401 return;
402 }
403
404 loc_push_none(&loc);
405 qemu_opts_loc_restore(opts);
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300406
407 rr = qemu_opt_get(opts, "rr");
408 if (!rr) {
409 /* Just enabling icount */
Markus Armbrusterd9d3aae2016-04-27 16:29:08 +0200410 goto out;
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300411 } else if (!strcmp(rr, "record")) {
412 mode = REPLAY_MODE_RECORD;
413 } else if (!strcmp(rr, "replay")) {
414 mode = REPLAY_MODE_PLAY;
415 } else {
416 error_report("Invalid icount rr option: %s", rr);
417 exit(1);
418 }
419
420 fname = qemu_opt_get(opts, "rrfile");
421 if (!fname) {
422 error_report("File name not specified for replay");
423 exit(1);
424 }
425
Pavel Dovgalyuk9c2037d2017-01-24 10:17:47 +0300426 replay_snapshot = g_strdup(qemu_opt_get(opts, "rrsnapshot"));
Pavel Dovgalyuk306e1962016-09-26 11:08:10 +0300427 replay_vmstate_register();
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300428 replay_enable(fname, mode);
Eduardo Habkost890ad552016-02-12 17:02:26 -0200429
Markus Armbrusterd9d3aae2016-04-27 16:29:08 +0200430out:
Eduardo Habkost890ad552016-02-12 17:02:26 -0200431 loc_pop(&loc);
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300432}
433
434void replay_start(void)
435{
436 if (replay_mode == REPLAY_MODE_NONE) {
437 return;
438 }
439
Pavel Dovgalyuk01947492015-09-17 19:25:13 +0300440 if (replay_blockers) {
Markus Armbrusterc29b77f2015-12-18 16:35:14 +0100441 error_reportf_err(replay_blockers->data, "Record/replay: ");
Pavel Dovgalyuk01947492015-09-17 19:25:13 +0300442 exit(1);
443 }
Claudio Fontana740b1752020-08-19 13:17:19 +0200444 if (!icount_enabled()) {
Pavel Dovgalyuk4c27b852015-09-17 19:25:18 +0300445 error_report("Please enable icount to use record/replay");
446 exit(1);
447 }
Pavel Dovgalyuk01947492015-09-17 19:25:13 +0300448
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300449 /* Timer for snapshotting will be set up here. */
450
451 replay_enable_events();
452}
453
454void replay_finish(void)
455{
456 if (replay_mode == REPLAY_MODE_NONE) {
457 return;
458 }
459
460 replay_save_instructions();
461
462 /* finalize the file */
463 if (replay_file) {
464 if (replay_mode == REPLAY_MODE_RECORD) {
Pavel Dovgalyuked5d7ff2020-05-22 09:45:54 +0300465 /*
466 * Can't do it in the signal handler, therefore
467 * add shutdown event here for the case of Ctrl-C.
468 */
469 replay_shutdown_request(SHUTDOWN_CAUSE_HOST_SIGNAL);
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300470 /* write end event */
471 replay_put_event(EVENT_END);
472
473 /* write header */
474 fseek(replay_file, 0, SEEK_SET);
475 replay_put_dword(REPLAY_VERSION);
476 }
477
478 fclose(replay_file);
479 replay_file = NULL;
480 }
Markus Armbruster76eb88b2022-09-23 11:04:28 +0200481 g_free(replay_filename);
482 replay_filename = NULL;
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300483
Pavel Dovgalyuk9c2037d2017-01-24 10:17:47 +0300484 g_free(replay_snapshot);
485 replay_snapshot = NULL;
486
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300487 replay_finish_events();
Pavel Dovgalyukc4b8ffc2022-05-27 13:46:07 +0300488 replay_mode = REPLAY_MODE_NONE;
Pavel Dovgalyuk76159362015-09-17 19:25:07 +0300489}
Pavel Dovgalyuk01947492015-09-17 19:25:13 +0300490
Markus Armbruster0ec83842023-02-07 08:51:12 +0100491void replay_add_blocker(const char *feature)
Pavel Dovgalyuk01947492015-09-17 19:25:13 +0300492{
Markus Armbruster0ec83842023-02-07 08:51:12 +0100493 Error *reason = NULL;
494
Markus Armbruster7653b1e2024-03-01 13:06:41 +0100495 error_setg(&reason, "Record/replay is not supported with %s",
Markus Armbruster0ec83842023-02-07 08:51:12 +0100496 feature);
Pavel Dovgalyuk01947492015-09-17 19:25:13 +0300497 replay_blockers = g_slist_prepend(replay_blockers, reason);
498}
Pavel Dovgalyuk56db1192020-10-03 20:12:57 +0300499
500const char *replay_get_filename(void)
501{
502 return replay_filename;
503}