4 * Copyright (c) 2010-2015 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 "qemu-common.h"
14 #include "sysemu/replay.h"
15 #include "replay-internal.h"
16 #include "qemu/error-report.h"
17 #include "sysemu/sysemu.h"
19 /* Mutex to protect reading and writing events to the log.
20 data_kind and has_unread_data are also protected
22 It also protects replay events queue which stores events to be
23 written or read to the log. */
24 static QemuMutex lock
;
26 /* File for replay writing */
27 static bool write_error
;
30 static void replay_write_error(void)
33 error_report("replay write error");
38 static void replay_read_error(void)
40 error_report("error reading the replay data");
44 void replay_put_byte(uint8_t byte
)
47 if (putc(byte
, replay_file
) == EOF
) {
53 void replay_put_event(uint8_t event
)
55 assert(event
< EVENT_COUNT
);
56 replay_put_byte(event
);
60 void replay_put_word(uint16_t word
)
62 replay_put_byte(word
>> 8);
63 replay_put_byte(word
);
66 void replay_put_dword(uint32_t dword
)
68 replay_put_word(dword
>> 16);
69 replay_put_word(dword
);
72 void replay_put_qword(int64_t qword
)
74 replay_put_dword(qword
>> 32);
75 replay_put_dword(qword
);
78 void replay_put_array(const uint8_t *buf
, size_t size
)
81 replay_put_dword(size
);
82 if (fwrite(buf
, 1, size
, replay_file
) != size
) {
88 uint8_t replay_get_byte(void)
92 int r
= getc(replay_file
);
101 uint16_t replay_get_word(void)
105 word
= replay_get_byte();
106 word
= (word
<< 8) + replay_get_byte();
112 uint32_t replay_get_dword(void)
116 dword
= replay_get_word();
117 dword
= (dword
<< 16) + replay_get_word();
123 int64_t replay_get_qword(void)
127 qword
= replay_get_dword();
128 qword
= (qword
<< 32) + replay_get_dword();
134 void replay_get_array(uint8_t *buf
, size_t *size
)
137 *size
= replay_get_dword();
138 if (fread(buf
, 1, *size
, replay_file
) != *size
) {
144 void replay_get_array_alloc(uint8_t **buf
, size_t *size
)
147 *size
= replay_get_dword();
148 *buf
= g_malloc(*size
);
149 if (fread(*buf
, 1, *size
, replay_file
) != *size
) {
155 void replay_check_error(void)
158 if (feof(replay_file
)) {
159 error_report("replay file is over");
160 qemu_system_vmstop_request_prepare();
161 qemu_system_vmstop_request(RUN_STATE_PAUSED
);
162 } else if (ferror(replay_file
)) {
163 error_report("replay file is over or something goes wrong");
164 qemu_system_vmstop_request_prepare();
165 qemu_system_vmstop_request(RUN_STATE_INTERNAL_ERROR
);
170 void replay_fetch_data_kind(void)
173 if (!replay_state
.has_unread_data
) {
174 replay_state
.data_kind
= replay_get_byte();
175 if (replay_state
.data_kind
== EVENT_INSTRUCTION
) {
176 replay_state
.instructions_count
= replay_get_dword();
178 replay_check_error();
179 replay_state
.has_unread_data
= 1;
180 if (replay_state
.data_kind
>= EVENT_COUNT
) {
181 error_report("Replay: unknown event kind %d",
182 replay_state
.data_kind
);
189 void replay_finish_event(void)
191 replay_state
.has_unread_data
= 0;
192 replay_fetch_data_kind();
195 static __thread
bool replay_locked
;
197 void replay_mutex_init(void)
199 qemu_mutex_init(&lock
);
200 /* Hold the mutex while we start-up */
201 qemu_mutex_lock(&lock
);
202 replay_locked
= true;
205 bool replay_mutex_locked(void)
207 return replay_locked
;
210 /* Ordering constraints, replay_lock must be taken before BQL */
211 void replay_mutex_lock(void)
213 if (replay_mode
!= REPLAY_MODE_NONE
) {
214 g_assert(!qemu_mutex_iothread_locked());
215 g_assert(!replay_mutex_locked());
216 qemu_mutex_lock(&lock
);
217 replay_locked
= true;
221 void replay_mutex_unlock(void)
223 if (replay_mode
!= REPLAY_MODE_NONE
) {
224 g_assert(replay_mutex_locked());
225 replay_locked
= false;
226 qemu_mutex_unlock(&lock
);
230 void replay_advance_current_step(uint64_t current_step
)
232 int diff
= (int)(replay_get_current_step() - replay_state
.current_step
);
234 /* Time can only go forward */
238 replay_put_event(EVENT_INSTRUCTION
);
239 replay_put_dword(diff
);
240 replay_state
.current_step
+= diff
;
244 /*! Saves cached instructions. */
245 void replay_save_instructions(void)
247 if (replay_file
&& replay_mode
== REPLAY_MODE_RECORD
) {
248 g_assert(replay_mutex_locked());
249 replay_advance_current_step(replay_get_current_step());