]> git.proxmox.com Git - mirror_qemu.git/blame - block/block-copy.c
meson: remove OS definitions from config_targetos
[mirror_qemu.git] / block / block-copy.c
CommitLineData
beb5f545
VSO
1/*
2 * block_copy API
3 *
4 * Copyright (C) 2013 Proxmox Server Solutions
5 * Copyright (c) 2019 Virtuozzo International GmbH.
6 *
7 * Authors:
8 * Dietmar Maurer (dietmar@proxmox.com)
9 * Vladimir Sementsov-Ogievskiy <vsementsov@virtuozzo.com>
10 *
11 * This work is licensed under the terms of the GNU GPL, version 2 or later.
12 * See the COPYING file in the top-level directory.
13 */
14
15#include "qemu/osdep.h"
16
17#include "trace.h"
18#include "qapi/error.h"
19#include "block/block-copy.h"
e2c1c34f
MA
20#include "block/block_int-io.h"
21#include "block/dirty-bitmap.h"
d088e6a4 22#include "block/reqlist.h"
beb5f545 23#include "sysemu/block-backend.h"
b3b7036a 24#include "qemu/units.h"
e2c1c34f 25#include "qemu/co-shared-resource.h"
4ce5dd3e 26#include "qemu/coroutine.h"
e2c1c34f 27#include "qemu/ratelimit.h"
4ce5dd3e 28#include "block/aio_task.h"
b518e9e9 29#include "qemu/error-report.h"
5df022cf 30#include "qemu/memalign.h"
b3b7036a
VSO
31
32#define BLOCK_COPY_MAX_COPY_RANGE (16 * MiB)
0e240245 33#define BLOCK_COPY_MAX_BUFFER (1 * MiB)
7f739d0e 34#define BLOCK_COPY_MAX_MEM (128 * MiB)
4ce5dd3e 35#define BLOCK_COPY_MAX_WORKERS 64
7e032df0 36#define BLOCK_COPY_SLICE_TIME 100000000ULL /* ns */
b518e9e9 37#define BLOCK_COPY_CLUSTER_SIZE_DEFAULT (1 << 16)
4ce5dd3e 38
05d5e12b
PB
39typedef enum {
40 COPY_READ_WRITE_CLUSTER,
41 COPY_READ_WRITE,
42 COPY_WRITE_ZEROES,
43 COPY_RANGE_SMALL,
44 COPY_RANGE_FULL
45} BlockCopyMethod;
46
4ce5dd3e
VSO
47static coroutine_fn int block_copy_task_entry(AioTask *task);
48
49typedef struct BlockCopyCallState {
d0c389d2 50 /* Fields initialized in block_copy_async() and never changed. */
3b8c2329
VSO
51 BlockCopyState *s;
52 int64_t offset;
53 int64_t bytes;
26be9d62
VSO
54 int max_workers;
55 int64_t max_chunk;
7e032df0 56 bool ignore_ratelimit;
de4641b4
VSO
57 BlockCopyAsyncCallbackFunc cb;
58 void *cb_opaque;
de4641b4
VSO
59 /* Coroutine where async block-copy is running */
60 Coroutine *co;
3b8c2329 61
d0c389d2 62 /* Fields whose state changes throughout the execution */
149009be 63 bool finished; /* atomic */
d0c389d2 64 QemuCoSleep sleep; /* TODO: protect API with a lock */
149009be 65 bool cancelled; /* atomic */
d0c389d2
EGE
66 /* To reference all call states from BlockCopyState */
67 QLIST_ENTRY(BlockCopyCallState) list;
3b8c2329 68
d0c389d2 69 /*
3202d8e4 70 * Fields that report information about return values and errors.
d0c389d2
EGE
71 * Protected by lock in BlockCopyState.
72 */
4ce5dd3e 73 bool error_is_read;
d0c389d2
EGE
74 /*
75 * @ret is set concurrently by tasks under mutex. Only set once by first
76 * failed task (and untouched if no task failed).
77 * After finishing (call_state->finished is true), it is not modified
78 * anymore and may be safely read without mutex.
79 */
80 int ret;
4ce5dd3e 81} BlockCopyCallState;
beb5f545 82
e9407785 83typedef struct BlockCopyTask {
4ce5dd3e
VSO
84 AioTask task;
85
d0c389d2
EGE
86 /*
87 * Fields initialized in block_copy_task_create()
88 * and never changed.
89 */
1348a657 90 BlockCopyState *s;
4ce5dd3e 91 BlockCopyCallState *call_state;
d0c389d2
EGE
92 /*
93 * @method can also be set again in the while loop of
94 * block_copy_dirty_clusters(), but it is never accessed concurrently
95 * because the only other function that reads it is
96 * block_copy_task_entry() and it is invoked afterwards in the same
97 * iteration.
98 */
05d5e12b 99 BlockCopyMethod method;
d0c389d2
EGE
100
101 /*
d088e6a4
VSO
102 * Generally, req is protected by lock in BlockCopyState, Still req.offset
103 * is only set on task creation, so may be read concurrently after creation.
104 * req.bytes is changed at most once, and need only protecting the case of
105 * parallel read while updating @bytes value in block_copy_task_shrink().
d0c389d2 106 */
d088e6a4 107 BlockReq req;
e9407785 108} BlockCopyTask;
397f4e9d 109
42ac2144
VSO
110static int64_t task_end(BlockCopyTask *task)
111{
d088e6a4 112 return task->req.offset + task->req.bytes;
42ac2144
VSO
113}
114
397f4e9d
VSO
115typedef struct BlockCopyState {
116 /*
117 * BdrvChild objects are not owned or managed by block-copy. They are
118 * provided by block-copy user and user is responsible for appropriate
119 * permissions on these children.
120 */
121 BdrvChild *source;
122 BdrvChild *target;
d0c389d2
EGE
123
124 /*
125 * Fields initialized in block_copy_state_new()
126 * and never changed.
127 */
397f4e9d 128 int64_t cluster_size;
05d5e12b 129 int64_t max_transfer;
397f4e9d 130 uint64_t len;
397f4e9d
VSO
131 BdrvRequestFlags write_flags;
132
d0c389d2
EGE
133 /*
134 * Fields whose state changes throughout the execution
135 * Protected by lock.
136 */
137 CoMutex lock;
138 int64_t in_flight_bytes;
139 BlockCopyMethod method;
d088e6a4 140 BlockReqList reqs;
d0c389d2 141 QLIST_HEAD(, BlockCopyCallState) calls;
397f4e9d
VSO
142 /*
143 * skip_unallocated:
144 *
145 * Used by sync=top jobs, which first scan the source node for unallocated
146 * areas and clear them in the copy_bitmap. During this process, the bitmap
147 * is thus not fully initialized: It may still have bits set for areas that
148 * are unallocated and should actually not be copied.
149 *
150 * This is indicated by skip_unallocated.
151 *
152 * In this case, block_copy() will query the source’s allocation status,
153 * skip unallocated regions, clear them in the copy_bitmap, and invoke
154 * block_copy_reset_unallocated() every time it does.
155 */
d0c389d2
EGE
156 bool skip_unallocated; /* atomic */
157 /* State fields that use a thread-safe API */
158 BdrvDirtyBitmap *copy_bitmap;
397f4e9d 159 ProgressMeter *progress;
397f4e9d 160 SharedResource *mem;
7e032df0 161 RateLimit rate_limit;
397f4e9d
VSO
162} BlockCopyState;
163
d0c389d2 164/* Called with lock held */
05d5e12b
PB
165static int64_t block_copy_chunk_size(BlockCopyState *s)
166{
167 switch (s->method) {
168 case COPY_READ_WRITE_CLUSTER:
169 return s->cluster_size;
170 case COPY_READ_WRITE:
171 case COPY_RANGE_SMALL:
172 return MIN(MAX(s->cluster_size, BLOCK_COPY_MAX_BUFFER),
173 s->max_transfer);
174 case COPY_RANGE_FULL:
175 return MIN(MAX(s->cluster_size, BLOCK_COPY_MAX_COPY_RANGE),
176 s->max_transfer);
177 default:
178 /* Cannot have COPY_WRITE_ZEROES here. */
179 abort();
180 }
181}
182
42ac2144
VSO
183/*
184 * Search for the first dirty area in offset/bytes range and create task at
185 * the beginning of it.
186 */
d0c389d2
EGE
187static coroutine_fn BlockCopyTask *
188block_copy_task_create(BlockCopyState *s, BlockCopyCallState *call_state,
189 int64_t offset, int64_t bytes)
a6ffe199 190{
42ac2144 191 BlockCopyTask *task;
05d5e12b 192 int64_t max_chunk;
f13e60a9 193
d0c389d2 194 QEMU_LOCK_GUARD(&s->lock);
05d5e12b 195 max_chunk = MIN_NON_ZERO(block_copy_chunk_size(s), call_state->max_chunk);
42ac2144
VSO
196 if (!bdrv_dirty_bitmap_next_dirty_area(s->copy_bitmap,
197 offset, offset + bytes,
26be9d62 198 max_chunk, &offset, &bytes))
42ac2144
VSO
199 {
200 return NULL;
201 }
202
7661a886
SR
203 assert(QEMU_IS_ALIGNED(offset, s->cluster_size));
204 bytes = QEMU_ALIGN_UP(bytes, s->cluster_size);
205
42ac2144 206 /* region is dirty, so no existent tasks possible in it */
d088e6a4 207 assert(!reqlist_find_conflict(&s->reqs, offset, bytes));
5332e5d2
VSO
208
209 bdrv_reset_dirty_bitmap(s->copy_bitmap, offset, bytes);
210 s->in_flight_bytes += bytes;
211
42ac2144 212 task = g_new(BlockCopyTask, 1);
1348a657 213 *task = (BlockCopyTask) {
4ce5dd3e 214 .task.func = block_copy_task_entry,
1348a657 215 .s = s,
4ce5dd3e 216 .call_state = call_state,
05d5e12b 217 .method = s->method,
1348a657 218 };
d088e6a4 219 reqlist_init_req(&s->reqs, &task->req, offset, bytes);
f13e60a9
VSO
220
221 return task;
a6ffe199
VSO
222}
223
5332e5d2 224/*
e9407785 225 * block_copy_task_shrink
5332e5d2 226 *
e9407785
VSO
227 * Drop the tail of the task to be handled later. Set dirty bits back and
228 * wake up all tasks waiting for us (may be some of them are not intersecting
229 * with shrunk task)
5332e5d2 230 */
1348a657 231static void coroutine_fn block_copy_task_shrink(BlockCopyTask *task,
e9407785 232 int64_t new_bytes)
a6ffe199 233{
d0c389d2 234 QEMU_LOCK_GUARD(&task->s->lock);
d088e6a4 235 if (new_bytes == task->req.bytes) {
5332e5d2
VSO
236 return;
237 }
238
d088e6a4 239 assert(new_bytes > 0 && new_bytes < task->req.bytes);
5332e5d2 240
d088e6a4 241 task->s->in_flight_bytes -= task->req.bytes - new_bytes;
1348a657 242 bdrv_set_dirty_bitmap(task->s->copy_bitmap,
d088e6a4
VSO
243 task->req.offset + new_bytes,
244 task->req.bytes - new_bytes);
5332e5d2 245
d088e6a4 246 reqlist_shrink_req(&task->req, new_bytes);
5332e5d2
VSO
247}
248
1348a657 249static void coroutine_fn block_copy_task_end(BlockCopyTask *task, int ret)
5332e5d2 250{
d0c389d2 251 QEMU_LOCK_GUARD(&task->s->lock);
d088e6a4 252 task->s->in_flight_bytes -= task->req.bytes;
5332e5d2 253 if (ret < 0) {
d088e6a4
VSO
254 bdrv_set_dirty_bitmap(task->s->copy_bitmap, task->req.offset,
255 task->req.bytes);
5332e5d2 256 }
201b4bb6
VSO
257 if (task->s->progress) {
258 progress_set_remaining(task->s->progress,
259 bdrv_get_dirty_count(task->s->copy_bitmap) +
260 task->s->in_flight_bytes);
261 }
d088e6a4 262 reqlist_remove_req(&task->req);
a6ffe199
VSO
263}
264
beb5f545
VSO
265void block_copy_state_free(BlockCopyState *s)
266{
267 if (!s) {
268 return;
269 }
270
4951967d 271 ratelimit_destroy(&s->rate_limit);
5deb6cbd 272 bdrv_release_dirty_bitmap(s->copy_bitmap);
7f739d0e 273 shres_destroy(s->mem);
beb5f545
VSO
274 g_free(s);
275}
276
9d31bc53
VSO
277static uint32_t block_copy_max_transfer(BdrvChild *source, BdrvChild *target)
278{
279 return MIN_NON_ZERO(INT_MAX,
280 MIN_NON_ZERO(source->bs->bl.max_transfer,
281 target->bs->bl.max_transfer));
282}
283
f8b9504b
VSO
284void block_copy_set_copy_opts(BlockCopyState *s, bool use_copy_range,
285 bool compress)
286{
287 /* Keep BDRV_REQ_SERIALISING set (or not set) in block_copy_state_new() */
288 s->write_flags = (s->write_flags & BDRV_REQ_SERIALISING) |
289 (compress ? BDRV_REQ_WRITE_COMPRESSED : 0);
290
291 if (s->max_transfer < s->cluster_size) {
292 /*
293 * copy_range does not respect max_transfer. We don't want to bother
294 * with requests smaller than block-copy cluster size, so fallback to
295 * buffered copying (read and write respect max_transfer on their
296 * behalf).
297 */
298 s->method = COPY_READ_WRITE_CLUSTER;
299 } else if (compress) {
300 /* Compression supports only cluster-size writes and no copy-range. */
301 s->method = COPY_READ_WRITE_CLUSTER;
302 } else {
303 /*
304 * If copy range enabled, start with COPY_RANGE_SMALL, until first
305 * successful copy_range (look at block_copy_do_copy).
306 */
307 s->method = use_copy_range ? COPY_RANGE_SMALL : COPY_READ_WRITE;
308 }
309}
310
b518e9e9
VSO
311static int64_t block_copy_calculate_cluster_size(BlockDriverState *target,
312 Error **errp)
313{
314 int ret;
315 BlockDriverInfo bdi;
ad74751f
KW
316 bool target_does_cow;
317
318 GLOBAL_STATE_CODE();
319 GRAPH_RDLOCK_GUARD_MAINLOOP();
320
321 target_does_cow = bdrv_backing_chain_next(target);
b518e9e9
VSO
322
323 /*
324 * If there is no backing file on the target, we cannot rely on COW if our
325 * backup cluster size is smaller than the target cluster size. Even for
326 * targets with a backing file, try to avoid COW if possible.
327 */
328 ret = bdrv_get_info(target, &bdi);
329 if (ret == -ENOTSUP && !target_does_cow) {
330 /* Cluster size is not defined */
331 warn_report("The target block device doesn't provide "
332 "information about the block size and it doesn't have a "
333 "backing file. The default block size of %u bytes is "
334 "used. If the actual block size of the target exceeds "
335 "this default, the backup may be unusable",
336 BLOCK_COPY_CLUSTER_SIZE_DEFAULT);
337 return BLOCK_COPY_CLUSTER_SIZE_DEFAULT;
338 } else if (ret < 0 && !target_does_cow) {
339 error_setg_errno(errp, -ret,
340 "Couldn't determine the cluster size of the target image, "
341 "which has no backing file");
342 error_append_hint(errp,
343 "Aborting, since this may create an unusable destination image\n");
344 return ret;
345 } else if (ret < 0 && target_does_cow) {
346 /* Not fatal; just trudge on ahead. */
347 return BLOCK_COPY_CLUSTER_SIZE_DEFAULT;
348 }
349
350 return MAX(BLOCK_COPY_CLUSTER_SIZE_DEFAULT, bdi.cluster_size);
351}
352
00e30f05 353BlockCopyState *block_copy_state_new(BdrvChild *source, BdrvChild *target,
1f7252e8 354 const BdrvDirtyBitmap *bitmap,
abde8ac2 355 Error **errp)
beb5f545 356{
1f7252e8 357 ERRP_GUARD();
beb5f545 358 BlockCopyState *s;
b518e9e9 359 int64_t cluster_size;
beb5f545 360 BdrvDirtyBitmap *copy_bitmap;
49577723 361 bool is_fleecing;
beb5f545 362
ad74751f
KW
363 GLOBAL_STATE_CODE();
364
b518e9e9
VSO
365 cluster_size = block_copy_calculate_cluster_size(target->bs, errp);
366 if (cluster_size < 0) {
367 return NULL;
368 }
369
00e30f05
VSO
370 copy_bitmap = bdrv_create_dirty_bitmap(source->bs, cluster_size, NULL,
371 errp);
beb5f545
VSO
372 if (!copy_bitmap) {
373 return NULL;
374 }
375 bdrv_disable_dirty_bitmap(copy_bitmap);
1f7252e8
VSO
376 if (bitmap) {
377 if (!bdrv_merge_dirty_bitmap(copy_bitmap, bitmap, NULL, errp)) {
378 error_prepend(errp, "Failed to merge bitmap '%s' to internal "
379 "copy-bitmap: ", bdrv_dirty_bitmap_name(bitmap));
380 bdrv_release_dirty_bitmap(copy_bitmap);
381 return NULL;
382 }
383 } else {
384 bdrv_set_dirty_bitmap(copy_bitmap, 0,
385 bdrv_dirty_bitmap_size(copy_bitmap));
386 }
beb5f545 387
49577723
VSO
388 /*
389 * If source is in backing chain of target assume that target is going to be
390 * used for "image fleecing", i.e. it should represent a kind of snapshot of
391 * source at backup-start point in time. And target is going to be read by
392 * somebody (for example, used as NBD export) during backup job.
393 *
394 * In this case, we need to add BDRV_REQ_SERIALISING write flag to avoid
395 * intersection of backup writes and third party reads from target,
396 * otherwise reading from target we may occasionally read already updated by
397 * guest data.
398 *
399 * For more information see commit f8d59dfb40bb and test
400 * tests/qemu-iotests/222
401 */
79bb7627 402 bdrv_graph_rdlock_main_loop();
49577723 403 is_fleecing = bdrv_chain_contains(target->bs, source->bs);
79bb7627 404 bdrv_graph_rdunlock_main_loop();
49577723 405
beb5f545
VSO
406 s = g_new(BlockCopyState, 1);
407 *s = (BlockCopyState) {
00e30f05
VSO
408 .source = source,
409 .target = target,
beb5f545
VSO
410 .copy_bitmap = copy_bitmap,
411 .cluster_size = cluster_size,
412 .len = bdrv_dirty_bitmap_size(copy_bitmap),
f8b9504b 413 .write_flags = (is_fleecing ? BDRV_REQ_SERIALISING : 0),
7f739d0e 414 .mem = shres_create(BLOCK_COPY_MAX_MEM),
05d5e12b
PB
415 .max_transfer = QEMU_ALIGN_DOWN(
416 block_copy_max_transfer(source, target),
417 cluster_size),
beb5f545
VSO
418 };
419
abde8ac2 420 block_copy_set_copy_opts(s, false, false);
beb5f545 421
4951967d 422 ratelimit_init(&s->rate_limit);
d0c389d2 423 qemu_co_mutex_init(&s->lock);
d088e6a4 424 QLIST_INIT(&s->reqs);
2e099a9d 425 QLIST_INIT(&s->calls);
a6ffe199 426
beb5f545 427 return s;
beb5f545
VSO
428}
429
d0c389d2 430/* Only set before running the job, no need for locking. */
d0ebeca1
VSO
431void block_copy_set_progress_meter(BlockCopyState *s, ProgressMeter *pm)
432{
433 s->progress = pm;
434}
435
4ce5dd3e
VSO
436/*
437 * Takes ownership of @task
438 *
439 * If pool is NULL directly run the task, otherwise schedule it into the pool.
440 *
441 * Returns: task.func return code if pool is NULL
442 * otherwise -ECANCELED if pool status is bad
443 * otherwise 0 (successfully scheduled)
444 */
445static coroutine_fn int block_copy_task_run(AioTaskPool *pool,
446 BlockCopyTask *task)
447{
448 if (!pool) {
449 int ret = task->task.func(&task->task);
450
451 g_free(task);
452 return ret;
453 }
454
455 aio_task_pool_wait_slot(pool);
456 if (aio_task_pool_status(pool) < 0) {
d088e6a4 457 co_put_to_shres(task->s->mem, task->req.bytes);
4ce5dd3e
VSO
458 block_copy_task_end(task, -ECANCELED);
459 g_free(task);
460 return -ECANCELED;
461 }
462
463 aio_task_pool_start_task(pool, &task->task);
464
465 return 0;
466}
467
beb5f545 468/*
e332a726
VSO
469 * block_copy_do_copy
470 *
dafaf135
VSO
471 * Do copy of cluster-aligned chunk. Requested region is allowed to exceed
472 * s->len only to cover last cluster when s->len is not aligned to clusters.
e332a726 473 *
3202d8e4 474 * No sync here: neither bitmap nor intersecting requests handling, only copy.
e332a726 475 *
05d5e12b
PB
476 * @method is an in-out argument, so that copy_range can be either extended to
477 * a full-size buffer or disabled if the copy_range attempt fails. The output
478 * value of @method should be used for subsequent tasks.
e332a726 479 * Returns 0 on success.
beb5f545 480 */
abaf8b75
KW
481static int coroutine_fn GRAPH_RDLOCK
482block_copy_do_copy(BlockCopyState *s, int64_t offset, int64_t bytes,
483 BlockCopyMethod *method, bool *error_is_read)
beb5f545
VSO
484{
485 int ret;
8719091f 486 int64_t nbytes = MIN(offset + bytes, s->len) - offset;
e332a726 487 void *bounce_buffer = NULL;
beb5f545 488
8719091f
VSO
489 assert(offset >= 0 && bytes > 0 && INT64_MAX - offset >= bytes);
490 assert(QEMU_IS_ALIGNED(offset, s->cluster_size));
dafaf135 491 assert(QEMU_IS_ALIGNED(bytes, s->cluster_size));
8719091f
VSO
492 assert(offset < s->len);
493 assert(offset + bytes <= s->len ||
494 offset + bytes == QEMU_ALIGN_UP(s->len, s->cluster_size));
dafaf135 495 assert(nbytes < INT_MAX);
e332a726 496
05d5e12b
PB
497 switch (*method) {
498 case COPY_WRITE_ZEROES:
8719091f 499 ret = bdrv_co_pwrite_zeroes(s->target, offset, nbytes, s->write_flags &
2d57511a
VSO
500 ~BDRV_REQ_WRITE_COMPRESSED);
501 if (ret < 0) {
8719091f 502 trace_block_copy_write_zeroes_fail(s, offset, ret);
d7eca542 503 *error_is_read = false;
2d57511a
VSO
504 }
505 return ret;
2d57511a 506
05d5e12b
PB
507 case COPY_RANGE_SMALL:
508 case COPY_RANGE_FULL:
8719091f 509 ret = bdrv_co_copy_range(s->source, offset, s->target, offset, nbytes,
e332a726 510 0, s->write_flags);
05d5e12b
PB
511 if (ret >= 0) {
512 /* Successful copy-range, increase chunk size. */
513 *method = COPY_RANGE_FULL;
bed95234 514 return 0;
e332a726 515 }
e332a726 516
05d5e12b
PB
517 trace_block_copy_copy_range_fail(s, offset, ret);
518 *method = COPY_READ_WRITE;
519 /* Fall through to read+write with allocated buffer */
0e240245 520
05d5e12b
PB
521 case COPY_READ_WRITE_CLUSTER:
522 case COPY_READ_WRITE:
523 /*
524 * In case of failed copy_range request above, we may proceed with
525 * buffered request larger than BLOCK_COPY_MAX_BUFFER.
526 * Still, further requests will be properly limited, so don't care too
527 * much. Moreover the most likely case (copy_range is unsupported for
528 * the configuration, so the very first copy_range request fails)
529 * is handled by setting large copy_size only after first successful
530 * copy_range.
531 */
beb5f545 532
05d5e12b 533 bounce_buffer = qemu_blockalign(s->source->bs, nbytes);
beb5f545 534
05d5e12b
PB
535 ret = bdrv_co_pread(s->source, offset, nbytes, bounce_buffer, 0);
536 if (ret < 0) {
537 trace_block_copy_read_fail(s, offset, ret);
538 *error_is_read = true;
539 goto out;
540 }
beb5f545 541
05d5e12b
PB
542 ret = bdrv_co_pwrite(s->target, offset, nbytes, bounce_buffer,
543 s->write_flags);
544 if (ret < 0) {
545 trace_block_copy_write_fail(s, offset, ret);
546 *error_is_read = false;
547 goto out;
548 }
3816edd2 549
05d5e12b
PB
550 out:
551 qemu_vfree(bounce_buffer);
552 break;
beb5f545 553
05d5e12b
PB
554 default:
555 abort();
bed95234
VSO
556 }
557
05d5e12b 558 return ret;
bed95234
VSO
559}
560
4ce5dd3e
VSO
561static coroutine_fn int block_copy_task_entry(AioTask *task)
562{
563 BlockCopyTask *t = container_of(task, BlockCopyTask, task);
c6a3e3df 564 BlockCopyState *s = t->s;
c78dd00e 565 bool error_is_read = false;
05d5e12b 566 BlockCopyMethod method = t->method;
4ce5dd3e
VSO
567 int ret;
568
abaf8b75
KW
569 WITH_GRAPH_RDLOCK_GUARD() {
570 ret = block_copy_do_copy(s, t->req.offset, t->req.bytes, &method,
571 &error_is_read);
572 }
d0c389d2
EGE
573
574 WITH_QEMU_LOCK_GUARD(&s->lock) {
575 if (s->method == t->method) {
576 s->method = method;
577 }
578
579 if (ret < 0) {
580 if (!t->call_state->ret) {
581 t->call_state->ret = ret;
582 t->call_state->error_is_read = error_is_read;
583 }
201b4bb6 584 } else if (s->progress) {
d088e6a4 585 progress_work_done(s->progress, t->req.bytes);
8146b357 586 }
4ce5dd3e 587 }
d088e6a4 588 co_put_to_shres(s->mem, t->req.bytes);
4ce5dd3e
VSO
589 block_copy_task_end(t, ret);
590
591 return ret;
592}
593
7ff9579e
KW
594static coroutine_fn GRAPH_RDLOCK
595int block_copy_block_status(BlockCopyState *s, int64_t offset, int64_t bytes,
596 int64_t *pnum)
2d57511a
VSO
597{
598 int64_t num;
599 BlockDriverState *base;
600 int ret;
601
d0c389d2 602 if (qatomic_read(&s->skip_unallocated)) {
c6f6d846 603 base = bdrv_backing_chain_next(s->source->bs);
2d57511a
VSO
604 } else {
605 base = NULL;
606 }
607
43a0d4f0
EGE
608 ret = bdrv_co_block_status_above(s->source->bs, base, offset, bytes, &num,
609 NULL, NULL);
2d57511a
VSO
610 if (ret < 0 || num < s->cluster_size) {
611 /*
612 * On error or if failed to obtain large enough chunk just fallback to
613 * copy one cluster.
614 */
615 num = s->cluster_size;
616 ret = BDRV_BLOCK_ALLOCATED | BDRV_BLOCK_DATA;
617 } else if (offset + num == s->len) {
618 num = QEMU_ALIGN_UP(num, s->cluster_size);
619 } else {
620 num = QEMU_ALIGN_DOWN(num, s->cluster_size);
621 }
622
623 *pnum = num;
624 return ret;
625}
626
beb5f545
VSO
627/*
628 * Check if the cluster starting at offset is allocated or not.
629 * return via pnum the number of contiguous clusters sharing this allocation.
630 */
7ff9579e
KW
631static int coroutine_fn GRAPH_RDLOCK
632block_copy_is_cluster_allocated(BlockCopyState *s, int64_t offset,
633 int64_t *pnum)
beb5f545 634{
00e30f05 635 BlockDriverState *bs = s->source->bs;
beb5f545
VSO
636 int64_t count, total_count = 0;
637 int64_t bytes = s->len - offset;
638 int ret;
639
640 assert(QEMU_IS_ALIGNED(offset, s->cluster_size));
641
642 while (true) {
7ff9579e 643 /* protected in backup_run() */
43a0d4f0 644 ret = bdrv_co_is_allocated(bs, offset, bytes, &count);
beb5f545
VSO
645 if (ret < 0) {
646 return ret;
647 }
648
649 total_count += count;
650
651 if (ret || count == 0) {
652 /*
653 * ret: partial segment(s) are considered allocated.
654 * otherwise: unallocated tail is treated as an entire segment.
655 */
656 *pnum = DIV_ROUND_UP(total_count, s->cluster_size);
657 return ret;
658 }
659
660 /* Unallocated segment(s) with uncertain following segment(s) */
661 if (total_count >= s->cluster_size) {
662 *pnum = total_count / s->cluster_size;
663 return 0;
664 }
665
666 offset += count;
667 bytes -= count;
668 }
669}
670
177541e6
VSO
671void block_copy_reset(BlockCopyState *s, int64_t offset, int64_t bytes)
672{
673 QEMU_LOCK_GUARD(&s->lock);
674
675 bdrv_reset_dirty_bitmap(s->copy_bitmap, offset, bytes);
676 if (s->progress) {
677 progress_set_remaining(s->progress,
678 bdrv_get_dirty_count(s->copy_bitmap) +
679 s->in_flight_bytes);
680 }
681}
682
beb5f545
VSO
683/*
684 * Reset bits in copy_bitmap starting at offset if they represent unallocated
685 * data in the image. May reset subsequent contiguous bits.
686 * @return 0 when the cluster at @offset was unallocated,
687 * 1 otherwise, and -ret on error.
688 */
43a0d4f0
EGE
689int64_t coroutine_fn block_copy_reset_unallocated(BlockCopyState *s,
690 int64_t offset,
691 int64_t *count)
beb5f545
VSO
692{
693 int ret;
694 int64_t clusters, bytes;
695
696 ret = block_copy_is_cluster_allocated(s, offset, &clusters);
697 if (ret < 0) {
698 return ret;
699 }
700
701 bytes = clusters * s->cluster_size;
702
703 if (!ret) {
177541e6 704 block_copy_reset(s, offset, bytes);
beb5f545
VSO
705 }
706
707 *count = bytes;
708 return ret;
709}
710
5332e5d2
VSO
711/*
712 * block_copy_dirty_clusters
713 *
714 * Copy dirty clusters in @offset/@bytes range.
715 * Returns 1 if dirty clusters found and successfully copied, 0 if no dirty
716 * clusters found and -errno on failure.
717 */
7ff9579e 718static int coroutine_fn GRAPH_RDLOCK
3b8c2329 719block_copy_dirty_clusters(BlockCopyCallState *call_state)
beb5f545 720{
3b8c2329
VSO
721 BlockCopyState *s = call_state->s;
722 int64_t offset = call_state->offset;
723 int64_t bytes = call_state->bytes;
724
beb5f545 725 int ret = 0;
5332e5d2 726 bool found_dirty = false;
42ac2144 727 int64_t end = offset + bytes;
4ce5dd3e 728 AioTaskPool *aio = NULL;
beb5f545
VSO
729
730 /*
731 * block_copy() user is responsible for keeping source and target in same
732 * aio context
733 */
00e30f05
VSO
734 assert(bdrv_get_aio_context(s->source->bs) ==
735 bdrv_get_aio_context(s->target->bs));
beb5f545 736
8719091f 737 assert(QEMU_IS_ALIGNED(offset, s->cluster_size));
dafaf135 738 assert(QEMU_IS_ALIGNED(bytes, s->cluster_size));
beb5f545 739
149009be
EGE
740 while (bytes && aio_task_pool_status(aio) == 0 &&
741 !qatomic_read(&call_state->cancelled)) {
4ce5dd3e 742 BlockCopyTask *task;
42ac2144 743 int64_t status_bytes;
beb5f545 744
3b8c2329 745 task = block_copy_task_create(s, call_state, offset, bytes);
42ac2144
VSO
746 if (!task) {
747 /* No more dirty bits in the bitmap */
748 trace_block_copy_skip_range(s, offset, bytes);
749 break;
750 }
d088e6a4
VSO
751 if (task->req.offset > offset) {
752 trace_block_copy_skip_range(s, offset, task->req.offset - offset);
beb5f545
VSO
753 }
754
5332e5d2
VSO
755 found_dirty = true;
756
d088e6a4 757 ret = block_copy_block_status(s, task->req.offset, task->req.bytes,
42ac2144 758 &status_bytes);
5332e5d2 759 assert(ret >= 0); /* never fail */
d088e6a4 760 if (status_bytes < task->req.bytes) {
42ac2144
VSO
761 block_copy_task_shrink(task, status_bytes);
762 }
d0c389d2
EGE
763 if (qatomic_read(&s->skip_unallocated) &&
764 !(ret & BDRV_BLOCK_ALLOCATED)) {
1348a657 765 block_copy_task_end(task, 0);
d088e6a4 766 trace_block_copy_skip_range(s, task->req.offset, task->req.bytes);
42ac2144
VSO
767 offset = task_end(task);
768 bytes = end - offset;
fc9aefc8 769 g_free(task);
2d57511a 770 continue;
beb5f545 771 }
bed95234 772 if (ret & BDRV_BLOCK_ZERO) {
05d5e12b 773 task->method = COPY_WRITE_ZEROES;
bed95234 774 }
beb5f545 775
ca657c99
PB
776 if (!call_state->ignore_ratelimit) {
777 uint64_t ns = ratelimit_calculate_delay(&s->rate_limit, 0);
778 if (ns > 0) {
779 block_copy_task_end(task, -EAGAIN);
780 g_free(task);
781 qemu_co_sleep_ns_wakeable(&call_state->sleep,
782 QEMU_CLOCK_REALTIME, ns);
783 continue;
7e032df0 784 }
7e032df0
VSO
785 }
786
d088e6a4 787 ratelimit_calculate_delay(&s->rate_limit, task->req.bytes);
ca657c99 788
d088e6a4 789 trace_block_copy_process(s, task->req.offset);
beb5f545 790
d088e6a4 791 co_get_from_shres(s->mem, task->req.bytes);
beb5f545 792
42ac2144
VSO
793 offset = task_end(task);
794 bytes = end - offset;
4ce5dd3e
VSO
795
796 if (!aio && bytes) {
26be9d62 797 aio = aio_task_pool_new(call_state->max_workers);
4ce5dd3e
VSO
798 }
799
800 ret = block_copy_task_run(aio, task);
801 if (ret < 0) {
802 goto out;
803 }
804 }
805
806out:
807 if (aio) {
808 aio_task_pool_wait_all(aio);
809
810 /*
811 * We are not really interested in -ECANCELED returned from
812 * block_copy_task_run. If it fails, it means some task already failed
813 * for real reason, let's return first failure.
814 * Still, assert that we don't rewrite failure by success.
e8de7ba9
VSO
815 *
816 * Note: ret may be positive here because of block-status result.
4ce5dd3e 817 */
e8de7ba9 818 assert(ret >= 0 || aio_task_pool_status(aio) < 0);
4ce5dd3e
VSO
819 ret = aio_task_pool_status(aio);
820
821 aio_task_pool_free(aio);
822 }
beb5f545 823
4ce5dd3e 824 return ret < 0 ? ret : found_dirty;
5332e5d2
VSO
825}
826
7e032df0
VSO
827void block_copy_kick(BlockCopyCallState *call_state)
828{
29a6ea24 829 qemu_co_sleep_wake(&call_state->sleep);
7e032df0
VSO
830}
831
5332e5d2 832/*
3b8c2329 833 * block_copy_common
5332e5d2
VSO
834 *
835 * Copy requested region, accordingly to dirty bitmap.
836 * Collaborate with parallel block_copy requests: if they succeed it will help
837 * us. If they fail, we will retry not-copied regions. So, if we return error,
838 * it means that some I/O operation failed in context of _this_ block_copy call,
839 * not some parallel operation.
840 */
7ff9579e
KW
841static int coroutine_fn GRAPH_RDLOCK
842block_copy_common(BlockCopyCallState *call_state)
5332e5d2
VSO
843{
844 int ret;
c6a3e3df 845 BlockCopyState *s = call_state->s;
5332e5d2 846
d0c389d2 847 qemu_co_mutex_lock(&s->lock);
c6a3e3df 848 QLIST_INSERT_HEAD(&s->calls, call_state, list);
d0c389d2 849 qemu_co_mutex_unlock(&s->lock);
2e099a9d 850
5332e5d2 851 do {
3b8c2329 852 ret = block_copy_dirty_clusters(call_state);
5332e5d2 853
149009be 854 if (ret == 0 && !qatomic_read(&call_state->cancelled)) {
d0c389d2
EGE
855 WITH_QEMU_LOCK_GUARD(&s->lock) {
856 /*
857 * Check that there is no task we still need to
858 * wait to complete
859 */
d088e6a4
VSO
860 ret = reqlist_wait_one(&s->reqs, call_state->offset,
861 call_state->bytes, &s->lock);
d0c389d2
EGE
862 if (ret == 0) {
863 /*
864 * No pending tasks, but check again the bitmap in this
865 * same critical section, since a task might have failed
866 * between this and the critical section in
867 * block_copy_dirty_clusters().
868 *
d088e6a4 869 * reqlist_wait_one return value 0 also means that it
d0c389d2
EGE
870 * didn't release the lock. So, we are still in the same
871 * critical section, not interrupted by any concurrent
872 * access to state.
873 */
874 ret = bdrv_dirty_bitmap_next_dirty(s->copy_bitmap,
875 call_state->offset,
876 call_state->bytes) >= 0;
877 }
878 }
5332e5d2
VSO
879 }
880
881 /*
882 * We retry in two cases:
883 * 1. Some progress done
884 * Something was copied, which means that there were yield points
885 * and some new dirty bits may have appeared (due to failed parallel
886 * block-copy requests).
887 * 2. We have waited for some intersecting block-copy request
888 * It may have failed and produced new dirty bits.
889 */
149009be 890 } while (ret > 0 && !qatomic_read(&call_state->cancelled));
a6ffe199 891
149009be 892 qatomic_store_release(&call_state->finished, true);
de4641b4
VSO
893
894 if (call_state->cb) {
895 call_state->cb(call_state->cb_opaque);
896 }
897
d0c389d2 898 qemu_co_mutex_lock(&s->lock);
2e099a9d 899 QLIST_REMOVE(call_state, list);
d0c389d2 900 qemu_co_mutex_unlock(&s->lock);
2e099a9d 901
beb5f545
VSO
902 return ret;
903}
397f4e9d 904
15df6e69
VSO
905static void coroutine_fn block_copy_async_co_entry(void *opaque)
906{
7ff9579e 907 GRAPH_RDLOCK_GUARD();
15df6e69
VSO
908 block_copy_common(opaque);
909}
910
3b8c2329 911int coroutine_fn block_copy(BlockCopyState *s, int64_t start, int64_t bytes,
15df6e69
VSO
912 bool ignore_ratelimit, uint64_t timeout_ns,
913 BlockCopyAsyncCallbackFunc cb,
914 void *cb_opaque)
3b8c2329 915{
15df6e69
VSO
916 int ret;
917 BlockCopyCallState *call_state = g_new(BlockCopyCallState, 1);
918
919 *call_state = (BlockCopyCallState) {
3b8c2329
VSO
920 .s = s,
921 .offset = start,
922 .bytes = bytes,
7e032df0 923 .ignore_ratelimit = ignore_ratelimit,
26be9d62 924 .max_workers = BLOCK_COPY_MAX_WORKERS,
15df6e69
VSO
925 .cb = cb,
926 .cb_opaque = cb_opaque,
3b8c2329
VSO
927 };
928
15df6e69
VSO
929 ret = qemu_co_timeout(block_copy_async_co_entry, call_state, timeout_ns,
930 g_free);
931 if (ret < 0) {
932 assert(ret == -ETIMEDOUT);
933 block_copy_call_cancel(call_state);
934 /* call_state will be freed by running coroutine. */
935 return ret;
936 }
3b8c2329 937
15df6e69
VSO
938 ret = call_state->ret;
939 g_free(call_state);
940
941 return ret;
de4641b4
VSO
942}
943
944BlockCopyCallState *block_copy_async(BlockCopyState *s,
945 int64_t offset, int64_t bytes,
26be9d62 946 int max_workers, int64_t max_chunk,
de4641b4
VSO
947 BlockCopyAsyncCallbackFunc cb,
948 void *cb_opaque)
949{
950 BlockCopyCallState *call_state = g_new(BlockCopyCallState, 1);
951
952 *call_state = (BlockCopyCallState) {
953 .s = s,
954 .offset = offset,
955 .bytes = bytes,
26be9d62
VSO
956 .max_workers = max_workers,
957 .max_chunk = max_chunk,
de4641b4
VSO
958 .cb = cb,
959 .cb_opaque = cb_opaque,
960
961 .co = qemu_coroutine_create(block_copy_async_co_entry, call_state),
962 };
963
964 qemu_coroutine_enter(call_state->co);
965
966 return call_state;
967}
968
969void block_copy_call_free(BlockCopyCallState *call_state)
970{
971 if (!call_state) {
972 return;
973 }
974
149009be 975 assert(qatomic_read(&call_state->finished));
de4641b4
VSO
976 g_free(call_state);
977}
978
979bool block_copy_call_finished(BlockCopyCallState *call_state)
980{
149009be 981 return qatomic_read(&call_state->finished);
de4641b4
VSO
982}
983
984bool block_copy_call_succeeded(BlockCopyCallState *call_state)
985{
149009be
EGE
986 return qatomic_load_acquire(&call_state->finished) &&
987 !qatomic_read(&call_state->cancelled) &&
988 call_state->ret == 0;
de4641b4
VSO
989}
990
991bool block_copy_call_failed(BlockCopyCallState *call_state)
992{
149009be
EGE
993 return qatomic_load_acquire(&call_state->finished) &&
994 !qatomic_read(&call_state->cancelled) &&
995 call_state->ret < 0;
a6d23d56
VSO
996}
997
998bool block_copy_call_cancelled(BlockCopyCallState *call_state)
999{
149009be 1000 return qatomic_read(&call_state->cancelled);
de4641b4
VSO
1001}
1002
1003int block_copy_call_status(BlockCopyCallState *call_state, bool *error_is_read)
1004{
149009be 1005 assert(qatomic_load_acquire(&call_state->finished));
de4641b4
VSO
1006 if (error_is_read) {
1007 *error_is_read = call_state->error_is_read;
1008 }
1009 return call_state->ret;
1010}
1011
149009be
EGE
1012/*
1013 * Note that cancelling and finishing are racy.
1014 * User can cancel a block-copy that is already finished.
1015 */
a6d23d56
VSO
1016void block_copy_call_cancel(BlockCopyCallState *call_state)
1017{
149009be 1018 qatomic_set(&call_state->cancelled, true);
a6d23d56
VSO
1019 block_copy_kick(call_state);
1020}
1021
397f4e9d
VSO
1022BdrvDirtyBitmap *block_copy_dirty_bitmap(BlockCopyState *s)
1023{
1024 return s->copy_bitmap;
1025}
1026
b518e9e9
VSO
1027int64_t block_copy_cluster_size(BlockCopyState *s)
1028{
1029 return s->cluster_size;
1030}
1031
397f4e9d
VSO
1032void block_copy_set_skip_unallocated(BlockCopyState *s, bool skip)
1033{
d0c389d2 1034 qatomic_set(&s->skip_unallocated, skip);
397f4e9d 1035}
7e032df0
VSO
1036
1037void block_copy_set_speed(BlockCopyState *s, uint64_t speed)
1038{
ca657c99 1039 ratelimit_set_speed(&s->rate_limit, speed, BLOCK_COPY_SLICE_TIME);
7e032df0
VSO
1040
1041 /*
1042 * Note: it's good to kick all call states from here, but it should be done
1043 * only from a coroutine, to not crash if s->calls list changed while
1044 * entering one call. So for now, the only user of this function kicks its
1045 * only one call_state by hand.
1046 */
1047}