Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 1 | /* |
| 2 | * Block protocol for record/replay |
| 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 | |
| 12 | #include "qemu/osdep.h" |
Markus Armbruster | 0b8fa32 | 2019-05-23 16:35:07 +0200 | [diff] [blame] | 13 | #include "qemu/module.h" |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 14 | #include "block/block_int.h" |
| 15 | #include "sysemu/replay.h" |
| 16 | #include "qapi/error.h" |
| 17 | |
| 18 | typedef struct Request { |
| 19 | Coroutine *co; |
| 20 | QEMUBH *bh; |
| 21 | } Request; |
| 22 | |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 23 | static int blkreplay_open(BlockDriverState *bs, QDict *options, int flags, |
| 24 | Error **errp) |
| 25 | { |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 26 | int ret; |
| 27 | |
| 28 | /* Open the image file */ |
Max Reitz | b3af2af | 2020-05-13 13:05:36 +0200 | [diff] [blame] | 29 | bs->file = bdrv_open_child(NULL, options, "image", bs, &child_of_bds, |
| 30 | BDRV_CHILD_FILTERED | BDRV_CHILD_PRIMARY, |
Vladimir Sementsov-Ogievskiy | bc52024 | 2021-02-02 15:49:45 +0300 | [diff] [blame] | 31 | false, errp); |
| 32 | if (!bs->file) { |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 33 | ret = -EINVAL; |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 34 | goto fail; |
| 35 | } |
| 36 | |
Max Reitz | 228345b | 2018-04-21 15:29:26 +0200 | [diff] [blame] | 37 | bs->supported_write_flags = BDRV_REQ_WRITE_UNCHANGED; |
| 38 | bs->supported_zero_flags = BDRV_REQ_WRITE_UNCHANGED; |
| 39 | |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 40 | ret = 0; |
| 41 | fail: |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 42 | return ret; |
| 43 | } |
| 44 | |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 45 | static int64_t blkreplay_getlength(BlockDriverState *bs) |
| 46 | { |
| 47 | return bdrv_getlength(bs->file->bs); |
| 48 | } |
| 49 | |
| 50 | /* This bh is used for synchronization of return from coroutines. |
| 51 | It continues yielded coroutine which then finishes its execution. |
| 52 | BH is called adjusted to some replay checkpoint, therefore |
| 53 | record and replay will always finish coroutines deterministically. |
| 54 | */ |
| 55 | static void blkreplay_bh_cb(void *opaque) |
| 56 | { |
| 57 | Request *req = opaque; |
Paolo Bonzini | 1919631 | 2017-02-13 14:52:31 +0100 | [diff] [blame] | 58 | aio_co_wake(req->co); |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 59 | qemu_bh_delete(req->bh); |
| 60 | g_free(req); |
| 61 | } |
| 62 | |
| 63 | static void block_request_create(uint64_t reqid, BlockDriverState *bs, |
| 64 | Coroutine *co) |
| 65 | { |
| 66 | Request *req = g_new(Request, 1); |
| 67 | *req = (Request) { |
| 68 | .co = co, |
| 69 | .bh = aio_bh_new(bdrv_get_aio_context(bs), blkreplay_bh_cb, req), |
| 70 | }; |
| 71 | replay_block_event(req->bh, reqid); |
| 72 | } |
| 73 | |
Kevin Wolf | e858a97 | 2016-05-30 14:31:59 +0200 | [diff] [blame] | 74 | static int coroutine_fn blkreplay_co_preadv(BlockDriverState *bs, |
| 75 | uint64_t offset, uint64_t bytes, QEMUIOVector *qiov, int flags) |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 76 | { |
Pavel Dovgalyuk | 6d0ceb8 | 2016-09-26 11:08:16 +0300 | [diff] [blame] | 77 | uint64_t reqid = blkreplay_next_id(); |
Kevin Wolf | a03ef88 | 2016-06-20 21:31:46 +0200 | [diff] [blame] | 78 | int ret = bdrv_co_preadv(bs->file, offset, bytes, qiov, flags); |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 79 | block_request_create(reqid, bs, qemu_coroutine_self()); |
| 80 | qemu_coroutine_yield(); |
| 81 | |
| 82 | return ret; |
| 83 | } |
| 84 | |
Kevin Wolf | e858a97 | 2016-05-30 14:31:59 +0200 | [diff] [blame] | 85 | static int coroutine_fn blkreplay_co_pwritev(BlockDriverState *bs, |
| 86 | uint64_t offset, uint64_t bytes, QEMUIOVector *qiov, int flags) |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 87 | { |
Pavel Dovgalyuk | 6d0ceb8 | 2016-09-26 11:08:16 +0300 | [diff] [blame] | 88 | uint64_t reqid = blkreplay_next_id(); |
Kevin Wolf | a03ef88 | 2016-06-20 21:31:46 +0200 | [diff] [blame] | 89 | int ret = bdrv_co_pwritev(bs->file, offset, bytes, qiov, flags); |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 90 | block_request_create(reqid, bs, qemu_coroutine_self()); |
| 91 | qemu_coroutine_yield(); |
| 92 | |
| 93 | return ret; |
| 94 | } |
| 95 | |
Eric Blake | 9c21a42 | 2016-06-01 15:10:07 -0600 | [diff] [blame] | 96 | static int coroutine_fn blkreplay_co_pwrite_zeroes(BlockDriverState *bs, |
Manos Pitsidianakis | f5a5ca7 | 2017-06-09 13:18:08 +0300 | [diff] [blame] | 97 | int64_t offset, int bytes, BdrvRequestFlags flags) |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 98 | { |
Pavel Dovgalyuk | 6d0ceb8 | 2016-09-26 11:08:16 +0300 | [diff] [blame] | 99 | uint64_t reqid = blkreplay_next_id(); |
Manos Pitsidianakis | f5a5ca7 | 2017-06-09 13:18:08 +0300 | [diff] [blame] | 100 | int ret = bdrv_co_pwrite_zeroes(bs->file, offset, bytes, flags); |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 101 | block_request_create(reqid, bs, qemu_coroutine_self()); |
| 102 | qemu_coroutine_yield(); |
| 103 | |
| 104 | return ret; |
| 105 | } |
| 106 | |
Eric Blake | aba76e2 | 2016-07-15 17:22:59 -0600 | [diff] [blame] | 107 | static int coroutine_fn blkreplay_co_pdiscard(BlockDriverState *bs, |
Manos Pitsidianakis | f5a5ca7 | 2017-06-09 13:18:08 +0300 | [diff] [blame] | 108 | int64_t offset, int bytes) |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 109 | { |
Pavel Dovgalyuk | 6d0ceb8 | 2016-09-26 11:08:16 +0300 | [diff] [blame] | 110 | uint64_t reqid = blkreplay_next_id(); |
Fam Zheng | 0b9fd3f | 2018-07-10 14:31:17 +0800 | [diff] [blame] | 111 | int ret = bdrv_co_pdiscard(bs->file, offset, bytes); |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 112 | block_request_create(reqid, bs, qemu_coroutine_self()); |
| 113 | qemu_coroutine_yield(); |
| 114 | |
| 115 | return ret; |
| 116 | } |
| 117 | |
| 118 | static int coroutine_fn blkreplay_co_flush(BlockDriverState *bs) |
| 119 | { |
Pavel Dovgalyuk | 6d0ceb8 | 2016-09-26 11:08:16 +0300 | [diff] [blame] | 120 | uint64_t reqid = blkreplay_next_id(); |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 121 | int ret = bdrv_co_flush(bs->file->bs); |
| 122 | block_request_create(reqid, bs, qemu_coroutine_self()); |
| 123 | qemu_coroutine_yield(); |
| 124 | |
| 125 | return ret; |
| 126 | } |
| 127 | |
Pavel Dovgalyuk | 3c6c434 | 2019-09-17 14:57:51 +0300 | [diff] [blame] | 128 | static int blkreplay_snapshot_goto(BlockDriverState *bs, |
| 129 | const char *snapshot_id) |
| 130 | { |
| 131 | return bdrv_snapshot_goto(bs->file->bs, snapshot_id, NULL); |
| 132 | } |
| 133 | |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 134 | static BlockDriver bdrv_blkreplay = { |
| 135 | .format_name = "blkreplay", |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 136 | .instance_size = 0, |
Max Reitz | 6540fd1 | 2020-05-13 13:05:11 +0200 | [diff] [blame] | 137 | .is_filter = true, |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 138 | |
Fabiano Rosas | 8140e78 | 2018-03-12 19:07:52 -0300 | [diff] [blame] | 139 | .bdrv_open = blkreplay_open, |
Max Reitz | 69dca43 | 2020-05-13 13:05:39 +0200 | [diff] [blame] | 140 | .bdrv_child_perm = bdrv_default_perms, |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 141 | .bdrv_getlength = blkreplay_getlength, |
| 142 | |
Kevin Wolf | e858a97 | 2016-05-30 14:31:59 +0200 | [diff] [blame] | 143 | .bdrv_co_preadv = blkreplay_co_preadv, |
| 144 | .bdrv_co_pwritev = blkreplay_co_pwritev, |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 145 | |
Eric Blake | 9c21a42 | 2016-06-01 15:10:07 -0600 | [diff] [blame] | 146 | .bdrv_co_pwrite_zeroes = blkreplay_co_pwrite_zeroes, |
Eric Blake | aba76e2 | 2016-07-15 17:22:59 -0600 | [diff] [blame] | 147 | .bdrv_co_pdiscard = blkreplay_co_pdiscard, |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 148 | .bdrv_co_flush = blkreplay_co_flush, |
Pavel Dovgalyuk | 3c6c434 | 2019-09-17 14:57:51 +0300 | [diff] [blame] | 149 | |
| 150 | .bdrv_snapshot_goto = blkreplay_snapshot_goto, |
Pavel Dovgalyuk | 6378567 | 2016-03-14 10:45:10 +0300 | [diff] [blame] | 151 | }; |
| 152 | |
| 153 | static void bdrv_blkreplay_init(void) |
| 154 | { |
| 155 | bdrv_register(&bdrv_blkreplay); |
| 156 | } |
| 157 | |
| 158 | block_init(bdrv_blkreplay_init); |