blob: 81dc416e988508327b5c2bd1a031cad1bfa68ff2 [file] [log] [blame]
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +03001/*
2 * replay-char.c
3 *
4 * Copyright (c) 2010-2016 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
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +030012#include "qemu/osdep.h"
13#include "qemu/error-report.h"
Philippe Mathieu-Daudé32cad1f2024-12-03 15:20:13 +010014#include "system/replay.h"
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +030015#include "replay-internal.h"
Marc-André Lureau8228e352017-01-26 17:19:46 +040016#include "chardev/char.h"
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +030017
18/* Char drivers that generate qemu_chr_be_write events
19 that should be saved into the log. */
Marc-André Lureau0ec7b3e2016-12-07 16:20:22 +030020static Chardev **char_drivers;
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +030021static int drivers_count;
22
23/* Char event attributes. */
24typedef struct CharEvent {
25 int id;
26 uint8_t *buf;
27 size_t len;
28} CharEvent;
29
Marc-André Lureau0ec7b3e2016-12-07 16:20:22 +030030static int find_char_driver(Chardev *chr)
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +030031{
32 int i = 0;
33 for ( ; i < drivers_count ; ++i) {
34 if (char_drivers[i] == chr) {
35 return i;
36 }
37 }
38 return -1;
39}
40
Marc-André Lureau0ec7b3e2016-12-07 16:20:22 +030041void replay_register_char_driver(Chardev *chr)
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +030042{
43 if (replay_mode == REPLAY_MODE_NONE) {
44 return;
45 }
46 char_drivers = g_realloc(char_drivers,
47 sizeof(*char_drivers) * (drivers_count + 1));
48 char_drivers[drivers_count++] = chr;
49}
50
Arwed Meyer8f9abdf2022-09-11 20:18:37 +020051void replay_chr_be_write(Chardev *s, const uint8_t *buf, int len)
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +030052{
Markus Armbrusterb21e2382022-03-15 15:41:56 +010053 CharEvent *event = g_new0(CharEvent, 1);
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +030054
55 event->id = find_char_driver(s);
56 if (event->id < 0) {
57 fprintf(stderr, "Replay: cannot find char driver\n");
58 exit(1);
59 }
60 event->buf = g_malloc(len);
61 memcpy(event->buf, buf, len);
62 event->len = len;
63
64 replay_add_event(REPLAY_ASYNC_EVENT_CHAR_READ, event, NULL, 0);
65}
66
67void replay_event_char_read_run(void *opaque)
68{
69 CharEvent *event = (CharEvent *)opaque;
70
71 qemu_chr_be_write_impl(char_drivers[event->id], event->buf,
72 (int)event->len);
73
74 g_free(event->buf);
75 g_free(event);
76}
77
78void replay_event_char_read_save(void *opaque)
79{
80 CharEvent *event = (CharEvent *)opaque;
81
82 replay_put_byte(event->id);
83 replay_put_array(event->buf, event->len);
84}
85
86void *replay_event_char_read_load(void)
87{
Markus Armbrusterb21e2382022-03-15 15:41:56 +010088 CharEvent *event = g_new0(CharEvent, 1);
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +030089
90 event->id = replay_get_byte();
91 replay_get_array_alloc(&event->buf, &event->len);
92
93 return event;
94}
95
96void replay_char_write_event_save(int res, int offset)
97{
Alex Bennéed759c952018-02-27 12:52:48 +030098 g_assert(replay_mutex_locked());
99
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300100 replay_save_instructions();
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300101 replay_put_event(EVENT_CHAR_WRITE);
102 replay_put_dword(res);
103 replay_put_dword(offset);
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300104}
105
106void replay_char_write_event_load(int *res, int *offset)
107{
Alex Bennéed759c952018-02-27 12:52:48 +0300108 g_assert(replay_mutex_locked());
109
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300110 replay_account_executed_instructions();
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300111 if (replay_next_event_is(EVENT_CHAR_WRITE)) {
112 *res = replay_get_dword();
113 *offset = replay_get_dword();
114 replay_finish_event();
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300115 } else {
Alex Bennéefd843252023-12-11 09:13:39 +0000116 replay_sync_error("Missing character write event in the replay log");
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300117 }
118}
119
120int replay_char_read_all_load(uint8_t *buf)
121{
Alex Bennéed759c952018-02-27 12:52:48 +0300122 g_assert(replay_mutex_locked());
123
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300124 if (replay_next_event_is(EVENT_CHAR_READ_ALL)) {
125 size_t size;
126 int res;
127 replay_get_array(buf, &size);
128 replay_finish_event();
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300129 res = (int)size;
130 assert(res >= 0);
131 return res;
132 } else if (replay_next_event_is(EVENT_CHAR_READ_ALL_ERROR)) {
133 int res = replay_get_dword();
134 replay_finish_event();
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300135 return res;
136 } else {
Alex Bennéefd843252023-12-11 09:13:39 +0000137 replay_sync_error("Missing character read all event in the replay log");
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300138 }
139}
140
141void replay_char_read_all_save_error(int res)
142{
Alex Bennéed759c952018-02-27 12:52:48 +0300143 g_assert(replay_mutex_locked());
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300144 assert(res < 0);
145 replay_save_instructions();
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300146 replay_put_event(EVENT_CHAR_READ_ALL_ERROR);
147 replay_put_dword(res);
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300148}
149
150void replay_char_read_all_save_buf(uint8_t *buf, int offset)
151{
Alex Bennéed759c952018-02-27 12:52:48 +0300152 g_assert(replay_mutex_locked());
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300153 replay_save_instructions();
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300154 replay_put_event(EVENT_CHAR_READ_ALL);
155 replay_put_array(buf, offset);
Pavel Dovgalyuk33577b42016-03-14 10:44:36 +0300156}