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