Pavel Dovgalyuk | 878ec29 | 2019-12-19 15:50:48 +0300 | [diff] [blame] | 1 | /* |
| 2 | * replay-random.c |
| 3 | * |
| 4 | * Copyright (c) 2010-2020 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 | |
| 12 | #include "qemu/osdep.h" |
| 13 | #include "qemu/error-report.h" |
| 14 | #include "sysemu/replay.h" |
| 15 | #include "replay-internal.h" |
| 16 | |
| 17 | void replay_save_random(int ret, void *buf, size_t len) |
| 18 | { |
| 19 | g_assert(replay_mutex_locked()); |
| 20 | |
| 21 | replay_save_instructions(); |
| 22 | replay_put_event(EVENT_RANDOM); |
| 23 | replay_put_dword(ret); |
| 24 | replay_put_array(buf, len); |
| 25 | } |
| 26 | |
| 27 | int replay_read_random(void *buf, size_t len) |
| 28 | { |
| 29 | int ret = 0; |
| 30 | g_assert(replay_mutex_locked()); |
| 31 | |
| 32 | replay_account_executed_instructions(); |
| 33 | if (replay_next_event_is(EVENT_RANDOM)) { |
| 34 | size_t buf_size = 0; |
| 35 | ret = replay_get_dword(); |
| 36 | replay_get_array(buf, &buf_size); |
| 37 | replay_finish_event(); |
| 38 | g_assert(buf_size == len); |
| 39 | } else { |
| 40 | error_report("Missing random event in the replay log"); |
| 41 | exit(1); |
| 42 | } |
| 43 | return ret; |
| 44 | } |