Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 1 | /* |
| 2 | * Live block commit |
| 3 | * |
| 4 | * Copyright Red Hat, Inc. 2012 |
| 5 | * |
| 6 | * Authors: |
| 7 | * Jeff Cody <jcody@redhat.com> |
| 8 | * Based on stream.c by Stefan Hajnoczi |
| 9 | * |
| 10 | * This work is licensed under the terms of the GNU LGPL, version 2 or later. |
| 11 | * See the COPYING.LIB file in the top-level directory. |
| 12 | * |
| 13 | */ |
| 14 | |
Peter Maydell | 80c71a2 | 2016-01-18 18:01:42 +0000 | [diff] [blame] | 15 | #include "qemu/osdep.h" |
Kevin Wolf | dcbf37c | 2017-03-09 11:49:16 +0100 | [diff] [blame] | 16 | #include "qemu/cutils.h" |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 17 | #include "trace.h" |
Vincent Vanlaer | 71365ee | 2024-10-26 18:30:05 +0200 | [diff] [blame] | 18 | #include "block/block-common.h" |
| 19 | #include "block/coroutines.h" |
Paolo Bonzini | 737e150 | 2012-12-17 18:19:44 +0100 | [diff] [blame] | 20 | #include "block/block_int.h" |
John Snow | c87621e | 2016-10-27 12:07:00 -0400 | [diff] [blame] | 21 | #include "block/blockjob_int.h" |
Markus Armbruster | da34e65 | 2016-03-14 09:01:28 +0100 | [diff] [blame] | 22 | #include "qapi/error.h" |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 23 | #include "qemu/ratelimit.h" |
Peter Maydell | 5df022c | 2022-02-26 18:07:23 +0000 | [diff] [blame] | 24 | #include "qemu/memalign.h" |
Philippe Mathieu-Daudé | 32cad1f | 2024-12-03 15:20:13 +0100 | [diff] [blame] | 25 | #include "system/block-backend.h" |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 26 | |
| 27 | enum { |
| 28 | /* |
| 29 | * Size of data buffer for populating the image file. This should be large |
| 30 | * enough to process multiple clusters in a single call, so that populating |
| 31 | * contiguous regions of the image is efficient. |
| 32 | */ |
| 33 | COMMIT_BUFFER_SIZE = 512 * 1024, /* in bytes */ |
| 34 | }; |
| 35 | |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 36 | typedef struct CommitBlockJob { |
| 37 | BlockJob common; |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 38 | BlockDriverState *commit_top_bs; |
Kevin Wolf | 4653456 | 2016-04-14 13:09:53 +0200 | [diff] [blame] | 39 | BlockBackend *top; |
| 40 | BlockBackend *base; |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 41 | BlockDriverState *base_bs; |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 42 | BlockDriverState *base_overlay; |
Paolo Bonzini | 92aa5c6 | 2012-09-28 17:22:55 +0200 | [diff] [blame] | 43 | BlockdevOnError on_error; |
Alberto Garcia | e70cdc5 | 2018-11-12 16:00:35 +0200 | [diff] [blame] | 44 | bool base_read_only; |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 45 | bool chain_frozen; |
Jeff Cody | 54e2690 | 2014-06-25 15:40:10 -0400 | [diff] [blame] | 46 | char *backing_file_str; |
Peter Krempa | 4b028cb | 2023-12-05 18:14:41 +0100 | [diff] [blame] | 47 | bool backing_mask_protocol; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 48 | } CommitBlockJob; |
| 49 | |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 50 | static int commit_prepare(Job *job) |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 51 | { |
Kevin Wolf | 1908a55 | 2018-04-17 16:41:17 +0200 | [diff] [blame] | 52 | CommitBlockJob *s = container_of(job, CommitBlockJob, common.job); |
Kevin Wolf | 19ebd13 | 2017-06-02 23:04:55 +0200 | [diff] [blame] | 53 | |
Kevin Wolf | 9275fc7 | 2023-10-27 17:53:18 +0200 | [diff] [blame] | 54 | bdrv_graph_rdlock_main_loop(); |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 55 | bdrv_unfreeze_backing_chain(s->commit_top_bs, s->base_bs); |
| 56 | s->chain_frozen = false; |
Kevin Wolf | 9275fc7 | 2023-10-27 17:53:18 +0200 | [diff] [blame] | 57 | bdrv_graph_rdunlock_main_loop(); |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 58 | |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 59 | /* Remove base node parent that still uses BLK_PERM_WRITE/RESIZE before |
| 60 | * the normal backing chain can be restored. */ |
| 61 | blk_unref(s->base); |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 62 | s->base = NULL; |
Stefan Hajnoczi | 9e85cd5 | 2014-10-21 12:03:59 +0100 | [diff] [blame] | 63 | |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 64 | /* FIXME: bdrv_drop_intermediate treats total failures and partial failures |
| 65 | * identically. Further work is needed to disambiguate these cases. */ |
| 66 | return bdrv_drop_intermediate(s->commit_top_bs, s->base_bs, |
Peter Krempa | 4b028cb | 2023-12-05 18:14:41 +0100 | [diff] [blame] | 67 | s->backing_file_str, |
| 68 | s->backing_mask_protocol); |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 69 | } |
| 70 | |
| 71 | static void commit_abort(Job *job) |
| 72 | { |
| 73 | CommitBlockJob *s = container_of(job, CommitBlockJob, common.job); |
| 74 | BlockDriverState *top_bs = blk_bs(s->top); |
Kevin Wolf | ccd6a37 | 2023-10-27 17:53:25 +0200 | [diff] [blame] | 75 | BlockDriverState *commit_top_backing_bs; |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 76 | |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 77 | if (s->chain_frozen) { |
Kevin Wolf | 9275fc7 | 2023-10-27 17:53:18 +0200 | [diff] [blame] | 78 | bdrv_graph_rdlock_main_loop(); |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 79 | bdrv_unfreeze_backing_chain(s->commit_top_bs, s->base_bs); |
Kevin Wolf | 9275fc7 | 2023-10-27 17:53:18 +0200 | [diff] [blame] | 80 | bdrv_graph_rdunlock_main_loop(); |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 81 | } |
| 82 | |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 83 | /* Make sure commit_top_bs and top stay around until bdrv_replace_node() */ |
| 84 | bdrv_ref(top_bs); |
| 85 | bdrv_ref(s->commit_top_bs); |
| 86 | |
| 87 | if (s->base) { |
| 88 | blk_unref(s->base); |
Stefan Hajnoczi | 9e85cd5 | 2014-10-21 12:03:59 +0100 | [diff] [blame] | 89 | } |
| 90 | |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 91 | /* free the blockers on the intermediate nodes so that bdrv_replace_nodes |
| 92 | * can succeed */ |
| 93 | block_job_remove_all_bdrv(&s->common); |
| 94 | |
| 95 | /* If bdrv_drop_intermediate() failed (or was not invoked), remove the |
| 96 | * commit filter driver from the backing chain now. Do this as the final |
| 97 | * step so that the 'consistent read' permission can be granted. |
| 98 | * |
| 99 | * XXX Can (or should) we somehow keep 'consistent read' blocked even |
| 100 | * after the failed/cancelled commit job is gone? If we already wrote |
| 101 | * something to base, the intermediate images aren't valid any more. */ |
Kevin Wolf | 004915a | 2023-10-27 17:53:26 +0200 | [diff] [blame] | 102 | bdrv_graph_rdlock_main_loop(); |
Kevin Wolf | ccd6a37 | 2023-10-27 17:53:25 +0200 | [diff] [blame] | 103 | commit_top_backing_bs = s->commit_top_bs->backing->bs; |
Kevin Wolf | 004915a | 2023-10-27 17:53:26 +0200 | [diff] [blame] | 104 | bdrv_graph_rdunlock_main_loop(); |
| 105 | |
Kevin Wolf | ccd6a37 | 2023-10-27 17:53:25 +0200 | [diff] [blame] | 106 | bdrv_drained_begin(commit_top_backing_bs); |
Stefan Hajnoczi | 6bc30f1 | 2023-12-05 13:20:02 -0500 | [diff] [blame] | 107 | bdrv_graph_wrlock(); |
Kevin Wolf | ccd6a37 | 2023-10-27 17:53:25 +0200 | [diff] [blame] | 108 | bdrv_replace_node(s->commit_top_bs, commit_top_backing_bs, &error_abort); |
Stefan Hajnoczi | 6bc30f1 | 2023-12-05 13:20:02 -0500 | [diff] [blame] | 109 | bdrv_graph_wrunlock(); |
Kevin Wolf | ccd6a37 | 2023-10-27 17:53:25 +0200 | [diff] [blame] | 110 | bdrv_drained_end(commit_top_backing_bs); |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 111 | |
| 112 | bdrv_unref(s->commit_top_bs); |
| 113 | bdrv_unref(top_bs); |
| 114 | } |
| 115 | |
| 116 | static void commit_clean(Job *job) |
| 117 | { |
| 118 | CommitBlockJob *s = container_of(job, CommitBlockJob, common.job); |
| 119 | |
Stefan Hajnoczi | 9e85cd5 | 2014-10-21 12:03:59 +0100 | [diff] [blame] | 120 | /* restore base open flags here if appropriate (e.g., change the base back |
| 121 | * to r/o). These reopens do not need to be atomic, since we won't abort |
| 122 | * even on failure here */ |
Alberto Garcia | e70cdc5 | 2018-11-12 16:00:35 +0200 | [diff] [blame] | 123 | if (s->base_read_only) { |
| 124 | bdrv_reopen_set_read_only(s->base_bs, true, NULL); |
Stefan Hajnoczi | 9e85cd5 | 2014-10-21 12:03:59 +0100 | [diff] [blame] | 125 | } |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 126 | |
Stefan Hajnoczi | 9e85cd5 | 2014-10-21 12:03:59 +0100 | [diff] [blame] | 127 | g_free(s->backing_file_str); |
Kevin Wolf | 4653456 | 2016-04-14 13:09:53 +0200 | [diff] [blame] | 128 | blk_unref(s->top); |
Stefan Hajnoczi | 9e85cd5 | 2014-10-21 12:03:59 +0100 | [diff] [blame] | 129 | } |
| 130 | |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 131 | static int commit_iteration(CommitBlockJob *s, int64_t offset, |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 132 | int64_t *requested_bytes, void *buf) |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 133 | { |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 134 | BlockErrorAction action; |
| 135 | int64_t bytes = *requested_bytes; |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 136 | int ret = 0; |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 137 | bool error_in_source = true; |
| 138 | |
| 139 | /* Copy if allocated above the base */ |
| 140 | WITH_GRAPH_RDLOCK_GUARD() { |
| 141 | ret = bdrv_co_common_block_status_above(blk_bs(s->top), |
| 142 | s->base_overlay, true, true, offset, COMMIT_BUFFER_SIZE, |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 143 | &bytes, NULL, NULL, NULL); |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 144 | } |
| 145 | |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 146 | trace_commit_one_iteration(s, offset, bytes, ret); |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 147 | |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 148 | if (ret < 0) { |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 149 | goto fail; |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 150 | } |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 151 | |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 152 | if (ret & BDRV_BLOCK_ALLOCATED) { |
Vincent Vanlaer | 6f3199f | 2024-10-26 18:30:08 +0200 | [diff] [blame] | 153 | if (ret & BDRV_BLOCK_ZERO) { |
| 154 | /* |
| 155 | * If the top (sub)clusters are smaller than the base |
| 156 | * (sub)clusters, this will not unmap unless the underlying device |
| 157 | * does some tracking of these requests. Ideally, we would find |
| 158 | * the maximal extent of the zero clusters. |
| 159 | */ |
| 160 | ret = blk_co_pwrite_zeroes(s->base, offset, bytes, |
| 161 | BDRV_REQ_MAY_UNMAP); |
| 162 | if (ret < 0) { |
| 163 | error_in_source = false; |
| 164 | goto fail; |
| 165 | } |
| 166 | } else { |
| 167 | assert(bytes < SIZE_MAX); |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 168 | |
Vincent Vanlaer | 6f3199f | 2024-10-26 18:30:08 +0200 | [diff] [blame] | 169 | ret = blk_co_pread(s->top, offset, bytes, buf, 0); |
| 170 | if (ret < 0) { |
| 171 | goto fail; |
| 172 | } |
| 173 | |
| 174 | ret = blk_co_pwrite(s->base, offset, bytes, buf, 0); |
| 175 | if (ret < 0) { |
| 176 | error_in_source = false; |
| 177 | goto fail; |
| 178 | } |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 179 | } |
| 180 | |
Vincent Vanlaer | 6f3199f | 2024-10-26 18:30:08 +0200 | [diff] [blame] | 181 | /* |
| 182 | * Whether zeroes actually end up on disk depends on the details of |
| 183 | * the underlying driver. Therefore, this might rate limit more than |
| 184 | * is necessary. |
| 185 | */ |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 186 | block_job_ratelimit_processed_bytes(&s->common, bytes); |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 187 | } |
| 188 | |
Vincent Vanlaer | 0648c76 | 2024-10-26 18:30:07 +0200 | [diff] [blame] | 189 | /* Publish progress */ |
| 190 | |
| 191 | job_progress_update(&s->common.job, bytes); |
| 192 | |
| 193 | *requested_bytes = bytes; |
| 194 | |
| 195 | return 0; |
| 196 | |
| 197 | fail: |
| 198 | action = block_job_error_action(&s->common, s->on_error, |
| 199 | error_in_source, -ret); |
| 200 | if (action == BLOCK_ERROR_ACTION_REPORT) { |
| 201 | return ret; |
| 202 | } |
| 203 | |
| 204 | *requested_bytes = 0; |
| 205 | |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 206 | return 0; |
| 207 | } |
| 208 | |
John Snow | f67432a | 2018-08-29 21:57:26 -0400 | [diff] [blame] | 209 | static int coroutine_fn commit_run(Job *job, Error **errp) |
Stefan Hajnoczi | 9e85cd5 | 2014-10-21 12:03:59 +0100 | [diff] [blame] | 210 | { |
John Snow | f67432a | 2018-08-29 21:57:26 -0400 | [diff] [blame] | 211 | CommitBlockJob *s = container_of(job, CommitBlockJob, common.job); |
Eric Blake | 317a667 | 2017-07-07 07:44:45 -0500 | [diff] [blame] | 212 | int64_t offset; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 213 | int ret = 0; |
Eric Blake | 51b0a48 | 2017-07-07 07:44:59 -0500 | [diff] [blame] | 214 | int64_t n = 0; /* bytes */ |
Vladimir Sementsov-Ogievskiy | 7170170 | 2021-06-28 15:11:33 +0300 | [diff] [blame] | 215 | QEMU_AUTO_VFREE void *buf = NULL; |
Kevin Wolf | 05df8a6 | 2018-01-18 18:08:22 +0100 | [diff] [blame] | 216 | int64_t len, base_len; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 217 | |
Emanuele Giuseppe Esposito | c86422c | 2023-01-13 21:42:04 +0100 | [diff] [blame] | 218 | len = blk_co_getlength(s->top); |
Kevin Wolf | 05df8a6 | 2018-01-18 18:08:22 +0100 | [diff] [blame] | 219 | if (len < 0) { |
Vladimir Sementsov-Ogievskiy | 7170170 | 2021-06-28 15:11:33 +0300 | [diff] [blame] | 220 | return len; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 221 | } |
Kevin Wolf | 30a5c88 | 2018-05-04 12:17:20 +0200 | [diff] [blame] | 222 | job_progress_set_remaining(&s->common.job, len); |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 223 | |
Emanuele Giuseppe Esposito | c86422c | 2023-01-13 21:42:04 +0100 | [diff] [blame] | 224 | base_len = blk_co_getlength(s->base); |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 225 | if (base_len < 0) { |
Vladimir Sementsov-Ogievskiy | 7170170 | 2021-06-28 15:11:33 +0300 | [diff] [blame] | 226 | return base_len; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 227 | } |
| 228 | |
Kevin Wolf | 05df8a6 | 2018-01-18 18:08:22 +0100 | [diff] [blame] | 229 | if (base_len < len) { |
Alberto Faria | a066788 | 2022-10-13 14:37:01 +0200 | [diff] [blame] | 230 | ret = blk_co_truncate(s->base, len, false, PREALLOC_MODE_OFF, 0, NULL); |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 231 | if (ret) { |
Vladimir Sementsov-Ogievskiy | 7170170 | 2021-06-28 15:11:33 +0300 | [diff] [blame] | 232 | return ret; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 233 | } |
| 234 | } |
| 235 | |
Kevin Wolf | 4653456 | 2016-04-14 13:09:53 +0200 | [diff] [blame] | 236 | buf = blk_blockalign(s->top, COMMIT_BUFFER_SIZE); |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 237 | |
Kevin Wolf | 05df8a6 | 2018-01-18 18:08:22 +0100 | [diff] [blame] | 238 | for (offset = 0; offset < len; offset += n) { |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 239 | /* Note that even when no rate limit is applied we need to yield |
Kevin Wolf | c57b665 | 2012-11-13 16:35:13 +0100 | [diff] [blame] | 240 | * with no pending I/O here so that bdrv_drain_all() returns. |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 241 | */ |
Kevin Wolf | 018e598 | 2023-05-10 22:36:00 +0200 | [diff] [blame] | 242 | block_job_ratelimit_sleep(&s->common); |
Kevin Wolf | daa7f2f | 2018-04-17 12:56:07 +0200 | [diff] [blame] | 243 | if (job_is_cancelled(&s->common.job)) { |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 244 | break; |
| 245 | } |
Vincent Vanlaer | 71365ee | 2024-10-26 18:30:05 +0200 | [diff] [blame] | 246 | |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 247 | ret = commit_iteration(s, offset, &n, buf); |
Kevin Wolf | 0c42e17 | 2020-02-14 21:08:09 +0100 | [diff] [blame] | 248 | |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 249 | if (ret < 0) { |
Vincent Vanlaer | 23743ab | 2024-10-26 18:30:06 +0200 | [diff] [blame] | 250 | return ret; |
Sascha Silbe | f14a39c | 2016-06-28 17:28:41 +0200 | [diff] [blame] | 251 | } |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 252 | } |
| 253 | |
Vladimir Sementsov-Ogievskiy | 7170170 | 2021-06-28 15:11:33 +0300 | [diff] [blame] | 254 | return 0; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 255 | } |
| 256 | |
Fam Zheng | 3fc4b10 | 2013-10-08 17:29:38 +0800 | [diff] [blame] | 257 | static const BlockJobDriver commit_job_driver = { |
Kevin Wolf | 33e9e9b | 2018-04-12 17:29:59 +0200 | [diff] [blame] | 258 | .job_driver = { |
| 259 | .instance_size = sizeof(CommitBlockJob), |
Kevin Wolf | 252291e | 2018-04-12 17:57:08 +0200 | [diff] [blame] | 260 | .job_type = JOB_TYPE_COMMIT, |
Kevin Wolf | 80fa2c7 | 2018-04-13 18:50:05 +0200 | [diff] [blame] | 261 | .free = block_job_free, |
Kevin Wolf | b15de82 | 2018-04-18 17:10:26 +0200 | [diff] [blame] | 262 | .user_resume = block_job_user_resume, |
John Snow | f67432a | 2018-08-29 21:57:26 -0400 | [diff] [blame] | 263 | .run = commit_run, |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 264 | .prepare = commit_prepare, |
| 265 | .abort = commit_abort, |
| 266 | .clean = commit_clean |
Kevin Wolf | 33e9e9b | 2018-04-12 17:29:59 +0200 | [diff] [blame] | 267 | }, |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 268 | }; |
| 269 | |
Kevin Wolf | b9b10c3 | 2023-02-03 16:21:50 +0100 | [diff] [blame] | 270 | static int coroutine_fn GRAPH_RDLOCK |
| 271 | bdrv_commit_top_preadv(BlockDriverState *bs, int64_t offset, int64_t bytes, |
| 272 | QEMUIOVector *qiov, BdrvRequestFlags flags) |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 273 | { |
| 274 | return bdrv_co_preadv(bs->backing, offset, bytes, qiov, flags); |
| 275 | } |
| 276 | |
Kevin Wolf | 004915a | 2023-10-27 17:53:26 +0200 | [diff] [blame] | 277 | static GRAPH_RDLOCK void bdrv_commit_top_refresh_filename(BlockDriverState *bs) |
Kevin Wolf | dcbf37c | 2017-03-09 11:49:16 +0100 | [diff] [blame] | 278 | { |
Kevin Wolf | dcbf37c | 2017-03-09 11:49:16 +0100 | [diff] [blame] | 279 | pstrcpy(bs->exact_filename, sizeof(bs->exact_filename), |
| 280 | bs->backing->bs->filename); |
| 281 | } |
Kevin Wolf | 9196565 | 2017-03-08 15:07:12 +0100 | [diff] [blame] | 282 | |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 283 | static void bdrv_commit_top_child_perm(BlockDriverState *bs, BdrvChild *c, |
Max Reitz | bf8e925 | 2020-05-13 13:05:16 +0200 | [diff] [blame] | 284 | BdrvChildRole role, |
Kevin Wolf | e0995dc | 2017-09-14 12:47:11 +0200 | [diff] [blame] | 285 | BlockReopenQueue *reopen_queue, |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 286 | uint64_t perm, uint64_t shared, |
| 287 | uint64_t *nperm, uint64_t *nshared) |
| 288 | { |
| 289 | *nperm = 0; |
| 290 | *nshared = BLK_PERM_ALL; |
| 291 | } |
| 292 | |
| 293 | /* Dummy node that provides consistent read to its users without requiring it |
| 294 | * from its backing file and that allows writes on the backing file chain. */ |
| 295 | static BlockDriver bdrv_commit_top = { |
Kevin Wolf | 9196565 | 2017-03-08 15:07:12 +0100 | [diff] [blame] | 296 | .format_name = "commit_top", |
| 297 | .bdrv_co_preadv = bdrv_commit_top_preadv, |
Kevin Wolf | dcbf37c | 2017-03-09 11:49:16 +0100 | [diff] [blame] | 298 | .bdrv_refresh_filename = bdrv_commit_top_refresh_filename, |
Kevin Wolf | 9196565 | 2017-03-08 15:07:12 +0100 | [diff] [blame] | 299 | .bdrv_child_perm = bdrv_commit_top_child_perm, |
Max Reitz | 6540fd1 | 2020-05-13 13:05:11 +0200 | [diff] [blame] | 300 | |
| 301 | .is_filter = true, |
Vladimir Sementsov-Ogievskiy | 046fd84 | 2022-07-26 23:11:20 +0300 | [diff] [blame] | 302 | .filtered_child_is_backing = true, |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 303 | }; |
| 304 | |
Alberto Garcia | fd62c60 | 2016-07-05 17:29:00 +0300 | [diff] [blame] | 305 | void commit_start(const char *job_id, BlockDriverState *bs, |
John Snow | 5360782 | 2018-09-06 09:02:10 -0400 | [diff] [blame] | 306 | BlockDriverState *base, BlockDriverState *top, |
| 307 | int creation_flags, int64_t speed, |
John Snow | 8254b6d | 2016-10-27 12:06:58 -0400 | [diff] [blame] | 308 | BlockdevOnError on_error, const char *backing_file_str, |
Peter Krempa | 4b028cb | 2023-12-05 18:14:41 +0100 | [diff] [blame] | 309 | bool backing_mask_protocol, |
Kevin Wolf | 0db832f | 2017-02-20 18:10:05 +0100 | [diff] [blame] | 310 | const char *filter_node_name, Error **errp) |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 311 | { |
| 312 | CommitBlockJob *s; |
Alberto Garcia | 3e4c512 | 2016-10-28 10:08:08 +0300 | [diff] [blame] | 313 | BlockDriverState *iter; |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 314 | BlockDriverState *commit_top_bs = NULL; |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 315 | BlockDriverState *filtered_base; |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 316 | int64_t base_size, top_size; |
| 317 | uint64_t base_perms, iter_shared_perms; |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 318 | int ret; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 319 | |
Emanuele Giuseppe Esposito | b4ad82a | 2022-03-03 10:15:57 -0500 | [diff] [blame] | 320 | GLOBAL_STATE_CODE(); |
| 321 | |
Fam Zheng | 18da7f9 | 2013-12-16 14:45:33 +0800 | [diff] [blame] | 322 | assert(top != bs); |
Kevin Wolf | ad74751 | 2023-10-27 17:53:17 +0200 | [diff] [blame] | 323 | bdrv_graph_rdlock_main_loop(); |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 324 | if (bdrv_skip_filters(top) == bdrv_skip_filters(base)) { |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 325 | error_setg(errp, "Invalid files for merge: top and base are the same"); |
Kevin Wolf | ad74751 | 2023-10-27 17:53:17 +0200 | [diff] [blame] | 326 | bdrv_graph_rdunlock_main_loop(); |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 327 | return; |
| 328 | } |
Kevin Wolf | ad74751 | 2023-10-27 17:53:17 +0200 | [diff] [blame] | 329 | bdrv_graph_rdunlock_main_loop(); |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 330 | |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 331 | base_size = bdrv_getlength(base); |
| 332 | if (base_size < 0) { |
| 333 | error_setg_errno(errp, -base_size, "Could not inquire base image size"); |
| 334 | return; |
| 335 | } |
| 336 | |
| 337 | top_size = bdrv_getlength(top); |
| 338 | if (top_size < 0) { |
| 339 | error_setg_errno(errp, -top_size, "Could not inquire top image size"); |
| 340 | return; |
| 341 | } |
| 342 | |
| 343 | base_perms = BLK_PERM_CONSISTENT_READ | BLK_PERM_WRITE; |
| 344 | if (base_size < top_size) { |
| 345 | base_perms |= BLK_PERM_RESIZE; |
| 346 | } |
| 347 | |
John Snow | 75859b9 | 2018-03-10 03:27:27 -0500 | [diff] [blame] | 348 | s = block_job_create(job_id, &commit_job_driver, NULL, bs, 0, BLK_PERM_ALL, |
John Snow | 5360782 | 2018-09-06 09:02:10 -0400 | [diff] [blame] | 349 | speed, creation_flags, NULL, NULL, errp); |
Alberto Garcia | 834fe28 | 2016-05-27 12:53:39 +0200 | [diff] [blame] | 350 | if (!s) { |
| 351 | return; |
| 352 | } |
| 353 | |
Kevin Wolf | bde7071 | 2017-06-27 20:36:18 +0200 | [diff] [blame] | 354 | /* convert base to r/w, if necessary */ |
Alberto Garcia | e70cdc5 | 2018-11-12 16:00:35 +0200 | [diff] [blame] | 355 | s->base_read_only = bdrv_is_read_only(base); |
| 356 | if (s->base_read_only) { |
| 357 | if (bdrv_reopen_set_read_only(base, false, errp) != 0) { |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 358 | goto fail; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 359 | } |
| 360 | } |
| 361 | |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 362 | /* Insert commit_top block node above top, so we can block consistent read |
| 363 | * on the backing chain below it */ |
Kevin Wolf | 0db832f | 2017-02-20 18:10:05 +0100 | [diff] [blame] | 364 | commit_top_bs = bdrv_new_open_driver(&bdrv_commit_top, filter_node_name, 0, |
| 365 | errp); |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 366 | if (commit_top_bs == NULL) { |
| 367 | goto fail; |
| 368 | } |
Kevin Wolf | d3c8c67 | 2017-07-18 17:24:05 +0200 | [diff] [blame] | 369 | if (!filter_node_name) { |
| 370 | commit_top_bs->implicit = true; |
| 371 | } |
Max Reitz | e5182c1 | 2019-07-03 19:28:02 +0200 | [diff] [blame] | 372 | |
| 373 | /* So that we can always drop this node */ |
| 374 | commit_top_bs->never_freeze = true; |
| 375 | |
Kevin Wolf | 0d0676a | 2017-04-06 19:07:14 +0200 | [diff] [blame] | 376 | commit_top_bs->total_sectors = top->total_sectors; |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 377 | |
Vladimir Sementsov-Ogievskiy | 934aee1 | 2021-02-02 15:49:44 +0300 | [diff] [blame] | 378 | ret = bdrv_append(commit_top_bs, top, errp); |
Vladimir Sementsov-Ogievskiy | ae9d441 | 2021-04-28 18:17:32 +0300 | [diff] [blame] | 379 | bdrv_unref(commit_top_bs); /* referenced by new parents or failed */ |
Vladimir Sementsov-Ogievskiy | 934aee1 | 2021-02-02 15:49:44 +0300 | [diff] [blame] | 380 | if (ret < 0) { |
Fam Zheng | b69f00d | 2017-03-07 19:07:22 +0800 | [diff] [blame] | 381 | commit_top_bs = NULL; |
Fam Zheng | b69f00d | 2017-03-07 19:07:22 +0800 | [diff] [blame] | 382 | goto fail; |
| 383 | } |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 384 | |
| 385 | s->commit_top_bs = commit_top_bs; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 386 | |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 387 | /* |
| 388 | * Block all nodes between top and base, because they will |
| 389 | * disappear from the chain after this operation. |
| 390 | * Note that this assumes that the user is fine with removing all |
| 391 | * nodes (including R/W filters) between top and base. Assuring |
| 392 | * this is the responsibility of the interface (i.e. whoever calls |
| 393 | * commit_start()). |
| 394 | */ |
Fiona Ebner | ffdcd08 | 2025-05-30 17:10:49 +0200 | [diff] [blame] | 395 | bdrv_drain_all_begin(); |
Stefan Hajnoczi | 6bc30f1 | 2023-12-05 13:20:02 -0500 | [diff] [blame] | 396 | bdrv_graph_wrlock(); |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 397 | s->base_overlay = bdrv_find_overlay(top, base); |
| 398 | assert(s->base_overlay); |
| 399 | |
| 400 | /* |
| 401 | * The topmost node with |
| 402 | * bdrv_skip_filters(filtered_base) == bdrv_skip_filters(base) |
| 403 | */ |
| 404 | filtered_base = bdrv_cow_bs(s->base_overlay); |
| 405 | assert(bdrv_skip_filters(filtered_base) == bdrv_skip_filters(base)); |
| 406 | |
| 407 | /* |
| 408 | * XXX BLK_PERM_WRITE needs to be allowed so we don't block ourselves |
| 409 | * at s->base (if writes are blocked for a node, they are also blocked |
| 410 | * for its backing file). The other options would be a second filter |
| 411 | * driver above s->base. |
| 412 | */ |
| 413 | iter_shared_perms = BLK_PERM_WRITE_UNCHANGED | BLK_PERM_WRITE; |
| 414 | |
| 415 | for (iter = top; iter != base; iter = bdrv_filter_or_cow_bs(iter)) { |
| 416 | if (iter == filtered_base) { |
| 417 | /* |
| 418 | * From here on, all nodes are filters on the base. This |
| 419 | * allows us to share BLK_PERM_CONSISTENT_READ. |
| 420 | */ |
| 421 | iter_shared_perms |= BLK_PERM_CONSISTENT_READ; |
| 422 | } |
| 423 | |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 424 | ret = block_job_add_bdrv(&s->common, "intermediate node", iter, 0, |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 425 | iter_shared_perms, errp); |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 426 | if (ret < 0) { |
Stefan Hajnoczi | 6bc30f1 | 2023-12-05 13:20:02 -0500 | [diff] [blame] | 427 | bdrv_graph_wrunlock(); |
Fiona Ebner | ffdcd08 | 2025-05-30 17:10:49 +0200 | [diff] [blame] | 428 | bdrv_drain_all_end(); |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 429 | goto fail; |
| 430 | } |
Alberto Garcia | 3e4c512 | 2016-10-28 10:08:08 +0300 | [diff] [blame] | 431 | } |
| 432 | |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 433 | if (bdrv_freeze_backing_chain(commit_top_bs, base, errp) < 0) { |
Stefan Hajnoczi | 6bc30f1 | 2023-12-05 13:20:02 -0500 | [diff] [blame] | 434 | bdrv_graph_wrunlock(); |
Fiona Ebner | ffdcd08 | 2025-05-30 17:10:49 +0200 | [diff] [blame] | 435 | bdrv_drain_all_end(); |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 436 | goto fail; |
| 437 | } |
| 438 | s->chain_frozen = true; |
| 439 | |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 440 | ret = block_job_add_bdrv(&s->common, "base", base, 0, BLK_PERM_ALL, errp); |
Stefan Hajnoczi | 6bc30f1 | 2023-12-05 13:20:02 -0500 | [diff] [blame] | 441 | bdrv_graph_wrunlock(); |
Fiona Ebner | ffdcd08 | 2025-05-30 17:10:49 +0200 | [diff] [blame] | 442 | bdrv_drain_all_end(); |
Kevin Wolf | f3bbc53 | 2023-10-27 17:53:14 +0200 | [diff] [blame] | 443 | |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 444 | if (ret < 0) { |
| 445 | goto fail; |
| 446 | } |
| 447 | |
Kevin Wolf | d861ab3 | 2019-04-25 14:25:10 +0200 | [diff] [blame] | 448 | s->base = blk_new(s->common.job.aio_context, |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 449 | base_perms, |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 450 | BLK_PERM_CONSISTENT_READ |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 451 | | BLK_PERM_WRITE_UNCHANGED); |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 452 | ret = blk_insert_bs(s->base, base, errp); |
| 453 | if (ret < 0) { |
| 454 | goto fail; |
| 455 | } |
Kevin Wolf | cf31293 | 2019-07-22 17:46:23 +0200 | [diff] [blame] | 456 | blk_set_disable_request_queuing(s->base, true); |
John Snow | 22dffcb | 2018-09-06 09:02:13 -0400 | [diff] [blame] | 457 | s->base_bs = base; |
Kevin Wolf | 4653456 | 2016-04-14 13:09:53 +0200 | [diff] [blame] | 458 | |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 459 | /* Required permissions are already taken with block_job_add_bdrv() */ |
Kevin Wolf | d861ab3 | 2019-04-25 14:25:10 +0200 | [diff] [blame] | 460 | s->top = blk_new(s->common.job.aio_context, 0, BLK_PERM_ALL); |
Kevin Wolf | b247767 | 2017-03-03 16:54:21 +0100 | [diff] [blame] | 461 | ret = blk_insert_bs(s->top, top, errp); |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 462 | if (ret < 0) { |
| 463 | goto fail; |
| 464 | } |
Kevin Wolf | cf31293 | 2019-07-22 17:46:23 +0200 | [diff] [blame] | 465 | blk_set_disable_request_queuing(s->top, true); |
Kevin Wolf | 4653456 | 2016-04-14 13:09:53 +0200 | [diff] [blame] | 466 | |
Jeff Cody | 54e2690 | 2014-06-25 15:40:10 -0400 | [diff] [blame] | 467 | s->backing_file_str = g_strdup(backing_file_str); |
Peter Krempa | 4b028cb | 2023-12-05 18:14:41 +0100 | [diff] [blame] | 468 | s->backing_mask_protocol = backing_mask_protocol; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 469 | s->on_error = on_error; |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 470 | |
John Snow | 5ccac6f | 2016-11-08 01:50:37 -0500 | [diff] [blame] | 471 | trace_commit_start(bs, base, top, s); |
Kevin Wolf | da01ff7 | 2018-04-13 17:31:02 +0200 | [diff] [blame] | 472 | job_start(&s->common.job); |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 473 | return; |
| 474 | |
| 475 | fail: |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 476 | if (s->chain_frozen) { |
Kevin Wolf | 9275fc7 | 2023-10-27 17:53:18 +0200 | [diff] [blame] | 477 | bdrv_graph_rdlock_main_loop(); |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 478 | bdrv_unfreeze_backing_chain(commit_top_bs, base); |
Kevin Wolf | 9275fc7 | 2023-10-27 17:53:18 +0200 | [diff] [blame] | 479 | bdrv_graph_rdunlock_main_loop(); |
Alberto Garcia | df82733 | 2019-03-12 18:48:41 +0200 | [diff] [blame] | 480 | } |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 481 | if (s->base) { |
| 482 | blk_unref(s->base); |
| 483 | } |
| 484 | if (s->top) { |
| 485 | blk_unref(s->top); |
| 486 | } |
Alberto Garcia | 065abf9 | 2019-04-29 15:51:08 +0200 | [diff] [blame] | 487 | if (s->base_read_only) { |
| 488 | bdrv_reopen_set_read_only(base, true, NULL); |
| 489 | } |
Alberto Garcia | 2468eed | 2019-02-15 15:49:32 +0200 | [diff] [blame] | 490 | job_early_fail(&s->common.job); |
| 491 | /* commit_top_bs has to be replaced after deleting the block job, |
| 492 | * otherwise this would fail because of lack of permissions. */ |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 493 | if (commit_top_bs) { |
Kevin Wolf | ccd6a37 | 2023-10-27 17:53:25 +0200 | [diff] [blame] | 494 | bdrv_drained_begin(top); |
Stefan Hajnoczi | 6bc30f1 | 2023-12-05 13:20:02 -0500 | [diff] [blame] | 495 | bdrv_graph_wrlock(); |
Kevin Wolf | bde7071 | 2017-06-27 20:36:18 +0200 | [diff] [blame] | 496 | bdrv_replace_node(commit_top_bs, top, &error_abort); |
Stefan Hajnoczi | 6bc30f1 | 2023-12-05 13:20:02 -0500 | [diff] [blame] | 497 | bdrv_graph_wrunlock(); |
Kevin Wolf | ccd6a37 | 2023-10-27 17:53:25 +0200 | [diff] [blame] | 498 | bdrv_drained_end(top); |
Kevin Wolf | 8dfba27 | 2017-01-16 16:22:34 +0100 | [diff] [blame] | 499 | } |
Jeff Cody | 747ff60 | 2012-09-27 13:29:13 -0400 | [diff] [blame] | 500 | } |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 501 | |
| 502 | |
Eric Blake | d6a644b | 2017-07-07 07:44:57 -0500 | [diff] [blame] | 503 | #define COMMIT_BUF_SIZE (2048 * BDRV_SECTOR_SIZE) |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 504 | |
| 505 | /* commit COW file into the raw image */ |
| 506 | int bdrv_commit(BlockDriverState *bs) |
| 507 | { |
Kevin Wolf | f8e2bd5 | 2016-05-30 16:29:47 +0200 | [diff] [blame] | 508 | BlockBackend *src, *backing; |
Kevin Wolf | d3f0675 | 2017-01-19 18:16:03 +0100 | [diff] [blame] | 509 | BlockDriverState *backing_file_bs = NULL; |
| 510 | BlockDriverState *commit_top_bs = NULL; |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 511 | BlockDriver *drv = bs->drv; |
Kevin Wolf | d861ab3 | 2019-04-25 14:25:10 +0200 | [diff] [blame] | 512 | AioContext *ctx; |
Eric Blake | d6a644b | 2017-07-07 07:44:57 -0500 | [diff] [blame] | 513 | int64_t offset, length, backing_length; |
Alberto Garcia | c742a36 | 2018-11-12 16:00:36 +0200 | [diff] [blame] | 514 | int ro; |
Eric Blake | d6a644b | 2017-07-07 07:44:57 -0500 | [diff] [blame] | 515 | int64_t n; |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 516 | int ret = 0; |
Vladimir Sementsov-Ogievskiy | 7170170 | 2021-06-28 15:11:33 +0300 | [diff] [blame] | 517 | QEMU_AUTO_VFREE uint8_t *buf = NULL; |
Kevin Wolf | d3f0675 | 2017-01-19 18:16:03 +0100 | [diff] [blame] | 518 | Error *local_err = NULL; |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 519 | |
Emanuele Giuseppe Esposito | f791bf7 | 2022-03-03 10:15:49 -0500 | [diff] [blame] | 520 | GLOBAL_STATE_CODE(); |
Kevin Wolf | 277f200 | 2023-09-29 16:51:52 +0200 | [diff] [blame] | 521 | GRAPH_RDLOCK_GUARD_MAINLOOP(); |
Emanuele Giuseppe Esposito | f791bf7 | 2022-03-03 10:15:49 -0500 | [diff] [blame] | 522 | |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 523 | if (!drv) |
| 524 | return -ENOMEDIUM; |
| 525 | |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 526 | backing_file_bs = bdrv_cow_bs(bs); |
| 527 | |
| 528 | if (!backing_file_bs) { |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 529 | return -ENOTSUP; |
| 530 | } |
| 531 | |
| 532 | if (bdrv_op_is_blocked(bs, BLOCK_OP_TYPE_COMMIT_SOURCE, NULL) || |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 533 | bdrv_op_is_blocked(backing_file_bs, BLOCK_OP_TYPE_COMMIT_TARGET, NULL)) |
| 534 | { |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 535 | return -EBUSY; |
| 536 | } |
| 537 | |
Vladimir Sementsov-Ogievskiy | 307261b | 2021-05-27 18:40:54 +0300 | [diff] [blame] | 538 | ro = bdrv_is_read_only(backing_file_bs); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 539 | |
| 540 | if (ro) { |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 541 | if (bdrv_reopen_set_read_only(backing_file_bs, false, NULL)) { |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 542 | return -EACCES; |
| 543 | } |
| 544 | } |
| 545 | |
Kevin Wolf | d861ab3 | 2019-04-25 14:25:10 +0200 | [diff] [blame] | 546 | ctx = bdrv_get_aio_context(bs); |
Max Reitz | 2d97fde | 2020-04-29 16:11:26 +0200 | [diff] [blame] | 547 | /* WRITE_UNCHANGED is required for bdrv_make_empty() */ |
| 548 | src = blk_new(ctx, BLK_PERM_CONSISTENT_READ | BLK_PERM_WRITE_UNCHANGED, |
| 549 | BLK_PERM_ALL); |
Kevin Wolf | d861ab3 | 2019-04-25 14:25:10 +0200 | [diff] [blame] | 550 | backing = blk_new(ctx, BLK_PERM_WRITE | BLK_PERM_RESIZE, BLK_PERM_ALL); |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 551 | |
Kevin Wolf | d3f0675 | 2017-01-19 18:16:03 +0100 | [diff] [blame] | 552 | ret = blk_insert_bs(src, bs, &local_err); |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 553 | if (ret < 0) { |
Kevin Wolf | d3f0675 | 2017-01-19 18:16:03 +0100 | [diff] [blame] | 554 | error_report_err(local_err); |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 555 | goto ro_cleanup; |
| 556 | } |
| 557 | |
Kevin Wolf | d3f0675 | 2017-01-19 18:16:03 +0100 | [diff] [blame] | 558 | /* Insert commit_top block node above backing, so we can write to it */ |
Kevin Wolf | d3f0675 | 2017-01-19 18:16:03 +0100 | [diff] [blame] | 559 | commit_top_bs = bdrv_new_open_driver(&bdrv_commit_top, NULL, BDRV_O_RDWR, |
| 560 | &local_err); |
| 561 | if (commit_top_bs == NULL) { |
| 562 | error_report_err(local_err); |
| 563 | goto ro_cleanup; |
| 564 | } |
| 565 | |
Kevin Wolf | 12fa4af | 2017-02-17 20:42:32 +0100 | [diff] [blame] | 566 | bdrv_set_backing_hd(commit_top_bs, backing_file_bs, &error_abort); |
| 567 | bdrv_set_backing_hd(bs, commit_top_bs, &error_abort); |
Kevin Wolf | d3f0675 | 2017-01-19 18:16:03 +0100 | [diff] [blame] | 568 | |
| 569 | ret = blk_insert_bs(backing, backing_file_bs, &local_err); |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 570 | if (ret < 0) { |
Kevin Wolf | d3f0675 | 2017-01-19 18:16:03 +0100 | [diff] [blame] | 571 | error_report_err(local_err); |
Kevin Wolf | d708642 | 2017-01-13 19:02:32 +0100 | [diff] [blame] | 572 | goto ro_cleanup; |
| 573 | } |
Kevin Wolf | f8e2bd5 | 2016-05-30 16:29:47 +0200 | [diff] [blame] | 574 | |
| 575 | length = blk_getlength(src); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 576 | if (length < 0) { |
| 577 | ret = length; |
| 578 | goto ro_cleanup; |
| 579 | } |
| 580 | |
Kevin Wolf | f8e2bd5 | 2016-05-30 16:29:47 +0200 | [diff] [blame] | 581 | backing_length = blk_getlength(backing); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 582 | if (backing_length < 0) { |
| 583 | ret = backing_length; |
| 584 | goto ro_cleanup; |
| 585 | } |
| 586 | |
| 587 | /* If our top snapshot is larger than the backing file image, |
| 588 | * grow the backing file image if possible. If not possible, |
| 589 | * we must return an error */ |
| 590 | if (length > backing_length) { |
Kevin Wolf | 8c6242b | 2020-04-24 14:54:41 +0200 | [diff] [blame] | 591 | ret = blk_truncate(backing, length, false, PREALLOC_MODE_OFF, 0, |
Max Reitz | c80d8b0 | 2019-09-18 11:51:40 +0200 | [diff] [blame] | 592 | &local_err); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 593 | if (ret < 0) { |
Max Reitz | ed3d2ec | 2017-03-28 22:51:27 +0200 | [diff] [blame] | 594 | error_report_err(local_err); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 595 | goto ro_cleanup; |
| 596 | } |
| 597 | } |
| 598 | |
Kevin Wolf | f8e2bd5 | 2016-05-30 16:29:47 +0200 | [diff] [blame] | 599 | /* blk_try_blockalign() for src will choose an alignment that works for |
| 600 | * backing as well, so no need to compare the alignment manually. */ |
Eric Blake | d6a644b | 2017-07-07 07:44:57 -0500 | [diff] [blame] | 601 | buf = blk_try_blockalign(src, COMMIT_BUF_SIZE); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 602 | if (buf == NULL) { |
| 603 | ret = -ENOMEM; |
| 604 | goto ro_cleanup; |
| 605 | } |
| 606 | |
Eric Blake | d6a644b | 2017-07-07 07:44:57 -0500 | [diff] [blame] | 607 | for (offset = 0; offset < length; offset += n) { |
| 608 | ret = bdrv_is_allocated(bs, offset, COMMIT_BUF_SIZE, &n); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 609 | if (ret < 0) { |
| 610 | goto ro_cleanup; |
| 611 | } |
| 612 | if (ret) { |
Alberto Faria | a9262f5 | 2022-07-05 17:15:11 +0100 | [diff] [blame] | 613 | ret = blk_pread(src, offset, n, buf, 0); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 614 | if (ret < 0) { |
| 615 | goto ro_cleanup; |
| 616 | } |
| 617 | |
Alberto Faria | a9262f5 | 2022-07-05 17:15:11 +0100 | [diff] [blame] | 618 | ret = blk_pwrite(backing, offset, n, buf, 0); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 619 | if (ret < 0) { |
| 620 | goto ro_cleanup; |
| 621 | } |
| 622 | } |
| 623 | } |
| 624 | |
Max Reitz | 2d97fde | 2020-04-29 16:11:26 +0200 | [diff] [blame] | 625 | ret = blk_make_empty(src, NULL); |
| 626 | /* Ignore -ENOTSUP */ |
| 627 | if (ret < 0 && ret != -ENOTSUP) { |
| 628 | goto ro_cleanup; |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 629 | } |
| 630 | |
Max Reitz | 2d97fde | 2020-04-29 16:11:26 +0200 | [diff] [blame] | 631 | blk_flush(src); |
| 632 | |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 633 | /* |
| 634 | * Make sure all data we wrote to the backing device is actually |
| 635 | * stable on disk. |
| 636 | */ |
Kevin Wolf | f8e2bd5 | 2016-05-30 16:29:47 +0200 | [diff] [blame] | 637 | blk_flush(backing); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 638 | |
| 639 | ret = 0; |
| 640 | ro_cleanup: |
Kevin Wolf | f8e2bd5 | 2016-05-30 16:29:47 +0200 | [diff] [blame] | 641 | blk_unref(backing); |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 642 | if (bdrv_cow_bs(bs) != backing_file_bs) { |
Kevin Wolf | 12fa4af | 2017-02-17 20:42:32 +0100 | [diff] [blame] | 643 | bdrv_set_backing_hd(bs, backing_file_bs, &error_abort); |
Kevin Wolf | d3f0675 | 2017-01-19 18:16:03 +0100 | [diff] [blame] | 644 | } |
| 645 | bdrv_unref(commit_top_bs); |
| 646 | blk_unref(src); |
Kevin Wolf | f8e2bd5 | 2016-05-30 16:29:47 +0200 | [diff] [blame] | 647 | |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 648 | if (ro) { |
| 649 | /* ignoring error return here */ |
Max Reitz | 9a71b9d | 2019-06-12 17:47:37 +0200 | [diff] [blame] | 650 | bdrv_reopen_set_read_only(backing_file_bs, true, NULL); |
Kevin Wolf | 83fd6dd | 2016-05-30 15:53:15 +0200 | [diff] [blame] | 651 | } |
| 652 | |
| 653 | return ret; |
| 654 | } |