blob: 41e3599281aa659915a611c1b775b3ab92d5aefb [file] [log] [blame]
Jeff Cody747ff602012-09-27 13:29:13 -04001/*
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 Maydell80c71a22016-01-18 18:01:42 +000015#include "qemu/osdep.h"
Kevin Wolfdcbf37c2017-03-09 11:49:16 +010016#include "qemu/cutils.h"
Jeff Cody747ff602012-09-27 13:29:13 -040017#include "trace.h"
Paolo Bonzini737e1502012-12-17 18:19:44 +010018#include "block/block_int.h"
John Snowc87621e2016-10-27 12:07:00 -040019#include "block/blockjob_int.h"
Markus Armbrusterda34e652016-03-14 09:01:28 +010020#include "qapi/error.h"
Markus Armbrustercc7a8ea2015-03-17 17:22:46 +010021#include "qapi/qmp/qerror.h"
Jeff Cody747ff602012-09-27 13:29:13 -040022#include "qemu/ratelimit.h"
Peter Maydell5df022c2022-02-26 18:07:23 +000023#include "qemu/memalign.h"
Max Reitz373340b2015-10-19 17:53:22 +020024#include "sysemu/block-backend.h"
Jeff Cody747ff602012-09-27 13:29:13 -040025
26enum {
27 /*
28 * Size of data buffer for populating the image file. This should be large
29 * enough to process multiple clusters in a single call, so that populating
30 * contiguous regions of the image is efficient.
31 */
32 COMMIT_BUFFER_SIZE = 512 * 1024, /* in bytes */
33};
34
Jeff Cody747ff602012-09-27 13:29:13 -040035typedef struct CommitBlockJob {
36 BlockJob common;
Kevin Wolf8dfba272017-01-16 16:22:34 +010037 BlockDriverState *commit_top_bs;
Kevin Wolf46534562016-04-14 13:09:53 +020038 BlockBackend *top;
39 BlockBackend *base;
John Snow22dffcb2018-09-06 09:02:13 -040040 BlockDriverState *base_bs;
Max Reitz9a71b9d2019-06-12 17:47:37 +020041 BlockDriverState *base_overlay;
Paolo Bonzini92aa5c62012-09-28 17:22:55 +020042 BlockdevOnError on_error;
Alberto Garciae70cdc52018-11-12 16:00:35 +020043 bool base_read_only;
Alberto Garciadf827332019-03-12 18:48:41 +020044 bool chain_frozen;
Jeff Cody54e26902014-06-25 15:40:10 -040045 char *backing_file_str;
Jeff Cody747ff602012-09-27 13:29:13 -040046} CommitBlockJob;
47
John Snow22dffcb2018-09-06 09:02:13 -040048static int commit_prepare(Job *job)
Jeff Cody747ff602012-09-27 13:29:13 -040049{
Kevin Wolf1908a552018-04-17 16:41:17 +020050 CommitBlockJob *s = container_of(job, CommitBlockJob, common.job);
Kevin Wolf19ebd132017-06-02 23:04:55 +020051
Alberto Garciadf827332019-03-12 18:48:41 +020052 bdrv_unfreeze_backing_chain(s->commit_top_bs, s->base_bs);
53 s->chain_frozen = false;
54
Kevin Wolf8dfba272017-01-16 16:22:34 +010055 /* Remove base node parent that still uses BLK_PERM_WRITE/RESIZE before
56 * the normal backing chain can be restored. */
57 blk_unref(s->base);
John Snow22dffcb2018-09-06 09:02:13 -040058 s->base = NULL;
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +010059
John Snow22dffcb2018-09-06 09:02:13 -040060 /* FIXME: bdrv_drop_intermediate treats total failures and partial failures
61 * identically. Further work is needed to disambiguate these cases. */
62 return bdrv_drop_intermediate(s->commit_top_bs, s->base_bs,
63 s->backing_file_str);
64}
65
66static void commit_abort(Job *job)
67{
68 CommitBlockJob *s = container_of(job, CommitBlockJob, common.job);
69 BlockDriverState *top_bs = blk_bs(s->top);
70
Alberto Garciadf827332019-03-12 18:48:41 +020071 if (s->chain_frozen) {
72 bdrv_unfreeze_backing_chain(s->commit_top_bs, s->base_bs);
73 }
74
John Snow22dffcb2018-09-06 09:02:13 -040075 /* Make sure commit_top_bs and top stay around until bdrv_replace_node() */
76 bdrv_ref(top_bs);
77 bdrv_ref(s->commit_top_bs);
78
79 if (s->base) {
80 blk_unref(s->base);
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +010081 }
82
John Snow22dffcb2018-09-06 09:02:13 -040083 /* free the blockers on the intermediate nodes so that bdrv_replace_nodes
84 * can succeed */
85 block_job_remove_all_bdrv(&s->common);
86
87 /* If bdrv_drop_intermediate() failed (or was not invoked), remove the
88 * commit filter driver from the backing chain now. Do this as the final
89 * step so that the 'consistent read' permission can be granted.
90 *
91 * XXX Can (or should) we somehow keep 'consistent read' blocked even
92 * after the failed/cancelled commit job is gone? If we already wrote
93 * something to base, the intermediate images aren't valid any more. */
Max Reitz9a71b9d2019-06-12 17:47:37 +020094 bdrv_replace_node(s->commit_top_bs, s->commit_top_bs->backing->bs,
John Snow22dffcb2018-09-06 09:02:13 -040095 &error_abort);
96
97 bdrv_unref(s->commit_top_bs);
98 bdrv_unref(top_bs);
99}
100
101static void commit_clean(Job *job)
102{
103 CommitBlockJob *s = container_of(job, CommitBlockJob, common.job);
104
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100105 /* restore base open flags here if appropriate (e.g., change the base back
106 * to r/o). These reopens do not need to be atomic, since we won't abort
107 * even on failure here */
Alberto Garciae70cdc52018-11-12 16:00:35 +0200108 if (s->base_read_only) {
109 bdrv_reopen_set_read_only(s->base_bs, true, NULL);
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100110 }
John Snow22dffcb2018-09-06 09:02:13 -0400111
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100112 g_free(s->backing_file_str);
Kevin Wolf46534562016-04-14 13:09:53 +0200113 blk_unref(s->top);
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100114}
115
John Snowf67432a2018-08-29 21:57:26 -0400116static int coroutine_fn commit_run(Job *job, Error **errp)
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100117{
John Snowf67432a2018-08-29 21:57:26 -0400118 CommitBlockJob *s = container_of(job, CommitBlockJob, common.job);
Eric Blake317a6672017-07-07 07:44:45 -0500119 int64_t offset;
Sascha Silbef14a39c2016-06-28 17:28:41 +0200120 uint64_t delay_ns = 0;
Jeff Cody747ff602012-09-27 13:29:13 -0400121 int ret = 0;
Eric Blake51b0a482017-07-07 07:44:59 -0500122 int64_t n = 0; /* bytes */
Vladimir Sementsov-Ogievskiy71701702021-06-28 15:11:33 +0300123 QEMU_AUTO_VFREE void *buf = NULL;
Kevin Wolf05df8a62018-01-18 18:08:22 +0100124 int64_t len, base_len;
Jeff Cody747ff602012-09-27 13:29:13 -0400125
Emanuele Giuseppe Espositoc86422c2023-01-13 21:42:04 +0100126 len = blk_co_getlength(s->top);
Kevin Wolf05df8a62018-01-18 18:08:22 +0100127 if (len < 0) {
Vladimir Sementsov-Ogievskiy71701702021-06-28 15:11:33 +0300128 return len;
Jeff Cody747ff602012-09-27 13:29:13 -0400129 }
Kevin Wolf30a5c882018-05-04 12:17:20 +0200130 job_progress_set_remaining(&s->common.job, len);
Jeff Cody747ff602012-09-27 13:29:13 -0400131
Emanuele Giuseppe Espositoc86422c2023-01-13 21:42:04 +0100132 base_len = blk_co_getlength(s->base);
Jeff Cody747ff602012-09-27 13:29:13 -0400133 if (base_len < 0) {
Vladimir Sementsov-Ogievskiy71701702021-06-28 15:11:33 +0300134 return base_len;
Jeff Cody747ff602012-09-27 13:29:13 -0400135 }
136
Kevin Wolf05df8a62018-01-18 18:08:22 +0100137 if (base_len < len) {
Alberto Fariaa0667882022-10-13 14:37:01 +0200138 ret = blk_co_truncate(s->base, len, false, PREALLOC_MODE_OFF, 0, NULL);
Jeff Cody747ff602012-09-27 13:29:13 -0400139 if (ret) {
Vladimir Sementsov-Ogievskiy71701702021-06-28 15:11:33 +0300140 return ret;
Jeff Cody747ff602012-09-27 13:29:13 -0400141 }
142 }
143
Kevin Wolf46534562016-04-14 13:09:53 +0200144 buf = blk_blockalign(s->top, COMMIT_BUFFER_SIZE);
Jeff Cody747ff602012-09-27 13:29:13 -0400145
Kevin Wolf05df8a62018-01-18 18:08:22 +0100146 for (offset = 0; offset < len; offset += n) {
Jeff Cody747ff602012-09-27 13:29:13 -0400147 bool copy;
Kevin Wolf9ad1e792020-02-14 21:08:10 +0100148 bool error_in_source = true;
Jeff Cody747ff602012-09-27 13:29:13 -0400149
Jeff Cody747ff602012-09-27 13:29:13 -0400150 /* Note that even when no rate limit is applied we need to yield
Kevin Wolfc57b6652012-11-13 16:35:13 +0100151 * with no pending I/O here so that bdrv_drain_all() returns.
Jeff Cody747ff602012-09-27 13:29:13 -0400152 */
Kevin Wolf5d43e862018-04-18 16:32:20 +0200153 job_sleep_ns(&s->common.job, delay_ns);
Kevin Wolfdaa7f2f2018-04-17 12:56:07 +0200154 if (job_is_cancelled(&s->common.job)) {
Jeff Cody747ff602012-09-27 13:29:13 -0400155 break;
156 }
157 /* Copy if allocated above the base */
Emanuele Giuseppe Espositoff7e2612022-11-28 09:23:27 -0500158 ret = blk_co_is_allocated_above(s->top, s->base_overlay, true,
159 offset, COMMIT_BUFFER_SIZE, &n);
Eric Blakea92b1b02020-10-27 00:05:53 -0500160 copy = (ret > 0);
Eric Blake51b0a482017-07-07 07:44:59 -0500161 trace_commit_one_iteration(s, offset, n, ret);
Jeff Cody747ff602012-09-27 13:29:13 -0400162 if (copy) {
Kevin Wolf0c42e172020-02-14 21:08:09 +0100163 assert(n < SIZE_MAX);
164
165 ret = blk_co_pread(s->top, offset, n, buf, 0);
166 if (ret >= 0) {
167 ret = blk_co_pwrite(s->base, offset, n, buf, 0);
Kevin Wolf9ad1e792020-02-14 21:08:10 +0100168 if (ret < 0) {
169 error_in_source = false;
170 }
Kevin Wolf0c42e172020-02-14 21:08:09 +0100171 }
Jeff Cody747ff602012-09-27 13:29:13 -0400172 }
173 if (ret < 0) {
Kevin Wolf1e8fb7f2016-06-29 17:38:57 +0200174 BlockErrorAction action =
Kevin Wolf9ad1e792020-02-14 21:08:10 +0100175 block_job_error_action(&s->common, s->on_error,
176 error_in_source, -ret);
Kevin Wolf1e8fb7f2016-06-29 17:38:57 +0200177 if (action == BLOCK_ERROR_ACTION_REPORT) {
Vladimir Sementsov-Ogievskiy71701702021-06-28 15:11:33 +0300178 return ret;
Jeff Cody747ff602012-09-27 13:29:13 -0400179 } else {
180 n = 0;
181 continue;
182 }
183 }
184 /* Publish progress */
Kevin Wolf30a5c882018-05-04 12:17:20 +0200185 job_progress_update(&s->common.job, n);
Sascha Silbef14a39c2016-06-28 17:28:41 +0200186
Kevin Wolfdee81d52018-01-18 21:19:38 +0100187 if (copy) {
188 delay_ns = block_job_ratelimit_get_delay(&s->common, n);
Kevin Wolf2fe4bba2018-01-18 21:23:52 +0100189 } else {
190 delay_ns = 0;
Sascha Silbef14a39c2016-06-28 17:28:41 +0200191 }
Jeff Cody747ff602012-09-27 13:29:13 -0400192 }
193
Vladimir Sementsov-Ogievskiy71701702021-06-28 15:11:33 +0300194 return 0;
Jeff Cody747ff602012-09-27 13:29:13 -0400195}
196
Fam Zheng3fc4b102013-10-08 17:29:38 +0800197static const BlockJobDriver commit_job_driver = {
Kevin Wolf33e9e9b2018-04-12 17:29:59 +0200198 .job_driver = {
199 .instance_size = sizeof(CommitBlockJob),
Kevin Wolf252291e2018-04-12 17:57:08 +0200200 .job_type = JOB_TYPE_COMMIT,
Kevin Wolf80fa2c72018-04-13 18:50:05 +0200201 .free = block_job_free,
Kevin Wolfb15de822018-04-18 17:10:26 +0200202 .user_resume = block_job_user_resume,
John Snowf67432a2018-08-29 21:57:26 -0400203 .run = commit_run,
John Snow22dffcb2018-09-06 09:02:13 -0400204 .prepare = commit_prepare,
205 .abort = commit_abort,
206 .clean = commit_clean
Kevin Wolf33e9e9b2018-04-12 17:29:59 +0200207 },
Jeff Cody747ff602012-09-27 13:29:13 -0400208};
209
Kevin Wolf8dfba272017-01-16 16:22:34 +0100210static int coroutine_fn bdrv_commit_top_preadv(BlockDriverState *bs,
Vladimir Sementsov-Ogievskiyf7ef38d2021-09-03 13:27:59 +0300211 int64_t offset, int64_t bytes, QEMUIOVector *qiov, BdrvRequestFlags flags)
Kevin Wolf8dfba272017-01-16 16:22:34 +0100212{
213 return bdrv_co_preadv(bs->backing, offset, bytes, qiov, flags);
214}
215
Max Reitz998b3a12019-02-01 20:29:28 +0100216static void bdrv_commit_top_refresh_filename(BlockDriverState *bs)
Kevin Wolfdcbf37c2017-03-09 11:49:16 +0100217{
Kevin Wolfdcbf37c2017-03-09 11:49:16 +0100218 pstrcpy(bs->exact_filename, sizeof(bs->exact_filename),
219 bs->backing->bs->filename);
220}
Kevin Wolf91965652017-03-08 15:07:12 +0100221
Kevin Wolf8dfba272017-01-16 16:22:34 +0100222static void bdrv_commit_top_child_perm(BlockDriverState *bs, BdrvChild *c,
Max Reitzbf8e9252020-05-13 13:05:16 +0200223 BdrvChildRole role,
Kevin Wolfe0995dc2017-09-14 12:47:11 +0200224 BlockReopenQueue *reopen_queue,
Kevin Wolf8dfba272017-01-16 16:22:34 +0100225 uint64_t perm, uint64_t shared,
226 uint64_t *nperm, uint64_t *nshared)
227{
228 *nperm = 0;
229 *nshared = BLK_PERM_ALL;
230}
231
232/* Dummy node that provides consistent read to its users without requiring it
233 * from its backing file and that allows writes on the backing file chain. */
234static BlockDriver bdrv_commit_top = {
Kevin Wolf91965652017-03-08 15:07:12 +0100235 .format_name = "commit_top",
236 .bdrv_co_preadv = bdrv_commit_top_preadv,
Kevin Wolfdcbf37c2017-03-09 11:49:16 +0100237 .bdrv_refresh_filename = bdrv_commit_top_refresh_filename,
Kevin Wolf91965652017-03-08 15:07:12 +0100238 .bdrv_child_perm = bdrv_commit_top_child_perm,
Max Reitz6540fd12020-05-13 13:05:11 +0200239
240 .is_filter = true,
Vladimir Sementsov-Ogievskiy046fd842022-07-26 23:11:20 +0300241 .filtered_child_is_backing = true,
Kevin Wolf8dfba272017-01-16 16:22:34 +0100242};
243
Alberto Garciafd62c602016-07-05 17:29:00 +0300244void commit_start(const char *job_id, BlockDriverState *bs,
John Snow53607822018-09-06 09:02:10 -0400245 BlockDriverState *base, BlockDriverState *top,
246 int creation_flags, int64_t speed,
John Snow8254b6d2016-10-27 12:06:58 -0400247 BlockdevOnError on_error, const char *backing_file_str,
Kevin Wolf0db832f2017-02-20 18:10:05 +0100248 const char *filter_node_name, Error **errp)
Jeff Cody747ff602012-09-27 13:29:13 -0400249{
250 CommitBlockJob *s;
Alberto Garcia3e4c5122016-10-28 10:08:08 +0300251 BlockDriverState *iter;
Kevin Wolf8dfba272017-01-16 16:22:34 +0100252 BlockDriverState *commit_top_bs = NULL;
Max Reitz9a71b9d2019-06-12 17:47:37 +0200253 BlockDriverState *filtered_base;
Max Reitz9a71b9d2019-06-12 17:47:37 +0200254 int64_t base_size, top_size;
255 uint64_t base_perms, iter_shared_perms;
Kevin Wolfd7086422017-01-13 19:02:32 +0100256 int ret;
Jeff Cody747ff602012-09-27 13:29:13 -0400257
Emanuele Giuseppe Espositob4ad82a2022-03-03 10:15:57 -0500258 GLOBAL_STATE_CODE();
259
Fam Zheng18da7f92013-12-16 14:45:33 +0800260 assert(top != bs);
Max Reitz9a71b9d2019-06-12 17:47:37 +0200261 if (bdrv_skip_filters(top) == bdrv_skip_filters(base)) {
Jeff Cody747ff602012-09-27 13:29:13 -0400262 error_setg(errp, "Invalid files for merge: top and base are the same");
263 return;
264 }
265
Max Reitz9a71b9d2019-06-12 17:47:37 +0200266 base_size = bdrv_getlength(base);
267 if (base_size < 0) {
268 error_setg_errno(errp, -base_size, "Could not inquire base image size");
269 return;
270 }
271
272 top_size = bdrv_getlength(top);
273 if (top_size < 0) {
274 error_setg_errno(errp, -top_size, "Could not inquire top image size");
275 return;
276 }
277
278 base_perms = BLK_PERM_CONSISTENT_READ | BLK_PERM_WRITE;
279 if (base_size < top_size) {
280 base_perms |= BLK_PERM_RESIZE;
281 }
282
John Snow75859b92018-03-10 03:27:27 -0500283 s = block_job_create(job_id, &commit_job_driver, NULL, bs, 0, BLK_PERM_ALL,
John Snow53607822018-09-06 09:02:10 -0400284 speed, creation_flags, NULL, NULL, errp);
Alberto Garcia834fe282016-05-27 12:53:39 +0200285 if (!s) {
286 return;
287 }
288
Kevin Wolfbde70712017-06-27 20:36:18 +0200289 /* convert base to r/w, if necessary */
Alberto Garciae70cdc52018-11-12 16:00:35 +0200290 s->base_read_only = bdrv_is_read_only(base);
291 if (s->base_read_only) {
292 if (bdrv_reopen_set_read_only(base, false, errp) != 0) {
Kevin Wolfd7086422017-01-13 19:02:32 +0100293 goto fail;
Jeff Cody747ff602012-09-27 13:29:13 -0400294 }
295 }
296
Kevin Wolf8dfba272017-01-16 16:22:34 +0100297 /* Insert commit_top block node above top, so we can block consistent read
298 * on the backing chain below it */
Kevin Wolf0db832f2017-02-20 18:10:05 +0100299 commit_top_bs = bdrv_new_open_driver(&bdrv_commit_top, filter_node_name, 0,
300 errp);
Kevin Wolf8dfba272017-01-16 16:22:34 +0100301 if (commit_top_bs == NULL) {
302 goto fail;
303 }
Kevin Wolfd3c8c672017-07-18 17:24:05 +0200304 if (!filter_node_name) {
305 commit_top_bs->implicit = true;
306 }
Max Reitze5182c12019-07-03 19:28:02 +0200307
308 /* So that we can always drop this node */
309 commit_top_bs->never_freeze = true;
310
Kevin Wolf0d0676a2017-04-06 19:07:14 +0200311 commit_top_bs->total_sectors = top->total_sectors;
Kevin Wolf8dfba272017-01-16 16:22:34 +0100312
Vladimir Sementsov-Ogievskiy934aee12021-02-02 15:49:44 +0300313 ret = bdrv_append(commit_top_bs, top, errp);
Vladimir Sementsov-Ogievskiyae9d4412021-04-28 18:17:32 +0300314 bdrv_unref(commit_top_bs); /* referenced by new parents or failed */
Vladimir Sementsov-Ogievskiy934aee12021-02-02 15:49:44 +0300315 if (ret < 0) {
Fam Zhengb69f00d2017-03-07 19:07:22 +0800316 commit_top_bs = NULL;
Fam Zhengb69f00d2017-03-07 19:07:22 +0800317 goto fail;
318 }
Kevin Wolf8dfba272017-01-16 16:22:34 +0100319
320 s->commit_top_bs = commit_top_bs;
Jeff Cody747ff602012-09-27 13:29:13 -0400321
Max Reitz9a71b9d2019-06-12 17:47:37 +0200322 /*
323 * Block all nodes between top and base, because they will
324 * disappear from the chain after this operation.
325 * Note that this assumes that the user is fine with removing all
326 * nodes (including R/W filters) between top and base. Assuring
327 * this is the responsibility of the interface (i.e. whoever calls
328 * commit_start()).
329 */
330 s->base_overlay = bdrv_find_overlay(top, base);
331 assert(s->base_overlay);
332
333 /*
334 * The topmost node with
335 * bdrv_skip_filters(filtered_base) == bdrv_skip_filters(base)
336 */
337 filtered_base = bdrv_cow_bs(s->base_overlay);
338 assert(bdrv_skip_filters(filtered_base) == bdrv_skip_filters(base));
339
340 /*
341 * XXX BLK_PERM_WRITE needs to be allowed so we don't block ourselves
342 * at s->base (if writes are blocked for a node, they are also blocked
343 * for its backing file). The other options would be a second filter
344 * driver above s->base.
345 */
346 iter_shared_perms = BLK_PERM_WRITE_UNCHANGED | BLK_PERM_WRITE;
347
348 for (iter = top; iter != base; iter = bdrv_filter_or_cow_bs(iter)) {
349 if (iter == filtered_base) {
350 /*
351 * From here on, all nodes are filters on the base. This
352 * allows us to share BLK_PERM_CONSISTENT_READ.
353 */
354 iter_shared_perms |= BLK_PERM_CONSISTENT_READ;
355 }
356
Kevin Wolf8dfba272017-01-16 16:22:34 +0100357 ret = block_job_add_bdrv(&s->common, "intermediate node", iter, 0,
Max Reitz9a71b9d2019-06-12 17:47:37 +0200358 iter_shared_perms, errp);
Kevin Wolf8dfba272017-01-16 16:22:34 +0100359 if (ret < 0) {
360 goto fail;
361 }
Alberto Garcia3e4c5122016-10-28 10:08:08 +0300362 }
363
Alberto Garciadf827332019-03-12 18:48:41 +0200364 if (bdrv_freeze_backing_chain(commit_top_bs, base, errp) < 0) {
365 goto fail;
366 }
367 s->chain_frozen = true;
368
Kevin Wolf8dfba272017-01-16 16:22:34 +0100369 ret = block_job_add_bdrv(&s->common, "base", base, 0, BLK_PERM_ALL, errp);
370 if (ret < 0) {
371 goto fail;
372 }
373
Kevin Wolfd861ab32019-04-25 14:25:10 +0200374 s->base = blk_new(s->common.job.aio_context,
Max Reitz9a71b9d2019-06-12 17:47:37 +0200375 base_perms,
Kevin Wolf8dfba272017-01-16 16:22:34 +0100376 BLK_PERM_CONSISTENT_READ
Kevin Wolf8dfba272017-01-16 16:22:34 +0100377 | BLK_PERM_WRITE_UNCHANGED);
Kevin Wolfd7086422017-01-13 19:02:32 +0100378 ret = blk_insert_bs(s->base, base, errp);
379 if (ret < 0) {
380 goto fail;
381 }
Kevin Wolfcf312932019-07-22 17:46:23 +0200382 blk_set_disable_request_queuing(s->base, true);
John Snow22dffcb2018-09-06 09:02:13 -0400383 s->base_bs = base;
Kevin Wolf46534562016-04-14 13:09:53 +0200384
Kevin Wolf8dfba272017-01-16 16:22:34 +0100385 /* Required permissions are already taken with block_job_add_bdrv() */
Kevin Wolfd861ab32019-04-25 14:25:10 +0200386 s->top = blk_new(s->common.job.aio_context, 0, BLK_PERM_ALL);
Kevin Wolfb2477672017-03-03 16:54:21 +0100387 ret = blk_insert_bs(s->top, top, errp);
Kevin Wolfd7086422017-01-13 19:02:32 +0100388 if (ret < 0) {
389 goto fail;
390 }
Kevin Wolfcf312932019-07-22 17:46:23 +0200391 blk_set_disable_request_queuing(s->top, true);
Kevin Wolf46534562016-04-14 13:09:53 +0200392
Jeff Cody54e26902014-06-25 15:40:10 -0400393 s->backing_file_str = g_strdup(backing_file_str);
Jeff Cody747ff602012-09-27 13:29:13 -0400394 s->on_error = on_error;
Jeff Cody747ff602012-09-27 13:29:13 -0400395
John Snow5ccac6f2016-11-08 01:50:37 -0500396 trace_commit_start(bs, base, top, s);
Kevin Wolfda01ff72018-04-13 17:31:02 +0200397 job_start(&s->common.job);
Kevin Wolfd7086422017-01-13 19:02:32 +0100398 return;
399
400fail:
Alberto Garciadf827332019-03-12 18:48:41 +0200401 if (s->chain_frozen) {
402 bdrv_unfreeze_backing_chain(commit_top_bs, base);
403 }
Kevin Wolfd7086422017-01-13 19:02:32 +0100404 if (s->base) {
405 blk_unref(s->base);
406 }
407 if (s->top) {
408 blk_unref(s->top);
409 }
Alberto Garcia065abf92019-04-29 15:51:08 +0200410 if (s->base_read_only) {
411 bdrv_reopen_set_read_only(base, true, NULL);
412 }
Alberto Garcia2468eed2019-02-15 15:49:32 +0200413 job_early_fail(&s->common.job);
414 /* commit_top_bs has to be replaced after deleting the block job,
415 * otherwise this would fail because of lack of permissions. */
Kevin Wolf8dfba272017-01-16 16:22:34 +0100416 if (commit_top_bs) {
Kevin Wolfbde70712017-06-27 20:36:18 +0200417 bdrv_replace_node(commit_top_bs, top, &error_abort);
Kevin Wolf8dfba272017-01-16 16:22:34 +0100418 }
Jeff Cody747ff602012-09-27 13:29:13 -0400419}
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200420
421
Eric Blaked6a644b2017-07-07 07:44:57 -0500422#define COMMIT_BUF_SIZE (2048 * BDRV_SECTOR_SIZE)
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200423
424/* commit COW file into the raw image */
425int bdrv_commit(BlockDriverState *bs)
426{
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200427 BlockBackend *src, *backing;
Kevin Wolfd3f06752017-01-19 18:16:03 +0100428 BlockDriverState *backing_file_bs = NULL;
429 BlockDriverState *commit_top_bs = NULL;
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200430 BlockDriver *drv = bs->drv;
Kevin Wolfd861ab32019-04-25 14:25:10 +0200431 AioContext *ctx;
Eric Blaked6a644b2017-07-07 07:44:57 -0500432 int64_t offset, length, backing_length;
Alberto Garciac742a362018-11-12 16:00:36 +0200433 int ro;
Eric Blaked6a644b2017-07-07 07:44:57 -0500434 int64_t n;
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200435 int ret = 0;
Vladimir Sementsov-Ogievskiy71701702021-06-28 15:11:33 +0300436 QEMU_AUTO_VFREE uint8_t *buf = NULL;
Kevin Wolfd3f06752017-01-19 18:16:03 +0100437 Error *local_err = NULL;
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200438
Emanuele Giuseppe Espositof791bf72022-03-03 10:15:49 -0500439 GLOBAL_STATE_CODE();
440
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200441 if (!drv)
442 return -ENOMEDIUM;
443
Max Reitz9a71b9d2019-06-12 17:47:37 +0200444 backing_file_bs = bdrv_cow_bs(bs);
445
446 if (!backing_file_bs) {
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200447 return -ENOTSUP;
448 }
449
450 if (bdrv_op_is_blocked(bs, BLOCK_OP_TYPE_COMMIT_SOURCE, NULL) ||
Max Reitz9a71b9d2019-06-12 17:47:37 +0200451 bdrv_op_is_blocked(backing_file_bs, BLOCK_OP_TYPE_COMMIT_TARGET, NULL))
452 {
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200453 return -EBUSY;
454 }
455
Vladimir Sementsov-Ogievskiy307261b2021-05-27 18:40:54 +0300456 ro = bdrv_is_read_only(backing_file_bs);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200457
458 if (ro) {
Max Reitz9a71b9d2019-06-12 17:47:37 +0200459 if (bdrv_reopen_set_read_only(backing_file_bs, false, NULL)) {
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200460 return -EACCES;
461 }
462 }
463
Kevin Wolfd861ab32019-04-25 14:25:10 +0200464 ctx = bdrv_get_aio_context(bs);
Max Reitz2d97fde2020-04-29 16:11:26 +0200465 /* WRITE_UNCHANGED is required for bdrv_make_empty() */
466 src = blk_new(ctx, BLK_PERM_CONSISTENT_READ | BLK_PERM_WRITE_UNCHANGED,
467 BLK_PERM_ALL);
Kevin Wolfd861ab32019-04-25 14:25:10 +0200468 backing = blk_new(ctx, BLK_PERM_WRITE | BLK_PERM_RESIZE, BLK_PERM_ALL);
Kevin Wolfd7086422017-01-13 19:02:32 +0100469
Kevin Wolfd3f06752017-01-19 18:16:03 +0100470 ret = blk_insert_bs(src, bs, &local_err);
Kevin Wolfd7086422017-01-13 19:02:32 +0100471 if (ret < 0) {
Kevin Wolfd3f06752017-01-19 18:16:03 +0100472 error_report_err(local_err);
Kevin Wolfd7086422017-01-13 19:02:32 +0100473 goto ro_cleanup;
474 }
475
Kevin Wolfd3f06752017-01-19 18:16:03 +0100476 /* Insert commit_top block node above backing, so we can write to it */
Kevin Wolfd3f06752017-01-19 18:16:03 +0100477 commit_top_bs = bdrv_new_open_driver(&bdrv_commit_top, NULL, BDRV_O_RDWR,
478 &local_err);
479 if (commit_top_bs == NULL) {
480 error_report_err(local_err);
481 goto ro_cleanup;
482 }
483
Kevin Wolf12fa4af2017-02-17 20:42:32 +0100484 bdrv_set_backing_hd(commit_top_bs, backing_file_bs, &error_abort);
485 bdrv_set_backing_hd(bs, commit_top_bs, &error_abort);
Kevin Wolfd3f06752017-01-19 18:16:03 +0100486
487 ret = blk_insert_bs(backing, backing_file_bs, &local_err);
Kevin Wolfd7086422017-01-13 19:02:32 +0100488 if (ret < 0) {
Kevin Wolfd3f06752017-01-19 18:16:03 +0100489 error_report_err(local_err);
Kevin Wolfd7086422017-01-13 19:02:32 +0100490 goto ro_cleanup;
491 }
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200492
493 length = blk_getlength(src);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200494 if (length < 0) {
495 ret = length;
496 goto ro_cleanup;
497 }
498
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200499 backing_length = blk_getlength(backing);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200500 if (backing_length < 0) {
501 ret = backing_length;
502 goto ro_cleanup;
503 }
504
505 /* If our top snapshot is larger than the backing file image,
506 * grow the backing file image if possible. If not possible,
507 * we must return an error */
508 if (length > backing_length) {
Kevin Wolf8c6242b2020-04-24 14:54:41 +0200509 ret = blk_truncate(backing, length, false, PREALLOC_MODE_OFF, 0,
Max Reitzc80d8b02019-09-18 11:51:40 +0200510 &local_err);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200511 if (ret < 0) {
Max Reitzed3d2ec2017-03-28 22:51:27 +0200512 error_report_err(local_err);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200513 goto ro_cleanup;
514 }
515 }
516
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200517 /* blk_try_blockalign() for src will choose an alignment that works for
518 * backing as well, so no need to compare the alignment manually. */
Eric Blaked6a644b2017-07-07 07:44:57 -0500519 buf = blk_try_blockalign(src, COMMIT_BUF_SIZE);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200520 if (buf == NULL) {
521 ret = -ENOMEM;
522 goto ro_cleanup;
523 }
524
Eric Blaked6a644b2017-07-07 07:44:57 -0500525 for (offset = 0; offset < length; offset += n) {
526 ret = bdrv_is_allocated(bs, offset, COMMIT_BUF_SIZE, &n);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200527 if (ret < 0) {
528 goto ro_cleanup;
529 }
530 if (ret) {
Alberto Fariaa9262f52022-07-05 17:15:11 +0100531 ret = blk_pread(src, offset, n, buf, 0);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200532 if (ret < 0) {
533 goto ro_cleanup;
534 }
535
Alberto Fariaa9262f52022-07-05 17:15:11 +0100536 ret = blk_pwrite(backing, offset, n, buf, 0);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200537 if (ret < 0) {
538 goto ro_cleanup;
539 }
540 }
541 }
542
Max Reitz2d97fde2020-04-29 16:11:26 +0200543 ret = blk_make_empty(src, NULL);
544 /* Ignore -ENOTSUP */
545 if (ret < 0 && ret != -ENOTSUP) {
546 goto ro_cleanup;
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200547 }
548
Max Reitz2d97fde2020-04-29 16:11:26 +0200549 blk_flush(src);
550
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200551 /*
552 * Make sure all data we wrote to the backing device is actually
553 * stable on disk.
554 */
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200555 blk_flush(backing);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200556
557 ret = 0;
558ro_cleanup:
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200559 blk_unref(backing);
Max Reitz9a71b9d2019-06-12 17:47:37 +0200560 if (bdrv_cow_bs(bs) != backing_file_bs) {
Kevin Wolf12fa4af2017-02-17 20:42:32 +0100561 bdrv_set_backing_hd(bs, backing_file_bs, &error_abort);
Kevin Wolfd3f06752017-01-19 18:16:03 +0100562 }
563 bdrv_unref(commit_top_bs);
564 blk_unref(src);
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200565
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200566 if (ro) {
567 /* ignoring error return here */
Max Reitz9a71b9d2019-06-12 17:47:37 +0200568 bdrv_reopen_set_read_only(backing_file_bs, true, NULL);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200569 }
570
571 return ret;
572}