4 * Copyright Red Hat, Inc. 2012
7 * Jeff Cody <jcody@redhat.com>
8 * Based on stream.c by Stefan Hajnoczi
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.
15 #include "qemu/osdep.h"
16 #include "qemu/cutils.h"
18 #include "block/block_int.h"
19 #include "block/blockjob_int.h"
20 #include "qapi/error.h"
21 #include "qapi/qmp/qerror.h"
22 #include "qemu/ratelimit.h"
23 #include "sysemu/block-backend.h"
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.
31 COMMIT_BUFFER_SIZE
= 512 * 1024, /* in bytes */
34 typedef struct CommitBlockJob
{
36 BlockDriverState
*commit_top_bs
;
39 BlockdevOnError on_error
;
41 char *backing_file_str
;
44 static int coroutine_fn
commit_populate(BlockBackend
*bs
, BlockBackend
*base
,
45 int64_t offset
, uint64_t bytes
,
55 assert(bytes
< SIZE_MAX
);
56 qemu_iovec_init_external(&qiov
, &iov
, 1);
58 ret
= blk_co_preadv(bs
, offset
, qiov
.size
, &qiov
, 0);
63 ret
= blk_co_pwritev(base
, offset
, qiov
.size
, &qiov
, 0);
75 static void commit_complete(BlockJob
*job
, void *opaque
)
77 CommitBlockJob
*s
= container_of(job
, CommitBlockJob
, common
);
78 CommitCompleteData
*data
= opaque
;
79 BlockDriverState
*top
= blk_bs(s
->top
);
80 BlockDriverState
*base
= blk_bs(s
->base
);
81 BlockDriverState
*commit_top_bs
= s
->commit_top_bs
;
83 bool remove_commit_top_bs
= false;
85 /* Make sure commit_top_bs and top stay around until bdrv_replace_node() */
87 bdrv_ref(commit_top_bs
);
89 /* Remove base node parent that still uses BLK_PERM_WRITE/RESIZE before
90 * the normal backing chain can be restored. */
93 if (!block_job_is_cancelled(&s
->common
) && ret
== 0) {
95 ret
= bdrv_drop_intermediate(s
->commit_top_bs
, base
,
98 /* XXX Can (or should) we somehow keep 'consistent read' blocked even
99 * after the failed/cancelled commit job is gone? If we already wrote
100 * something to base, the intermediate images aren't valid any more. */
101 remove_commit_top_bs
= true;
104 /* restore base open flags here if appropriate (e.g., change the base back
105 * to r/o). These reopens do not need to be atomic, since we won't abort
106 * even on failure here */
107 if (s
->base_flags
!= bdrv_get_flags(base
)) {
108 bdrv_reopen(base
, s
->base_flags
, NULL
);
110 g_free(s
->backing_file_str
);
113 /* If there is more than one reference to the job (e.g. if called from
114 * block_job_finish_sync()), block_job_completed() won't free it and
115 * therefore the blockers on the intermediate nodes remain. This would
116 * cause bdrv_set_backing_hd() to fail. */
117 block_job_remove_all_bdrv(job
);
119 block_job_completed(&s
->common
, ret
);
122 /* If bdrv_drop_intermediate() didn't already do that, remove the commit
123 * filter driver from the backing chain. Do this as the final step so that
124 * the 'consistent read' permission can be granted. */
125 if (remove_commit_top_bs
) {
126 bdrv_child_try_set_perm(commit_top_bs
->backing
, 0, BLK_PERM_ALL
,
128 bdrv_replace_node(commit_top_bs
, backing_bs(commit_top_bs
),
132 bdrv_unref(commit_top_bs
);
136 static void coroutine_fn
commit_run(void *opaque
)
138 CommitBlockJob
*s
= opaque
;
139 CommitCompleteData
*data
;
141 uint64_t delay_ns
= 0;
143 int64_t n
= 0; /* bytes */
145 int bytes_written
= 0;
146 int64_t len
, base_len
;
148 ret
= len
= blk_getlength(s
->top
);
152 block_job_progress_set_remaining(&s
->common
, len
);
154 ret
= base_len
= blk_getlength(s
->base
);
159 if (base_len
< len
) {
160 ret
= blk_truncate(s
->base
, len
, PREALLOC_MODE_OFF
, NULL
);
166 buf
= blk_blockalign(s
->top
, COMMIT_BUFFER_SIZE
);
168 for (offset
= 0; offset
< len
; offset
+= n
) {
171 /* Note that even when no rate limit is applied we need to yield
172 * with no pending I/O here so that bdrv_drain_all() returns.
174 block_job_sleep_ns(&s
->common
, delay_ns
);
175 if (block_job_is_cancelled(&s
->common
)) {
178 /* Copy if allocated above the base */
179 ret
= bdrv_is_allocated_above(blk_bs(s
->top
), blk_bs(s
->base
),
180 offset
, COMMIT_BUFFER_SIZE
, &n
);
182 trace_commit_one_iteration(s
, offset
, n
, ret
);
184 ret
= commit_populate(s
->top
, s
->base
, offset
, n
, buf
);
188 BlockErrorAction action
=
189 block_job_error_action(&s
->common
, false, s
->on_error
, -ret
);
190 if (action
== BLOCK_ERROR_ACTION_REPORT
) {
197 /* Publish progress */
198 block_job_progress_update(&s
->common
, n
);
201 delay_ns
= block_job_ratelimit_get_delay(&s
->common
, n
);
212 data
= g_malloc(sizeof(*data
));
214 block_job_defer_to_main_loop(&s
->common
, commit_complete
, data
);
217 static const BlockJobDriver commit_job_driver
= {
218 .instance_size
= sizeof(CommitBlockJob
),
219 .job_type
= BLOCK_JOB_TYPE_COMMIT
,
223 static int coroutine_fn
bdrv_commit_top_preadv(BlockDriverState
*bs
,
224 uint64_t offset
, uint64_t bytes
, QEMUIOVector
*qiov
, int flags
)
226 return bdrv_co_preadv(bs
->backing
, offset
, bytes
, qiov
, flags
);
229 static void bdrv_commit_top_refresh_filename(BlockDriverState
*bs
, QDict
*opts
)
231 bdrv_refresh_filename(bs
->backing
->bs
);
232 pstrcpy(bs
->exact_filename
, sizeof(bs
->exact_filename
),
233 bs
->backing
->bs
->filename
);
236 static void bdrv_commit_top_close(BlockDriverState
*bs
)
240 static void bdrv_commit_top_child_perm(BlockDriverState
*bs
, BdrvChild
*c
,
241 const BdrvChildRole
*role
,
242 BlockReopenQueue
*reopen_queue
,
243 uint64_t perm
, uint64_t shared
,
244 uint64_t *nperm
, uint64_t *nshared
)
247 *nshared
= BLK_PERM_ALL
;
250 /* Dummy node that provides consistent read to its users without requiring it
251 * from its backing file and that allows writes on the backing file chain. */
252 static BlockDriver bdrv_commit_top
= {
253 .format_name
= "commit_top",
254 .bdrv_co_preadv
= bdrv_commit_top_preadv
,
255 .bdrv_co_block_status
= bdrv_co_block_status_from_backing
,
256 .bdrv_refresh_filename
= bdrv_commit_top_refresh_filename
,
257 .bdrv_close
= bdrv_commit_top_close
,
258 .bdrv_child_perm
= bdrv_commit_top_child_perm
,
261 void commit_start(const char *job_id
, BlockDriverState
*bs
,
262 BlockDriverState
*base
, BlockDriverState
*top
, int64_t speed
,
263 BlockdevOnError on_error
, const char *backing_file_str
,
264 const char *filter_node_name
, Error
**errp
)
268 BlockDriverState
*iter
;
269 BlockDriverState
*commit_top_bs
= NULL
;
270 Error
*local_err
= NULL
;
275 error_setg(errp
, "Invalid files for merge: top and base are the same");
279 s
= block_job_create(job_id
, &commit_job_driver
, NULL
, bs
, 0, BLK_PERM_ALL
,
280 speed
, BLOCK_JOB_DEFAULT
, NULL
, NULL
, errp
);
285 /* convert base to r/w, if necessary */
286 orig_base_flags
= bdrv_get_flags(base
);
287 if (!(orig_base_flags
& BDRV_O_RDWR
)) {
288 bdrv_reopen(base
, orig_base_flags
| BDRV_O_RDWR
, &local_err
);
289 if (local_err
!= NULL
) {
290 error_propagate(errp
, local_err
);
295 /* Insert commit_top block node above top, so we can block consistent read
296 * on the backing chain below it */
297 commit_top_bs
= bdrv_new_open_driver(&bdrv_commit_top
, filter_node_name
, 0,
299 if (commit_top_bs
== NULL
) {
302 if (!filter_node_name
) {
303 commit_top_bs
->implicit
= true;
305 commit_top_bs
->total_sectors
= top
->total_sectors
;
306 bdrv_set_aio_context(commit_top_bs
, bdrv_get_aio_context(top
));
308 bdrv_set_backing_hd(commit_top_bs
, top
, &local_err
);
310 bdrv_unref(commit_top_bs
);
311 commit_top_bs
= NULL
;
312 error_propagate(errp
, local_err
);
315 bdrv_replace_node(top
, commit_top_bs
, &local_err
);
317 bdrv_unref(commit_top_bs
);
318 commit_top_bs
= NULL
;
319 error_propagate(errp
, local_err
);
323 s
->commit_top_bs
= commit_top_bs
;
324 bdrv_unref(commit_top_bs
);
326 /* Block all nodes between top and base, because they will
327 * disappear from the chain after this operation. */
328 assert(bdrv_chain_contains(top
, base
));
329 for (iter
= top
; iter
!= base
; iter
= backing_bs(iter
)) {
330 /* XXX BLK_PERM_WRITE needs to be allowed so we don't block ourselves
331 * at s->base (if writes are blocked for a node, they are also blocked
332 * for its backing file). The other options would be a second filter
333 * driver above s->base. */
334 ret
= block_job_add_bdrv(&s
->common
, "intermediate node", iter
, 0,
335 BLK_PERM_WRITE_UNCHANGED
| BLK_PERM_WRITE
,
342 ret
= block_job_add_bdrv(&s
->common
, "base", base
, 0, BLK_PERM_ALL
, errp
);
347 s
->base
= blk_new(BLK_PERM_CONSISTENT_READ
350 BLK_PERM_CONSISTENT_READ
352 | BLK_PERM_WRITE_UNCHANGED
);
353 ret
= blk_insert_bs(s
->base
, base
, errp
);
358 /* Required permissions are already taken with block_job_add_bdrv() */
359 s
->top
= blk_new(0, BLK_PERM_ALL
);
360 ret
= blk_insert_bs(s
->top
, top
, errp
);
365 s
->base_flags
= orig_base_flags
;
366 s
->backing_file_str
= g_strdup(backing_file_str
);
367 s
->on_error
= on_error
;
369 trace_commit_start(bs
, base
, top
, s
);
370 block_job_start(&s
->common
);
381 bdrv_replace_node(commit_top_bs
, top
, &error_abort
);
383 block_job_early_fail(&s
->common
);
387 #define COMMIT_BUF_SIZE (2048 * BDRV_SECTOR_SIZE)
389 /* commit COW file into the raw image */
390 int bdrv_commit(BlockDriverState
*bs
)
392 BlockBackend
*src
, *backing
;
393 BlockDriverState
*backing_file_bs
= NULL
;
394 BlockDriverState
*commit_top_bs
= NULL
;
395 BlockDriver
*drv
= bs
->drv
;
396 int64_t offset
, length
, backing_length
;
401 Error
*local_err
= NULL
;
410 if (bdrv_op_is_blocked(bs
, BLOCK_OP_TYPE_COMMIT_SOURCE
, NULL
) ||
411 bdrv_op_is_blocked(bs
->backing
->bs
, BLOCK_OP_TYPE_COMMIT_TARGET
, NULL
)) {
415 ro
= bs
->backing
->bs
->read_only
;
416 open_flags
= bs
->backing
->bs
->open_flags
;
419 if (bdrv_reopen(bs
->backing
->bs
, open_flags
| BDRV_O_RDWR
, NULL
)) {
424 src
= blk_new(BLK_PERM_CONSISTENT_READ
, BLK_PERM_ALL
);
425 backing
= blk_new(BLK_PERM_WRITE
| BLK_PERM_RESIZE
, BLK_PERM_ALL
);
427 ret
= blk_insert_bs(src
, bs
, &local_err
);
429 error_report_err(local_err
);
433 /* Insert commit_top block node above backing, so we can write to it */
434 backing_file_bs
= backing_bs(bs
);
436 commit_top_bs
= bdrv_new_open_driver(&bdrv_commit_top
, NULL
, BDRV_O_RDWR
,
438 if (commit_top_bs
== NULL
) {
439 error_report_err(local_err
);
442 bdrv_set_aio_context(commit_top_bs
, bdrv_get_aio_context(backing_file_bs
));
444 bdrv_set_backing_hd(commit_top_bs
, backing_file_bs
, &error_abort
);
445 bdrv_set_backing_hd(bs
, commit_top_bs
, &error_abort
);
447 ret
= blk_insert_bs(backing
, backing_file_bs
, &local_err
);
449 error_report_err(local_err
);
453 length
= blk_getlength(src
);
459 backing_length
= blk_getlength(backing
);
460 if (backing_length
< 0) {
461 ret
= backing_length
;
465 /* If our top snapshot is larger than the backing file image,
466 * grow the backing file image if possible. If not possible,
467 * we must return an error */
468 if (length
> backing_length
) {
469 ret
= blk_truncate(backing
, length
, PREALLOC_MODE_OFF
, &local_err
);
471 error_report_err(local_err
);
476 /* blk_try_blockalign() for src will choose an alignment that works for
477 * backing as well, so no need to compare the alignment manually. */
478 buf
= blk_try_blockalign(src
, COMMIT_BUF_SIZE
);
484 for (offset
= 0; offset
< length
; offset
+= n
) {
485 ret
= bdrv_is_allocated(bs
, offset
, COMMIT_BUF_SIZE
, &n
);
490 ret
= blk_pread(src
, offset
, buf
, n
);
495 ret
= blk_pwrite(backing
, offset
, buf
, n
, 0);
502 if (drv
->bdrv_make_empty
) {
503 ret
= drv
->bdrv_make_empty(bs
);
511 * Make sure all data we wrote to the backing device is actually
521 if (backing_file_bs
) {
522 bdrv_set_backing_hd(bs
, backing_file_bs
, &error_abort
);
524 bdrv_unref(commit_top_bs
);
528 /* ignoring error return here */
529 bdrv_reopen(bs
->backing
->bs
, open_flags
& ~BDRV_O_RDWR
, NULL
);