2 * copy-before-write filter driver
4 * The driver performs Copy-Before-Write (CBW) operation: it is injected above
5 * some node, and before each write it copies _old_ data to the target node.
7 * Copyright (c) 2018-2021 Virtuozzo International GmbH.
10 * Sementsov-Ogievskiy Vladimir <vsementsov@virtuozzo.com>
12 * This program is free software; you can redistribute it and/or modify
13 * it under the terms of the GNU General Public License as published by
14 * the Free Software Foundation; either version 2 of the License, or
15 * (at your option) any later version.
17 * This program is distributed in the hope that it will be useful,
18 * but WITHOUT ANY WARRANTY; without even the implied warranty of
19 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 * GNU General Public License for more details.
22 * You should have received a copy of the GNU General Public License
23 * along with this program. If not, see <http://www.gnu.org/licenses/>.
26 #include "qemu/osdep.h"
27 #include "qapi/qmp/qjson.h"
29 #include "sysemu/block-backend.h"
30 #include "qemu/cutils.h"
31 #include "qapi/error.h"
32 #include "block/block_int.h"
33 #include "block/qdict.h"
34 #include "block/block-copy.h"
36 #include "block/copy-before-write.h"
37 #include "block/reqlist.h"
39 #include "qapi/qapi-visit-block-core.h"
41 typedef struct BDRVCopyBeforeWriteState
{
44 OnCbwError on_cbw_error
;
45 uint32_t cbw_timeout_ns
;
48 * @lock: protects access to @access_bitmap, @done_bitmap and
54 * @access_bitmap: represents areas allowed for reading by fleecing user.
55 * Reading from non-dirty areas leads to -EACCES.
57 BdrvDirtyBitmap
*access_bitmap
;
60 * @done_bitmap: represents areas that was successfully copied to @target by
61 * copy-before-write operations.
63 BdrvDirtyBitmap
*done_bitmap
;
66 * @frozen_read_reqs: current read requests for fleecing user in bs->file
67 * node. These areas must not be rewritten by guest.
69 BlockReqList frozen_read_reqs
;
72 * @snapshot_error is normally zero. But on first copy-before-write failure
73 * when @on_cbw_error == ON_CBW_ERROR_BREAK_SNAPSHOT, @snapshot_error takes
74 * value of this error (<0). After that all in-flight and further
75 * snapshot-API requests will fail with that error.
78 } BDRVCopyBeforeWriteState
;
80 static coroutine_fn
int cbw_co_preadv(
81 BlockDriverState
*bs
, int64_t offset
, int64_t bytes
,
82 QEMUIOVector
*qiov
, BdrvRequestFlags flags
)
84 return bdrv_co_preadv(bs
->file
, offset
, bytes
, qiov
, flags
);
87 static void block_copy_cb(void *opaque
)
89 BlockDriverState
*bs
= opaque
;
91 bdrv_dec_in_flight(bs
);
95 * Do copy-before-write operation.
97 * On failure guest request must be failed too.
99 * On success, we also wait for all in-flight fleecing read requests in source
100 * node, and it's guaranteed that after cbw_do_copy_before_write() successful
101 * return there are no such requests and they will never appear.
103 static coroutine_fn
int cbw_do_copy_before_write(BlockDriverState
*bs
,
104 uint64_t offset
, uint64_t bytes
, BdrvRequestFlags flags
)
106 BDRVCopyBeforeWriteState
*s
= bs
->opaque
;
109 int64_t cluster_size
= block_copy_cluster_size(s
->bcs
);
111 if (flags
& BDRV_REQ_WRITE_UNCHANGED
) {
115 if (s
->snapshot_error
) {
119 off
= QEMU_ALIGN_DOWN(offset
, cluster_size
);
120 end
= QEMU_ALIGN_UP(offset
+ bytes
, cluster_size
);
123 * Increase in_flight, so that in case of timed-out block-copy, the
124 * remaining background block_copy() request (which can't be immediately
125 * cancelled by timeout) is presented in bs->in_flight. This way we are
126 * sure that on bs close() we'll previously wait for all timed-out but yet
127 * running block_copy calls.
129 bdrv_inc_in_flight(bs
);
130 ret
= block_copy(s
->bcs
, off
, end
- off
, true, s
->cbw_timeout_ns
,
132 if (ret
< 0 && s
->on_cbw_error
== ON_CBW_ERROR_BREAK_GUEST_WRITE
) {
136 WITH_QEMU_LOCK_GUARD(&s
->lock
) {
138 assert(s
->on_cbw_error
== ON_CBW_ERROR_BREAK_SNAPSHOT
);
139 if (!s
->snapshot_error
) {
140 s
->snapshot_error
= ret
;
143 bdrv_set_dirty_bitmap(s
->done_bitmap
, off
, end
- off
);
145 reqlist_wait_all(&s
->frozen_read_reqs
, off
, end
- off
, &s
->lock
);
151 static int coroutine_fn
cbw_co_pdiscard(BlockDriverState
*bs
,
152 int64_t offset
, int64_t bytes
)
154 int ret
= cbw_do_copy_before_write(bs
, offset
, bytes
, 0);
159 return bdrv_co_pdiscard(bs
->file
, offset
, bytes
);
162 static int coroutine_fn
cbw_co_pwrite_zeroes(BlockDriverState
*bs
,
163 int64_t offset
, int64_t bytes
, BdrvRequestFlags flags
)
165 int ret
= cbw_do_copy_before_write(bs
, offset
, bytes
, flags
);
170 return bdrv_co_pwrite_zeroes(bs
->file
, offset
, bytes
, flags
);
173 static coroutine_fn
int cbw_co_pwritev(BlockDriverState
*bs
,
177 BdrvRequestFlags flags
)
179 int ret
= cbw_do_copy_before_write(bs
, offset
, bytes
, flags
);
184 return bdrv_co_pwritev(bs
->file
, offset
, bytes
, qiov
, flags
);
187 static int coroutine_fn
cbw_co_flush(BlockDriverState
*bs
)
193 return bdrv_co_flush(bs
->file
->bs
);
197 * If @offset not accessible - return NULL.
199 * Otherwise, set @pnum to some bytes that accessible from @file (@file is set
200 * to bs->file or to s->target). Return newly allocated BlockReq object that
201 * should be than passed to cbw_snapshot_read_unlock().
203 * It's guaranteed that guest writes will not interact in the region until
204 * cbw_snapshot_read_unlock() called.
206 static coroutine_fn BlockReq
*
207 cbw_snapshot_read_lock(BlockDriverState
*bs
, int64_t offset
, int64_t bytes
,
208 int64_t *pnum
, BdrvChild
**file
)
210 BDRVCopyBeforeWriteState
*s
= bs
->opaque
;
211 BlockReq
*req
= g_new(BlockReq
, 1);
214 QEMU_LOCK_GUARD(&s
->lock
);
216 if (s
->snapshot_error
) {
221 if (bdrv_dirty_bitmap_next_zero(s
->access_bitmap
, offset
, bytes
) != -1) {
226 done
= bdrv_dirty_bitmap_status(s
->done_bitmap
, offset
, bytes
, pnum
);
229 * Special invalid BlockReq, that is handled in
230 * cbw_snapshot_read_unlock(). We don't need to lock something to read
233 *req
= (BlockReq
) {.offset
= -1, .bytes
= -1};
236 reqlist_init_req(&s
->frozen_read_reqs
, req
, offset
, bytes
);
243 static coroutine_fn
void
244 cbw_snapshot_read_unlock(BlockDriverState
*bs
, BlockReq
*req
)
246 BDRVCopyBeforeWriteState
*s
= bs
->opaque
;
248 if (req
->offset
== -1 && req
->bytes
== -1) {
253 QEMU_LOCK_GUARD(&s
->lock
);
255 reqlist_remove_req(req
);
259 static coroutine_fn
int
260 cbw_co_preadv_snapshot(BlockDriverState
*bs
, int64_t offset
, int64_t bytes
,
261 QEMUIOVector
*qiov
, size_t qiov_offset
)
267 /* TODO: upgrade to async loop using AioTask */
271 req
= cbw_snapshot_read_lock(bs
, offset
, bytes
, &cur_bytes
, &file
);
276 ret
= bdrv_co_preadv_part(file
, offset
, cur_bytes
,
277 qiov
, qiov_offset
, 0);
278 cbw_snapshot_read_unlock(bs
, req
);
285 qiov_offset
+= cur_bytes
;
291 static int coroutine_fn
292 cbw_co_snapshot_block_status(BlockDriverState
*bs
,
293 bool want_zero
, int64_t offset
, int64_t bytes
,
294 int64_t *pnum
, int64_t *map
,
295 BlockDriverState
**file
)
297 BDRVCopyBeforeWriteState
*s
= bs
->opaque
;
303 req
= cbw_snapshot_read_lock(bs
, offset
, bytes
, &cur_bytes
, &child
);
308 ret
= bdrv_block_status(child
->bs
, offset
, cur_bytes
, pnum
, map
, file
);
309 if (child
== s
->target
) {
311 * We refer to s->target only for areas that we've written to it.
312 * And we can not report unallocated blocks in s->target: this will
313 * break generic block-status-above logic, that will go to
314 * copy-before-write filtered child in this case.
316 assert(ret
& BDRV_BLOCK_ALLOCATED
);
319 cbw_snapshot_read_unlock(bs
, req
);
324 static int coroutine_fn
cbw_co_pdiscard_snapshot(BlockDriverState
*bs
,
325 int64_t offset
, int64_t bytes
)
327 BDRVCopyBeforeWriteState
*s
= bs
->opaque
;
329 WITH_QEMU_LOCK_GUARD(&s
->lock
) {
330 bdrv_reset_dirty_bitmap(s
->access_bitmap
, offset
, bytes
);
333 block_copy_reset(s
->bcs
, offset
, bytes
);
335 return bdrv_co_pdiscard(s
->target
, offset
, bytes
);
338 static void cbw_refresh_filename(BlockDriverState
*bs
)
340 pstrcpy(bs
->exact_filename
, sizeof(bs
->exact_filename
),
341 bs
->file
->bs
->filename
);
344 static void cbw_child_perm(BlockDriverState
*bs
, BdrvChild
*c
,
346 BlockReopenQueue
*reopen_queue
,
347 uint64_t perm
, uint64_t shared
,
348 uint64_t *nperm
, uint64_t *nshared
)
350 if (!(role
& BDRV_CHILD_FILTERED
)) {
354 * Share write to target (child_file), to not interfere
355 * with guest writes to its disk which may be in target backing chain.
356 * Can't resize during a backup block job because we check the size
359 *nshared
= BLK_PERM_ALL
& ~BLK_PERM_RESIZE
;
360 *nperm
= BLK_PERM_WRITE
;
363 bdrv_default_perms(bs
, c
, role
, reopen_queue
,
364 perm
, shared
, nperm
, nshared
);
366 if (!QLIST_EMPTY(&bs
->parents
)) {
367 if (perm
& BLK_PERM_WRITE
) {
368 *nperm
= *nperm
| BLK_PERM_CONSISTENT_READ
;
370 *nshared
&= ~(BLK_PERM_WRITE
| BLK_PERM_RESIZE
);
375 static BlockdevOptions
*cbw_parse_options(QDict
*options
, Error
**errp
)
377 BlockdevOptions
*opts
= NULL
;
380 qdict_put_str(options
, "driver", "copy-before-write");
382 v
= qobject_input_visitor_new_flat_confused(options
, errp
);
387 visit_type_BlockdevOptions(v
, NULL
, &opts
, errp
);
393 * Delete options which we are going to parse through BlockdevOptions
394 * object for original options.
396 qdict_extract_subqdict(options
, NULL
, "bitmap");
397 qdict_del(options
, "on-cbw-error");
398 qdict_del(options
, "cbw-timeout");
402 qdict_del(options
, "driver");
407 static int cbw_open(BlockDriverState
*bs
, QDict
*options
, int flags
,
410 BDRVCopyBeforeWriteState
*s
= bs
->opaque
;
411 BdrvDirtyBitmap
*bitmap
= NULL
;
412 int64_t cluster_size
;
413 g_autoptr(BlockdevOptions
) full_opts
= NULL
;
414 BlockdevOptionsCbw
*opts
;
416 full_opts
= cbw_parse_options(options
, errp
);
420 assert(full_opts
->driver
== BLOCKDEV_DRIVER_COPY_BEFORE_WRITE
);
421 opts
= &full_opts
->u
.copy_before_write
;
423 bs
->file
= bdrv_open_child(NULL
, options
, "file", bs
, &child_of_bds
,
424 BDRV_CHILD_FILTERED
| BDRV_CHILD_PRIMARY
,
430 s
->target
= bdrv_open_child(NULL
, options
, "target", bs
, &child_of_bds
,
431 BDRV_CHILD_DATA
, false, errp
);
436 if (opts
->has_bitmap
) {
437 bitmap
= block_dirty_bitmap_lookup(opts
->bitmap
->node
,
438 opts
->bitmap
->name
, NULL
, errp
);
443 s
->on_cbw_error
= opts
->has_on_cbw_error
? opts
->on_cbw_error
:
444 ON_CBW_ERROR_BREAK_GUEST_WRITE
;
445 s
->cbw_timeout_ns
= opts
->has_cbw_timeout
?
446 opts
->cbw_timeout
* NANOSECONDS_PER_SECOND
: 0;
448 bs
->total_sectors
= bs
->file
->bs
->total_sectors
;
449 bs
->supported_write_flags
= BDRV_REQ_WRITE_UNCHANGED
|
450 (BDRV_REQ_FUA
& bs
->file
->bs
->supported_write_flags
);
451 bs
->supported_zero_flags
= BDRV_REQ_WRITE_UNCHANGED
|
452 ((BDRV_REQ_FUA
| BDRV_REQ_MAY_UNMAP
| BDRV_REQ_NO_FALLBACK
) &
453 bs
->file
->bs
->supported_zero_flags
);
455 s
->bcs
= block_copy_state_new(bs
->file
, s
->target
, bitmap
, errp
);
457 error_prepend(errp
, "Cannot create block-copy-state: ");
461 cluster_size
= block_copy_cluster_size(s
->bcs
);
463 s
->done_bitmap
= bdrv_create_dirty_bitmap(bs
, cluster_size
, NULL
, errp
);
464 if (!s
->done_bitmap
) {
467 bdrv_disable_dirty_bitmap(s
->done_bitmap
);
469 /* s->access_bitmap starts equal to bcs bitmap */
470 s
->access_bitmap
= bdrv_create_dirty_bitmap(bs
, cluster_size
, NULL
, errp
);
471 if (!s
->access_bitmap
) {
474 bdrv_disable_dirty_bitmap(s
->access_bitmap
);
475 bdrv_dirty_bitmap_merge_internal(s
->access_bitmap
,
476 block_copy_dirty_bitmap(s
->bcs
), NULL
,
479 qemu_co_mutex_init(&s
->lock
);
480 QLIST_INIT(&s
->frozen_read_reqs
);
485 static void cbw_close(BlockDriverState
*bs
)
487 BDRVCopyBeforeWriteState
*s
= bs
->opaque
;
489 bdrv_release_dirty_bitmap(s
->access_bitmap
);
490 bdrv_release_dirty_bitmap(s
->done_bitmap
);
492 block_copy_state_free(s
->bcs
);
496 BlockDriver bdrv_cbw_filter
= {
497 .format_name
= "copy-before-write",
498 .instance_size
= sizeof(BDRVCopyBeforeWriteState
),
500 .bdrv_open
= cbw_open
,
501 .bdrv_close
= cbw_close
,
503 .bdrv_co_preadv
= cbw_co_preadv
,
504 .bdrv_co_pwritev
= cbw_co_pwritev
,
505 .bdrv_co_pwrite_zeroes
= cbw_co_pwrite_zeroes
,
506 .bdrv_co_pdiscard
= cbw_co_pdiscard
,
507 .bdrv_co_flush
= cbw_co_flush
,
509 .bdrv_co_preadv_snapshot
= cbw_co_preadv_snapshot
,
510 .bdrv_co_pdiscard_snapshot
= cbw_co_pdiscard_snapshot
,
511 .bdrv_co_snapshot_block_status
= cbw_co_snapshot_block_status
,
513 .bdrv_refresh_filename
= cbw_refresh_filename
,
515 .bdrv_child_perm
= cbw_child_perm
,
520 BlockDriverState
*bdrv_cbw_append(BlockDriverState
*source
,
521 BlockDriverState
*target
,
522 const char *filter_node_name
,
523 BlockCopyState
**bcs
,
527 BDRVCopyBeforeWriteState
*state
;
528 BlockDriverState
*top
;
531 assert(source
->total_sectors
== target
->total_sectors
);
535 qdict_put_str(opts
, "driver", "copy-before-write");
536 if (filter_node_name
) {
537 qdict_put_str(opts
, "node-name", filter_node_name
);
539 qdict_put_str(opts
, "file", bdrv_get_node_name(source
));
540 qdict_put_str(opts
, "target", bdrv_get_node_name(target
));
542 top
= bdrv_insert_node(source
, opts
, BDRV_O_RDWR
, errp
);
553 void bdrv_cbw_drop(BlockDriverState
*bs
)
556 bdrv_drop_filter(bs
, &error_abort
);
560 static void cbw_init(void)
562 bdrv_register(&bdrv_cbw_filter
);
565 block_init(cbw_init
);