blob: 7732d02dfe8f98a420bfbc95574cb80b1b0acabd [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"
Max Reitz373340b2015-10-19 17:53:22 +020023#include "sysemu/block-backend.h"
Jeff Cody747ff602012-09-27 13:29:13 -040024
25enum {
26 /*
27 * Size of data buffer for populating the image file. This should be large
28 * enough to process multiple clusters in a single call, so that populating
29 * contiguous regions of the image is efficient.
30 */
31 COMMIT_BUFFER_SIZE = 512 * 1024, /* in bytes */
32};
33
Jeff Cody747ff602012-09-27 13:29:13 -040034typedef struct CommitBlockJob {
35 BlockJob common;
Kevin Wolf8dfba272017-01-16 16:22:34 +010036 BlockDriverState *commit_top_bs;
Kevin Wolf46534562016-04-14 13:09:53 +020037 BlockBackend *top;
38 BlockBackend *base;
John Snow22dffcb2018-09-06 09:02:13 -040039 BlockDriverState *base_bs;
Paolo Bonzini92aa5c62012-09-28 17:22:55 +020040 BlockdevOnError on_error;
Alberto Garciae70cdc52018-11-12 16:00:35 +020041 bool base_read_only;
Alberto Garciadf827332019-03-12 18:48:41 +020042 bool chain_frozen;
Jeff Cody54e26902014-06-25 15:40:10 -040043 char *backing_file_str;
Jeff Cody747ff602012-09-27 13:29:13 -040044} CommitBlockJob;
45
John Snow22dffcb2018-09-06 09:02:13 -040046static int commit_prepare(Job *job)
Jeff Cody747ff602012-09-27 13:29:13 -040047{
Kevin Wolf1908a552018-04-17 16:41:17 +020048 CommitBlockJob *s = container_of(job, CommitBlockJob, common.job);
Kevin Wolf19ebd132017-06-02 23:04:55 +020049
Alberto Garciadf827332019-03-12 18:48:41 +020050 bdrv_unfreeze_backing_chain(s->commit_top_bs, s->base_bs);
51 s->chain_frozen = false;
52
Kevin Wolf8dfba272017-01-16 16:22:34 +010053 /* Remove base node parent that still uses BLK_PERM_WRITE/RESIZE before
54 * the normal backing chain can be restored. */
55 blk_unref(s->base);
John Snow22dffcb2018-09-06 09:02:13 -040056 s->base = NULL;
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +010057
John Snow22dffcb2018-09-06 09:02:13 -040058 /* FIXME: bdrv_drop_intermediate treats total failures and partial failures
59 * identically. Further work is needed to disambiguate these cases. */
60 return bdrv_drop_intermediate(s->commit_top_bs, s->base_bs,
61 s->backing_file_str);
62}
63
64static void commit_abort(Job *job)
65{
66 CommitBlockJob *s = container_of(job, CommitBlockJob, common.job);
67 BlockDriverState *top_bs = blk_bs(s->top);
68
Alberto Garciadf827332019-03-12 18:48:41 +020069 if (s->chain_frozen) {
70 bdrv_unfreeze_backing_chain(s->commit_top_bs, s->base_bs);
71 }
72
John Snow22dffcb2018-09-06 09:02:13 -040073 /* Make sure commit_top_bs and top stay around until bdrv_replace_node() */
74 bdrv_ref(top_bs);
75 bdrv_ref(s->commit_top_bs);
76
77 if (s->base) {
78 blk_unref(s->base);
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +010079 }
80
John Snow22dffcb2018-09-06 09:02:13 -040081 /* free the blockers on the intermediate nodes so that bdrv_replace_nodes
82 * can succeed */
83 block_job_remove_all_bdrv(&s->common);
84
85 /* If bdrv_drop_intermediate() failed (or was not invoked), remove the
86 * commit filter driver from the backing chain now. Do this as the final
87 * step so that the 'consistent read' permission can be granted.
88 *
89 * XXX Can (or should) we somehow keep 'consistent read' blocked even
90 * after the failed/cancelled commit job is gone? If we already wrote
91 * something to base, the intermediate images aren't valid any more. */
John Snow22dffcb2018-09-06 09:02:13 -040092 bdrv_replace_node(s->commit_top_bs, backing_bs(s->commit_top_bs),
93 &error_abort);
94
95 bdrv_unref(s->commit_top_bs);
96 bdrv_unref(top_bs);
97}
98
99static void commit_clean(Job *job)
100{
101 CommitBlockJob *s = container_of(job, CommitBlockJob, common.job);
102
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100103 /* restore base open flags here if appropriate (e.g., change the base back
104 * to r/o). These reopens do not need to be atomic, since we won't abort
105 * even on failure here */
Alberto Garciae70cdc52018-11-12 16:00:35 +0200106 if (s->base_read_only) {
107 bdrv_reopen_set_read_only(s->base_bs, true, NULL);
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100108 }
John Snow22dffcb2018-09-06 09:02:13 -0400109
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100110 g_free(s->backing_file_str);
Kevin Wolf46534562016-04-14 13:09:53 +0200111 blk_unref(s->top);
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100112}
113
John Snowf67432a2018-08-29 21:57:26 -0400114static int coroutine_fn commit_run(Job *job, Error **errp)
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100115{
John Snowf67432a2018-08-29 21:57:26 -0400116 CommitBlockJob *s = container_of(job, CommitBlockJob, common.job);
Eric Blake317a6672017-07-07 07:44:45 -0500117 int64_t offset;
Sascha Silbef14a39c2016-06-28 17:28:41 +0200118 uint64_t delay_ns = 0;
Jeff Cody747ff602012-09-27 13:29:13 -0400119 int ret = 0;
Eric Blake51b0a482017-07-07 07:44:59 -0500120 int64_t n = 0; /* bytes */
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100121 void *buf = NULL;
Kevin Wolf05df8a62018-01-18 18:08:22 +0100122 int64_t len, base_len;
Jeff Cody747ff602012-09-27 13:29:13 -0400123
Kevin Wolf05df8a62018-01-18 18:08:22 +0100124 ret = len = blk_getlength(s->top);
125 if (len < 0) {
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100126 goto out;
Jeff Cody747ff602012-09-27 13:29:13 -0400127 }
Kevin Wolf30a5c882018-05-04 12:17:20 +0200128 job_progress_set_remaining(&s->common.job, len);
Jeff Cody747ff602012-09-27 13:29:13 -0400129
Kevin Wolf46534562016-04-14 13:09:53 +0200130 ret = base_len = blk_getlength(s->base);
Jeff Cody747ff602012-09-27 13:29:13 -0400131 if (base_len < 0) {
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100132 goto out;
Jeff Cody747ff602012-09-27 13:29:13 -0400133 }
134
Kevin Wolf05df8a62018-01-18 18:08:22 +0100135 if (base_len < len) {
Kevin Wolf8c6242b2020-04-24 14:54:41 +0200136 ret = blk_truncate(s->base, len, false, PREALLOC_MODE_OFF, 0, NULL);
Jeff Cody747ff602012-09-27 13:29:13 -0400137 if (ret) {
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100138 goto out;
Jeff Cody747ff602012-09-27 13:29:13 -0400139 }
140 }
141
Kevin Wolf46534562016-04-14 13:09:53 +0200142 buf = blk_blockalign(s->top, COMMIT_BUFFER_SIZE);
Jeff Cody747ff602012-09-27 13:29:13 -0400143
Kevin Wolf05df8a62018-01-18 18:08:22 +0100144 for (offset = 0; offset < len; offset += n) {
Jeff Cody747ff602012-09-27 13:29:13 -0400145 bool copy;
Kevin Wolf9ad1e792020-02-14 21:08:10 +0100146 bool error_in_source = true;
Jeff Cody747ff602012-09-27 13:29:13 -0400147
Jeff Cody747ff602012-09-27 13:29:13 -0400148 /* Note that even when no rate limit is applied we need to yield
Kevin Wolfc57b6652012-11-13 16:35:13 +0100149 * with no pending I/O here so that bdrv_drain_all() returns.
Jeff Cody747ff602012-09-27 13:29:13 -0400150 */
Kevin Wolf5d43e862018-04-18 16:32:20 +0200151 job_sleep_ns(&s->common.job, delay_ns);
Kevin Wolfdaa7f2f2018-04-17 12:56:07 +0200152 if (job_is_cancelled(&s->common.job)) {
Jeff Cody747ff602012-09-27 13:29:13 -0400153 break;
154 }
155 /* Copy if allocated above the base */
Andrey Shinkevich170d3bd2019-05-29 20:56:14 +0300156 ret = bdrv_is_allocated_above(blk_bs(s->top), blk_bs(s->base), false,
Eric Blake51b0a482017-07-07 07:44:59 -0500157 offset, COMMIT_BUFFER_SIZE, &n);
Jeff Cody747ff602012-09-27 13:29:13 -0400158 copy = (ret == 1);
Eric Blake51b0a482017-07-07 07:44:59 -0500159 trace_commit_one_iteration(s, offset, n, ret);
Jeff Cody747ff602012-09-27 13:29:13 -0400160 if (copy) {
Kevin Wolf0c42e172020-02-14 21:08:09 +0100161 assert(n < SIZE_MAX);
162
163 ret = blk_co_pread(s->top, offset, n, buf, 0);
164 if (ret >= 0) {
165 ret = blk_co_pwrite(s->base, offset, n, buf, 0);
Kevin Wolf9ad1e792020-02-14 21:08:10 +0100166 if (ret < 0) {
167 error_in_source = false;
168 }
Kevin Wolf0c42e172020-02-14 21:08:09 +0100169 }
Jeff Cody747ff602012-09-27 13:29:13 -0400170 }
171 if (ret < 0) {
Kevin Wolf1e8fb7f2016-06-29 17:38:57 +0200172 BlockErrorAction action =
Kevin Wolf9ad1e792020-02-14 21:08:10 +0100173 block_job_error_action(&s->common, s->on_error,
174 error_in_source, -ret);
Kevin Wolf1e8fb7f2016-06-29 17:38:57 +0200175 if (action == BLOCK_ERROR_ACTION_REPORT) {
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100176 goto out;
Jeff Cody747ff602012-09-27 13:29:13 -0400177 } else {
178 n = 0;
179 continue;
180 }
181 }
182 /* Publish progress */
Kevin Wolf30a5c882018-05-04 12:17:20 +0200183 job_progress_update(&s->common.job, n);
Sascha Silbef14a39c2016-06-28 17:28:41 +0200184
Kevin Wolfdee81d52018-01-18 21:19:38 +0100185 if (copy) {
186 delay_ns = block_job_ratelimit_get_delay(&s->common, n);
Kevin Wolf2fe4bba2018-01-18 21:23:52 +0100187 } else {
188 delay_ns = 0;
Sascha Silbef14a39c2016-06-28 17:28:41 +0200189 }
Jeff Cody747ff602012-09-27 13:29:13 -0400190 }
191
192 ret = 0;
193
Stefan Hajnoczi9e85cd52014-10-21 12:03:59 +0100194out:
Jeff Cody747ff602012-09-27 13:29:13 -0400195 qemu_vfree(buf);
196
John Snowf67432a2018-08-29 21:57:26 -0400197 return ret;
Jeff Cody747ff602012-09-27 13:29:13 -0400198}
199
Fam Zheng3fc4b102013-10-08 17:29:38 +0800200static const BlockJobDriver commit_job_driver = {
Kevin Wolf33e9e9b2018-04-12 17:29:59 +0200201 .job_driver = {
202 .instance_size = sizeof(CommitBlockJob),
Kevin Wolf252291e2018-04-12 17:57:08 +0200203 .job_type = JOB_TYPE_COMMIT,
Kevin Wolf80fa2c72018-04-13 18:50:05 +0200204 .free = block_job_free,
Kevin Wolfb15de822018-04-18 17:10:26 +0200205 .user_resume = block_job_user_resume,
John Snowf67432a2018-08-29 21:57:26 -0400206 .run = commit_run,
John Snow22dffcb2018-09-06 09:02:13 -0400207 .prepare = commit_prepare,
208 .abort = commit_abort,
209 .clean = commit_clean
Kevin Wolf33e9e9b2018-04-12 17:29:59 +0200210 },
Jeff Cody747ff602012-09-27 13:29:13 -0400211};
212
Kevin Wolf8dfba272017-01-16 16:22:34 +0100213static int coroutine_fn bdrv_commit_top_preadv(BlockDriverState *bs,
214 uint64_t offset, uint64_t bytes, QEMUIOVector *qiov, int flags)
215{
216 return bdrv_co_preadv(bs->backing, offset, bytes, qiov, flags);
217}
218
Max Reitz998b3a12019-02-01 20:29:28 +0100219static void bdrv_commit_top_refresh_filename(BlockDriverState *bs)
Kevin Wolfdcbf37c2017-03-09 11:49:16 +0100220{
Kevin Wolfdcbf37c2017-03-09 11:49:16 +0100221 pstrcpy(bs->exact_filename, sizeof(bs->exact_filename),
222 bs->backing->bs->filename);
223}
Kevin Wolf91965652017-03-08 15:07:12 +0100224
Kevin Wolf8dfba272017-01-16 16:22:34 +0100225static void bdrv_commit_top_child_perm(BlockDriverState *bs, BdrvChild *c,
Max Reitzbf8e9252020-05-13 13:05:16 +0200226 BdrvChildRole role,
Kevin Wolfe0995dc2017-09-14 12:47:11 +0200227 BlockReopenQueue *reopen_queue,
Kevin Wolf8dfba272017-01-16 16:22:34 +0100228 uint64_t perm, uint64_t shared,
229 uint64_t *nperm, uint64_t *nshared)
230{
231 *nperm = 0;
232 *nshared = BLK_PERM_ALL;
233}
234
235/* Dummy node that provides consistent read to its users without requiring it
236 * from its backing file and that allows writes on the backing file chain. */
237static BlockDriver bdrv_commit_top = {
Kevin Wolf91965652017-03-08 15:07:12 +0100238 .format_name = "commit_top",
239 .bdrv_co_preadv = bdrv_commit_top_preadv,
Eric Blake3e4d0e72018-02-13 14:26:43 -0600240 .bdrv_co_block_status = bdrv_co_block_status_from_backing,
Kevin Wolfdcbf37c2017-03-09 11:49:16 +0100241 .bdrv_refresh_filename = bdrv_commit_top_refresh_filename,
Kevin Wolf91965652017-03-08 15:07:12 +0100242 .bdrv_child_perm = bdrv_commit_top_child_perm,
Max Reitz6540fd12020-05-13 13:05:11 +0200243
244 .is_filter = true,
Kevin Wolf8dfba272017-01-16 16:22:34 +0100245};
246
Alberto Garciafd62c602016-07-05 17:29:00 +0300247void commit_start(const char *job_id, BlockDriverState *bs,
John Snow53607822018-09-06 09:02:10 -0400248 BlockDriverState *base, BlockDriverState *top,
249 int creation_flags, int64_t speed,
John Snow8254b6d2016-10-27 12:06:58 -0400250 BlockdevOnError on_error, const char *backing_file_str,
Kevin Wolf0db832f2017-02-20 18:10:05 +0100251 const char *filter_node_name, Error **errp)
Jeff Cody747ff602012-09-27 13:29:13 -0400252{
253 CommitBlockJob *s;
Alberto Garcia3e4c5122016-10-28 10:08:08 +0300254 BlockDriverState *iter;
Kevin Wolf8dfba272017-01-16 16:22:34 +0100255 BlockDriverState *commit_top_bs = NULL;
Jeff Cody747ff602012-09-27 13:29:13 -0400256 Error *local_err = NULL;
Kevin Wolfd7086422017-01-13 19:02:32 +0100257 int ret;
Jeff Cody747ff602012-09-27 13:29:13 -0400258
Fam Zheng18da7f92013-12-16 14:45:33 +0800259 assert(top != bs);
Jeff Cody747ff602012-09-27 13:29:13 -0400260 if (top == base) {
261 error_setg(errp, "Invalid files for merge: top and base are the same");
262 return;
263 }
264
John Snow75859b92018-03-10 03:27:27 -0500265 s = block_job_create(job_id, &commit_job_driver, NULL, bs, 0, BLK_PERM_ALL,
John Snow53607822018-09-06 09:02:10 -0400266 speed, creation_flags, NULL, NULL, errp);
Alberto Garcia834fe282016-05-27 12:53:39 +0200267 if (!s) {
268 return;
269 }
270
Kevin Wolfbde70712017-06-27 20:36:18 +0200271 /* convert base to r/w, if necessary */
Alberto Garciae70cdc52018-11-12 16:00:35 +0200272 s->base_read_only = bdrv_is_read_only(base);
273 if (s->base_read_only) {
274 if (bdrv_reopen_set_read_only(base, false, errp) != 0) {
Kevin Wolfd7086422017-01-13 19:02:32 +0100275 goto fail;
Jeff Cody747ff602012-09-27 13:29:13 -0400276 }
277 }
278
Kevin Wolf8dfba272017-01-16 16:22:34 +0100279 /* Insert commit_top block node above top, so we can block consistent read
280 * on the backing chain below it */
Kevin Wolf0db832f2017-02-20 18:10:05 +0100281 commit_top_bs = bdrv_new_open_driver(&bdrv_commit_top, filter_node_name, 0,
282 errp);
Kevin Wolf8dfba272017-01-16 16:22:34 +0100283 if (commit_top_bs == NULL) {
284 goto fail;
285 }
Kevin Wolfd3c8c672017-07-18 17:24:05 +0200286 if (!filter_node_name) {
287 commit_top_bs->implicit = true;
288 }
Max Reitze5182c12019-07-03 19:28:02 +0200289
290 /* So that we can always drop this node */
291 commit_top_bs->never_freeze = true;
292
Kevin Wolf0d0676a2017-04-06 19:07:14 +0200293 commit_top_bs->total_sectors = top->total_sectors;
Kevin Wolf8dfba272017-01-16 16:22:34 +0100294
Alberto Garcia6a634192019-04-03 17:37:48 +0300295 bdrv_append(commit_top_bs, top, &local_err);
Fam Zhengb69f00d2017-03-07 19:07:22 +0800296 if (local_err) {
Fam Zhengb69f00d2017-03-07 19:07:22 +0800297 commit_top_bs = NULL;
298 error_propagate(errp, local_err);
299 goto fail;
300 }
Kevin Wolf8dfba272017-01-16 16:22:34 +0100301
302 s->commit_top_bs = commit_top_bs;
Jeff Cody747ff602012-09-27 13:29:13 -0400303
Alberto Garcia3e4c5122016-10-28 10:08:08 +0300304 /* Block all nodes between top and base, because they will
305 * disappear from the chain after this operation. */
306 assert(bdrv_chain_contains(top, base));
Kevin Wolf8dfba272017-01-16 16:22:34 +0100307 for (iter = top; iter != base; iter = backing_bs(iter)) {
308 /* XXX BLK_PERM_WRITE needs to be allowed so we don't block ourselves
309 * at s->base (if writes are blocked for a node, they are also blocked
310 * for its backing file). The other options would be a second filter
311 * driver above s->base. */
312 ret = block_job_add_bdrv(&s->common, "intermediate node", iter, 0,
313 BLK_PERM_WRITE_UNCHANGED | BLK_PERM_WRITE,
314 errp);
315 if (ret < 0) {
316 goto fail;
317 }
Alberto Garcia3e4c5122016-10-28 10:08:08 +0300318 }
319
Alberto Garciadf827332019-03-12 18:48:41 +0200320 if (bdrv_freeze_backing_chain(commit_top_bs, base, errp) < 0) {
321 goto fail;
322 }
323 s->chain_frozen = true;
324
Kevin Wolf8dfba272017-01-16 16:22:34 +0100325 ret = block_job_add_bdrv(&s->common, "base", base, 0, BLK_PERM_ALL, errp);
326 if (ret < 0) {
327 goto fail;
328 }
329
Kevin Wolfd861ab32019-04-25 14:25:10 +0200330 s->base = blk_new(s->common.job.aio_context,
331 BLK_PERM_CONSISTENT_READ
Kevin Wolf8dfba272017-01-16 16:22:34 +0100332 | BLK_PERM_WRITE
333 | BLK_PERM_RESIZE,
334 BLK_PERM_CONSISTENT_READ
335 | BLK_PERM_GRAPH_MOD
336 | BLK_PERM_WRITE_UNCHANGED);
Kevin Wolfd7086422017-01-13 19:02:32 +0100337 ret = blk_insert_bs(s->base, base, errp);
338 if (ret < 0) {
339 goto fail;
340 }
Kevin Wolfcf312932019-07-22 17:46:23 +0200341 blk_set_disable_request_queuing(s->base, true);
John Snow22dffcb2018-09-06 09:02:13 -0400342 s->base_bs = base;
Kevin Wolf46534562016-04-14 13:09:53 +0200343
Kevin Wolf8dfba272017-01-16 16:22:34 +0100344 /* Required permissions are already taken with block_job_add_bdrv() */
Kevin Wolfd861ab32019-04-25 14:25:10 +0200345 s->top = blk_new(s->common.job.aio_context, 0, BLK_PERM_ALL);
Kevin Wolfb2477672017-03-03 16:54:21 +0100346 ret = blk_insert_bs(s->top, top, errp);
Kevin Wolfd7086422017-01-13 19:02:32 +0100347 if (ret < 0) {
348 goto fail;
349 }
Kevin Wolfcf312932019-07-22 17:46:23 +0200350 blk_set_disable_request_queuing(s->top, true);
Kevin Wolf46534562016-04-14 13:09:53 +0200351
Jeff Cody54e26902014-06-25 15:40:10 -0400352 s->backing_file_str = g_strdup(backing_file_str);
Jeff Cody747ff602012-09-27 13:29:13 -0400353 s->on_error = on_error;
Jeff Cody747ff602012-09-27 13:29:13 -0400354
John Snow5ccac6f2016-11-08 01:50:37 -0500355 trace_commit_start(bs, base, top, s);
Kevin Wolfda01ff72018-04-13 17:31:02 +0200356 job_start(&s->common.job);
Kevin Wolfd7086422017-01-13 19:02:32 +0100357 return;
358
359fail:
Alberto Garciadf827332019-03-12 18:48:41 +0200360 if (s->chain_frozen) {
361 bdrv_unfreeze_backing_chain(commit_top_bs, base);
362 }
Kevin Wolfd7086422017-01-13 19:02:32 +0100363 if (s->base) {
364 blk_unref(s->base);
365 }
366 if (s->top) {
367 blk_unref(s->top);
368 }
Alberto Garcia065abf92019-04-29 15:51:08 +0200369 if (s->base_read_only) {
370 bdrv_reopen_set_read_only(base, true, NULL);
371 }
Alberto Garcia2468eed2019-02-15 15:49:32 +0200372 job_early_fail(&s->common.job);
373 /* commit_top_bs has to be replaced after deleting the block job,
374 * otherwise this would fail because of lack of permissions. */
Kevin Wolf8dfba272017-01-16 16:22:34 +0100375 if (commit_top_bs) {
Kevin Wolfbde70712017-06-27 20:36:18 +0200376 bdrv_replace_node(commit_top_bs, top, &error_abort);
Kevin Wolf8dfba272017-01-16 16:22:34 +0100377 }
Jeff Cody747ff602012-09-27 13:29:13 -0400378}
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200379
380
Eric Blaked6a644b2017-07-07 07:44:57 -0500381#define COMMIT_BUF_SIZE (2048 * BDRV_SECTOR_SIZE)
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200382
383/* commit COW file into the raw image */
384int bdrv_commit(BlockDriverState *bs)
385{
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200386 BlockBackend *src, *backing;
Kevin Wolfd3f06752017-01-19 18:16:03 +0100387 BlockDriverState *backing_file_bs = NULL;
388 BlockDriverState *commit_top_bs = NULL;
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200389 BlockDriver *drv = bs->drv;
Kevin Wolfd861ab32019-04-25 14:25:10 +0200390 AioContext *ctx;
Eric Blaked6a644b2017-07-07 07:44:57 -0500391 int64_t offset, length, backing_length;
Alberto Garciac742a362018-11-12 16:00:36 +0200392 int ro;
Eric Blaked6a644b2017-07-07 07:44:57 -0500393 int64_t n;
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200394 int ret = 0;
395 uint8_t *buf = NULL;
Kevin Wolfd3f06752017-01-19 18:16:03 +0100396 Error *local_err = NULL;
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200397
398 if (!drv)
399 return -ENOMEDIUM;
400
401 if (!bs->backing) {
402 return -ENOTSUP;
403 }
404
405 if (bdrv_op_is_blocked(bs, BLOCK_OP_TYPE_COMMIT_SOURCE, NULL) ||
406 bdrv_op_is_blocked(bs->backing->bs, BLOCK_OP_TYPE_COMMIT_TARGET, NULL)) {
407 return -EBUSY;
408 }
409
410 ro = bs->backing->bs->read_only;
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200411
412 if (ro) {
Alberto Garciac742a362018-11-12 16:00:36 +0200413 if (bdrv_reopen_set_read_only(bs->backing->bs, false, NULL)) {
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200414 return -EACCES;
415 }
416 }
417
Kevin Wolfd861ab32019-04-25 14:25:10 +0200418 ctx = bdrv_get_aio_context(bs);
Max Reitz2d97fde2020-04-29 16:11:26 +0200419 /* WRITE_UNCHANGED is required for bdrv_make_empty() */
420 src = blk_new(ctx, BLK_PERM_CONSISTENT_READ | BLK_PERM_WRITE_UNCHANGED,
421 BLK_PERM_ALL);
Kevin Wolfd861ab32019-04-25 14:25:10 +0200422 backing = blk_new(ctx, BLK_PERM_WRITE | BLK_PERM_RESIZE, BLK_PERM_ALL);
Kevin Wolfd7086422017-01-13 19:02:32 +0100423
Kevin Wolfd3f06752017-01-19 18:16:03 +0100424 ret = blk_insert_bs(src, bs, &local_err);
Kevin Wolfd7086422017-01-13 19:02:32 +0100425 if (ret < 0) {
Kevin Wolfd3f06752017-01-19 18:16:03 +0100426 error_report_err(local_err);
Kevin Wolfd7086422017-01-13 19:02:32 +0100427 goto ro_cleanup;
428 }
429
Kevin Wolfd3f06752017-01-19 18:16:03 +0100430 /* Insert commit_top block node above backing, so we can write to it */
431 backing_file_bs = backing_bs(bs);
432
433 commit_top_bs = bdrv_new_open_driver(&bdrv_commit_top, NULL, BDRV_O_RDWR,
434 &local_err);
435 if (commit_top_bs == NULL) {
436 error_report_err(local_err);
437 goto ro_cleanup;
438 }
439
Kevin Wolf12fa4af2017-02-17 20:42:32 +0100440 bdrv_set_backing_hd(commit_top_bs, backing_file_bs, &error_abort);
441 bdrv_set_backing_hd(bs, commit_top_bs, &error_abort);
Kevin Wolfd3f06752017-01-19 18:16:03 +0100442
443 ret = blk_insert_bs(backing, backing_file_bs, &local_err);
Kevin Wolfd7086422017-01-13 19:02:32 +0100444 if (ret < 0) {
Kevin Wolfd3f06752017-01-19 18:16:03 +0100445 error_report_err(local_err);
Kevin Wolfd7086422017-01-13 19:02:32 +0100446 goto ro_cleanup;
447 }
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200448
449 length = blk_getlength(src);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200450 if (length < 0) {
451 ret = length;
452 goto ro_cleanup;
453 }
454
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200455 backing_length = blk_getlength(backing);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200456 if (backing_length < 0) {
457 ret = backing_length;
458 goto ro_cleanup;
459 }
460
461 /* If our top snapshot is larger than the backing file image,
462 * grow the backing file image if possible. If not possible,
463 * we must return an error */
464 if (length > backing_length) {
Kevin Wolf8c6242b2020-04-24 14:54:41 +0200465 ret = blk_truncate(backing, length, false, PREALLOC_MODE_OFF, 0,
Max Reitzc80d8b02019-09-18 11:51:40 +0200466 &local_err);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200467 if (ret < 0) {
Max Reitzed3d2ec2017-03-28 22:51:27 +0200468 error_report_err(local_err);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200469 goto ro_cleanup;
470 }
471 }
472
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200473 /* blk_try_blockalign() for src will choose an alignment that works for
474 * backing as well, so no need to compare the alignment manually. */
Eric Blaked6a644b2017-07-07 07:44:57 -0500475 buf = blk_try_blockalign(src, COMMIT_BUF_SIZE);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200476 if (buf == NULL) {
477 ret = -ENOMEM;
478 goto ro_cleanup;
479 }
480
Eric Blaked6a644b2017-07-07 07:44:57 -0500481 for (offset = 0; offset < length; offset += n) {
482 ret = bdrv_is_allocated(bs, offset, COMMIT_BUF_SIZE, &n);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200483 if (ret < 0) {
484 goto ro_cleanup;
485 }
486 if (ret) {
Eric Blaked6a644b2017-07-07 07:44:57 -0500487 ret = blk_pread(src, offset, buf, n);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200488 if (ret < 0) {
489 goto ro_cleanup;
490 }
491
Eric Blaked6a644b2017-07-07 07:44:57 -0500492 ret = blk_pwrite(backing, offset, buf, n, 0);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200493 if (ret < 0) {
494 goto ro_cleanup;
495 }
496 }
497 }
498
Max Reitz2d97fde2020-04-29 16:11:26 +0200499 ret = blk_make_empty(src, NULL);
500 /* Ignore -ENOTSUP */
501 if (ret < 0 && ret != -ENOTSUP) {
502 goto ro_cleanup;
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200503 }
504
Max Reitz2d97fde2020-04-29 16:11:26 +0200505 blk_flush(src);
506
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200507 /*
508 * Make sure all data we wrote to the backing device is actually
509 * stable on disk.
510 */
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200511 blk_flush(backing);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200512
513 ret = 0;
514ro_cleanup:
515 qemu_vfree(buf);
516
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200517 blk_unref(backing);
Kevin Wolfd3f06752017-01-19 18:16:03 +0100518 if (backing_file_bs) {
Kevin Wolf12fa4af2017-02-17 20:42:32 +0100519 bdrv_set_backing_hd(bs, backing_file_bs, &error_abort);
Kevin Wolfd3f06752017-01-19 18:16:03 +0100520 }
521 bdrv_unref(commit_top_bs);
522 blk_unref(src);
Kevin Wolff8e2bd52016-05-30 16:29:47 +0200523
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200524 if (ro) {
525 /* ignoring error return here */
Alberto Garciac742a362018-11-12 16:00:36 +0200526 bdrv_reopen_set_read_only(bs->backing->bs, true, NULL);
Kevin Wolf83fd6dd2016-05-30 15:53:15 +0200527 }
528
529 return ret;
530}