xref: /qemu/block/io.c (revision 955c7d6687fefcd903900a1e597fcbc896c661cd)
161007b31SStefan Hajnoczi /*
261007b31SStefan Hajnoczi  * Block layer I/O functions
361007b31SStefan Hajnoczi  *
461007b31SStefan Hajnoczi  * Copyright (c) 2003 Fabrice Bellard
561007b31SStefan Hajnoczi  *
661007b31SStefan Hajnoczi  * Permission is hereby granted, free of charge, to any person obtaining a copy
761007b31SStefan Hajnoczi  * of this software and associated documentation files (the "Software"), to deal
861007b31SStefan Hajnoczi  * in the Software without restriction, including without limitation the rights
961007b31SStefan Hajnoczi  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
1061007b31SStefan Hajnoczi  * copies of the Software, and to permit persons to whom the Software is
1161007b31SStefan Hajnoczi  * furnished to do so, subject to the following conditions:
1261007b31SStefan Hajnoczi  *
1361007b31SStefan Hajnoczi  * The above copyright notice and this permission notice shall be included in
1461007b31SStefan Hajnoczi  * all copies or substantial portions of the Software.
1561007b31SStefan Hajnoczi  *
1661007b31SStefan Hajnoczi  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
1761007b31SStefan Hajnoczi  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
1861007b31SStefan Hajnoczi  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
1961007b31SStefan Hajnoczi  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
2061007b31SStefan Hajnoczi  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
2161007b31SStefan Hajnoczi  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
2261007b31SStefan Hajnoczi  * THE SOFTWARE.
2361007b31SStefan Hajnoczi  */
2461007b31SStefan Hajnoczi 
2580c71a24SPeter Maydell #include "qemu/osdep.h"
2661007b31SStefan Hajnoczi #include "trace.h"
277f0e9da6SMax Reitz #include "sysemu/block-backend.h"
287719f3c9SStefan Hajnoczi #include "block/aio-wait.h"
2961007b31SStefan Hajnoczi #include "block/blockjob.h"
30f321dcb5SPaolo Bonzini #include "block/blockjob_int.h"
3161007b31SStefan Hajnoczi #include "block/block_int.h"
32f348b6d1SVeronia Bahaa #include "qemu/cutils.h"
33da34e65cSMarkus Armbruster #include "qapi/error.h"
34d49b6836SMarkus Armbruster #include "qemu/error-report.h"
35db725815SMarkus Armbruster #include "qemu/main-loop.h"
36c8aa7895SPavel Dovgalyuk #include "sysemu/replay.h"
3761007b31SStefan Hajnoczi 
3861007b31SStefan Hajnoczi #define NOT_DONE 0x7fffffff /* used while emulated sync operation in progress */
3961007b31SStefan Hajnoczi 
40cb2e2878SEric Blake /* Maximum bounce buffer for copy-on-read and write zeroes, in bytes */
41cb2e2878SEric Blake #define MAX_BOUNCE_BUFFER (32768 << BDRV_SECTOR_BITS)
42cb2e2878SEric Blake 
437f8f03efSFam Zheng static void bdrv_parent_cb_resize(BlockDriverState *bs);
44d05aa8bbSEric Blake static int coroutine_fn bdrv_co_do_pwrite_zeroes(BlockDriverState *bs,
45f5a5ca79SManos Pitsidianakis     int64_t offset, int bytes, BdrvRequestFlags flags);
4661007b31SStefan Hajnoczi 
47f4c8a43bSMax Reitz static void bdrv_parent_drained_begin(BlockDriverState *bs, BdrvChild *ignore,
486cd5c9d7SKevin Wolf                                       bool ignore_bds_parents)
4961007b31SStefan Hajnoczi {
5002d21300SKevin Wolf     BdrvChild *c, *next;
5127ccdd52SKevin Wolf 
5202d21300SKevin Wolf     QLIST_FOREACH_SAFE(c, &bs->parents, next_parent, next) {
536cd5c9d7SKevin Wolf         if (c == ignore || (ignore_bds_parents && c->role->parent_is_bds)) {
540152bf40SKevin Wolf             continue;
550152bf40SKevin Wolf         }
564be6a6d1SKevin Wolf         bdrv_parent_drained_begin_single(c, false);
57ce0f1412SPaolo Bonzini     }
58ce0f1412SPaolo Bonzini }
59ce0f1412SPaolo Bonzini 
60e037c09cSMax Reitz static void bdrv_parent_drained_end_single_no_poll(BdrvChild *c,
61e037c09cSMax Reitz                                                    int *drained_end_counter)
62804db8eaSMax Reitz {
63804db8eaSMax Reitz     assert(c->parent_quiesce_counter > 0);
64804db8eaSMax Reitz     c->parent_quiesce_counter--;
65804db8eaSMax Reitz     if (c->role->drained_end) {
66e037c09cSMax Reitz         c->role->drained_end(c, drained_end_counter);
67804db8eaSMax Reitz     }
68804db8eaSMax Reitz }
69804db8eaSMax Reitz 
70e037c09cSMax Reitz void bdrv_parent_drained_end_single(BdrvChild *c)
71e037c09cSMax Reitz {
72e037c09cSMax Reitz     int drained_end_counter = 0;
73e037c09cSMax Reitz     bdrv_parent_drained_end_single_no_poll(c, &drained_end_counter);
74e037c09cSMax Reitz     BDRV_POLL_WHILE(c->bs, atomic_read(&drained_end_counter) > 0);
75e037c09cSMax Reitz }
76e037c09cSMax Reitz 
77f4c8a43bSMax Reitz static void bdrv_parent_drained_end(BlockDriverState *bs, BdrvChild *ignore,
78e037c09cSMax Reitz                                     bool ignore_bds_parents,
79e037c09cSMax Reitz                                     int *drained_end_counter)
80ce0f1412SPaolo Bonzini {
8161ad631cSMax Reitz     BdrvChild *c;
8227ccdd52SKevin Wolf 
8361ad631cSMax Reitz     QLIST_FOREACH(c, &bs->parents, next_parent) {
846cd5c9d7SKevin Wolf         if (c == ignore || (ignore_bds_parents && c->role->parent_is_bds)) {
850152bf40SKevin Wolf             continue;
860152bf40SKevin Wolf         }
87e037c09cSMax Reitz         bdrv_parent_drained_end_single_no_poll(c, drained_end_counter);
88c2066af0SKevin Wolf     }
8961007b31SStefan Hajnoczi }
9061007b31SStefan Hajnoczi 
914be6a6d1SKevin Wolf static bool bdrv_parent_drained_poll_single(BdrvChild *c)
924be6a6d1SKevin Wolf {
934be6a6d1SKevin Wolf     if (c->role->drained_poll) {
944be6a6d1SKevin Wolf         return c->role->drained_poll(c);
954be6a6d1SKevin Wolf     }
964be6a6d1SKevin Wolf     return false;
974be6a6d1SKevin Wolf }
984be6a6d1SKevin Wolf 
996cd5c9d7SKevin Wolf static bool bdrv_parent_drained_poll(BlockDriverState *bs, BdrvChild *ignore,
1006cd5c9d7SKevin Wolf                                      bool ignore_bds_parents)
10189bd0305SKevin Wolf {
10289bd0305SKevin Wolf     BdrvChild *c, *next;
10389bd0305SKevin Wolf     bool busy = false;
10489bd0305SKevin Wolf 
10589bd0305SKevin Wolf     QLIST_FOREACH_SAFE(c, &bs->parents, next_parent, next) {
1066cd5c9d7SKevin Wolf         if (c == ignore || (ignore_bds_parents && c->role->parent_is_bds)) {
10789bd0305SKevin Wolf             continue;
10889bd0305SKevin Wolf         }
1094be6a6d1SKevin Wolf         busy |= bdrv_parent_drained_poll_single(c);
11089bd0305SKevin Wolf     }
11189bd0305SKevin Wolf 
11289bd0305SKevin Wolf     return busy;
11389bd0305SKevin Wolf }
11489bd0305SKevin Wolf 
1154be6a6d1SKevin Wolf void bdrv_parent_drained_begin_single(BdrvChild *c, bool poll)
1164be6a6d1SKevin Wolf {
117804db8eaSMax Reitz     c->parent_quiesce_counter++;
1184be6a6d1SKevin Wolf     if (c->role->drained_begin) {
1194be6a6d1SKevin Wolf         c->role->drained_begin(c);
1204be6a6d1SKevin Wolf     }
1214be6a6d1SKevin Wolf     if (poll) {
1224be6a6d1SKevin Wolf         BDRV_POLL_WHILE(c->bs, bdrv_parent_drained_poll_single(c));
1234be6a6d1SKevin Wolf     }
1244be6a6d1SKevin Wolf }
1254be6a6d1SKevin Wolf 
126d9e0dfa2SEric Blake static void bdrv_merge_limits(BlockLimits *dst, const BlockLimits *src)
127d9e0dfa2SEric Blake {
128d9e0dfa2SEric Blake     dst->opt_transfer = MAX(dst->opt_transfer, src->opt_transfer);
129d9e0dfa2SEric Blake     dst->max_transfer = MIN_NON_ZERO(dst->max_transfer, src->max_transfer);
130d9e0dfa2SEric Blake     dst->opt_mem_alignment = MAX(dst->opt_mem_alignment,
131d9e0dfa2SEric Blake                                  src->opt_mem_alignment);
132d9e0dfa2SEric Blake     dst->min_mem_alignment = MAX(dst->min_mem_alignment,
133d9e0dfa2SEric Blake                                  src->min_mem_alignment);
134d9e0dfa2SEric Blake     dst->max_iov = MIN_NON_ZERO(dst->max_iov, src->max_iov);
135d9e0dfa2SEric Blake }
136d9e0dfa2SEric Blake 
13761007b31SStefan Hajnoczi void bdrv_refresh_limits(BlockDriverState *bs, Error **errp)
13861007b31SStefan Hajnoczi {
13961007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
14061007b31SStefan Hajnoczi     Error *local_err = NULL;
14161007b31SStefan Hajnoczi 
14261007b31SStefan Hajnoczi     memset(&bs->bl, 0, sizeof(bs->bl));
14361007b31SStefan Hajnoczi 
14461007b31SStefan Hajnoczi     if (!drv) {
14561007b31SStefan Hajnoczi         return;
14661007b31SStefan Hajnoczi     }
14761007b31SStefan Hajnoczi 
14879ba8c98SEric Blake     /* Default alignment based on whether driver has byte interface */
149e31f6864SEric Blake     bs->bl.request_alignment = (drv->bdrv_co_preadv ||
150ac850bf0SVladimir Sementsov-Ogievskiy                                 drv->bdrv_aio_preadv ||
151ac850bf0SVladimir Sementsov-Ogievskiy                                 drv->bdrv_co_preadv_part) ? 1 : 512;
15279ba8c98SEric Blake 
15361007b31SStefan Hajnoczi     /* Take some limits from the children as a default */
15461007b31SStefan Hajnoczi     if (bs->file) {
1559a4f4c31SKevin Wolf         bdrv_refresh_limits(bs->file->bs, &local_err);
15661007b31SStefan Hajnoczi         if (local_err) {
15761007b31SStefan Hajnoczi             error_propagate(errp, local_err);
15861007b31SStefan Hajnoczi             return;
15961007b31SStefan Hajnoczi         }
160d9e0dfa2SEric Blake         bdrv_merge_limits(&bs->bl, &bs->file->bs->bl);
16161007b31SStefan Hajnoczi     } else {
1624196d2f0SDenis V. Lunev         bs->bl.min_mem_alignment = 512;
163038adc2fSWei Yang         bs->bl.opt_mem_alignment = qemu_real_host_page_size;
164bd44feb7SStefan Hajnoczi 
165bd44feb7SStefan Hajnoczi         /* Safe default since most protocols use readv()/writev()/etc */
166bd44feb7SStefan Hajnoczi         bs->bl.max_iov = IOV_MAX;
16761007b31SStefan Hajnoczi     }
16861007b31SStefan Hajnoczi 
169760e0063SKevin Wolf     if (bs->backing) {
170760e0063SKevin Wolf         bdrv_refresh_limits(bs->backing->bs, &local_err);
17161007b31SStefan Hajnoczi         if (local_err) {
17261007b31SStefan Hajnoczi             error_propagate(errp, local_err);
17361007b31SStefan Hajnoczi             return;
17461007b31SStefan Hajnoczi         }
175d9e0dfa2SEric Blake         bdrv_merge_limits(&bs->bl, &bs->backing->bs->bl);
17661007b31SStefan Hajnoczi     }
17761007b31SStefan Hajnoczi 
17861007b31SStefan Hajnoczi     /* Then let the driver override it */
17961007b31SStefan Hajnoczi     if (drv->bdrv_refresh_limits) {
18061007b31SStefan Hajnoczi         drv->bdrv_refresh_limits(bs, errp);
18161007b31SStefan Hajnoczi     }
18261007b31SStefan Hajnoczi }
18361007b31SStefan Hajnoczi 
18461007b31SStefan Hajnoczi /**
18561007b31SStefan Hajnoczi  * The copy-on-read flag is actually a reference count so multiple users may
18661007b31SStefan Hajnoczi  * use the feature without worrying about clobbering its previous state.
18761007b31SStefan Hajnoczi  * Copy-on-read stays enabled until all users have called to disable it.
18861007b31SStefan Hajnoczi  */
18961007b31SStefan Hajnoczi void bdrv_enable_copy_on_read(BlockDriverState *bs)
19061007b31SStefan Hajnoczi {
191d3faa13eSPaolo Bonzini     atomic_inc(&bs->copy_on_read);
19261007b31SStefan Hajnoczi }
19361007b31SStefan Hajnoczi 
19461007b31SStefan Hajnoczi void bdrv_disable_copy_on_read(BlockDriverState *bs)
19561007b31SStefan Hajnoczi {
196d3faa13eSPaolo Bonzini     int old = atomic_fetch_dec(&bs->copy_on_read);
197d3faa13eSPaolo Bonzini     assert(old >= 1);
19861007b31SStefan Hajnoczi }
19961007b31SStefan Hajnoczi 
20061124f03SPaolo Bonzini typedef struct {
20161124f03SPaolo Bonzini     Coroutine *co;
20261124f03SPaolo Bonzini     BlockDriverState *bs;
20361124f03SPaolo Bonzini     bool done;
204481cad48SManos Pitsidianakis     bool begin;
205b0165585SKevin Wolf     bool recursive;
206fe4f0614SKevin Wolf     bool poll;
2070152bf40SKevin Wolf     BdrvChild *parent;
2086cd5c9d7SKevin Wolf     bool ignore_bds_parents;
2098e1da77eSMax Reitz     int *drained_end_counter;
21061124f03SPaolo Bonzini } BdrvCoDrainData;
21161124f03SPaolo Bonzini 
21261124f03SPaolo Bonzini static void coroutine_fn bdrv_drain_invoke_entry(void *opaque)
21361124f03SPaolo Bonzini {
21461124f03SPaolo Bonzini     BdrvCoDrainData *data = opaque;
21561124f03SPaolo Bonzini     BlockDriverState *bs = data->bs;
21661124f03SPaolo Bonzini 
217481cad48SManos Pitsidianakis     if (data->begin) {
218f8ea8dacSManos Pitsidianakis         bs->drv->bdrv_co_drain_begin(bs);
219481cad48SManos Pitsidianakis     } else {
220481cad48SManos Pitsidianakis         bs->drv->bdrv_co_drain_end(bs);
221481cad48SManos Pitsidianakis     }
22261124f03SPaolo Bonzini 
22365181d63SMax Reitz     /* Set data->done and decrement drained_end_counter before bdrv_wakeup() */
22461124f03SPaolo Bonzini     atomic_mb_set(&data->done, true);
225e037c09cSMax Reitz     if (!data->begin) {
2268e1da77eSMax Reitz         atomic_dec(data->drained_end_counter);
2278e1da77eSMax Reitz     }
22865181d63SMax Reitz     bdrv_dec_in_flight(bs);
2298e1da77eSMax Reitz 
2300109e7e6SKevin Wolf     g_free(data);
2310109e7e6SKevin Wolf }
23261124f03SPaolo Bonzini 
233db0289b9SKevin Wolf /* Recursively call BlockDriver.bdrv_co_drain_begin/end callbacks */
2348e1da77eSMax Reitz static void bdrv_drain_invoke(BlockDriverState *bs, bool begin,
2358e1da77eSMax Reitz                               int *drained_end_counter)
23661124f03SPaolo Bonzini {
2370109e7e6SKevin Wolf     BdrvCoDrainData *data;
23861124f03SPaolo Bonzini 
239f8ea8dacSManos Pitsidianakis     if (!bs->drv || (begin && !bs->drv->bdrv_co_drain_begin) ||
240481cad48SManos Pitsidianakis             (!begin && !bs->drv->bdrv_co_drain_end)) {
24161124f03SPaolo Bonzini         return;
24261124f03SPaolo Bonzini     }
24361124f03SPaolo Bonzini 
2440109e7e6SKevin Wolf     data = g_new(BdrvCoDrainData, 1);
2450109e7e6SKevin Wolf     *data = (BdrvCoDrainData) {
2460109e7e6SKevin Wolf         .bs = bs,
2470109e7e6SKevin Wolf         .done = false,
2488e1da77eSMax Reitz         .begin = begin,
2498e1da77eSMax Reitz         .drained_end_counter = drained_end_counter,
2500109e7e6SKevin Wolf     };
2510109e7e6SKevin Wolf 
252e037c09cSMax Reitz     if (!begin) {
2538e1da77eSMax Reitz         atomic_inc(drained_end_counter);
2548e1da77eSMax Reitz     }
2558e1da77eSMax Reitz 
2560109e7e6SKevin Wolf     /* Make sure the driver callback completes during the polling phase for
2570109e7e6SKevin Wolf      * drain_begin. */
2580109e7e6SKevin Wolf     bdrv_inc_in_flight(bs);
2590109e7e6SKevin Wolf     data->co = qemu_coroutine_create(bdrv_drain_invoke_entry, data);
2600109e7e6SKevin Wolf     aio_co_schedule(bdrv_get_aio_context(bs), data->co);
26161124f03SPaolo Bonzini }
26261124f03SPaolo Bonzini 
2631cc8e54aSKevin Wolf /* Returns true if BDRV_POLL_WHILE() should go into a blocking aio_poll() */
264fe4f0614SKevin Wolf bool bdrv_drain_poll(BlockDriverState *bs, bool recursive,
2656cd5c9d7SKevin Wolf                      BdrvChild *ignore_parent, bool ignore_bds_parents)
26689bd0305SKevin Wolf {
267fe4f0614SKevin Wolf     BdrvChild *child, *next;
268fe4f0614SKevin Wolf 
2696cd5c9d7SKevin Wolf     if (bdrv_parent_drained_poll(bs, ignore_parent, ignore_bds_parents)) {
27089bd0305SKevin Wolf         return true;
27189bd0305SKevin Wolf     }
27289bd0305SKevin Wolf 
273fe4f0614SKevin Wolf     if (atomic_read(&bs->in_flight)) {
274fe4f0614SKevin Wolf         return true;
27589bd0305SKevin Wolf     }
27689bd0305SKevin Wolf 
277fe4f0614SKevin Wolf     if (recursive) {
2786cd5c9d7SKevin Wolf         assert(!ignore_bds_parents);
279fe4f0614SKevin Wolf         QLIST_FOREACH_SAFE(child, &bs->children, next, next) {
2806cd5c9d7SKevin Wolf             if (bdrv_drain_poll(child->bs, recursive, child, false)) {
281fe4f0614SKevin Wolf                 return true;
282fe4f0614SKevin Wolf             }
283fe4f0614SKevin Wolf         }
284fe4f0614SKevin Wolf     }
285fe4f0614SKevin Wolf 
286fe4f0614SKevin Wolf     return false;
287fe4f0614SKevin Wolf }
288fe4f0614SKevin Wolf 
289fe4f0614SKevin Wolf static bool bdrv_drain_poll_top_level(BlockDriverState *bs, bool recursive,
29089bd0305SKevin Wolf                                       BdrvChild *ignore_parent)
2911cc8e54aSKevin Wolf {
2926cd5c9d7SKevin Wolf     return bdrv_drain_poll(bs, recursive, ignore_parent, false);
2931cc8e54aSKevin Wolf }
2941cc8e54aSKevin Wolf 
295b0165585SKevin Wolf static void bdrv_do_drained_begin(BlockDriverState *bs, bool recursive,
2966cd5c9d7SKevin Wolf                                   BdrvChild *parent, bool ignore_bds_parents,
2976cd5c9d7SKevin Wolf                                   bool poll);
298b0165585SKevin Wolf static void bdrv_do_drained_end(BlockDriverState *bs, bool recursive,
2998e1da77eSMax Reitz                                 BdrvChild *parent, bool ignore_bds_parents,
3008e1da77eSMax Reitz                                 int *drained_end_counter);
3010152bf40SKevin Wolf 
302a77fd4bbSFam Zheng static void bdrv_co_drain_bh_cb(void *opaque)
303a77fd4bbSFam Zheng {
304a77fd4bbSFam Zheng     BdrvCoDrainData *data = opaque;
305a77fd4bbSFam Zheng     Coroutine *co = data->co;
30699723548SPaolo Bonzini     BlockDriverState *bs = data->bs;
307a77fd4bbSFam Zheng 
308c8ca33d0SKevin Wolf     if (bs) {
309aa1361d5SKevin Wolf         AioContext *ctx = bdrv_get_aio_context(bs);
310aa1361d5SKevin Wolf         AioContext *co_ctx = qemu_coroutine_get_aio_context(co);
311aa1361d5SKevin Wolf 
312aa1361d5SKevin Wolf         /*
313aa1361d5SKevin Wolf          * When the coroutine yielded, the lock for its home context was
314aa1361d5SKevin Wolf          * released, so we need to re-acquire it here. If it explicitly
315aa1361d5SKevin Wolf          * acquired a different context, the lock is still held and we don't
316aa1361d5SKevin Wolf          * want to lock it a second time (or AIO_WAIT_WHILE() would hang).
317aa1361d5SKevin Wolf          */
318aa1361d5SKevin Wolf         if (ctx == co_ctx) {
319aa1361d5SKevin Wolf             aio_context_acquire(ctx);
320aa1361d5SKevin Wolf         }
32199723548SPaolo Bonzini         bdrv_dec_in_flight(bs);
322481cad48SManos Pitsidianakis         if (data->begin) {
323e037c09cSMax Reitz             assert(!data->drained_end_counter);
3246cd5c9d7SKevin Wolf             bdrv_do_drained_begin(bs, data->recursive, data->parent,
3256cd5c9d7SKevin Wolf                                   data->ignore_bds_parents, data->poll);
326481cad48SManos Pitsidianakis         } else {
327e037c09cSMax Reitz             assert(!data->poll);
3286cd5c9d7SKevin Wolf             bdrv_do_drained_end(bs, data->recursive, data->parent,
3298e1da77eSMax Reitz                                 data->ignore_bds_parents,
3308e1da77eSMax Reitz                                 data->drained_end_counter);
331481cad48SManos Pitsidianakis         }
332aa1361d5SKevin Wolf         if (ctx == co_ctx) {
333aa1361d5SKevin Wolf             aio_context_release(ctx);
334aa1361d5SKevin Wolf         }
335c8ca33d0SKevin Wolf     } else {
336c8ca33d0SKevin Wolf         assert(data->begin);
337c8ca33d0SKevin Wolf         bdrv_drain_all_begin();
338c8ca33d0SKevin Wolf     }
339481cad48SManos Pitsidianakis 
340a77fd4bbSFam Zheng     data->done = true;
3411919631eSPaolo Bonzini     aio_co_wake(co);
342a77fd4bbSFam Zheng }
343a77fd4bbSFam Zheng 
344481cad48SManos Pitsidianakis static void coroutine_fn bdrv_co_yield_to_drain(BlockDriverState *bs,
345b0165585SKevin Wolf                                                 bool begin, bool recursive,
3466cd5c9d7SKevin Wolf                                                 BdrvChild *parent,
3476cd5c9d7SKevin Wolf                                                 bool ignore_bds_parents,
3488e1da77eSMax Reitz                                                 bool poll,
3498e1da77eSMax Reitz                                                 int *drained_end_counter)
350a77fd4bbSFam Zheng {
351a77fd4bbSFam Zheng     BdrvCoDrainData data;
352a77fd4bbSFam Zheng 
353a77fd4bbSFam Zheng     /* Calling bdrv_drain() from a BH ensures the current coroutine yields and
354c40a2545SStefan Hajnoczi      * other coroutines run if they were queued by aio_co_enter(). */
355a77fd4bbSFam Zheng 
356a77fd4bbSFam Zheng     assert(qemu_in_coroutine());
357a77fd4bbSFam Zheng     data = (BdrvCoDrainData) {
358a77fd4bbSFam Zheng         .co = qemu_coroutine_self(),
359a77fd4bbSFam Zheng         .bs = bs,
360a77fd4bbSFam Zheng         .done = false,
361481cad48SManos Pitsidianakis         .begin = begin,
362b0165585SKevin Wolf         .recursive = recursive,
3630152bf40SKevin Wolf         .parent = parent,
3646cd5c9d7SKevin Wolf         .ignore_bds_parents = ignore_bds_parents,
365fe4f0614SKevin Wolf         .poll = poll,
3668e1da77eSMax Reitz         .drained_end_counter = drained_end_counter,
367a77fd4bbSFam Zheng     };
3688e1da77eSMax Reitz 
369c8ca33d0SKevin Wolf     if (bs) {
37099723548SPaolo Bonzini         bdrv_inc_in_flight(bs);
371c8ca33d0SKevin Wolf     }
372e4ec5ad4SPavel Dovgalyuk     replay_bh_schedule_oneshot_event(bdrv_get_aio_context(bs),
373fffb6e12SPaolo Bonzini                                      bdrv_co_drain_bh_cb, &data);
374a77fd4bbSFam Zheng 
375a77fd4bbSFam Zheng     qemu_coroutine_yield();
376a77fd4bbSFam Zheng     /* If we are resumed from some other event (such as an aio completion or a
377a77fd4bbSFam Zheng      * timer callback), it is a bug in the caller that should be fixed. */
378a77fd4bbSFam Zheng     assert(data.done);
379a77fd4bbSFam Zheng }
380a77fd4bbSFam Zheng 
381dcf94a23SKevin Wolf void bdrv_do_drained_begin_quiesce(BlockDriverState *bs,
3826cd5c9d7SKevin Wolf                                    BdrvChild *parent, bool ignore_bds_parents)
383dcf94a23SKevin Wolf {
384dcf94a23SKevin Wolf     assert(!qemu_in_coroutine());
385dcf94a23SKevin Wolf 
386dcf94a23SKevin Wolf     /* Stop things in parent-to-child order */
387dcf94a23SKevin Wolf     if (atomic_fetch_inc(&bs->quiesce_counter) == 0) {
388dcf94a23SKevin Wolf         aio_disable_external(bdrv_get_aio_context(bs));
389dcf94a23SKevin Wolf     }
390dcf94a23SKevin Wolf 
3916cd5c9d7SKevin Wolf     bdrv_parent_drained_begin(bs, parent, ignore_bds_parents);
3928e1da77eSMax Reitz     bdrv_drain_invoke(bs, true, NULL);
393dcf94a23SKevin Wolf }
394dcf94a23SKevin Wolf 
395dcf94a23SKevin Wolf static void bdrv_do_drained_begin(BlockDriverState *bs, bool recursive,
3966cd5c9d7SKevin Wolf                                   BdrvChild *parent, bool ignore_bds_parents,
3976cd5c9d7SKevin Wolf                                   bool poll)
3986820643fSKevin Wolf {
399b0165585SKevin Wolf     BdrvChild *child, *next;
400b0165585SKevin Wolf 
401d42cf288SPaolo Bonzini     if (qemu_in_coroutine()) {
4026cd5c9d7SKevin Wolf         bdrv_co_yield_to_drain(bs, true, recursive, parent, ignore_bds_parents,
4038e1da77eSMax Reitz                                poll, NULL);
404d42cf288SPaolo Bonzini         return;
405d42cf288SPaolo Bonzini     }
406d42cf288SPaolo Bonzini 
4076cd5c9d7SKevin Wolf     bdrv_do_drained_begin_quiesce(bs, parent, ignore_bds_parents);
408d30b8e64SKevin Wolf 
409b0165585SKevin Wolf     if (recursive) {
4106cd5c9d7SKevin Wolf         assert(!ignore_bds_parents);
411d736f119SKevin Wolf         bs->recursive_quiesce_counter++;
412b0165585SKevin Wolf         QLIST_FOREACH_SAFE(child, &bs->children, next, next) {
4136cd5c9d7SKevin Wolf             bdrv_do_drained_begin(child->bs, true, child, ignore_bds_parents,
4146cd5c9d7SKevin Wolf                                   false);
415b0165585SKevin Wolf         }
416b0165585SKevin Wolf     }
417fe4f0614SKevin Wolf 
418fe4f0614SKevin Wolf     /*
419fe4f0614SKevin Wolf      * Wait for drained requests to finish.
420fe4f0614SKevin Wolf      *
421fe4f0614SKevin Wolf      * Calling BDRV_POLL_WHILE() only once for the top-level node is okay: The
422fe4f0614SKevin Wolf      * call is needed so things in this AioContext can make progress even
423fe4f0614SKevin Wolf      * though we don't return to the main AioContext loop - this automatically
424fe4f0614SKevin Wolf      * includes other nodes in the same AioContext and therefore all child
425fe4f0614SKevin Wolf      * nodes.
426fe4f0614SKevin Wolf      */
427fe4f0614SKevin Wolf     if (poll) {
4286cd5c9d7SKevin Wolf         assert(!ignore_bds_parents);
429fe4f0614SKevin Wolf         BDRV_POLL_WHILE(bs, bdrv_drain_poll_top_level(bs, recursive, parent));
430fe4f0614SKevin Wolf     }
4316820643fSKevin Wolf }
4326820643fSKevin Wolf 
4330152bf40SKevin Wolf void bdrv_drained_begin(BlockDriverState *bs)
4340152bf40SKevin Wolf {
4356cd5c9d7SKevin Wolf     bdrv_do_drained_begin(bs, false, NULL, false, true);
4360152bf40SKevin Wolf }
4370152bf40SKevin Wolf 
438b0165585SKevin Wolf void bdrv_subtree_drained_begin(BlockDriverState *bs)
4396820643fSKevin Wolf {
4406cd5c9d7SKevin Wolf     bdrv_do_drained_begin(bs, true, NULL, false, true);
441b0165585SKevin Wolf }
442b0165585SKevin Wolf 
443e037c09cSMax Reitz /**
444e037c09cSMax Reitz  * This function does not poll, nor must any of its recursively called
445e037c09cSMax Reitz  * functions.  The *drained_end_counter pointee will be incremented
446e037c09cSMax Reitz  * once for every background operation scheduled, and decremented once
447e037c09cSMax Reitz  * the operation settles.  Therefore, the pointer must remain valid
448e037c09cSMax Reitz  * until the pointee reaches 0.  That implies that whoever sets up the
449e037c09cSMax Reitz  * pointee has to poll until it is 0.
450e037c09cSMax Reitz  *
451e037c09cSMax Reitz  * We use atomic operations to access *drained_end_counter, because
452e037c09cSMax Reitz  * (1) when called from bdrv_set_aio_context_ignore(), the subgraph of
453e037c09cSMax Reitz  *     @bs may contain nodes in different AioContexts,
454e037c09cSMax Reitz  * (2) bdrv_drain_all_end() uses the same counter for all nodes,
455e037c09cSMax Reitz  *     regardless of which AioContext they are in.
456e037c09cSMax Reitz  */
4576cd5c9d7SKevin Wolf static void bdrv_do_drained_end(BlockDriverState *bs, bool recursive,
4588e1da77eSMax Reitz                                 BdrvChild *parent, bool ignore_bds_parents,
4598e1da77eSMax Reitz                                 int *drained_end_counter)
460b0165585SKevin Wolf {
46161ad631cSMax Reitz     BdrvChild *child;
4620f115168SKevin Wolf     int old_quiesce_counter;
4630f115168SKevin Wolf 
464e037c09cSMax Reitz     assert(drained_end_counter != NULL);
465e037c09cSMax Reitz 
466481cad48SManos Pitsidianakis     if (qemu_in_coroutine()) {
4676cd5c9d7SKevin Wolf         bdrv_co_yield_to_drain(bs, false, recursive, parent, ignore_bds_parents,
4688e1da77eSMax Reitz                                false, drained_end_counter);
469481cad48SManos Pitsidianakis         return;
470481cad48SManos Pitsidianakis     }
4716820643fSKevin Wolf     assert(bs->quiesce_counter > 0);
4726820643fSKevin Wolf 
47360369b86SKevin Wolf     /* Re-enable things in child-to-parent order */
4748e1da77eSMax Reitz     bdrv_drain_invoke(bs, false, drained_end_counter);
475e037c09cSMax Reitz     bdrv_parent_drained_end(bs, parent, ignore_bds_parents,
476e037c09cSMax Reitz                             drained_end_counter);
4775cb2737eSMax Reitz 
4785cb2737eSMax Reitz     old_quiesce_counter = atomic_fetch_dec(&bs->quiesce_counter);
4790f115168SKevin Wolf     if (old_quiesce_counter == 1) {
4806820643fSKevin Wolf         aio_enable_external(bdrv_get_aio_context(bs));
4816820643fSKevin Wolf     }
482b0165585SKevin Wolf 
483b0165585SKevin Wolf     if (recursive) {
4846cd5c9d7SKevin Wolf         assert(!ignore_bds_parents);
485d736f119SKevin Wolf         bs->recursive_quiesce_counter--;
48661ad631cSMax Reitz         QLIST_FOREACH(child, &bs->children, next) {
4878e1da77eSMax Reitz             bdrv_do_drained_end(child->bs, true, child, ignore_bds_parents,
4888e1da77eSMax Reitz                                 drained_end_counter);
489b0165585SKevin Wolf         }
490b0165585SKevin Wolf     }
4910f115168SKevin Wolf }
4926820643fSKevin Wolf 
4930152bf40SKevin Wolf void bdrv_drained_end(BlockDriverState *bs)
4940152bf40SKevin Wolf {
495e037c09cSMax Reitz     int drained_end_counter = 0;
496e037c09cSMax Reitz     bdrv_do_drained_end(bs, false, NULL, false, &drained_end_counter);
497e037c09cSMax Reitz     BDRV_POLL_WHILE(bs, atomic_read(&drained_end_counter) > 0);
498e037c09cSMax Reitz }
499e037c09cSMax Reitz 
500e037c09cSMax Reitz void bdrv_drained_end_no_poll(BlockDriverState *bs, int *drained_end_counter)
501e037c09cSMax Reitz {
502e037c09cSMax Reitz     bdrv_do_drained_end(bs, false, NULL, false, drained_end_counter);
503b0165585SKevin Wolf }
504b0165585SKevin Wolf 
505b0165585SKevin Wolf void bdrv_subtree_drained_end(BlockDriverState *bs)
506b0165585SKevin Wolf {
507e037c09cSMax Reitz     int drained_end_counter = 0;
508e037c09cSMax Reitz     bdrv_do_drained_end(bs, true, NULL, false, &drained_end_counter);
509e037c09cSMax Reitz     BDRV_POLL_WHILE(bs, atomic_read(&drained_end_counter) > 0);
5100152bf40SKevin Wolf }
5110152bf40SKevin Wolf 
512d736f119SKevin Wolf void bdrv_apply_subtree_drain(BdrvChild *child, BlockDriverState *new_parent)
513d736f119SKevin Wolf {
514d736f119SKevin Wolf     int i;
515d736f119SKevin Wolf 
516d736f119SKevin Wolf     for (i = 0; i < new_parent->recursive_quiesce_counter; i++) {
5176cd5c9d7SKevin Wolf         bdrv_do_drained_begin(child->bs, true, child, false, true);
518d736f119SKevin Wolf     }
519d736f119SKevin Wolf }
520d736f119SKevin Wolf 
521d736f119SKevin Wolf void bdrv_unapply_subtree_drain(BdrvChild *child, BlockDriverState *old_parent)
522d736f119SKevin Wolf {
523e037c09cSMax Reitz     int drained_end_counter = 0;
524d736f119SKevin Wolf     int i;
525d736f119SKevin Wolf 
526d736f119SKevin Wolf     for (i = 0; i < old_parent->recursive_quiesce_counter; i++) {
527e037c09cSMax Reitz         bdrv_do_drained_end(child->bs, true, child, false,
528e037c09cSMax Reitz                             &drained_end_counter);
529d736f119SKevin Wolf     }
530e037c09cSMax Reitz 
531e037c09cSMax Reitz     BDRV_POLL_WHILE(child->bs, atomic_read(&drained_end_counter) > 0);
532d736f119SKevin Wolf }
533d736f119SKevin Wolf 
53461007b31SStefan Hajnoczi /*
53567da1dc5SFam Zheng  * Wait for pending requests to complete on a single BlockDriverState subtree,
53667da1dc5SFam Zheng  * and suspend block driver's internal I/O until next request arrives.
53761007b31SStefan Hajnoczi  *
53861007b31SStefan Hajnoczi  * Note that unlike bdrv_drain_all(), the caller must hold the BlockDriverState
53961007b31SStefan Hajnoczi  * AioContext.
54061007b31SStefan Hajnoczi  */
541b6e84c97SPaolo Bonzini void coroutine_fn bdrv_co_drain(BlockDriverState *bs)
542b6e84c97SPaolo Bonzini {
5436820643fSKevin Wolf     assert(qemu_in_coroutine());
5446820643fSKevin Wolf     bdrv_drained_begin(bs);
5456820643fSKevin Wolf     bdrv_drained_end(bs);
546b6e84c97SPaolo Bonzini }
547b6e84c97SPaolo Bonzini 
54861007b31SStefan Hajnoczi void bdrv_drain(BlockDriverState *bs)
54961007b31SStefan Hajnoczi {
5506820643fSKevin Wolf     bdrv_drained_begin(bs);
5516820643fSKevin Wolf     bdrv_drained_end(bs);
55261007b31SStefan Hajnoczi }
55361007b31SStefan Hajnoczi 
554c13ad59fSKevin Wolf static void bdrv_drain_assert_idle(BlockDriverState *bs)
555c13ad59fSKevin Wolf {
556c13ad59fSKevin Wolf     BdrvChild *child, *next;
557c13ad59fSKevin Wolf 
558c13ad59fSKevin Wolf     assert(atomic_read(&bs->in_flight) == 0);
559c13ad59fSKevin Wolf     QLIST_FOREACH_SAFE(child, &bs->children, next, next) {
560c13ad59fSKevin Wolf         bdrv_drain_assert_idle(child->bs);
561c13ad59fSKevin Wolf     }
562c13ad59fSKevin Wolf }
563c13ad59fSKevin Wolf 
5640f12264eSKevin Wolf unsigned int bdrv_drain_all_count = 0;
5650f12264eSKevin Wolf 
5660f12264eSKevin Wolf static bool bdrv_drain_all_poll(void)
5670f12264eSKevin Wolf {
5680f12264eSKevin Wolf     BlockDriverState *bs = NULL;
5690f12264eSKevin Wolf     bool result = false;
5700f12264eSKevin Wolf 
5710f12264eSKevin Wolf     /* bdrv_drain_poll() can't make changes to the graph and we are holding the
5720f12264eSKevin Wolf      * main AioContext lock, so iterating bdrv_next_all_states() is safe. */
5730f12264eSKevin Wolf     while ((bs = bdrv_next_all_states(bs))) {
5740f12264eSKevin Wolf         AioContext *aio_context = bdrv_get_aio_context(bs);
5750f12264eSKevin Wolf         aio_context_acquire(aio_context);
5760f12264eSKevin Wolf         result |= bdrv_drain_poll(bs, false, NULL, true);
5770f12264eSKevin Wolf         aio_context_release(aio_context);
5780f12264eSKevin Wolf     }
5790f12264eSKevin Wolf 
5800f12264eSKevin Wolf     return result;
5810f12264eSKevin Wolf }
5820f12264eSKevin Wolf 
58361007b31SStefan Hajnoczi /*
58461007b31SStefan Hajnoczi  * Wait for pending requests to complete across all BlockDriverStates
58561007b31SStefan Hajnoczi  *
58661007b31SStefan Hajnoczi  * This function does not flush data to disk, use bdrv_flush_all() for that
58761007b31SStefan Hajnoczi  * after calling this function.
588c0778f66SAlberto Garcia  *
589c0778f66SAlberto Garcia  * This pauses all block jobs and disables external clients. It must
590c0778f66SAlberto Garcia  * be paired with bdrv_drain_all_end().
591c0778f66SAlberto Garcia  *
592c0778f66SAlberto Garcia  * NOTE: no new block jobs or BlockDriverStates can be created between
593c0778f66SAlberto Garcia  * the bdrv_drain_all_begin() and bdrv_drain_all_end() calls.
59461007b31SStefan Hajnoczi  */
595c0778f66SAlberto Garcia void bdrv_drain_all_begin(void)
59661007b31SStefan Hajnoczi {
5970f12264eSKevin Wolf     BlockDriverState *bs = NULL;
59861007b31SStefan Hajnoczi 
599c8ca33d0SKevin Wolf     if (qemu_in_coroutine()) {
6008e1da77eSMax Reitz         bdrv_co_yield_to_drain(NULL, true, false, NULL, true, true, NULL);
601c8ca33d0SKevin Wolf         return;
602c8ca33d0SKevin Wolf     }
603c8ca33d0SKevin Wolf 
604c8aa7895SPavel Dovgalyuk     /*
605c8aa7895SPavel Dovgalyuk      * bdrv queue is managed by record/replay,
606c8aa7895SPavel Dovgalyuk      * waiting for finishing the I/O requests may
607c8aa7895SPavel Dovgalyuk      * be infinite
608c8aa7895SPavel Dovgalyuk      */
609c8aa7895SPavel Dovgalyuk     if (replay_events_enabled()) {
610c8aa7895SPavel Dovgalyuk         return;
611c8aa7895SPavel Dovgalyuk     }
612c8aa7895SPavel Dovgalyuk 
6130f12264eSKevin Wolf     /* AIO_WAIT_WHILE() with a NULL context can only be called from the main
6140f12264eSKevin Wolf      * loop AioContext, so make sure we're in the main context. */
6159a7e86c8SKevin Wolf     assert(qemu_get_current_aio_context() == qemu_get_aio_context());
6160f12264eSKevin Wolf     assert(bdrv_drain_all_count < INT_MAX);
6170f12264eSKevin Wolf     bdrv_drain_all_count++;
6189a7e86c8SKevin Wolf 
6190f12264eSKevin Wolf     /* Quiesce all nodes, without polling in-flight requests yet. The graph
6200f12264eSKevin Wolf      * cannot change during this loop. */
6210f12264eSKevin Wolf     while ((bs = bdrv_next_all_states(bs))) {
62261007b31SStefan Hajnoczi         AioContext *aio_context = bdrv_get_aio_context(bs);
62361007b31SStefan Hajnoczi 
62461007b31SStefan Hajnoczi         aio_context_acquire(aio_context);
6250f12264eSKevin Wolf         bdrv_do_drained_begin(bs, false, NULL, true, false);
62661007b31SStefan Hajnoczi         aio_context_release(aio_context);
62761007b31SStefan Hajnoczi     }
62861007b31SStefan Hajnoczi 
6290f12264eSKevin Wolf     /* Now poll the in-flight requests */
630cfe29d82SKevin Wolf     AIO_WAIT_WHILE(NULL, bdrv_drain_all_poll());
6310f12264eSKevin Wolf 
6320f12264eSKevin Wolf     while ((bs = bdrv_next_all_states(bs))) {
633c13ad59fSKevin Wolf         bdrv_drain_assert_idle(bs);
634f406c03cSAlexander Yarygin     }
635f406c03cSAlexander Yarygin }
636c0778f66SAlberto Garcia 
637c0778f66SAlberto Garcia void bdrv_drain_all_end(void)
638c0778f66SAlberto Garcia {
6390f12264eSKevin Wolf     BlockDriverState *bs = NULL;
640e037c09cSMax Reitz     int drained_end_counter = 0;
641c0778f66SAlberto Garcia 
642c8aa7895SPavel Dovgalyuk     /*
643c8aa7895SPavel Dovgalyuk      * bdrv queue is managed by record/replay,
644c8aa7895SPavel Dovgalyuk      * waiting for finishing the I/O requests may
645c8aa7895SPavel Dovgalyuk      * be endless
646c8aa7895SPavel Dovgalyuk      */
647c8aa7895SPavel Dovgalyuk     if (replay_events_enabled()) {
648c8aa7895SPavel Dovgalyuk         return;
649c8aa7895SPavel Dovgalyuk     }
650c8aa7895SPavel Dovgalyuk 
6510f12264eSKevin Wolf     while ((bs = bdrv_next_all_states(bs))) {
65261007b31SStefan Hajnoczi         AioContext *aio_context = bdrv_get_aio_context(bs);
65361007b31SStefan Hajnoczi 
65461007b31SStefan Hajnoczi         aio_context_acquire(aio_context);
655e037c09cSMax Reitz         bdrv_do_drained_end(bs, false, NULL, true, &drained_end_counter);
65661007b31SStefan Hajnoczi         aio_context_release(aio_context);
65761007b31SStefan Hajnoczi     }
6580f12264eSKevin Wolf 
659e037c09cSMax Reitz     assert(qemu_get_current_aio_context() == qemu_get_aio_context());
660e037c09cSMax Reitz     AIO_WAIT_WHILE(NULL, atomic_read(&drained_end_counter) > 0);
661e037c09cSMax Reitz 
6620f12264eSKevin Wolf     assert(bdrv_drain_all_count > 0);
6630f12264eSKevin Wolf     bdrv_drain_all_count--;
66461007b31SStefan Hajnoczi }
66561007b31SStefan Hajnoczi 
666c0778f66SAlberto Garcia void bdrv_drain_all(void)
667c0778f66SAlberto Garcia {
668c0778f66SAlberto Garcia     bdrv_drain_all_begin();
669c0778f66SAlberto Garcia     bdrv_drain_all_end();
670c0778f66SAlberto Garcia }
671c0778f66SAlberto Garcia 
67261007b31SStefan Hajnoczi /**
67361007b31SStefan Hajnoczi  * Remove an active request from the tracked requests list
67461007b31SStefan Hajnoczi  *
67561007b31SStefan Hajnoczi  * This function should be called when a tracked request is completing.
67661007b31SStefan Hajnoczi  */
67761007b31SStefan Hajnoczi static void tracked_request_end(BdrvTrackedRequest *req)
67861007b31SStefan Hajnoczi {
67961007b31SStefan Hajnoczi     if (req->serialising) {
68020fc71b2SPaolo Bonzini         atomic_dec(&req->bs->serialising_in_flight);
68161007b31SStefan Hajnoczi     }
68261007b31SStefan Hajnoczi 
6833783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&req->bs->reqs_lock);
68461007b31SStefan Hajnoczi     QLIST_REMOVE(req, list);
68561007b31SStefan Hajnoczi     qemu_co_queue_restart_all(&req->wait_queue);
6863783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&req->bs->reqs_lock);
68761007b31SStefan Hajnoczi }
68861007b31SStefan Hajnoczi 
68961007b31SStefan Hajnoczi /**
69061007b31SStefan Hajnoczi  * Add an active request to the tracked requests list
69161007b31SStefan Hajnoczi  */
69261007b31SStefan Hajnoczi static void tracked_request_begin(BdrvTrackedRequest *req,
69361007b31SStefan Hajnoczi                                   BlockDriverState *bs,
69461007b31SStefan Hajnoczi                                   int64_t offset,
69522931a15SFam Zheng                                   uint64_t bytes,
696ebde595cSFam Zheng                                   enum BdrvTrackedRequestType type)
69761007b31SStefan Hajnoczi {
69822931a15SFam Zheng     assert(bytes <= INT64_MAX && offset <= INT64_MAX - bytes);
69922931a15SFam Zheng 
70061007b31SStefan Hajnoczi     *req = (BdrvTrackedRequest){
70161007b31SStefan Hajnoczi         .bs = bs,
70261007b31SStefan Hajnoczi         .offset         = offset,
70361007b31SStefan Hajnoczi         .bytes          = bytes,
704ebde595cSFam Zheng         .type           = type,
70561007b31SStefan Hajnoczi         .co             = qemu_coroutine_self(),
70661007b31SStefan Hajnoczi         .serialising    = false,
70761007b31SStefan Hajnoczi         .overlap_offset = offset,
70861007b31SStefan Hajnoczi         .overlap_bytes  = bytes,
70961007b31SStefan Hajnoczi     };
71061007b31SStefan Hajnoczi 
71161007b31SStefan Hajnoczi     qemu_co_queue_init(&req->wait_queue);
71261007b31SStefan Hajnoczi 
7133783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&bs->reqs_lock);
71461007b31SStefan Hajnoczi     QLIST_INSERT_HEAD(&bs->tracked_requests, req, list);
7153783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&bs->reqs_lock);
71661007b31SStefan Hajnoczi }
71761007b31SStefan Hajnoczi 
7183ba0e1a0SPaolo Bonzini static bool tracked_request_overlaps(BdrvTrackedRequest *req,
7193ba0e1a0SPaolo Bonzini                                      int64_t offset, uint64_t bytes)
7203ba0e1a0SPaolo Bonzini {
7213ba0e1a0SPaolo Bonzini     /*        aaaa   bbbb */
7223ba0e1a0SPaolo Bonzini     if (offset >= req->overlap_offset + req->overlap_bytes) {
7233ba0e1a0SPaolo Bonzini         return false;
7243ba0e1a0SPaolo Bonzini     }
7253ba0e1a0SPaolo Bonzini     /* bbbb   aaaa        */
7263ba0e1a0SPaolo Bonzini     if (req->overlap_offset >= offset + bytes) {
7273ba0e1a0SPaolo Bonzini         return false;
7283ba0e1a0SPaolo Bonzini     }
7293ba0e1a0SPaolo Bonzini     return true;
7303ba0e1a0SPaolo Bonzini }
7313ba0e1a0SPaolo Bonzini 
7323ba0e1a0SPaolo Bonzini static bool coroutine_fn
7333ba0e1a0SPaolo Bonzini bdrv_wait_serialising_requests_locked(BlockDriverState *bs,
7343ba0e1a0SPaolo Bonzini                                       BdrvTrackedRequest *self)
7353ba0e1a0SPaolo Bonzini {
7363ba0e1a0SPaolo Bonzini     BdrvTrackedRequest *req;
7373ba0e1a0SPaolo Bonzini     bool retry;
7383ba0e1a0SPaolo Bonzini     bool waited = false;
7393ba0e1a0SPaolo Bonzini 
7403ba0e1a0SPaolo Bonzini     do {
7413ba0e1a0SPaolo Bonzini         retry = false;
7423ba0e1a0SPaolo Bonzini         QLIST_FOREACH(req, &bs->tracked_requests, list) {
7433ba0e1a0SPaolo Bonzini             if (req == self || (!req->serialising && !self->serialising)) {
7443ba0e1a0SPaolo Bonzini                 continue;
7453ba0e1a0SPaolo Bonzini             }
7463ba0e1a0SPaolo Bonzini             if (tracked_request_overlaps(req, self->overlap_offset,
7473ba0e1a0SPaolo Bonzini                                          self->overlap_bytes))
7483ba0e1a0SPaolo Bonzini             {
7493ba0e1a0SPaolo Bonzini                 /* Hitting this means there was a reentrant request, for
7503ba0e1a0SPaolo Bonzini                  * example, a block driver issuing nested requests.  This must
7513ba0e1a0SPaolo Bonzini                  * never happen since it means deadlock.
7523ba0e1a0SPaolo Bonzini                  */
7533ba0e1a0SPaolo Bonzini                 assert(qemu_coroutine_self() != req->co);
7543ba0e1a0SPaolo Bonzini 
7553ba0e1a0SPaolo Bonzini                 /* If the request is already (indirectly) waiting for us, or
7563ba0e1a0SPaolo Bonzini                  * will wait for us as soon as it wakes up, then just go on
7573ba0e1a0SPaolo Bonzini                  * (instead of producing a deadlock in the former case). */
7583ba0e1a0SPaolo Bonzini                 if (!req->waiting_for) {
7593ba0e1a0SPaolo Bonzini                     self->waiting_for = req;
7603ba0e1a0SPaolo Bonzini                     qemu_co_queue_wait(&req->wait_queue, &bs->reqs_lock);
7613ba0e1a0SPaolo Bonzini                     self->waiting_for = NULL;
7623ba0e1a0SPaolo Bonzini                     retry = true;
7633ba0e1a0SPaolo Bonzini                     waited = true;
7643ba0e1a0SPaolo Bonzini                     break;
7653ba0e1a0SPaolo Bonzini                 }
7663ba0e1a0SPaolo Bonzini             }
7673ba0e1a0SPaolo Bonzini         }
7683ba0e1a0SPaolo Bonzini     } while (retry);
7693ba0e1a0SPaolo Bonzini     return waited;
7703ba0e1a0SPaolo Bonzini }
7713ba0e1a0SPaolo Bonzini 
77218fbd0deSPaolo Bonzini bool bdrv_mark_request_serialising(BdrvTrackedRequest *req, uint64_t align)
77361007b31SStefan Hajnoczi {
7743ba0e1a0SPaolo Bonzini     BlockDriverState *bs = req->bs;
77561007b31SStefan Hajnoczi     int64_t overlap_offset = req->offset & ~(align - 1);
77622931a15SFam Zheng     uint64_t overlap_bytes = ROUND_UP(req->offset + req->bytes, align)
77761007b31SStefan Hajnoczi                                - overlap_offset;
7783ba0e1a0SPaolo Bonzini     bool waited;
77961007b31SStefan Hajnoczi 
7803ba0e1a0SPaolo Bonzini     qemu_co_mutex_lock(&bs->reqs_lock);
78161007b31SStefan Hajnoczi     if (!req->serialising) {
78220fc71b2SPaolo Bonzini         atomic_inc(&req->bs->serialising_in_flight);
78361007b31SStefan Hajnoczi         req->serialising = true;
78461007b31SStefan Hajnoczi     }
78561007b31SStefan Hajnoczi 
78661007b31SStefan Hajnoczi     req->overlap_offset = MIN(req->overlap_offset, overlap_offset);
78761007b31SStefan Hajnoczi     req->overlap_bytes = MAX(req->overlap_bytes, overlap_bytes);
7883ba0e1a0SPaolo Bonzini     waited = bdrv_wait_serialising_requests_locked(bs, req);
7893ba0e1a0SPaolo Bonzini     qemu_co_mutex_unlock(&bs->reqs_lock);
7903ba0e1a0SPaolo Bonzini     return waited;
79109d2f948SVladimir Sementsov-Ogievskiy }
79209d2f948SVladimir Sementsov-Ogievskiy 
79361007b31SStefan Hajnoczi /**
794c28107e9SMax Reitz  * Return the tracked request on @bs for the current coroutine, or
795c28107e9SMax Reitz  * NULL if there is none.
796c28107e9SMax Reitz  */
797c28107e9SMax Reitz BdrvTrackedRequest *coroutine_fn bdrv_co_get_self_request(BlockDriverState *bs)
798c28107e9SMax Reitz {
799c28107e9SMax Reitz     BdrvTrackedRequest *req;
800c28107e9SMax Reitz     Coroutine *self = qemu_coroutine_self();
801c28107e9SMax Reitz 
802c28107e9SMax Reitz     QLIST_FOREACH(req, &bs->tracked_requests, list) {
803c28107e9SMax Reitz         if (req->co == self) {
804c28107e9SMax Reitz             return req;
805c28107e9SMax Reitz         }
806c28107e9SMax Reitz     }
807c28107e9SMax Reitz 
808c28107e9SMax Reitz     return NULL;
809c28107e9SMax Reitz }
810c28107e9SMax Reitz 
811c28107e9SMax Reitz /**
812244483e6SKevin Wolf  * Round a region to cluster boundaries
813244483e6SKevin Wolf  */
814244483e6SKevin Wolf void bdrv_round_to_clusters(BlockDriverState *bs,
8157cfd5275SEric Blake                             int64_t offset, int64_t bytes,
816244483e6SKevin Wolf                             int64_t *cluster_offset,
8177cfd5275SEric Blake                             int64_t *cluster_bytes)
818244483e6SKevin Wolf {
819244483e6SKevin Wolf     BlockDriverInfo bdi;
820244483e6SKevin Wolf 
821244483e6SKevin Wolf     if (bdrv_get_info(bs, &bdi) < 0 || bdi.cluster_size == 0) {
822244483e6SKevin Wolf         *cluster_offset = offset;
823244483e6SKevin Wolf         *cluster_bytes = bytes;
824244483e6SKevin Wolf     } else {
825244483e6SKevin Wolf         int64_t c = bdi.cluster_size;
826244483e6SKevin Wolf         *cluster_offset = QEMU_ALIGN_DOWN(offset, c);
827244483e6SKevin Wolf         *cluster_bytes = QEMU_ALIGN_UP(offset - *cluster_offset + bytes, c);
828244483e6SKevin Wolf     }
829244483e6SKevin Wolf }
830244483e6SKevin Wolf 
83161007b31SStefan Hajnoczi static int bdrv_get_cluster_size(BlockDriverState *bs)
83261007b31SStefan Hajnoczi {
83361007b31SStefan Hajnoczi     BlockDriverInfo bdi;
83461007b31SStefan Hajnoczi     int ret;
83561007b31SStefan Hajnoczi 
83661007b31SStefan Hajnoczi     ret = bdrv_get_info(bs, &bdi);
83761007b31SStefan Hajnoczi     if (ret < 0 || bdi.cluster_size == 0) {
838a5b8dd2cSEric Blake         return bs->bl.request_alignment;
83961007b31SStefan Hajnoczi     } else {
84061007b31SStefan Hajnoczi         return bdi.cluster_size;
84161007b31SStefan Hajnoczi     }
84261007b31SStefan Hajnoczi }
84361007b31SStefan Hajnoczi 
84499723548SPaolo Bonzini void bdrv_inc_in_flight(BlockDriverState *bs)
84599723548SPaolo Bonzini {
84699723548SPaolo Bonzini     atomic_inc(&bs->in_flight);
84799723548SPaolo Bonzini }
84899723548SPaolo Bonzini 
849c9d1a561SPaolo Bonzini void bdrv_wakeup(BlockDriverState *bs)
850c9d1a561SPaolo Bonzini {
851cfe29d82SKevin Wolf     aio_wait_kick();
852c9d1a561SPaolo Bonzini }
853c9d1a561SPaolo Bonzini 
85499723548SPaolo Bonzini void bdrv_dec_in_flight(BlockDriverState *bs)
85599723548SPaolo Bonzini {
85699723548SPaolo Bonzini     atomic_dec(&bs->in_flight);
857c9d1a561SPaolo Bonzini     bdrv_wakeup(bs);
85899723548SPaolo Bonzini }
85999723548SPaolo Bonzini 
86018fbd0deSPaolo Bonzini static bool coroutine_fn bdrv_wait_serialising_requests(BdrvTrackedRequest *self)
86161007b31SStefan Hajnoczi {
86261007b31SStefan Hajnoczi     BlockDriverState *bs = self->bs;
86361007b31SStefan Hajnoczi     bool waited = false;
86461007b31SStefan Hajnoczi 
86520fc71b2SPaolo Bonzini     if (!atomic_read(&bs->serialising_in_flight)) {
86661007b31SStefan Hajnoczi         return false;
86761007b31SStefan Hajnoczi     }
86861007b31SStefan Hajnoczi 
8693783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&bs->reqs_lock);
8703ba0e1a0SPaolo Bonzini     waited = bdrv_wait_serialising_requests_locked(bs, self);
8713783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&bs->reqs_lock);
87261007b31SStefan Hajnoczi 
87361007b31SStefan Hajnoczi     return waited;
87461007b31SStefan Hajnoczi }
87561007b31SStefan Hajnoczi 
87661007b31SStefan Hajnoczi static int bdrv_check_byte_request(BlockDriverState *bs, int64_t offset,
87761007b31SStefan Hajnoczi                                    size_t size)
87861007b31SStefan Hajnoczi {
87941ae31e3SAlberto Garcia     if (size > BDRV_REQUEST_MAX_BYTES) {
88061007b31SStefan Hajnoczi         return -EIO;
88161007b31SStefan Hajnoczi     }
88261007b31SStefan Hajnoczi 
88361007b31SStefan Hajnoczi     if (!bdrv_is_inserted(bs)) {
88461007b31SStefan Hajnoczi         return -ENOMEDIUM;
88561007b31SStefan Hajnoczi     }
88661007b31SStefan Hajnoczi 
88761007b31SStefan Hajnoczi     if (offset < 0) {
88861007b31SStefan Hajnoczi         return -EIO;
88961007b31SStefan Hajnoczi     }
89061007b31SStefan Hajnoczi 
89161007b31SStefan Hajnoczi     return 0;
89261007b31SStefan Hajnoczi }
89361007b31SStefan Hajnoczi 
89461007b31SStefan Hajnoczi typedef struct RwCo {
895e293b7a3SKevin Wolf     BdrvChild *child;
89661007b31SStefan Hajnoczi     int64_t offset;
89761007b31SStefan Hajnoczi     QEMUIOVector *qiov;
89861007b31SStefan Hajnoczi     bool is_write;
89961007b31SStefan Hajnoczi     int ret;
90061007b31SStefan Hajnoczi     BdrvRequestFlags flags;
90161007b31SStefan Hajnoczi } RwCo;
90261007b31SStefan Hajnoczi 
90361007b31SStefan Hajnoczi static void coroutine_fn bdrv_rw_co_entry(void *opaque)
90461007b31SStefan Hajnoczi {
90561007b31SStefan Hajnoczi     RwCo *rwco = opaque;
90661007b31SStefan Hajnoczi 
90761007b31SStefan Hajnoczi     if (!rwco->is_write) {
908a03ef88fSKevin Wolf         rwco->ret = bdrv_co_preadv(rwco->child, rwco->offset,
90961007b31SStefan Hajnoczi                                    rwco->qiov->size, rwco->qiov,
91061007b31SStefan Hajnoczi                                    rwco->flags);
91161007b31SStefan Hajnoczi     } else {
912a03ef88fSKevin Wolf         rwco->ret = bdrv_co_pwritev(rwco->child, rwco->offset,
91361007b31SStefan Hajnoczi                                     rwco->qiov->size, rwco->qiov,
91461007b31SStefan Hajnoczi                                     rwco->flags);
91561007b31SStefan Hajnoczi     }
9164720cbeeSKevin Wolf     aio_wait_kick();
91761007b31SStefan Hajnoczi }
91861007b31SStefan Hajnoczi 
91961007b31SStefan Hajnoczi /*
92061007b31SStefan Hajnoczi  * Process a vectored synchronous request using coroutines
92161007b31SStefan Hajnoczi  */
922e293b7a3SKevin Wolf static int bdrv_prwv_co(BdrvChild *child, int64_t offset,
92361007b31SStefan Hajnoczi                         QEMUIOVector *qiov, bool is_write,
92461007b31SStefan Hajnoczi                         BdrvRequestFlags flags)
92561007b31SStefan Hajnoczi {
92661007b31SStefan Hajnoczi     Coroutine *co;
92761007b31SStefan Hajnoczi     RwCo rwco = {
928e293b7a3SKevin Wolf         .child = child,
92961007b31SStefan Hajnoczi         .offset = offset,
93061007b31SStefan Hajnoczi         .qiov = qiov,
93161007b31SStefan Hajnoczi         .is_write = is_write,
93261007b31SStefan Hajnoczi         .ret = NOT_DONE,
93361007b31SStefan Hajnoczi         .flags = flags,
93461007b31SStefan Hajnoczi     };
93561007b31SStefan Hajnoczi 
93661007b31SStefan Hajnoczi     if (qemu_in_coroutine()) {
93761007b31SStefan Hajnoczi         /* Fast-path if already in coroutine context */
93861007b31SStefan Hajnoczi         bdrv_rw_co_entry(&rwco);
93961007b31SStefan Hajnoczi     } else {
9400b8b8753SPaolo Bonzini         co = qemu_coroutine_create(bdrv_rw_co_entry, &rwco);
941e92f0e19SFam Zheng         bdrv_coroutine_enter(child->bs, co);
94288b062c2SPaolo Bonzini         BDRV_POLL_WHILE(child->bs, rwco.ret == NOT_DONE);
94361007b31SStefan Hajnoczi     }
94461007b31SStefan Hajnoczi     return rwco.ret;
94561007b31SStefan Hajnoczi }
94661007b31SStefan Hajnoczi 
947720ff280SKevin Wolf int bdrv_pwrite_zeroes(BdrvChild *child, int64_t offset,
948f5a5ca79SManos Pitsidianakis                        int bytes, BdrvRequestFlags flags)
94961007b31SStefan Hajnoczi {
9500d93ed08SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, NULL, bytes);
95174021bc4SEric Blake 
952e293b7a3SKevin Wolf     return bdrv_prwv_co(child, offset, &qiov, true,
95361007b31SStefan Hajnoczi                         BDRV_REQ_ZERO_WRITE | flags);
95461007b31SStefan Hajnoczi }
95561007b31SStefan Hajnoczi 
95661007b31SStefan Hajnoczi /*
95774021bc4SEric Blake  * Completely zero out a block device with the help of bdrv_pwrite_zeroes.
95861007b31SStefan Hajnoczi  * The operation is sped up by checking the block status and only writing
95961007b31SStefan Hajnoczi  * zeroes to the device if they currently do not return zeroes. Optional
96074021bc4SEric Blake  * flags are passed through to bdrv_pwrite_zeroes (e.g. BDRV_REQ_MAY_UNMAP,
961465fe887SEric Blake  * BDRV_REQ_FUA).
96261007b31SStefan Hajnoczi  *
96361007b31SStefan Hajnoczi  * Returns < 0 on error, 0 on success. For error codes see bdrv_write().
96461007b31SStefan Hajnoczi  */
965720ff280SKevin Wolf int bdrv_make_zero(BdrvChild *child, BdrvRequestFlags flags)
96661007b31SStefan Hajnoczi {
967237d78f8SEric Blake     int ret;
968237d78f8SEric Blake     int64_t target_size, bytes, offset = 0;
969720ff280SKevin Wolf     BlockDriverState *bs = child->bs;
97061007b31SStefan Hajnoczi 
9717286d610SEric Blake     target_size = bdrv_getlength(bs);
9727286d610SEric Blake     if (target_size < 0) {
9737286d610SEric Blake         return target_size;
97461007b31SStefan Hajnoczi     }
97561007b31SStefan Hajnoczi 
97661007b31SStefan Hajnoczi     for (;;) {
9777286d610SEric Blake         bytes = MIN(target_size - offset, BDRV_REQUEST_MAX_BYTES);
9787286d610SEric Blake         if (bytes <= 0) {
97961007b31SStefan Hajnoczi             return 0;
98061007b31SStefan Hajnoczi         }
981237d78f8SEric Blake         ret = bdrv_block_status(bs, offset, bytes, &bytes, NULL, NULL);
98261007b31SStefan Hajnoczi         if (ret < 0) {
98361007b31SStefan Hajnoczi             return ret;
98461007b31SStefan Hajnoczi         }
98561007b31SStefan Hajnoczi         if (ret & BDRV_BLOCK_ZERO) {
986237d78f8SEric Blake             offset += bytes;
98761007b31SStefan Hajnoczi             continue;
98861007b31SStefan Hajnoczi         }
989237d78f8SEric Blake         ret = bdrv_pwrite_zeroes(child, offset, bytes, flags);
99061007b31SStefan Hajnoczi         if (ret < 0) {
99161007b31SStefan Hajnoczi             return ret;
99261007b31SStefan Hajnoczi         }
993237d78f8SEric Blake         offset += bytes;
99461007b31SStefan Hajnoczi     }
99561007b31SStefan Hajnoczi }
99661007b31SStefan Hajnoczi 
997cf2ab8fcSKevin Wolf int bdrv_preadv(BdrvChild *child, int64_t offset, QEMUIOVector *qiov)
998f1e84741SKevin Wolf {
999f1e84741SKevin Wolf     int ret;
1000f1e84741SKevin Wolf 
1001e293b7a3SKevin Wolf     ret = bdrv_prwv_co(child, offset, qiov, false, 0);
1002f1e84741SKevin Wolf     if (ret < 0) {
1003f1e84741SKevin Wolf         return ret;
1004f1e84741SKevin Wolf     }
1005f1e84741SKevin Wolf 
1006f1e84741SKevin Wolf     return qiov->size;
1007f1e84741SKevin Wolf }
1008f1e84741SKevin Wolf 
10092e11d756SAlberto Garcia /* See bdrv_pwrite() for the return codes */
1010cf2ab8fcSKevin Wolf int bdrv_pread(BdrvChild *child, int64_t offset, void *buf, int bytes)
101161007b31SStefan Hajnoczi {
10120d93ed08SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buf, bytes);
101361007b31SStefan Hajnoczi 
101461007b31SStefan Hajnoczi     if (bytes < 0) {
101561007b31SStefan Hajnoczi         return -EINVAL;
101661007b31SStefan Hajnoczi     }
101761007b31SStefan Hajnoczi 
1018cf2ab8fcSKevin Wolf     return bdrv_preadv(child, offset, &qiov);
101961007b31SStefan Hajnoczi }
102061007b31SStefan Hajnoczi 
1021d9ca2ea2SKevin Wolf int bdrv_pwritev(BdrvChild *child, int64_t offset, QEMUIOVector *qiov)
102261007b31SStefan Hajnoczi {
102361007b31SStefan Hajnoczi     int ret;
102461007b31SStefan Hajnoczi 
1025e293b7a3SKevin Wolf     ret = bdrv_prwv_co(child, offset, qiov, true, 0);
102661007b31SStefan Hajnoczi     if (ret < 0) {
102761007b31SStefan Hajnoczi         return ret;
102861007b31SStefan Hajnoczi     }
102961007b31SStefan Hajnoczi 
103061007b31SStefan Hajnoczi     return qiov->size;
103161007b31SStefan Hajnoczi }
103261007b31SStefan Hajnoczi 
10332e11d756SAlberto Garcia /* Return no. of bytes on success or < 0 on error. Important errors are:
10342e11d756SAlberto Garcia   -EIO         generic I/O error (may happen for all errors)
10352e11d756SAlberto Garcia   -ENOMEDIUM   No media inserted.
10362e11d756SAlberto Garcia   -EINVAL      Invalid offset or number of bytes
10372e11d756SAlberto Garcia   -EACCES      Trying to write a read-only device
10382e11d756SAlberto Garcia */
1039d9ca2ea2SKevin Wolf int bdrv_pwrite(BdrvChild *child, int64_t offset, const void *buf, int bytes)
104061007b31SStefan Hajnoczi {
10410d93ed08SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buf, bytes);
104261007b31SStefan Hajnoczi 
104361007b31SStefan Hajnoczi     if (bytes < 0) {
104461007b31SStefan Hajnoczi         return -EINVAL;
104561007b31SStefan Hajnoczi     }
104661007b31SStefan Hajnoczi 
1047d9ca2ea2SKevin Wolf     return bdrv_pwritev(child, offset, &qiov);
104861007b31SStefan Hajnoczi }
104961007b31SStefan Hajnoczi 
105061007b31SStefan Hajnoczi /*
105161007b31SStefan Hajnoczi  * Writes to the file and ensures that no writes are reordered across this
105261007b31SStefan Hajnoczi  * request (acts as a barrier)
105361007b31SStefan Hajnoczi  *
105461007b31SStefan Hajnoczi  * Returns 0 on success, -errno in error cases.
105561007b31SStefan Hajnoczi  */
1056d9ca2ea2SKevin Wolf int bdrv_pwrite_sync(BdrvChild *child, int64_t offset,
105761007b31SStefan Hajnoczi                      const void *buf, int count)
105861007b31SStefan Hajnoczi {
105961007b31SStefan Hajnoczi     int ret;
106061007b31SStefan Hajnoczi 
1061d9ca2ea2SKevin Wolf     ret = bdrv_pwrite(child, offset, buf, count);
106261007b31SStefan Hajnoczi     if (ret < 0) {
106361007b31SStefan Hajnoczi         return ret;
106461007b31SStefan Hajnoczi     }
106561007b31SStefan Hajnoczi 
1066d9ca2ea2SKevin Wolf     ret = bdrv_flush(child->bs);
1067855a6a93SKevin Wolf     if (ret < 0) {
1068855a6a93SKevin Wolf         return ret;
106961007b31SStefan Hajnoczi     }
107061007b31SStefan Hajnoczi 
107161007b31SStefan Hajnoczi     return 0;
107261007b31SStefan Hajnoczi }
107361007b31SStefan Hajnoczi 
107408844473SKevin Wolf typedef struct CoroutineIOCompletion {
107508844473SKevin Wolf     Coroutine *coroutine;
107608844473SKevin Wolf     int ret;
107708844473SKevin Wolf } CoroutineIOCompletion;
107808844473SKevin Wolf 
107908844473SKevin Wolf static void bdrv_co_io_em_complete(void *opaque, int ret)
108008844473SKevin Wolf {
108108844473SKevin Wolf     CoroutineIOCompletion *co = opaque;
108208844473SKevin Wolf 
108308844473SKevin Wolf     co->ret = ret;
1084b9e413ddSPaolo Bonzini     aio_co_wake(co->coroutine);
108508844473SKevin Wolf }
108608844473SKevin Wolf 
1087166fe960SKevin Wolf static int coroutine_fn bdrv_driver_preadv(BlockDriverState *bs,
1088166fe960SKevin Wolf                                            uint64_t offset, uint64_t bytes,
1089ac850bf0SVladimir Sementsov-Ogievskiy                                            QEMUIOVector *qiov,
1090ac850bf0SVladimir Sementsov-Ogievskiy                                            size_t qiov_offset, int flags)
1091166fe960SKevin Wolf {
1092166fe960SKevin Wolf     BlockDriver *drv = bs->drv;
10933fb06697SKevin Wolf     int64_t sector_num;
10943fb06697SKevin Wolf     unsigned int nb_sectors;
1095ac850bf0SVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
1096ac850bf0SVladimir Sementsov-Ogievskiy     int ret;
10973fb06697SKevin Wolf 
1098fa166538SEric Blake     assert(!(flags & ~BDRV_REQ_MASK));
1099fe0480d6SKevin Wolf     assert(!(flags & BDRV_REQ_NO_FALLBACK));
1100fa166538SEric Blake 
1101d470ad42SMax Reitz     if (!drv) {
1102d470ad42SMax Reitz         return -ENOMEDIUM;
1103d470ad42SMax Reitz     }
1104d470ad42SMax Reitz 
1105ac850bf0SVladimir Sementsov-Ogievskiy     if (drv->bdrv_co_preadv_part) {
1106ac850bf0SVladimir Sementsov-Ogievskiy         return drv->bdrv_co_preadv_part(bs, offset, bytes, qiov, qiov_offset,
1107ac850bf0SVladimir Sementsov-Ogievskiy                                         flags);
1108ac850bf0SVladimir Sementsov-Ogievskiy     }
1109ac850bf0SVladimir Sementsov-Ogievskiy 
1110ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov_offset > 0 || bytes != qiov->size) {
1111ac850bf0SVladimir Sementsov-Ogievskiy         qemu_iovec_init_slice(&local_qiov, qiov, qiov_offset, bytes);
1112ac850bf0SVladimir Sementsov-Ogievskiy         qiov = &local_qiov;
1113ac850bf0SVladimir Sementsov-Ogievskiy     }
1114ac850bf0SVladimir Sementsov-Ogievskiy 
11153fb06697SKevin Wolf     if (drv->bdrv_co_preadv) {
1116ac850bf0SVladimir Sementsov-Ogievskiy         ret = drv->bdrv_co_preadv(bs, offset, bytes, qiov, flags);
1117ac850bf0SVladimir Sementsov-Ogievskiy         goto out;
11183fb06697SKevin Wolf     }
11193fb06697SKevin Wolf 
1120edfab6a0SEric Blake     if (drv->bdrv_aio_preadv) {
112108844473SKevin Wolf         BlockAIOCB *acb;
112208844473SKevin Wolf         CoroutineIOCompletion co = {
112308844473SKevin Wolf             .coroutine = qemu_coroutine_self(),
112408844473SKevin Wolf         };
112508844473SKevin Wolf 
1126e31f6864SEric Blake         acb = drv->bdrv_aio_preadv(bs, offset, bytes, qiov, flags,
112708844473SKevin Wolf                                    bdrv_co_io_em_complete, &co);
112808844473SKevin Wolf         if (acb == NULL) {
1129ac850bf0SVladimir Sementsov-Ogievskiy             ret = -EIO;
1130ac850bf0SVladimir Sementsov-Ogievskiy             goto out;
113108844473SKevin Wolf         } else {
113208844473SKevin Wolf             qemu_coroutine_yield();
1133ac850bf0SVladimir Sementsov-Ogievskiy             ret = co.ret;
1134ac850bf0SVladimir Sementsov-Ogievskiy             goto out;
113508844473SKevin Wolf         }
113608844473SKevin Wolf     }
1137edfab6a0SEric Blake 
1138edfab6a0SEric Blake     sector_num = offset >> BDRV_SECTOR_BITS;
1139edfab6a0SEric Blake     nb_sectors = bytes >> BDRV_SECTOR_BITS;
1140edfab6a0SEric Blake 
11411bbbf32dSNir Soffer     assert(QEMU_IS_ALIGNED(offset, BDRV_SECTOR_SIZE));
11421bbbf32dSNir Soffer     assert(QEMU_IS_ALIGNED(bytes, BDRV_SECTOR_SIZE));
114341ae31e3SAlberto Garcia     assert(bytes <= BDRV_REQUEST_MAX_BYTES);
1144edfab6a0SEric Blake     assert(drv->bdrv_co_readv);
1145edfab6a0SEric Blake 
1146ac850bf0SVladimir Sementsov-Ogievskiy     ret = drv->bdrv_co_readv(bs, sector_num, nb_sectors, qiov);
1147ac850bf0SVladimir Sementsov-Ogievskiy 
1148ac850bf0SVladimir Sementsov-Ogievskiy out:
1149ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov == &local_qiov) {
1150ac850bf0SVladimir Sementsov-Ogievskiy         qemu_iovec_destroy(&local_qiov);
1151ac850bf0SVladimir Sementsov-Ogievskiy     }
1152ac850bf0SVladimir Sementsov-Ogievskiy 
1153ac850bf0SVladimir Sementsov-Ogievskiy     return ret;
1154166fe960SKevin Wolf }
1155166fe960SKevin Wolf 
115678a07294SKevin Wolf static int coroutine_fn bdrv_driver_pwritev(BlockDriverState *bs,
115778a07294SKevin Wolf                                             uint64_t offset, uint64_t bytes,
1158ac850bf0SVladimir Sementsov-Ogievskiy                                             QEMUIOVector *qiov,
1159ac850bf0SVladimir Sementsov-Ogievskiy                                             size_t qiov_offset, int flags)
116078a07294SKevin Wolf {
116178a07294SKevin Wolf     BlockDriver *drv = bs->drv;
11623fb06697SKevin Wolf     int64_t sector_num;
11633fb06697SKevin Wolf     unsigned int nb_sectors;
1164ac850bf0SVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
116578a07294SKevin Wolf     int ret;
116678a07294SKevin Wolf 
1167fa166538SEric Blake     assert(!(flags & ~BDRV_REQ_MASK));
1168fe0480d6SKevin Wolf     assert(!(flags & BDRV_REQ_NO_FALLBACK));
1169fa166538SEric Blake 
1170d470ad42SMax Reitz     if (!drv) {
1171d470ad42SMax Reitz         return -ENOMEDIUM;
1172d470ad42SMax Reitz     }
1173d470ad42SMax Reitz 
1174ac850bf0SVladimir Sementsov-Ogievskiy     if (drv->bdrv_co_pwritev_part) {
1175ac850bf0SVladimir Sementsov-Ogievskiy         ret = drv->bdrv_co_pwritev_part(bs, offset, bytes, qiov, qiov_offset,
1176ac850bf0SVladimir Sementsov-Ogievskiy                                         flags & bs->supported_write_flags);
1177ac850bf0SVladimir Sementsov-Ogievskiy         flags &= ~bs->supported_write_flags;
1178ac850bf0SVladimir Sementsov-Ogievskiy         goto emulate_flags;
1179ac850bf0SVladimir Sementsov-Ogievskiy     }
1180ac850bf0SVladimir Sementsov-Ogievskiy 
1181ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov_offset > 0 || bytes != qiov->size) {
1182ac850bf0SVladimir Sementsov-Ogievskiy         qemu_iovec_init_slice(&local_qiov, qiov, qiov_offset, bytes);
1183ac850bf0SVladimir Sementsov-Ogievskiy         qiov = &local_qiov;
1184ac850bf0SVladimir Sementsov-Ogievskiy     }
1185ac850bf0SVladimir Sementsov-Ogievskiy 
11863fb06697SKevin Wolf     if (drv->bdrv_co_pwritev) {
1187515c2f43SKevin Wolf         ret = drv->bdrv_co_pwritev(bs, offset, bytes, qiov,
1188515c2f43SKevin Wolf                                    flags & bs->supported_write_flags);
1189515c2f43SKevin Wolf         flags &= ~bs->supported_write_flags;
11903fb06697SKevin Wolf         goto emulate_flags;
11913fb06697SKevin Wolf     }
11923fb06697SKevin Wolf 
1193edfab6a0SEric Blake     if (drv->bdrv_aio_pwritev) {
119408844473SKevin Wolf         BlockAIOCB *acb;
119508844473SKevin Wolf         CoroutineIOCompletion co = {
119608844473SKevin Wolf             .coroutine = qemu_coroutine_self(),
119708844473SKevin Wolf         };
119808844473SKevin Wolf 
1199e31f6864SEric Blake         acb = drv->bdrv_aio_pwritev(bs, offset, bytes, qiov,
1200e31f6864SEric Blake                                     flags & bs->supported_write_flags,
120108844473SKevin Wolf                                     bdrv_co_io_em_complete, &co);
1202e31f6864SEric Blake         flags &= ~bs->supported_write_flags;
120308844473SKevin Wolf         if (acb == NULL) {
12043fb06697SKevin Wolf             ret = -EIO;
120508844473SKevin Wolf         } else {
120608844473SKevin Wolf             qemu_coroutine_yield();
12073fb06697SKevin Wolf             ret = co.ret;
120808844473SKevin Wolf         }
1209edfab6a0SEric Blake         goto emulate_flags;
1210edfab6a0SEric Blake     }
1211edfab6a0SEric Blake 
1212edfab6a0SEric Blake     sector_num = offset >> BDRV_SECTOR_BITS;
1213edfab6a0SEric Blake     nb_sectors = bytes >> BDRV_SECTOR_BITS;
1214edfab6a0SEric Blake 
12151bbbf32dSNir Soffer     assert(QEMU_IS_ALIGNED(offset, BDRV_SECTOR_SIZE));
12161bbbf32dSNir Soffer     assert(QEMU_IS_ALIGNED(bytes, BDRV_SECTOR_SIZE));
121741ae31e3SAlberto Garcia     assert(bytes <= BDRV_REQUEST_MAX_BYTES);
1218edfab6a0SEric Blake 
1219e18a58b4SEric Blake     assert(drv->bdrv_co_writev);
1220e18a58b4SEric Blake     ret = drv->bdrv_co_writev(bs, sector_num, nb_sectors, qiov,
1221edfab6a0SEric Blake                               flags & bs->supported_write_flags);
1222edfab6a0SEric Blake     flags &= ~bs->supported_write_flags;
122378a07294SKevin Wolf 
12243fb06697SKevin Wolf emulate_flags:
12254df863f3SEric Blake     if (ret == 0 && (flags & BDRV_REQ_FUA)) {
122678a07294SKevin Wolf         ret = bdrv_co_flush(bs);
122778a07294SKevin Wolf     }
122878a07294SKevin Wolf 
1229ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov == &local_qiov) {
1230ac850bf0SVladimir Sementsov-Ogievskiy         qemu_iovec_destroy(&local_qiov);
1231ac850bf0SVladimir Sementsov-Ogievskiy     }
1232ac850bf0SVladimir Sementsov-Ogievskiy 
123378a07294SKevin Wolf     return ret;
123478a07294SKevin Wolf }
123578a07294SKevin Wolf 
123629a298afSPavel Butsykin static int coroutine_fn
123729a298afSPavel Butsykin bdrv_driver_pwritev_compressed(BlockDriverState *bs, uint64_t offset,
1238ac850bf0SVladimir Sementsov-Ogievskiy                                uint64_t bytes, QEMUIOVector *qiov,
1239ac850bf0SVladimir Sementsov-Ogievskiy                                size_t qiov_offset)
124029a298afSPavel Butsykin {
124129a298afSPavel Butsykin     BlockDriver *drv = bs->drv;
1242ac850bf0SVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
1243ac850bf0SVladimir Sementsov-Ogievskiy     int ret;
124429a298afSPavel Butsykin 
1245d470ad42SMax Reitz     if (!drv) {
1246d470ad42SMax Reitz         return -ENOMEDIUM;
1247d470ad42SMax Reitz     }
1248d470ad42SMax Reitz 
1249ac850bf0SVladimir Sementsov-Ogievskiy     if (!block_driver_can_compress(drv)) {
125029a298afSPavel Butsykin         return -ENOTSUP;
125129a298afSPavel Butsykin     }
125229a298afSPavel Butsykin 
1253ac850bf0SVladimir Sementsov-Ogievskiy     if (drv->bdrv_co_pwritev_compressed_part) {
1254ac850bf0SVladimir Sementsov-Ogievskiy         return drv->bdrv_co_pwritev_compressed_part(bs, offset, bytes,
1255ac850bf0SVladimir Sementsov-Ogievskiy                                                     qiov, qiov_offset);
1256ac850bf0SVladimir Sementsov-Ogievskiy     }
1257ac850bf0SVladimir Sementsov-Ogievskiy 
1258ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov_offset == 0) {
125929a298afSPavel Butsykin         return drv->bdrv_co_pwritev_compressed(bs, offset, bytes, qiov);
126029a298afSPavel Butsykin     }
126129a298afSPavel Butsykin 
1262ac850bf0SVladimir Sementsov-Ogievskiy     qemu_iovec_init_slice(&local_qiov, qiov, qiov_offset, bytes);
1263ac850bf0SVladimir Sementsov-Ogievskiy     ret = drv->bdrv_co_pwritev_compressed(bs, offset, bytes, &local_qiov);
1264ac850bf0SVladimir Sementsov-Ogievskiy     qemu_iovec_destroy(&local_qiov);
1265ac850bf0SVladimir Sementsov-Ogievskiy 
1266ac850bf0SVladimir Sementsov-Ogievskiy     return ret;
1267ac850bf0SVladimir Sementsov-Ogievskiy }
1268ac850bf0SVladimir Sementsov-Ogievskiy 
126985c97ca7SKevin Wolf static int coroutine_fn bdrv_co_do_copy_on_readv(BdrvChild *child,
12703299e5ecSVladimir Sementsov-Ogievskiy         int64_t offset, unsigned int bytes, QEMUIOVector *qiov,
12711143ec5eSVladimir Sementsov-Ogievskiy         size_t qiov_offset, int flags)
127261007b31SStefan Hajnoczi {
127385c97ca7SKevin Wolf     BlockDriverState *bs = child->bs;
127485c97ca7SKevin Wolf 
127561007b31SStefan Hajnoczi     /* Perform I/O through a temporary buffer so that users who scribble over
127661007b31SStefan Hajnoczi      * their read buffer while the operation is in progress do not end up
127761007b31SStefan Hajnoczi      * modifying the image file.  This is critical for zero-copy guest I/O
127861007b31SStefan Hajnoczi      * where anything might happen inside guest memory.
127961007b31SStefan Hajnoczi      */
12802275cc90SVladimir Sementsov-Ogievskiy     void *bounce_buffer = NULL;
128161007b31SStefan Hajnoczi 
128261007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
1283244483e6SKevin Wolf     int64_t cluster_offset;
12847cfd5275SEric Blake     int64_t cluster_bytes;
128561007b31SStefan Hajnoczi     size_t skip_bytes;
128661007b31SStefan Hajnoczi     int ret;
1287cb2e2878SEric Blake     int max_transfer = MIN_NON_ZERO(bs->bl.max_transfer,
1288cb2e2878SEric Blake                                     BDRV_REQUEST_MAX_BYTES);
1289cb2e2878SEric Blake     unsigned int progress = 0;
12908644476eSMax Reitz     bool skip_write;
129161007b31SStefan Hajnoczi 
1292d470ad42SMax Reitz     if (!drv) {
1293d470ad42SMax Reitz         return -ENOMEDIUM;
1294d470ad42SMax Reitz     }
1295d470ad42SMax Reitz 
12968644476eSMax Reitz     /*
12978644476eSMax Reitz      * Do not write anything when the BDS is inactive.  That is not
12988644476eSMax Reitz      * allowed, and it would not help.
12998644476eSMax Reitz      */
13008644476eSMax Reitz     skip_write = (bs->open_flags & BDRV_O_INACTIVE);
13018644476eSMax Reitz 
13021bf03e66SKevin Wolf     /* FIXME We cannot require callers to have write permissions when all they
13031bf03e66SKevin Wolf      * are doing is a read request. If we did things right, write permissions
13041bf03e66SKevin Wolf      * would be obtained anyway, but internally by the copy-on-read code. As
1305765d9df9SEric Blake      * long as it is implemented here rather than in a separate filter driver,
13061bf03e66SKevin Wolf      * the copy-on-read code doesn't have its own BdrvChild, however, for which
13071bf03e66SKevin Wolf      * it could request permissions. Therefore we have to bypass the permission
13081bf03e66SKevin Wolf      * system for the moment. */
13091bf03e66SKevin Wolf     // assert(child->perm & (BLK_PERM_WRITE_UNCHANGED | BLK_PERM_WRITE));
1310afa4b293SKevin Wolf 
131161007b31SStefan Hajnoczi     /* Cover entire cluster so no additional backing file I/O is required when
1312cb2e2878SEric Blake      * allocating cluster in the image file.  Note that this value may exceed
1313cb2e2878SEric Blake      * BDRV_REQUEST_MAX_BYTES (even when the original read did not), which
1314cb2e2878SEric Blake      * is one reason we loop rather than doing it all at once.
131561007b31SStefan Hajnoczi      */
1316244483e6SKevin Wolf     bdrv_round_to_clusters(bs, offset, bytes, &cluster_offset, &cluster_bytes);
1317cb2e2878SEric Blake     skip_bytes = offset - cluster_offset;
131861007b31SStefan Hajnoczi 
1319244483e6SKevin Wolf     trace_bdrv_co_do_copy_on_readv(bs, offset, bytes,
1320244483e6SKevin Wolf                                    cluster_offset, cluster_bytes);
132161007b31SStefan Hajnoczi 
1322cb2e2878SEric Blake     while (cluster_bytes) {
1323cb2e2878SEric Blake         int64_t pnum;
132461007b31SStefan Hajnoczi 
13258644476eSMax Reitz         if (skip_write) {
13268644476eSMax Reitz             ret = 1; /* "already allocated", so nothing will be copied */
13278644476eSMax Reitz             pnum = MIN(cluster_bytes, max_transfer);
13288644476eSMax Reitz         } else {
1329cb2e2878SEric Blake             ret = bdrv_is_allocated(bs, cluster_offset,
1330cb2e2878SEric Blake                                     MIN(cluster_bytes, max_transfer), &pnum);
1331cb2e2878SEric Blake             if (ret < 0) {
13328644476eSMax Reitz                 /*
13338644476eSMax Reitz                  * Safe to treat errors in querying allocation as if
1334cb2e2878SEric Blake                  * unallocated; we'll probably fail again soon on the
1335cb2e2878SEric Blake                  * read, but at least that will set a decent errno.
1336cb2e2878SEric Blake                  */
1337cb2e2878SEric Blake                 pnum = MIN(cluster_bytes, max_transfer);
1338cb2e2878SEric Blake             }
1339cb2e2878SEric Blake 
1340b0ddcbbbSKevin Wolf             /* Stop at EOF if the image ends in the middle of the cluster */
1341b0ddcbbbSKevin Wolf             if (ret == 0 && pnum == 0) {
1342b0ddcbbbSKevin Wolf                 assert(progress >= bytes);
1343b0ddcbbbSKevin Wolf                 break;
1344b0ddcbbbSKevin Wolf             }
1345b0ddcbbbSKevin Wolf 
1346cb2e2878SEric Blake             assert(skip_bytes < pnum);
13478644476eSMax Reitz         }
1348cb2e2878SEric Blake 
1349cb2e2878SEric Blake         if (ret <= 0) {
13501143ec5eSVladimir Sementsov-Ogievskiy             QEMUIOVector local_qiov;
13511143ec5eSVladimir Sementsov-Ogievskiy 
1352cb2e2878SEric Blake             /* Must copy-on-read; use the bounce buffer */
13530d93ed08SVladimir Sementsov-Ogievskiy             pnum = MIN(pnum, MAX_BOUNCE_BUFFER);
13542275cc90SVladimir Sementsov-Ogievskiy             if (!bounce_buffer) {
13552275cc90SVladimir Sementsov-Ogievskiy                 int64_t max_we_need = MAX(pnum, cluster_bytes - pnum);
13562275cc90SVladimir Sementsov-Ogievskiy                 int64_t max_allowed = MIN(max_transfer, MAX_BOUNCE_BUFFER);
13572275cc90SVladimir Sementsov-Ogievskiy                 int64_t bounce_buffer_len = MIN(max_we_need, max_allowed);
13582275cc90SVladimir Sementsov-Ogievskiy 
13592275cc90SVladimir Sementsov-Ogievskiy                 bounce_buffer = qemu_try_blockalign(bs, bounce_buffer_len);
13602275cc90SVladimir Sementsov-Ogievskiy                 if (!bounce_buffer) {
13612275cc90SVladimir Sementsov-Ogievskiy                     ret = -ENOMEM;
13622275cc90SVladimir Sementsov-Ogievskiy                     goto err;
13632275cc90SVladimir Sementsov-Ogievskiy                 }
13642275cc90SVladimir Sementsov-Ogievskiy             }
13650d93ed08SVladimir Sementsov-Ogievskiy             qemu_iovec_init_buf(&local_qiov, bounce_buffer, pnum);
1366cb2e2878SEric Blake 
1367cb2e2878SEric Blake             ret = bdrv_driver_preadv(bs, cluster_offset, pnum,
1368ac850bf0SVladimir Sementsov-Ogievskiy                                      &local_qiov, 0, 0);
136961007b31SStefan Hajnoczi             if (ret < 0) {
137061007b31SStefan Hajnoczi                 goto err;
137161007b31SStefan Hajnoczi             }
137261007b31SStefan Hajnoczi 
1373d855ebcdSEric Blake             bdrv_debug_event(bs, BLKDBG_COR_WRITE);
1374c1499a5eSEric Blake             if (drv->bdrv_co_pwrite_zeroes &&
1375cb2e2878SEric Blake                 buffer_is_zero(bounce_buffer, pnum)) {
1376a604fa2bSEric Blake                 /* FIXME: Should we (perhaps conditionally) be setting
1377a604fa2bSEric Blake                  * BDRV_REQ_MAY_UNMAP, if it will allow for a sparser copy
1378a604fa2bSEric Blake                  * that still correctly reads as zero? */
13797adcf59fSMax Reitz                 ret = bdrv_co_do_pwrite_zeroes(bs, cluster_offset, pnum,
13807adcf59fSMax Reitz                                                BDRV_REQ_WRITE_UNCHANGED);
138161007b31SStefan Hajnoczi             } else {
1382cb2e2878SEric Blake                 /* This does not change the data on the disk, it is not
1383cb2e2878SEric Blake                  * necessary to flush even in cache=writethrough mode.
138461007b31SStefan Hajnoczi                  */
1385cb2e2878SEric Blake                 ret = bdrv_driver_pwritev(bs, cluster_offset, pnum,
1386ac850bf0SVladimir Sementsov-Ogievskiy                                           &local_qiov, 0,
13877adcf59fSMax Reitz                                           BDRV_REQ_WRITE_UNCHANGED);
138861007b31SStefan Hajnoczi             }
138961007b31SStefan Hajnoczi 
139061007b31SStefan Hajnoczi             if (ret < 0) {
1391cb2e2878SEric Blake                 /* It might be okay to ignore write errors for guest
1392cb2e2878SEric Blake                  * requests.  If this is a deliberate copy-on-read
1393cb2e2878SEric Blake                  * then we don't want to ignore the error.  Simply
1394cb2e2878SEric Blake                  * report it in all cases.
139561007b31SStefan Hajnoczi                  */
139661007b31SStefan Hajnoczi                 goto err;
139761007b31SStefan Hajnoczi             }
139861007b31SStefan Hajnoczi 
13993299e5ecSVladimir Sementsov-Ogievskiy             if (!(flags & BDRV_REQ_PREFETCH)) {
14001143ec5eSVladimir Sementsov-Ogievskiy                 qemu_iovec_from_buf(qiov, qiov_offset + progress,
14011143ec5eSVladimir Sementsov-Ogievskiy                                     bounce_buffer + skip_bytes,
14024ab78b19SVladimir Sementsov-Ogievskiy                                     MIN(pnum - skip_bytes, bytes - progress));
14033299e5ecSVladimir Sementsov-Ogievskiy             }
14043299e5ecSVladimir Sementsov-Ogievskiy         } else if (!(flags & BDRV_REQ_PREFETCH)) {
1405cb2e2878SEric Blake             /* Read directly into the destination */
14061143ec5eSVladimir Sementsov-Ogievskiy             ret = bdrv_driver_preadv(bs, offset + progress,
14071143ec5eSVladimir Sementsov-Ogievskiy                                      MIN(pnum - skip_bytes, bytes - progress),
14081143ec5eSVladimir Sementsov-Ogievskiy                                      qiov, qiov_offset + progress, 0);
1409cb2e2878SEric Blake             if (ret < 0) {
1410cb2e2878SEric Blake                 goto err;
1411cb2e2878SEric Blake             }
1412cb2e2878SEric Blake         }
1413cb2e2878SEric Blake 
1414cb2e2878SEric Blake         cluster_offset += pnum;
1415cb2e2878SEric Blake         cluster_bytes -= pnum;
1416cb2e2878SEric Blake         progress += pnum - skip_bytes;
1417cb2e2878SEric Blake         skip_bytes = 0;
1418cb2e2878SEric Blake     }
1419cb2e2878SEric Blake     ret = 0;
142061007b31SStefan Hajnoczi 
142161007b31SStefan Hajnoczi err:
142261007b31SStefan Hajnoczi     qemu_vfree(bounce_buffer);
142361007b31SStefan Hajnoczi     return ret;
142461007b31SStefan Hajnoczi }
142561007b31SStefan Hajnoczi 
142661007b31SStefan Hajnoczi /*
142761007b31SStefan Hajnoczi  * Forwards an already correctly aligned request to the BlockDriver. This
14281a62d0acSEric Blake  * handles copy on read, zeroing after EOF, and fragmentation of large
14291a62d0acSEric Blake  * reads; any other features must be implemented by the caller.
143061007b31SStefan Hajnoczi  */
143185c97ca7SKevin Wolf static int coroutine_fn bdrv_aligned_preadv(BdrvChild *child,
143261007b31SStefan Hajnoczi     BdrvTrackedRequest *req, int64_t offset, unsigned int bytes,
143365cd4424SVladimir Sementsov-Ogievskiy     int64_t align, QEMUIOVector *qiov, size_t qiov_offset, int flags)
143461007b31SStefan Hajnoczi {
143585c97ca7SKevin Wolf     BlockDriverState *bs = child->bs;
1436c9d20029SKevin Wolf     int64_t total_bytes, max_bytes;
14371a62d0acSEric Blake     int ret = 0;
14381a62d0acSEric Blake     uint64_t bytes_remaining = bytes;
14391a62d0acSEric Blake     int max_transfer;
144061007b31SStefan Hajnoczi 
144149c07526SKevin Wolf     assert(is_power_of_2(align));
144249c07526SKevin Wolf     assert((offset & (align - 1)) == 0);
144349c07526SKevin Wolf     assert((bytes & (align - 1)) == 0);
1444abb06c5aSDaniel P. Berrange     assert((bs->open_flags & BDRV_O_NO_IO) == 0);
14451a62d0acSEric Blake     max_transfer = QEMU_ALIGN_DOWN(MIN_NON_ZERO(bs->bl.max_transfer, INT_MAX),
14461a62d0acSEric Blake                                    align);
1447a604fa2bSEric Blake 
1448a604fa2bSEric Blake     /* TODO: We would need a per-BDS .supported_read_flags and
1449a604fa2bSEric Blake      * potential fallback support, if we ever implement any read flags
1450a604fa2bSEric Blake      * to pass through to drivers.  For now, there aren't any
1451a604fa2bSEric Blake      * passthrough flags.  */
1452c53cb427SPaolo Bonzini     assert(!(flags & ~(BDRV_REQ_COPY_ON_READ | BDRV_REQ_PREFETCH)));
145361007b31SStefan Hajnoczi 
145461007b31SStefan Hajnoczi     /* Handle Copy on Read and associated serialisation */
145561007b31SStefan Hajnoczi     if (flags & BDRV_REQ_COPY_ON_READ) {
145661007b31SStefan Hajnoczi         /* If we touch the same cluster it counts as an overlap.  This
145761007b31SStefan Hajnoczi          * guarantees that allocating writes will be serialized and not race
145861007b31SStefan Hajnoczi          * with each other for the same cluster.  For example, in copy-on-read
145961007b31SStefan Hajnoczi          * it ensures that the CoR read and write operations are atomic and
146061007b31SStefan Hajnoczi          * guest writes cannot interleave between them. */
1461304d9d7fSMax Reitz         bdrv_mark_request_serialising(req, bdrv_get_cluster_size(bs));
146218fbd0deSPaolo Bonzini     } else {
1463304d9d7fSMax Reitz         bdrv_wait_serialising_requests(req);
146418fbd0deSPaolo Bonzini     }
146561007b31SStefan Hajnoczi 
146661007b31SStefan Hajnoczi     if (flags & BDRV_REQ_COPY_ON_READ) {
1467d6a644bbSEric Blake         int64_t pnum;
146861007b31SStefan Hajnoczi 
146988e63df2SEric Blake         ret = bdrv_is_allocated(bs, offset, bytes, &pnum);
147061007b31SStefan Hajnoczi         if (ret < 0) {
147161007b31SStefan Hajnoczi             goto out;
147261007b31SStefan Hajnoczi         }
147361007b31SStefan Hajnoczi 
147488e63df2SEric Blake         if (!ret || pnum != bytes) {
147565cd4424SVladimir Sementsov-Ogievskiy             ret = bdrv_co_do_copy_on_readv(child, offset, bytes,
147665cd4424SVladimir Sementsov-Ogievskiy                                            qiov, qiov_offset, flags);
14773299e5ecSVladimir Sementsov-Ogievskiy             goto out;
14783299e5ecSVladimir Sementsov-Ogievskiy         } else if (flags & BDRV_REQ_PREFETCH) {
147961007b31SStefan Hajnoczi             goto out;
148061007b31SStefan Hajnoczi         }
148161007b31SStefan Hajnoczi     }
148261007b31SStefan Hajnoczi 
14831a62d0acSEric Blake     /* Forward the request to the BlockDriver, possibly fragmenting it */
148449c07526SKevin Wolf     total_bytes = bdrv_getlength(bs);
148549c07526SKevin Wolf     if (total_bytes < 0) {
148649c07526SKevin Wolf         ret = total_bytes;
148761007b31SStefan Hajnoczi         goto out;
148861007b31SStefan Hajnoczi     }
148961007b31SStefan Hajnoczi 
149049c07526SKevin Wolf     max_bytes = ROUND_UP(MAX(0, total_bytes - offset), align);
14911a62d0acSEric Blake     if (bytes <= max_bytes && bytes <= max_transfer) {
149265cd4424SVladimir Sementsov-Ogievskiy         ret = bdrv_driver_preadv(bs, offset, bytes, qiov, qiov_offset, 0);
14931a62d0acSEric Blake         goto out;
149461007b31SStefan Hajnoczi     }
149561007b31SStefan Hajnoczi 
14961a62d0acSEric Blake     while (bytes_remaining) {
14971a62d0acSEric Blake         int num;
14981a62d0acSEric Blake 
14991a62d0acSEric Blake         if (max_bytes) {
15001a62d0acSEric Blake             num = MIN(bytes_remaining, MIN(max_bytes, max_transfer));
15011a62d0acSEric Blake             assert(num);
15021a62d0acSEric Blake 
15031a62d0acSEric Blake             ret = bdrv_driver_preadv(bs, offset + bytes - bytes_remaining,
150465cd4424SVladimir Sementsov-Ogievskiy                                      num, qiov, bytes - bytes_remaining, 0);
15051a62d0acSEric Blake             max_bytes -= num;
15061a62d0acSEric Blake         } else {
15071a62d0acSEric Blake             num = bytes_remaining;
15081a62d0acSEric Blake             ret = qemu_iovec_memset(qiov, bytes - bytes_remaining, 0,
15091a62d0acSEric Blake                                     bytes_remaining);
15101a62d0acSEric Blake         }
15111a62d0acSEric Blake         if (ret < 0) {
15121a62d0acSEric Blake             goto out;
15131a62d0acSEric Blake         }
15141a62d0acSEric Blake         bytes_remaining -= num;
151561007b31SStefan Hajnoczi     }
151661007b31SStefan Hajnoczi 
151761007b31SStefan Hajnoczi out:
15181a62d0acSEric Blake     return ret < 0 ? ret : 0;
151961007b31SStefan Hajnoczi }
152061007b31SStefan Hajnoczi 
152161007b31SStefan Hajnoczi /*
15227a3f542fSVladimir Sementsov-Ogievskiy  * Request padding
15237a3f542fSVladimir Sementsov-Ogievskiy  *
15247a3f542fSVladimir Sementsov-Ogievskiy  *  |<---- align ----->|                     |<----- align ---->|
15257a3f542fSVladimir Sementsov-Ogievskiy  *  |<- head ->|<------------- bytes ------------->|<-- tail -->|
15267a3f542fSVladimir Sementsov-Ogievskiy  *  |          |       |                     |     |            |
15277a3f542fSVladimir Sementsov-Ogievskiy  * -*----------$-------*-------- ... --------*-----$------------*---
15287a3f542fSVladimir Sementsov-Ogievskiy  *  |          |       |                     |     |            |
15297a3f542fSVladimir Sementsov-Ogievskiy  *  |          offset  |                     |     end          |
15307a3f542fSVladimir Sementsov-Ogievskiy  *  ALIGN_DOWN(offset) ALIGN_UP(offset)      ALIGN_DOWN(end)   ALIGN_UP(end)
15317a3f542fSVladimir Sementsov-Ogievskiy  *  [buf   ... )                             [tail_buf          )
15327a3f542fSVladimir Sementsov-Ogievskiy  *
15337a3f542fSVladimir Sementsov-Ogievskiy  * @buf is an aligned allocation needed to store @head and @tail paddings. @head
15347a3f542fSVladimir Sementsov-Ogievskiy  * is placed at the beginning of @buf and @tail at the @end.
15357a3f542fSVladimir Sementsov-Ogievskiy  *
15367a3f542fSVladimir Sementsov-Ogievskiy  * @tail_buf is a pointer to sub-buffer, corresponding to align-sized chunk
15377a3f542fSVladimir Sementsov-Ogievskiy  * around tail, if tail exists.
15387a3f542fSVladimir Sementsov-Ogievskiy  *
15397a3f542fSVladimir Sementsov-Ogievskiy  * @merge_reads is true for small requests,
15407a3f542fSVladimir Sementsov-Ogievskiy  * if @buf_len == @head + bytes + @tail. In this case it is possible that both
15417a3f542fSVladimir Sementsov-Ogievskiy  * head and tail exist but @buf_len == align and @tail_buf == @buf.
154261007b31SStefan Hajnoczi  */
15437a3f542fSVladimir Sementsov-Ogievskiy typedef struct BdrvRequestPadding {
15447a3f542fSVladimir Sementsov-Ogievskiy     uint8_t *buf;
15457a3f542fSVladimir Sementsov-Ogievskiy     size_t buf_len;
15467a3f542fSVladimir Sementsov-Ogievskiy     uint8_t *tail_buf;
15477a3f542fSVladimir Sementsov-Ogievskiy     size_t head;
15487a3f542fSVladimir Sementsov-Ogievskiy     size_t tail;
15497a3f542fSVladimir Sementsov-Ogievskiy     bool merge_reads;
15507a3f542fSVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
15517a3f542fSVladimir Sementsov-Ogievskiy } BdrvRequestPadding;
15527a3f542fSVladimir Sementsov-Ogievskiy 
15537a3f542fSVladimir Sementsov-Ogievskiy static bool bdrv_init_padding(BlockDriverState *bs,
15547a3f542fSVladimir Sementsov-Ogievskiy                               int64_t offset, int64_t bytes,
15557a3f542fSVladimir Sementsov-Ogievskiy                               BdrvRequestPadding *pad)
15567a3f542fSVladimir Sementsov-Ogievskiy {
15577a3f542fSVladimir Sementsov-Ogievskiy     uint64_t align = bs->bl.request_alignment;
15587a3f542fSVladimir Sementsov-Ogievskiy     size_t sum;
15597a3f542fSVladimir Sementsov-Ogievskiy 
15607a3f542fSVladimir Sementsov-Ogievskiy     memset(pad, 0, sizeof(*pad));
15617a3f542fSVladimir Sementsov-Ogievskiy 
15627a3f542fSVladimir Sementsov-Ogievskiy     pad->head = offset & (align - 1);
15637a3f542fSVladimir Sementsov-Ogievskiy     pad->tail = ((offset + bytes) & (align - 1));
15647a3f542fSVladimir Sementsov-Ogievskiy     if (pad->tail) {
15657a3f542fSVladimir Sementsov-Ogievskiy         pad->tail = align - pad->tail;
15667a3f542fSVladimir Sementsov-Ogievskiy     }
15677a3f542fSVladimir Sementsov-Ogievskiy 
1568ac9d00bfSVladimir Sementsov-Ogievskiy     if (!pad->head && !pad->tail) {
15697a3f542fSVladimir Sementsov-Ogievskiy         return false;
15707a3f542fSVladimir Sementsov-Ogievskiy     }
15717a3f542fSVladimir Sementsov-Ogievskiy 
1572ac9d00bfSVladimir Sementsov-Ogievskiy     assert(bytes); /* Nothing good in aligning zero-length requests */
1573ac9d00bfSVladimir Sementsov-Ogievskiy 
15747a3f542fSVladimir Sementsov-Ogievskiy     sum = pad->head + bytes + pad->tail;
15757a3f542fSVladimir Sementsov-Ogievskiy     pad->buf_len = (sum > align && pad->head && pad->tail) ? 2 * align : align;
15767a3f542fSVladimir Sementsov-Ogievskiy     pad->buf = qemu_blockalign(bs, pad->buf_len);
15777a3f542fSVladimir Sementsov-Ogievskiy     pad->merge_reads = sum == pad->buf_len;
15787a3f542fSVladimir Sementsov-Ogievskiy     if (pad->tail) {
15797a3f542fSVladimir Sementsov-Ogievskiy         pad->tail_buf = pad->buf + pad->buf_len - align;
15807a3f542fSVladimir Sementsov-Ogievskiy     }
15817a3f542fSVladimir Sementsov-Ogievskiy 
15827a3f542fSVladimir Sementsov-Ogievskiy     return true;
15837a3f542fSVladimir Sementsov-Ogievskiy }
15847a3f542fSVladimir Sementsov-Ogievskiy 
15857a3f542fSVladimir Sementsov-Ogievskiy static int bdrv_padding_rmw_read(BdrvChild *child,
15867a3f542fSVladimir Sementsov-Ogievskiy                                  BdrvTrackedRequest *req,
15877a3f542fSVladimir Sementsov-Ogievskiy                                  BdrvRequestPadding *pad,
15887a3f542fSVladimir Sementsov-Ogievskiy                                  bool zero_middle)
15897a3f542fSVladimir Sementsov-Ogievskiy {
15907a3f542fSVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
15917a3f542fSVladimir Sementsov-Ogievskiy     BlockDriverState *bs = child->bs;
15927a3f542fSVladimir Sementsov-Ogievskiy     uint64_t align = bs->bl.request_alignment;
15937a3f542fSVladimir Sementsov-Ogievskiy     int ret;
15947a3f542fSVladimir Sementsov-Ogievskiy 
15957a3f542fSVladimir Sementsov-Ogievskiy     assert(req->serialising && pad->buf);
15967a3f542fSVladimir Sementsov-Ogievskiy 
15977a3f542fSVladimir Sementsov-Ogievskiy     if (pad->head || pad->merge_reads) {
15987a3f542fSVladimir Sementsov-Ogievskiy         uint64_t bytes = pad->merge_reads ? pad->buf_len : align;
15997a3f542fSVladimir Sementsov-Ogievskiy 
16007a3f542fSVladimir Sementsov-Ogievskiy         qemu_iovec_init_buf(&local_qiov, pad->buf, bytes);
16017a3f542fSVladimir Sementsov-Ogievskiy 
16027a3f542fSVladimir Sementsov-Ogievskiy         if (pad->head) {
16037a3f542fSVladimir Sementsov-Ogievskiy             bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_HEAD);
16047a3f542fSVladimir Sementsov-Ogievskiy         }
16057a3f542fSVladimir Sementsov-Ogievskiy         if (pad->merge_reads && pad->tail) {
16067a3f542fSVladimir Sementsov-Ogievskiy             bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_TAIL);
16077a3f542fSVladimir Sementsov-Ogievskiy         }
16087a3f542fSVladimir Sementsov-Ogievskiy         ret = bdrv_aligned_preadv(child, req, req->overlap_offset, bytes,
160965cd4424SVladimir Sementsov-Ogievskiy                                   align, &local_qiov, 0, 0);
16107a3f542fSVladimir Sementsov-Ogievskiy         if (ret < 0) {
16117a3f542fSVladimir Sementsov-Ogievskiy             return ret;
16127a3f542fSVladimir Sementsov-Ogievskiy         }
16137a3f542fSVladimir Sementsov-Ogievskiy         if (pad->head) {
16147a3f542fSVladimir Sementsov-Ogievskiy             bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_AFTER_HEAD);
16157a3f542fSVladimir Sementsov-Ogievskiy         }
16167a3f542fSVladimir Sementsov-Ogievskiy         if (pad->merge_reads && pad->tail) {
16177a3f542fSVladimir Sementsov-Ogievskiy             bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_AFTER_TAIL);
16187a3f542fSVladimir Sementsov-Ogievskiy         }
16197a3f542fSVladimir Sementsov-Ogievskiy 
16207a3f542fSVladimir Sementsov-Ogievskiy         if (pad->merge_reads) {
16217a3f542fSVladimir Sementsov-Ogievskiy             goto zero_mem;
16227a3f542fSVladimir Sementsov-Ogievskiy         }
16237a3f542fSVladimir Sementsov-Ogievskiy     }
16247a3f542fSVladimir Sementsov-Ogievskiy 
16257a3f542fSVladimir Sementsov-Ogievskiy     if (pad->tail) {
16267a3f542fSVladimir Sementsov-Ogievskiy         qemu_iovec_init_buf(&local_qiov, pad->tail_buf, align);
16277a3f542fSVladimir Sementsov-Ogievskiy 
16287a3f542fSVladimir Sementsov-Ogievskiy         bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_TAIL);
16297a3f542fSVladimir Sementsov-Ogievskiy         ret = bdrv_aligned_preadv(
16307a3f542fSVladimir Sementsov-Ogievskiy                 child, req,
16317a3f542fSVladimir Sementsov-Ogievskiy                 req->overlap_offset + req->overlap_bytes - align,
163265cd4424SVladimir Sementsov-Ogievskiy                 align, align, &local_qiov, 0, 0);
16337a3f542fSVladimir Sementsov-Ogievskiy         if (ret < 0) {
16347a3f542fSVladimir Sementsov-Ogievskiy             return ret;
16357a3f542fSVladimir Sementsov-Ogievskiy         }
16367a3f542fSVladimir Sementsov-Ogievskiy         bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_AFTER_TAIL);
16377a3f542fSVladimir Sementsov-Ogievskiy     }
16387a3f542fSVladimir Sementsov-Ogievskiy 
16397a3f542fSVladimir Sementsov-Ogievskiy zero_mem:
16407a3f542fSVladimir Sementsov-Ogievskiy     if (zero_middle) {
16417a3f542fSVladimir Sementsov-Ogievskiy         memset(pad->buf + pad->head, 0, pad->buf_len - pad->head - pad->tail);
16427a3f542fSVladimir Sementsov-Ogievskiy     }
16437a3f542fSVladimir Sementsov-Ogievskiy 
16447a3f542fSVladimir Sementsov-Ogievskiy     return 0;
16457a3f542fSVladimir Sementsov-Ogievskiy }
16467a3f542fSVladimir Sementsov-Ogievskiy 
16477a3f542fSVladimir Sementsov-Ogievskiy static void bdrv_padding_destroy(BdrvRequestPadding *pad)
16487a3f542fSVladimir Sementsov-Ogievskiy {
16497a3f542fSVladimir Sementsov-Ogievskiy     if (pad->buf) {
16507a3f542fSVladimir Sementsov-Ogievskiy         qemu_vfree(pad->buf);
16517a3f542fSVladimir Sementsov-Ogievskiy         qemu_iovec_destroy(&pad->local_qiov);
16527a3f542fSVladimir Sementsov-Ogievskiy     }
16537a3f542fSVladimir Sementsov-Ogievskiy }
16547a3f542fSVladimir Sementsov-Ogievskiy 
16557a3f542fSVladimir Sementsov-Ogievskiy /*
16567a3f542fSVladimir Sementsov-Ogievskiy  * bdrv_pad_request
16577a3f542fSVladimir Sementsov-Ogievskiy  *
16587a3f542fSVladimir Sementsov-Ogievskiy  * Exchange request parameters with padded request if needed. Don't include RMW
16597a3f542fSVladimir Sementsov-Ogievskiy  * read of padding, bdrv_padding_rmw_read() should be called separately if
16607a3f542fSVladimir Sementsov-Ogievskiy  * needed.
16617a3f542fSVladimir Sementsov-Ogievskiy  *
16627a3f542fSVladimir Sementsov-Ogievskiy  * All parameters except @bs are in-out: they represent original request at
16637a3f542fSVladimir Sementsov-Ogievskiy  * function call and padded (if padding needed) at function finish.
16647a3f542fSVladimir Sementsov-Ogievskiy  *
16657a3f542fSVladimir Sementsov-Ogievskiy  * Function always succeeds.
16667a3f542fSVladimir Sementsov-Ogievskiy  */
16671acc3466SVladimir Sementsov-Ogievskiy static bool bdrv_pad_request(BlockDriverState *bs,
16681acc3466SVladimir Sementsov-Ogievskiy                              QEMUIOVector **qiov, size_t *qiov_offset,
16697a3f542fSVladimir Sementsov-Ogievskiy                              int64_t *offset, unsigned int *bytes,
16707a3f542fSVladimir Sementsov-Ogievskiy                              BdrvRequestPadding *pad)
16717a3f542fSVladimir Sementsov-Ogievskiy {
16727a3f542fSVladimir Sementsov-Ogievskiy     if (!bdrv_init_padding(bs, *offset, *bytes, pad)) {
16737a3f542fSVladimir Sementsov-Ogievskiy         return false;
16747a3f542fSVladimir Sementsov-Ogievskiy     }
16757a3f542fSVladimir Sementsov-Ogievskiy 
16767a3f542fSVladimir Sementsov-Ogievskiy     qemu_iovec_init_extended(&pad->local_qiov, pad->buf, pad->head,
16771acc3466SVladimir Sementsov-Ogievskiy                              *qiov, *qiov_offset, *bytes,
16787a3f542fSVladimir Sementsov-Ogievskiy                              pad->buf + pad->buf_len - pad->tail, pad->tail);
16797a3f542fSVladimir Sementsov-Ogievskiy     *bytes += pad->head + pad->tail;
16807a3f542fSVladimir Sementsov-Ogievskiy     *offset -= pad->head;
16817a3f542fSVladimir Sementsov-Ogievskiy     *qiov = &pad->local_qiov;
16821acc3466SVladimir Sementsov-Ogievskiy     *qiov_offset = 0;
16837a3f542fSVladimir Sementsov-Ogievskiy 
16847a3f542fSVladimir Sementsov-Ogievskiy     return true;
16857a3f542fSVladimir Sementsov-Ogievskiy }
16867a3f542fSVladimir Sementsov-Ogievskiy 
1687a03ef88fSKevin Wolf int coroutine_fn bdrv_co_preadv(BdrvChild *child,
168861007b31SStefan Hajnoczi     int64_t offset, unsigned int bytes, QEMUIOVector *qiov,
168961007b31SStefan Hajnoczi     BdrvRequestFlags flags)
169061007b31SStefan Hajnoczi {
16911acc3466SVladimir Sementsov-Ogievskiy     return bdrv_co_preadv_part(child, offset, bytes, qiov, 0, flags);
16921acc3466SVladimir Sementsov-Ogievskiy }
16931acc3466SVladimir Sementsov-Ogievskiy 
16941acc3466SVladimir Sementsov-Ogievskiy int coroutine_fn bdrv_co_preadv_part(BdrvChild *child,
16951acc3466SVladimir Sementsov-Ogievskiy     int64_t offset, unsigned int bytes,
16961acc3466SVladimir Sementsov-Ogievskiy     QEMUIOVector *qiov, size_t qiov_offset,
16971acc3466SVladimir Sementsov-Ogievskiy     BdrvRequestFlags flags)
16981acc3466SVladimir Sementsov-Ogievskiy {
1699a03ef88fSKevin Wolf     BlockDriverState *bs = child->bs;
170061007b31SStefan Hajnoczi     BdrvTrackedRequest req;
17017a3f542fSVladimir Sementsov-Ogievskiy     BdrvRequestPadding pad;
170261007b31SStefan Hajnoczi     int ret;
170361007b31SStefan Hajnoczi 
17047a3f542fSVladimir Sementsov-Ogievskiy     trace_bdrv_co_preadv(bs, offset, bytes, flags);
170561007b31SStefan Hajnoczi 
170661007b31SStefan Hajnoczi     ret = bdrv_check_byte_request(bs, offset, bytes);
170761007b31SStefan Hajnoczi     if (ret < 0) {
170861007b31SStefan Hajnoczi         return ret;
170961007b31SStefan Hajnoczi     }
171061007b31SStefan Hajnoczi 
1711ac9d00bfSVladimir Sementsov-Ogievskiy     if (bytes == 0 && !QEMU_IS_ALIGNED(offset, bs->bl.request_alignment)) {
1712ac9d00bfSVladimir Sementsov-Ogievskiy         /*
1713ac9d00bfSVladimir Sementsov-Ogievskiy          * Aligning zero request is nonsense. Even if driver has special meaning
1714ac9d00bfSVladimir Sementsov-Ogievskiy          * of zero-length (like qcow2_co_pwritev_compressed_part), we can't pass
1715ac9d00bfSVladimir Sementsov-Ogievskiy          * it to driver due to request_alignment.
1716ac9d00bfSVladimir Sementsov-Ogievskiy          *
1717ac9d00bfSVladimir Sementsov-Ogievskiy          * Still, no reason to return an error if someone do unaligned
1718ac9d00bfSVladimir Sementsov-Ogievskiy          * zero-length read occasionally.
1719ac9d00bfSVladimir Sementsov-Ogievskiy          */
1720ac9d00bfSVladimir Sementsov-Ogievskiy         return 0;
1721ac9d00bfSVladimir Sementsov-Ogievskiy     }
1722ac9d00bfSVladimir Sementsov-Ogievskiy 
172399723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
172499723548SPaolo Bonzini 
17259568b511SWen Congyang     /* Don't do copy-on-read if we read data before write operation */
1726c53cb427SPaolo Bonzini     if (atomic_read(&bs->copy_on_read)) {
172761007b31SStefan Hajnoczi         flags |= BDRV_REQ_COPY_ON_READ;
172861007b31SStefan Hajnoczi     }
172961007b31SStefan Hajnoczi 
17301acc3466SVladimir Sementsov-Ogievskiy     bdrv_pad_request(bs, &qiov, &qiov_offset, &offset, &bytes, &pad);
173161007b31SStefan Hajnoczi 
1732ebde595cSFam Zheng     tracked_request_begin(&req, bs, offset, bytes, BDRV_TRACKED_READ);
17337a3f542fSVladimir Sementsov-Ogievskiy     ret = bdrv_aligned_preadv(child, &req, offset, bytes,
17347a3f542fSVladimir Sementsov-Ogievskiy                               bs->bl.request_alignment,
17351acc3466SVladimir Sementsov-Ogievskiy                               qiov, qiov_offset, flags);
173661007b31SStefan Hajnoczi     tracked_request_end(&req);
173799723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
173861007b31SStefan Hajnoczi 
17397a3f542fSVladimir Sementsov-Ogievskiy     bdrv_padding_destroy(&pad);
174061007b31SStefan Hajnoczi 
174161007b31SStefan Hajnoczi     return ret;
174261007b31SStefan Hajnoczi }
174361007b31SStefan Hajnoczi 
1744d05aa8bbSEric Blake static int coroutine_fn bdrv_co_do_pwrite_zeroes(BlockDriverState *bs,
1745f5a5ca79SManos Pitsidianakis     int64_t offset, int bytes, BdrvRequestFlags flags)
174661007b31SStefan Hajnoczi {
174761007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
174861007b31SStefan Hajnoczi     QEMUIOVector qiov;
17490d93ed08SVladimir Sementsov-Ogievskiy     void *buf = NULL;
175061007b31SStefan Hajnoczi     int ret = 0;
1751465fe887SEric Blake     bool need_flush = false;
1752443668caSDenis V. Lunev     int head = 0;
1753443668caSDenis V. Lunev     int tail = 0;
175461007b31SStefan Hajnoczi 
1755cf081fcaSEric Blake     int max_write_zeroes = MIN_NON_ZERO(bs->bl.max_pwrite_zeroes, INT_MAX);
1756a5b8dd2cSEric Blake     int alignment = MAX(bs->bl.pwrite_zeroes_alignment,
1757a5b8dd2cSEric Blake                         bs->bl.request_alignment);
1758cb2e2878SEric Blake     int max_transfer = MIN_NON_ZERO(bs->bl.max_transfer, MAX_BOUNCE_BUFFER);
1759cf081fcaSEric Blake 
1760d470ad42SMax Reitz     if (!drv) {
1761d470ad42SMax Reitz         return -ENOMEDIUM;
1762d470ad42SMax Reitz     }
1763d470ad42SMax Reitz 
1764fe0480d6SKevin Wolf     if ((flags & ~bs->supported_zero_flags) & BDRV_REQ_NO_FALLBACK) {
1765fe0480d6SKevin Wolf         return -ENOTSUP;
1766fe0480d6SKevin Wolf     }
1767fe0480d6SKevin Wolf 
1768b8d0a980SEric Blake     assert(alignment % bs->bl.request_alignment == 0);
1769b8d0a980SEric Blake     head = offset % alignment;
1770f5a5ca79SManos Pitsidianakis     tail = (offset + bytes) % alignment;
1771b8d0a980SEric Blake     max_write_zeroes = QEMU_ALIGN_DOWN(max_write_zeroes, alignment);
1772b8d0a980SEric Blake     assert(max_write_zeroes >= bs->bl.request_alignment);
177361007b31SStefan Hajnoczi 
1774f5a5ca79SManos Pitsidianakis     while (bytes > 0 && !ret) {
1775f5a5ca79SManos Pitsidianakis         int num = bytes;
177661007b31SStefan Hajnoczi 
177761007b31SStefan Hajnoczi         /* Align request.  Block drivers can expect the "bulk" of the request
1778443668caSDenis V. Lunev          * to be aligned, and that unaligned requests do not cross cluster
1779443668caSDenis V. Lunev          * boundaries.
178061007b31SStefan Hajnoczi          */
1781443668caSDenis V. Lunev         if (head) {
1782b2f95feeSEric Blake             /* Make a small request up to the first aligned sector. For
1783b2f95feeSEric Blake              * convenience, limit this request to max_transfer even if
1784b2f95feeSEric Blake              * we don't need to fall back to writes.  */
1785f5a5ca79SManos Pitsidianakis             num = MIN(MIN(bytes, max_transfer), alignment - head);
1786b2f95feeSEric Blake             head = (head + num) % alignment;
1787b2f95feeSEric Blake             assert(num < max_write_zeroes);
1788d05aa8bbSEric Blake         } else if (tail && num > alignment) {
1789443668caSDenis V. Lunev             /* Shorten the request to the last aligned sector.  */
1790443668caSDenis V. Lunev             num -= tail;
179161007b31SStefan Hajnoczi         }
179261007b31SStefan Hajnoczi 
179361007b31SStefan Hajnoczi         /* limit request size */
179461007b31SStefan Hajnoczi         if (num > max_write_zeroes) {
179561007b31SStefan Hajnoczi             num = max_write_zeroes;
179661007b31SStefan Hajnoczi         }
179761007b31SStefan Hajnoczi 
179861007b31SStefan Hajnoczi         ret = -ENOTSUP;
179961007b31SStefan Hajnoczi         /* First try the efficient write zeroes operation */
1800d05aa8bbSEric Blake         if (drv->bdrv_co_pwrite_zeroes) {
1801d05aa8bbSEric Blake             ret = drv->bdrv_co_pwrite_zeroes(bs, offset, num,
1802d05aa8bbSEric Blake                                              flags & bs->supported_zero_flags);
1803d05aa8bbSEric Blake             if (ret != -ENOTSUP && (flags & BDRV_REQ_FUA) &&
1804d05aa8bbSEric Blake                 !(bs->supported_zero_flags & BDRV_REQ_FUA)) {
1805d05aa8bbSEric Blake                 need_flush = true;
1806d05aa8bbSEric Blake             }
1807465fe887SEric Blake         } else {
1808465fe887SEric Blake             assert(!bs->supported_zero_flags);
180961007b31SStefan Hajnoczi         }
181061007b31SStefan Hajnoczi 
1811294682ccSAndrey Shinkevich         if (ret == -ENOTSUP && !(flags & BDRV_REQ_NO_FALLBACK)) {
181261007b31SStefan Hajnoczi             /* Fall back to bounce buffer if write zeroes is unsupported */
1813465fe887SEric Blake             BdrvRequestFlags write_flags = flags & ~BDRV_REQ_ZERO_WRITE;
1814465fe887SEric Blake 
1815465fe887SEric Blake             if ((flags & BDRV_REQ_FUA) &&
1816465fe887SEric Blake                 !(bs->supported_write_flags & BDRV_REQ_FUA)) {
1817465fe887SEric Blake                 /* No need for bdrv_driver_pwrite() to do a fallback
1818465fe887SEric Blake                  * flush on each chunk; use just one at the end */
1819465fe887SEric Blake                 write_flags &= ~BDRV_REQ_FUA;
1820465fe887SEric Blake                 need_flush = true;
1821465fe887SEric Blake             }
18225def6b80SEric Blake             num = MIN(num, max_transfer);
18230d93ed08SVladimir Sementsov-Ogievskiy             if (buf == NULL) {
18240d93ed08SVladimir Sementsov-Ogievskiy                 buf = qemu_try_blockalign0(bs, num);
18250d93ed08SVladimir Sementsov-Ogievskiy                 if (buf == NULL) {
182661007b31SStefan Hajnoczi                     ret = -ENOMEM;
182761007b31SStefan Hajnoczi                     goto fail;
182861007b31SStefan Hajnoczi                 }
182961007b31SStefan Hajnoczi             }
18300d93ed08SVladimir Sementsov-Ogievskiy             qemu_iovec_init_buf(&qiov, buf, num);
183161007b31SStefan Hajnoczi 
1832ac850bf0SVladimir Sementsov-Ogievskiy             ret = bdrv_driver_pwritev(bs, offset, num, &qiov, 0, write_flags);
183361007b31SStefan Hajnoczi 
183461007b31SStefan Hajnoczi             /* Keep bounce buffer around if it is big enough for all
183561007b31SStefan Hajnoczi              * all future requests.
183661007b31SStefan Hajnoczi              */
18375def6b80SEric Blake             if (num < max_transfer) {
18380d93ed08SVladimir Sementsov-Ogievskiy                 qemu_vfree(buf);
18390d93ed08SVladimir Sementsov-Ogievskiy                 buf = NULL;
184061007b31SStefan Hajnoczi             }
184161007b31SStefan Hajnoczi         }
184261007b31SStefan Hajnoczi 
1843d05aa8bbSEric Blake         offset += num;
1844f5a5ca79SManos Pitsidianakis         bytes -= num;
184561007b31SStefan Hajnoczi     }
184661007b31SStefan Hajnoczi 
184761007b31SStefan Hajnoczi fail:
1848465fe887SEric Blake     if (ret == 0 && need_flush) {
1849465fe887SEric Blake         ret = bdrv_co_flush(bs);
1850465fe887SEric Blake     }
18510d93ed08SVladimir Sementsov-Ogievskiy     qemu_vfree(buf);
185261007b31SStefan Hajnoczi     return ret;
185361007b31SStefan Hajnoczi }
185461007b31SStefan Hajnoczi 
185585fe2479SFam Zheng static inline int coroutine_fn
185685fe2479SFam Zheng bdrv_co_write_req_prepare(BdrvChild *child, int64_t offset, uint64_t bytes,
185785fe2479SFam Zheng                           BdrvTrackedRequest *req, int flags)
185885fe2479SFam Zheng {
185985fe2479SFam Zheng     BlockDriverState *bs = child->bs;
186085fe2479SFam Zheng     bool waited;
186185fe2479SFam Zheng     int64_t end_sector = DIV_ROUND_UP(offset + bytes, BDRV_SECTOR_SIZE);
186285fe2479SFam Zheng 
186385fe2479SFam Zheng     if (bs->read_only) {
186485fe2479SFam Zheng         return -EPERM;
186585fe2479SFam Zheng     }
186685fe2479SFam Zheng 
186785fe2479SFam Zheng     assert(!(bs->open_flags & BDRV_O_INACTIVE));
186885fe2479SFam Zheng     assert((bs->open_flags & BDRV_O_NO_IO) == 0);
186985fe2479SFam Zheng     assert(!(flags & ~BDRV_REQ_MASK));
187085fe2479SFam Zheng 
187185fe2479SFam Zheng     if (flags & BDRV_REQ_SERIALISING) {
187218fbd0deSPaolo Bonzini         waited = bdrv_mark_request_serialising(req, bdrv_get_cluster_size(bs));
187318fbd0deSPaolo Bonzini         /*
187418fbd0deSPaolo Bonzini          * For a misaligned request we should have already waited earlier,
187518fbd0deSPaolo Bonzini          * because we come after bdrv_padding_rmw_read which must be called
187618fbd0deSPaolo Bonzini          * with the request already marked as serialising.
187718fbd0deSPaolo Bonzini          */
187818fbd0deSPaolo Bonzini         assert(!waited ||
187918fbd0deSPaolo Bonzini                (req->offset == req->overlap_offset &&
188018fbd0deSPaolo Bonzini                 req->bytes == req->overlap_bytes));
188118fbd0deSPaolo Bonzini     } else {
188218fbd0deSPaolo Bonzini         bdrv_wait_serialising_requests(req);
188385fe2479SFam Zheng     }
188485fe2479SFam Zheng 
188585fe2479SFam Zheng     assert(req->overlap_offset <= offset);
188685fe2479SFam Zheng     assert(offset + bytes <= req->overlap_offset + req->overlap_bytes);
1887cd47d792SFam Zheng     assert(end_sector <= bs->total_sectors || child->perm & BLK_PERM_RESIZE);
188885fe2479SFam Zheng 
1889cd47d792SFam Zheng     switch (req->type) {
1890cd47d792SFam Zheng     case BDRV_TRACKED_WRITE:
1891cd47d792SFam Zheng     case BDRV_TRACKED_DISCARD:
189285fe2479SFam Zheng         if (flags & BDRV_REQ_WRITE_UNCHANGED) {
189385fe2479SFam Zheng             assert(child->perm & (BLK_PERM_WRITE_UNCHANGED | BLK_PERM_WRITE));
189485fe2479SFam Zheng         } else {
189585fe2479SFam Zheng             assert(child->perm & BLK_PERM_WRITE);
189685fe2479SFam Zheng         }
1897cd47d792SFam Zheng         return notifier_with_return_list_notify(&bs->before_write_notifiers,
1898cd47d792SFam Zheng                                                 req);
1899cd47d792SFam Zheng     case BDRV_TRACKED_TRUNCATE:
1900cd47d792SFam Zheng         assert(child->perm & BLK_PERM_RESIZE);
1901cd47d792SFam Zheng         return 0;
1902cd47d792SFam Zheng     default:
1903cd47d792SFam Zheng         abort();
1904cd47d792SFam Zheng     }
190585fe2479SFam Zheng }
190685fe2479SFam Zheng 
190785fe2479SFam Zheng static inline void coroutine_fn
190885fe2479SFam Zheng bdrv_co_write_req_finish(BdrvChild *child, int64_t offset, uint64_t bytes,
190985fe2479SFam Zheng                          BdrvTrackedRequest *req, int ret)
191085fe2479SFam Zheng {
191185fe2479SFam Zheng     int64_t end_sector = DIV_ROUND_UP(offset + bytes, BDRV_SECTOR_SIZE);
191285fe2479SFam Zheng     BlockDriverState *bs = child->bs;
191385fe2479SFam Zheng 
191485fe2479SFam Zheng     atomic_inc(&bs->write_gen);
191585fe2479SFam Zheng 
191600695c27SFam Zheng     /*
191700695c27SFam Zheng      * Discard cannot extend the image, but in error handling cases, such as
191800695c27SFam Zheng      * when reverting a qcow2 cluster allocation, the discarded range can pass
191900695c27SFam Zheng      * the end of image file, so we cannot assert about BDRV_TRACKED_DISCARD
192000695c27SFam Zheng      * here. Instead, just skip it, since semantically a discard request
192100695c27SFam Zheng      * beyond EOF cannot expand the image anyway.
192200695c27SFam Zheng      */
19237f8f03efSFam Zheng     if (ret == 0 &&
1924cd47d792SFam Zheng         (req->type == BDRV_TRACKED_TRUNCATE ||
1925cd47d792SFam Zheng          end_sector > bs->total_sectors) &&
192600695c27SFam Zheng         req->type != BDRV_TRACKED_DISCARD) {
19277f8f03efSFam Zheng         bs->total_sectors = end_sector;
19287f8f03efSFam Zheng         bdrv_parent_cb_resize(bs);
19297f8f03efSFam Zheng         bdrv_dirty_bitmap_truncate(bs, end_sector << BDRV_SECTOR_BITS);
193085fe2479SFam Zheng     }
193100695c27SFam Zheng     if (req->bytes) {
193200695c27SFam Zheng         switch (req->type) {
193300695c27SFam Zheng         case BDRV_TRACKED_WRITE:
193400695c27SFam Zheng             stat64_max(&bs->wr_highest_offset, offset + bytes);
193500695c27SFam Zheng             /* fall through, to set dirty bits */
193600695c27SFam Zheng         case BDRV_TRACKED_DISCARD:
19377f8f03efSFam Zheng             bdrv_set_dirty(bs, offset, bytes);
193800695c27SFam Zheng             break;
193900695c27SFam Zheng         default:
194000695c27SFam Zheng             break;
194100695c27SFam Zheng         }
194200695c27SFam Zheng     }
194385fe2479SFam Zheng }
194485fe2479SFam Zheng 
194561007b31SStefan Hajnoczi /*
194604ed95f4SEric Blake  * Forwards an already correctly aligned write request to the BlockDriver,
194704ed95f4SEric Blake  * after possibly fragmenting it.
194861007b31SStefan Hajnoczi  */
194985c97ca7SKevin Wolf static int coroutine_fn bdrv_aligned_pwritev(BdrvChild *child,
195061007b31SStefan Hajnoczi     BdrvTrackedRequest *req, int64_t offset, unsigned int bytes,
195128c4da28SVladimir Sementsov-Ogievskiy     int64_t align, QEMUIOVector *qiov, size_t qiov_offset, int flags)
195261007b31SStefan Hajnoczi {
195385c97ca7SKevin Wolf     BlockDriverState *bs = child->bs;
195461007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
195561007b31SStefan Hajnoczi     int ret;
195661007b31SStefan Hajnoczi 
195704ed95f4SEric Blake     uint64_t bytes_remaining = bytes;
195804ed95f4SEric Blake     int max_transfer;
195961007b31SStefan Hajnoczi 
1960d470ad42SMax Reitz     if (!drv) {
1961d470ad42SMax Reitz         return -ENOMEDIUM;
1962d470ad42SMax Reitz     }
1963d470ad42SMax Reitz 
1964d6883bc9SVladimir Sementsov-Ogievskiy     if (bdrv_has_readonly_bitmaps(bs)) {
1965d6883bc9SVladimir Sementsov-Ogievskiy         return -EPERM;
1966d6883bc9SVladimir Sementsov-Ogievskiy     }
1967d6883bc9SVladimir Sementsov-Ogievskiy 
1968cff86b38SEric Blake     assert(is_power_of_2(align));
1969cff86b38SEric Blake     assert((offset & (align - 1)) == 0);
1970cff86b38SEric Blake     assert((bytes & (align - 1)) == 0);
197128c4da28SVladimir Sementsov-Ogievskiy     assert(!qiov || qiov_offset + bytes <= qiov->size);
197204ed95f4SEric Blake     max_transfer = QEMU_ALIGN_DOWN(MIN_NON_ZERO(bs->bl.max_transfer, INT_MAX),
197304ed95f4SEric Blake                                    align);
197461007b31SStefan Hajnoczi 
197585fe2479SFam Zheng     ret = bdrv_co_write_req_prepare(child, offset, bytes, req, flags);
197661007b31SStefan Hajnoczi 
197761007b31SStefan Hajnoczi     if (!ret && bs->detect_zeroes != BLOCKDEV_DETECT_ZEROES_OPTIONS_OFF &&
1978c1499a5eSEric Blake         !(flags & BDRV_REQ_ZERO_WRITE) && drv->bdrv_co_pwrite_zeroes &&
197928c4da28SVladimir Sementsov-Ogievskiy         qemu_iovec_is_zero(qiov, qiov_offset, bytes)) {
198061007b31SStefan Hajnoczi         flags |= BDRV_REQ_ZERO_WRITE;
198161007b31SStefan Hajnoczi         if (bs->detect_zeroes == BLOCKDEV_DETECT_ZEROES_OPTIONS_UNMAP) {
198261007b31SStefan Hajnoczi             flags |= BDRV_REQ_MAY_UNMAP;
198361007b31SStefan Hajnoczi         }
198461007b31SStefan Hajnoczi     }
198561007b31SStefan Hajnoczi 
198661007b31SStefan Hajnoczi     if (ret < 0) {
198761007b31SStefan Hajnoczi         /* Do nothing, write notifier decided to fail this request */
198861007b31SStefan Hajnoczi     } else if (flags & BDRV_REQ_ZERO_WRITE) {
19899a4f4c31SKevin Wolf         bdrv_debug_event(bs, BLKDBG_PWRITEV_ZERO);
19909896c876SKevin Wolf         ret = bdrv_co_do_pwrite_zeroes(bs, offset, bytes, flags);
19913ea1a091SPavel Butsykin     } else if (flags & BDRV_REQ_WRITE_COMPRESSED) {
199228c4da28SVladimir Sementsov-Ogievskiy         ret = bdrv_driver_pwritev_compressed(bs, offset, bytes,
199328c4da28SVladimir Sementsov-Ogievskiy                                              qiov, qiov_offset);
199404ed95f4SEric Blake     } else if (bytes <= max_transfer) {
19959a4f4c31SKevin Wolf         bdrv_debug_event(bs, BLKDBG_PWRITEV);
199628c4da28SVladimir Sementsov-Ogievskiy         ret = bdrv_driver_pwritev(bs, offset, bytes, qiov, qiov_offset, flags);
199704ed95f4SEric Blake     } else {
199804ed95f4SEric Blake         bdrv_debug_event(bs, BLKDBG_PWRITEV);
199904ed95f4SEric Blake         while (bytes_remaining) {
200004ed95f4SEric Blake             int num = MIN(bytes_remaining, max_transfer);
200104ed95f4SEric Blake             int local_flags = flags;
200204ed95f4SEric Blake 
200304ed95f4SEric Blake             assert(num);
200404ed95f4SEric Blake             if (num < bytes_remaining && (flags & BDRV_REQ_FUA) &&
200504ed95f4SEric Blake                 !(bs->supported_write_flags & BDRV_REQ_FUA)) {
200604ed95f4SEric Blake                 /* If FUA is going to be emulated by flush, we only
200704ed95f4SEric Blake                  * need to flush on the last iteration */
200804ed95f4SEric Blake                 local_flags &= ~BDRV_REQ_FUA;
200904ed95f4SEric Blake             }
201004ed95f4SEric Blake 
201104ed95f4SEric Blake             ret = bdrv_driver_pwritev(bs, offset + bytes - bytes_remaining,
201228c4da28SVladimir Sementsov-Ogievskiy                                       num, qiov, bytes - bytes_remaining,
201328c4da28SVladimir Sementsov-Ogievskiy                                       local_flags);
201404ed95f4SEric Blake             if (ret < 0) {
201504ed95f4SEric Blake                 break;
201604ed95f4SEric Blake             }
201704ed95f4SEric Blake             bytes_remaining -= num;
201804ed95f4SEric Blake         }
201961007b31SStefan Hajnoczi     }
20209a4f4c31SKevin Wolf     bdrv_debug_event(bs, BLKDBG_PWRITEV_DONE);
202161007b31SStefan Hajnoczi 
202261007b31SStefan Hajnoczi     if (ret >= 0) {
202304ed95f4SEric Blake         ret = 0;
202461007b31SStefan Hajnoczi     }
202585fe2479SFam Zheng     bdrv_co_write_req_finish(child, offset, bytes, req, ret);
202661007b31SStefan Hajnoczi 
202761007b31SStefan Hajnoczi     return ret;
202861007b31SStefan Hajnoczi }
202961007b31SStefan Hajnoczi 
203085c97ca7SKevin Wolf static int coroutine_fn bdrv_co_do_zero_pwritev(BdrvChild *child,
20319eeb6dd1SFam Zheng                                                 int64_t offset,
20329eeb6dd1SFam Zheng                                                 unsigned int bytes,
20339eeb6dd1SFam Zheng                                                 BdrvRequestFlags flags,
20349eeb6dd1SFam Zheng                                                 BdrvTrackedRequest *req)
20359eeb6dd1SFam Zheng {
203685c97ca7SKevin Wolf     BlockDriverState *bs = child->bs;
20379eeb6dd1SFam Zheng     QEMUIOVector local_qiov;
2038a5b8dd2cSEric Blake     uint64_t align = bs->bl.request_alignment;
20399eeb6dd1SFam Zheng     int ret = 0;
20407a3f542fSVladimir Sementsov-Ogievskiy     bool padding;
20417a3f542fSVladimir Sementsov-Ogievskiy     BdrvRequestPadding pad;
20429eeb6dd1SFam Zheng 
20437a3f542fSVladimir Sementsov-Ogievskiy     padding = bdrv_init_padding(bs, offset, bytes, &pad);
20447a3f542fSVladimir Sementsov-Ogievskiy     if (padding) {
2045304d9d7fSMax Reitz         bdrv_mark_request_serialising(req, align);
20469eeb6dd1SFam Zheng 
20477a3f542fSVladimir Sementsov-Ogievskiy         bdrv_padding_rmw_read(child, req, &pad, true);
20487a3f542fSVladimir Sementsov-Ogievskiy 
20497a3f542fSVladimir Sementsov-Ogievskiy         if (pad.head || pad.merge_reads) {
20507a3f542fSVladimir Sementsov-Ogievskiy             int64_t aligned_offset = offset & ~(align - 1);
20517a3f542fSVladimir Sementsov-Ogievskiy             int64_t write_bytes = pad.merge_reads ? pad.buf_len : align;
20527a3f542fSVladimir Sementsov-Ogievskiy 
20537a3f542fSVladimir Sementsov-Ogievskiy             qemu_iovec_init_buf(&local_qiov, pad.buf, write_bytes);
20547a3f542fSVladimir Sementsov-Ogievskiy             ret = bdrv_aligned_pwritev(child, req, aligned_offset, write_bytes,
205528c4da28SVladimir Sementsov-Ogievskiy                                        align, &local_qiov, 0,
20569eeb6dd1SFam Zheng                                        flags & ~BDRV_REQ_ZERO_WRITE);
20577a3f542fSVladimir Sementsov-Ogievskiy             if (ret < 0 || pad.merge_reads) {
20587a3f542fSVladimir Sementsov-Ogievskiy                 /* Error or all work is done */
20597a3f542fSVladimir Sementsov-Ogievskiy                 goto out;
20609eeb6dd1SFam Zheng             }
20617a3f542fSVladimir Sementsov-Ogievskiy             offset += write_bytes - pad.head;
20627a3f542fSVladimir Sementsov-Ogievskiy             bytes -= write_bytes - pad.head;
20637a3f542fSVladimir Sementsov-Ogievskiy         }
20649eeb6dd1SFam Zheng     }
20659eeb6dd1SFam Zheng 
20669eeb6dd1SFam Zheng     assert(!bytes || (offset & (align - 1)) == 0);
20679eeb6dd1SFam Zheng     if (bytes >= align) {
20689eeb6dd1SFam Zheng         /* Write the aligned part in the middle. */
20699eeb6dd1SFam Zheng         uint64_t aligned_bytes = bytes & ~(align - 1);
207085c97ca7SKevin Wolf         ret = bdrv_aligned_pwritev(child, req, offset, aligned_bytes, align,
207128c4da28SVladimir Sementsov-Ogievskiy                                    NULL, 0, flags);
20729eeb6dd1SFam Zheng         if (ret < 0) {
20737a3f542fSVladimir Sementsov-Ogievskiy             goto out;
20749eeb6dd1SFam Zheng         }
20759eeb6dd1SFam Zheng         bytes -= aligned_bytes;
20769eeb6dd1SFam Zheng         offset += aligned_bytes;
20779eeb6dd1SFam Zheng     }
20789eeb6dd1SFam Zheng 
20799eeb6dd1SFam Zheng     assert(!bytes || (offset & (align - 1)) == 0);
20809eeb6dd1SFam Zheng     if (bytes) {
20817a3f542fSVladimir Sementsov-Ogievskiy         assert(align == pad.tail + bytes);
20829eeb6dd1SFam Zheng 
20837a3f542fSVladimir Sementsov-Ogievskiy         qemu_iovec_init_buf(&local_qiov, pad.tail_buf, align);
208485c97ca7SKevin Wolf         ret = bdrv_aligned_pwritev(child, req, offset, align, align,
208528c4da28SVladimir Sementsov-Ogievskiy                                    &local_qiov, 0,
208628c4da28SVladimir Sementsov-Ogievskiy                                    flags & ~BDRV_REQ_ZERO_WRITE);
20879eeb6dd1SFam Zheng     }
20889eeb6dd1SFam Zheng 
20897a3f542fSVladimir Sementsov-Ogievskiy out:
20907a3f542fSVladimir Sementsov-Ogievskiy     bdrv_padding_destroy(&pad);
20917a3f542fSVladimir Sementsov-Ogievskiy 
20927a3f542fSVladimir Sementsov-Ogievskiy     return ret;
20939eeb6dd1SFam Zheng }
20949eeb6dd1SFam Zheng 
209561007b31SStefan Hajnoczi /*
209661007b31SStefan Hajnoczi  * Handle a write request in coroutine context
209761007b31SStefan Hajnoczi  */
2098a03ef88fSKevin Wolf int coroutine_fn bdrv_co_pwritev(BdrvChild *child,
209961007b31SStefan Hajnoczi     int64_t offset, unsigned int bytes, QEMUIOVector *qiov,
210061007b31SStefan Hajnoczi     BdrvRequestFlags flags)
210161007b31SStefan Hajnoczi {
21021acc3466SVladimir Sementsov-Ogievskiy     return bdrv_co_pwritev_part(child, offset, bytes, qiov, 0, flags);
21031acc3466SVladimir Sementsov-Ogievskiy }
21041acc3466SVladimir Sementsov-Ogievskiy 
21051acc3466SVladimir Sementsov-Ogievskiy int coroutine_fn bdrv_co_pwritev_part(BdrvChild *child,
21061acc3466SVladimir Sementsov-Ogievskiy     int64_t offset, unsigned int bytes, QEMUIOVector *qiov, size_t qiov_offset,
21071acc3466SVladimir Sementsov-Ogievskiy     BdrvRequestFlags flags)
21081acc3466SVladimir Sementsov-Ogievskiy {
2109a03ef88fSKevin Wolf     BlockDriverState *bs = child->bs;
211061007b31SStefan Hajnoczi     BdrvTrackedRequest req;
2111a5b8dd2cSEric Blake     uint64_t align = bs->bl.request_alignment;
21127a3f542fSVladimir Sementsov-Ogievskiy     BdrvRequestPadding pad;
211361007b31SStefan Hajnoczi     int ret;
211461007b31SStefan Hajnoczi 
2115f42cf447SDaniel P. Berrange     trace_bdrv_co_pwritev(child->bs, offset, bytes, flags);
2116f42cf447SDaniel P. Berrange 
211761007b31SStefan Hajnoczi     if (!bs->drv) {
211861007b31SStefan Hajnoczi         return -ENOMEDIUM;
211961007b31SStefan Hajnoczi     }
212061007b31SStefan Hajnoczi 
212161007b31SStefan Hajnoczi     ret = bdrv_check_byte_request(bs, offset, bytes);
212261007b31SStefan Hajnoczi     if (ret < 0) {
212361007b31SStefan Hajnoczi         return ret;
212461007b31SStefan Hajnoczi     }
212561007b31SStefan Hajnoczi 
2126f2208fdcSAlberto Garcia     /* If the request is misaligned then we can't make it efficient */
2127f2208fdcSAlberto Garcia     if ((flags & BDRV_REQ_NO_FALLBACK) &&
2128f2208fdcSAlberto Garcia         !QEMU_IS_ALIGNED(offset | bytes, align))
2129f2208fdcSAlberto Garcia     {
2130f2208fdcSAlberto Garcia         return -ENOTSUP;
2131f2208fdcSAlberto Garcia     }
2132f2208fdcSAlberto Garcia 
2133ac9d00bfSVladimir Sementsov-Ogievskiy     if (bytes == 0 && !QEMU_IS_ALIGNED(offset, bs->bl.request_alignment)) {
2134ac9d00bfSVladimir Sementsov-Ogievskiy         /*
2135ac9d00bfSVladimir Sementsov-Ogievskiy          * Aligning zero request is nonsense. Even if driver has special meaning
2136ac9d00bfSVladimir Sementsov-Ogievskiy          * of zero-length (like qcow2_co_pwritev_compressed_part), we can't pass
2137ac9d00bfSVladimir Sementsov-Ogievskiy          * it to driver due to request_alignment.
2138ac9d00bfSVladimir Sementsov-Ogievskiy          *
2139ac9d00bfSVladimir Sementsov-Ogievskiy          * Still, no reason to return an error if someone do unaligned
2140ac9d00bfSVladimir Sementsov-Ogievskiy          * zero-length write occasionally.
2141ac9d00bfSVladimir Sementsov-Ogievskiy          */
2142ac9d00bfSVladimir Sementsov-Ogievskiy         return 0;
2143ac9d00bfSVladimir Sementsov-Ogievskiy     }
2144ac9d00bfSVladimir Sementsov-Ogievskiy 
214599723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
214661007b31SStefan Hajnoczi     /*
214761007b31SStefan Hajnoczi      * Align write if necessary by performing a read-modify-write cycle.
214861007b31SStefan Hajnoczi      * Pad qiov with the read parts and be sure to have a tracked request not
214961007b31SStefan Hajnoczi      * only for bdrv_aligned_pwritev, but also for the reads of the RMW cycle.
215061007b31SStefan Hajnoczi      */
2151ebde595cSFam Zheng     tracked_request_begin(&req, bs, offset, bytes, BDRV_TRACKED_WRITE);
215261007b31SStefan Hajnoczi 
215318a59f03SAnton Nefedov     if (flags & BDRV_REQ_ZERO_WRITE) {
215485c97ca7SKevin Wolf         ret = bdrv_co_do_zero_pwritev(child, offset, bytes, flags, &req);
21559eeb6dd1SFam Zheng         goto out;
21569eeb6dd1SFam Zheng     }
21579eeb6dd1SFam Zheng 
21581acc3466SVladimir Sementsov-Ogievskiy     if (bdrv_pad_request(bs, &qiov, &qiov_offset, &offset, &bytes, &pad)) {
2159304d9d7fSMax Reitz         bdrv_mark_request_serialising(&req, align);
21607a3f542fSVladimir Sementsov-Ogievskiy         bdrv_padding_rmw_read(child, &req, &pad, false);
216161007b31SStefan Hajnoczi     }
216261007b31SStefan Hajnoczi 
216385c97ca7SKevin Wolf     ret = bdrv_aligned_pwritev(child, &req, offset, bytes, align,
21641acc3466SVladimir Sementsov-Ogievskiy                                qiov, qiov_offset, flags);
216561007b31SStefan Hajnoczi 
21667a3f542fSVladimir Sementsov-Ogievskiy     bdrv_padding_destroy(&pad);
216761007b31SStefan Hajnoczi 
21689eeb6dd1SFam Zheng out:
21699eeb6dd1SFam Zheng     tracked_request_end(&req);
217099723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
21717a3f542fSVladimir Sementsov-Ogievskiy 
217261007b31SStefan Hajnoczi     return ret;
217361007b31SStefan Hajnoczi }
217461007b31SStefan Hajnoczi 
2175a03ef88fSKevin Wolf int coroutine_fn bdrv_co_pwrite_zeroes(BdrvChild *child, int64_t offset,
2176f5a5ca79SManos Pitsidianakis                                        int bytes, BdrvRequestFlags flags)
217761007b31SStefan Hajnoczi {
2178f5a5ca79SManos Pitsidianakis     trace_bdrv_co_pwrite_zeroes(child->bs, offset, bytes, flags);
217961007b31SStefan Hajnoczi 
2180a03ef88fSKevin Wolf     if (!(child->bs->open_flags & BDRV_O_UNMAP)) {
218161007b31SStefan Hajnoczi         flags &= ~BDRV_REQ_MAY_UNMAP;
218261007b31SStefan Hajnoczi     }
218361007b31SStefan Hajnoczi 
2184f5a5ca79SManos Pitsidianakis     return bdrv_co_pwritev(child, offset, bytes, NULL,
218561007b31SStefan Hajnoczi                            BDRV_REQ_ZERO_WRITE | flags);
218661007b31SStefan Hajnoczi }
218761007b31SStefan Hajnoczi 
21884085f5c7SJohn Snow /*
21894085f5c7SJohn Snow  * Flush ALL BDSes regardless of if they are reachable via a BlkBackend or not.
21904085f5c7SJohn Snow  */
21914085f5c7SJohn Snow int bdrv_flush_all(void)
21924085f5c7SJohn Snow {
21934085f5c7SJohn Snow     BdrvNextIterator it;
21944085f5c7SJohn Snow     BlockDriverState *bs = NULL;
21954085f5c7SJohn Snow     int result = 0;
21964085f5c7SJohn Snow 
2197c8aa7895SPavel Dovgalyuk     /*
2198c8aa7895SPavel Dovgalyuk      * bdrv queue is managed by record/replay,
2199c8aa7895SPavel Dovgalyuk      * creating new flush request for stopping
2200c8aa7895SPavel Dovgalyuk      * the VM may break the determinism
2201c8aa7895SPavel Dovgalyuk      */
2202c8aa7895SPavel Dovgalyuk     if (replay_events_enabled()) {
2203c8aa7895SPavel Dovgalyuk         return result;
2204c8aa7895SPavel Dovgalyuk     }
2205c8aa7895SPavel Dovgalyuk 
22064085f5c7SJohn Snow     for (bs = bdrv_first(&it); bs; bs = bdrv_next(&it)) {
22074085f5c7SJohn Snow         AioContext *aio_context = bdrv_get_aio_context(bs);
22084085f5c7SJohn Snow         int ret;
22094085f5c7SJohn Snow 
22104085f5c7SJohn Snow         aio_context_acquire(aio_context);
22114085f5c7SJohn Snow         ret = bdrv_flush(bs);
22124085f5c7SJohn Snow         if (ret < 0 && !result) {
22134085f5c7SJohn Snow             result = ret;
22144085f5c7SJohn Snow         }
22154085f5c7SJohn Snow         aio_context_release(aio_context);
22164085f5c7SJohn Snow     }
22174085f5c7SJohn Snow 
22184085f5c7SJohn Snow     return result;
22194085f5c7SJohn Snow }
22204085f5c7SJohn Snow 
22214085f5c7SJohn Snow 
22224bcd936eSEric Blake typedef struct BdrvCoBlockStatusData {
222361007b31SStefan Hajnoczi     BlockDriverState *bs;
222461007b31SStefan Hajnoczi     BlockDriverState *base;
2225c9ce8c4dSEric Blake     bool want_zero;
22264bcd936eSEric Blake     int64_t offset;
22274bcd936eSEric Blake     int64_t bytes;
22284bcd936eSEric Blake     int64_t *pnum;
22294bcd936eSEric Blake     int64_t *map;
2230c9ce8c4dSEric Blake     BlockDriverState **file;
22314bcd936eSEric Blake     int ret;
223261007b31SStefan Hajnoczi     bool done;
22334bcd936eSEric Blake } BdrvCoBlockStatusData;
223461007b31SStefan Hajnoczi 
22353e4d0e72SEric Blake int coroutine_fn bdrv_co_block_status_from_file(BlockDriverState *bs,
22363e4d0e72SEric Blake                                                 bool want_zero,
22373e4d0e72SEric Blake                                                 int64_t offset,
22383e4d0e72SEric Blake                                                 int64_t bytes,
22393e4d0e72SEric Blake                                                 int64_t *pnum,
22403e4d0e72SEric Blake                                                 int64_t *map,
2241f7cc69b3SManos Pitsidianakis                                                 BlockDriverState **file)
2242f7cc69b3SManos Pitsidianakis {
2243f7cc69b3SManos Pitsidianakis     assert(bs->file && bs->file->bs);
22443e4d0e72SEric Blake     *pnum = bytes;
22453e4d0e72SEric Blake     *map = offset;
2246f7cc69b3SManos Pitsidianakis     *file = bs->file->bs;
22473e4d0e72SEric Blake     return BDRV_BLOCK_RAW | BDRV_BLOCK_OFFSET_VALID;
2248f7cc69b3SManos Pitsidianakis }
2249f7cc69b3SManos Pitsidianakis 
22503e4d0e72SEric Blake int coroutine_fn bdrv_co_block_status_from_backing(BlockDriverState *bs,
22513e4d0e72SEric Blake                                                    bool want_zero,
22523e4d0e72SEric Blake                                                    int64_t offset,
22533e4d0e72SEric Blake                                                    int64_t bytes,
22543e4d0e72SEric Blake                                                    int64_t *pnum,
22553e4d0e72SEric Blake                                                    int64_t *map,
2256f7cc69b3SManos Pitsidianakis                                                    BlockDriverState **file)
2257f7cc69b3SManos Pitsidianakis {
2258f7cc69b3SManos Pitsidianakis     assert(bs->backing && bs->backing->bs);
22593e4d0e72SEric Blake     *pnum = bytes;
22603e4d0e72SEric Blake     *map = offset;
2261f7cc69b3SManos Pitsidianakis     *file = bs->backing->bs;
22623e4d0e72SEric Blake     return BDRV_BLOCK_RAW | BDRV_BLOCK_OFFSET_VALID;
2263f7cc69b3SManos Pitsidianakis }
2264f7cc69b3SManos Pitsidianakis 
226561007b31SStefan Hajnoczi /*
226661007b31SStefan Hajnoczi  * Returns the allocation status of the specified sectors.
226761007b31SStefan Hajnoczi  * Drivers not implementing the functionality are assumed to not support
226861007b31SStefan Hajnoczi  * backing files, hence all their sectors are reported as allocated.
226961007b31SStefan Hajnoczi  *
227086a3d5c6SEric Blake  * If 'want_zero' is true, the caller is querying for mapping
227186a3d5c6SEric Blake  * purposes, with a focus on valid BDRV_BLOCK_OFFSET_VALID, _DATA, and
227286a3d5c6SEric Blake  * _ZERO where possible; otherwise, the result favors larger 'pnum',
227386a3d5c6SEric Blake  * with a focus on accurate BDRV_BLOCK_ALLOCATED.
2274c9ce8c4dSEric Blake  *
22752e8bc787SEric Blake  * If 'offset' is beyond the end of the disk image the return value is
2276fb0d8654SEric Blake  * BDRV_BLOCK_EOF and 'pnum' is set to 0.
227761007b31SStefan Hajnoczi  *
22782e8bc787SEric Blake  * 'bytes' is the max value 'pnum' should be set to.  If bytes goes
2279fb0d8654SEric Blake  * beyond the end of the disk image it will be clamped; if 'pnum' is set to
2280fb0d8654SEric Blake  * the end of the image, then the returned value will include BDRV_BLOCK_EOF.
228167a0fd2aSFam Zheng  *
22822e8bc787SEric Blake  * 'pnum' is set to the number of bytes (including and immediately
22832e8bc787SEric Blake  * following the specified offset) that are easily known to be in the
22842e8bc787SEric Blake  * same allocated/unallocated state.  Note that a second call starting
22852e8bc787SEric Blake  * at the original offset plus returned pnum may have the same status.
22862e8bc787SEric Blake  * The returned value is non-zero on success except at end-of-file.
22872e8bc787SEric Blake  *
22882e8bc787SEric Blake  * Returns negative errno on failure.  Otherwise, if the
22892e8bc787SEric Blake  * BDRV_BLOCK_OFFSET_VALID bit is set, 'map' and 'file' (if non-NULL) are
22902e8bc787SEric Blake  * set to the host mapping and BDS corresponding to the guest offset.
229161007b31SStefan Hajnoczi  */
22922e8bc787SEric Blake static int coroutine_fn bdrv_co_block_status(BlockDriverState *bs,
2293c9ce8c4dSEric Blake                                              bool want_zero,
22942e8bc787SEric Blake                                              int64_t offset, int64_t bytes,
22952e8bc787SEric Blake                                              int64_t *pnum, int64_t *map,
229667a0fd2aSFam Zheng                                              BlockDriverState **file)
229761007b31SStefan Hajnoczi {
22982e8bc787SEric Blake     int64_t total_size;
22992e8bc787SEric Blake     int64_t n; /* bytes */
2300efa6e2edSEric Blake     int ret;
23012e8bc787SEric Blake     int64_t local_map = 0;
2302298a1665SEric Blake     BlockDriverState *local_file = NULL;
2303efa6e2edSEric Blake     int64_t aligned_offset, aligned_bytes;
2304efa6e2edSEric Blake     uint32_t align;
230561007b31SStefan Hajnoczi 
2306298a1665SEric Blake     assert(pnum);
2307298a1665SEric Blake     *pnum = 0;
23082e8bc787SEric Blake     total_size = bdrv_getlength(bs);
23092e8bc787SEric Blake     if (total_size < 0) {
23102e8bc787SEric Blake         ret = total_size;
2311298a1665SEric Blake         goto early_out;
231261007b31SStefan Hajnoczi     }
231361007b31SStefan Hajnoczi 
23142e8bc787SEric Blake     if (offset >= total_size) {
2315298a1665SEric Blake         ret = BDRV_BLOCK_EOF;
2316298a1665SEric Blake         goto early_out;
231761007b31SStefan Hajnoczi     }
23182e8bc787SEric Blake     if (!bytes) {
2319298a1665SEric Blake         ret = 0;
2320298a1665SEric Blake         goto early_out;
23219cdcfd9fSEric Blake     }
232261007b31SStefan Hajnoczi 
23232e8bc787SEric Blake     n = total_size - offset;
23242e8bc787SEric Blake     if (n < bytes) {
23252e8bc787SEric Blake         bytes = n;
232661007b31SStefan Hajnoczi     }
232761007b31SStefan Hajnoczi 
2328d470ad42SMax Reitz     /* Must be non-NULL or bdrv_getlength() would have failed */
2329d470ad42SMax Reitz     assert(bs->drv);
2330636cb512SEric Blake     if (!bs->drv->bdrv_co_block_status) {
23312e8bc787SEric Blake         *pnum = bytes;
233261007b31SStefan Hajnoczi         ret = BDRV_BLOCK_DATA | BDRV_BLOCK_ALLOCATED;
23332e8bc787SEric Blake         if (offset + bytes == total_size) {
2334fb0d8654SEric Blake             ret |= BDRV_BLOCK_EOF;
2335fb0d8654SEric Blake         }
233661007b31SStefan Hajnoczi         if (bs->drv->protocol_name) {
23372e8bc787SEric Blake             ret |= BDRV_BLOCK_OFFSET_VALID;
23382e8bc787SEric Blake             local_map = offset;
2339298a1665SEric Blake             local_file = bs;
234061007b31SStefan Hajnoczi         }
2341298a1665SEric Blake         goto early_out;
234261007b31SStefan Hajnoczi     }
234361007b31SStefan Hajnoczi 
234499723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
2345efa6e2edSEric Blake 
2346efa6e2edSEric Blake     /* Round out to request_alignment boundaries */
234786a3d5c6SEric Blake     align = bs->bl.request_alignment;
2348efa6e2edSEric Blake     aligned_offset = QEMU_ALIGN_DOWN(offset, align);
2349efa6e2edSEric Blake     aligned_bytes = ROUND_UP(offset + bytes, align) - aligned_offset;
2350efa6e2edSEric Blake 
235186a3d5c6SEric Blake     ret = bs->drv->bdrv_co_block_status(bs, want_zero, aligned_offset,
235286a3d5c6SEric Blake                                         aligned_bytes, pnum, &local_map,
235386a3d5c6SEric Blake                                         &local_file);
235486a3d5c6SEric Blake     if (ret < 0) {
235586a3d5c6SEric Blake         *pnum = 0;
235686a3d5c6SEric Blake         goto out;
235786a3d5c6SEric Blake     }
2358efa6e2edSEric Blake 
2359efa6e2edSEric Blake     /*
2360636cb512SEric Blake      * The driver's result must be a non-zero multiple of request_alignment.
2361efa6e2edSEric Blake      * Clamp pnum and adjust map to original request.
2362efa6e2edSEric Blake      */
2363636cb512SEric Blake     assert(*pnum && QEMU_IS_ALIGNED(*pnum, align) &&
2364636cb512SEric Blake            align > offset - aligned_offset);
236569f47505SVladimir Sementsov-Ogievskiy     if (ret & BDRV_BLOCK_RECURSE) {
236669f47505SVladimir Sementsov-Ogievskiy         assert(ret & BDRV_BLOCK_DATA);
236769f47505SVladimir Sementsov-Ogievskiy         assert(ret & BDRV_BLOCK_OFFSET_VALID);
236869f47505SVladimir Sementsov-Ogievskiy         assert(!(ret & BDRV_BLOCK_ZERO));
236969f47505SVladimir Sementsov-Ogievskiy     }
237069f47505SVladimir Sementsov-Ogievskiy 
2371efa6e2edSEric Blake     *pnum -= offset - aligned_offset;
2372efa6e2edSEric Blake     if (*pnum > bytes) {
2373efa6e2edSEric Blake         *pnum = bytes;
2374efa6e2edSEric Blake     }
2375efa6e2edSEric Blake     if (ret & BDRV_BLOCK_OFFSET_VALID) {
2376efa6e2edSEric Blake         local_map += offset - aligned_offset;
2377efa6e2edSEric Blake     }
237861007b31SStefan Hajnoczi 
237961007b31SStefan Hajnoczi     if (ret & BDRV_BLOCK_RAW) {
2380298a1665SEric Blake         assert(ret & BDRV_BLOCK_OFFSET_VALID && local_file);
23812e8bc787SEric Blake         ret = bdrv_co_block_status(local_file, want_zero, local_map,
23822e8bc787SEric Blake                                    *pnum, pnum, &local_map, &local_file);
238399723548SPaolo Bonzini         goto out;
238461007b31SStefan Hajnoczi     }
238561007b31SStefan Hajnoczi 
238661007b31SStefan Hajnoczi     if (ret & (BDRV_BLOCK_DATA | BDRV_BLOCK_ZERO)) {
238761007b31SStefan Hajnoczi         ret |= BDRV_BLOCK_ALLOCATED;
2388c9ce8c4dSEric Blake     } else if (want_zero) {
238961007b31SStefan Hajnoczi         if (bdrv_unallocated_blocks_are_zero(bs)) {
239061007b31SStefan Hajnoczi             ret |= BDRV_BLOCK_ZERO;
2391760e0063SKevin Wolf         } else if (bs->backing) {
2392760e0063SKevin Wolf             BlockDriverState *bs2 = bs->backing->bs;
23932e8bc787SEric Blake             int64_t size2 = bdrv_getlength(bs2);
2394c9ce8c4dSEric Blake 
23952e8bc787SEric Blake             if (size2 >= 0 && offset >= size2) {
239661007b31SStefan Hajnoczi                 ret |= BDRV_BLOCK_ZERO;
239761007b31SStefan Hajnoczi             }
239861007b31SStefan Hajnoczi         }
239961007b31SStefan Hajnoczi     }
240061007b31SStefan Hajnoczi 
240169f47505SVladimir Sementsov-Ogievskiy     if (want_zero && ret & BDRV_BLOCK_RECURSE &&
240269f47505SVladimir Sementsov-Ogievskiy         local_file && local_file != bs &&
240361007b31SStefan Hajnoczi         (ret & BDRV_BLOCK_DATA) && !(ret & BDRV_BLOCK_ZERO) &&
240461007b31SStefan Hajnoczi         (ret & BDRV_BLOCK_OFFSET_VALID)) {
24052e8bc787SEric Blake         int64_t file_pnum;
24062e8bc787SEric Blake         int ret2;
240761007b31SStefan Hajnoczi 
24082e8bc787SEric Blake         ret2 = bdrv_co_block_status(local_file, want_zero, local_map,
24092e8bc787SEric Blake                                     *pnum, &file_pnum, NULL, NULL);
241061007b31SStefan Hajnoczi         if (ret2 >= 0) {
241161007b31SStefan Hajnoczi             /* Ignore errors.  This is just providing extra information, it
241261007b31SStefan Hajnoczi              * is useful but not necessary.
241361007b31SStefan Hajnoczi              */
2414c61e684eSEric Blake             if (ret2 & BDRV_BLOCK_EOF &&
2415c61e684eSEric Blake                 (!file_pnum || ret2 & BDRV_BLOCK_ZERO)) {
2416c61e684eSEric Blake                 /*
2417c61e684eSEric Blake                  * It is valid for the format block driver to read
2418c61e684eSEric Blake                  * beyond the end of the underlying file's current
2419c61e684eSEric Blake                  * size; such areas read as zero.
2420c61e684eSEric Blake                  */
242161007b31SStefan Hajnoczi                 ret |= BDRV_BLOCK_ZERO;
242261007b31SStefan Hajnoczi             } else {
242361007b31SStefan Hajnoczi                 /* Limit request to the range reported by the protocol driver */
242461007b31SStefan Hajnoczi                 *pnum = file_pnum;
242561007b31SStefan Hajnoczi                 ret |= (ret2 & BDRV_BLOCK_ZERO);
242661007b31SStefan Hajnoczi             }
242761007b31SStefan Hajnoczi         }
242861007b31SStefan Hajnoczi     }
242961007b31SStefan Hajnoczi 
243099723548SPaolo Bonzini out:
243199723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
24322e8bc787SEric Blake     if (ret >= 0 && offset + *pnum == total_size) {
2433fb0d8654SEric Blake         ret |= BDRV_BLOCK_EOF;
2434fb0d8654SEric Blake     }
2435298a1665SEric Blake early_out:
2436298a1665SEric Blake     if (file) {
2437298a1665SEric Blake         *file = local_file;
2438298a1665SEric Blake     }
24392e8bc787SEric Blake     if (map) {
24402e8bc787SEric Blake         *map = local_map;
24412e8bc787SEric Blake     }
244261007b31SStefan Hajnoczi     return ret;
244361007b31SStefan Hajnoczi }
244461007b31SStefan Hajnoczi 
24455b648c67SEric Blake static int coroutine_fn bdrv_co_block_status_above(BlockDriverState *bs,
2446ba3f0e25SFam Zheng                                                    BlockDriverState *base,
2447c9ce8c4dSEric Blake                                                    bool want_zero,
24485b648c67SEric Blake                                                    int64_t offset,
24495b648c67SEric Blake                                                    int64_t bytes,
24505b648c67SEric Blake                                                    int64_t *pnum,
24515b648c67SEric Blake                                                    int64_t *map,
245267a0fd2aSFam Zheng                                                    BlockDriverState **file)
2453ba3f0e25SFam Zheng {
2454ba3f0e25SFam Zheng     BlockDriverState *p;
24555b648c67SEric Blake     int ret = 0;
2456c61e684eSEric Blake     bool first = true;
2457ba3f0e25SFam Zheng 
2458ba3f0e25SFam Zheng     assert(bs != base);
2459760e0063SKevin Wolf     for (p = bs; p != base; p = backing_bs(p)) {
24605b648c67SEric Blake         ret = bdrv_co_block_status(p, want_zero, offset, bytes, pnum, map,
24615b648c67SEric Blake                                    file);
2462c61e684eSEric Blake         if (ret < 0) {
2463c61e684eSEric Blake             break;
2464c61e684eSEric Blake         }
2465c61e684eSEric Blake         if (ret & BDRV_BLOCK_ZERO && ret & BDRV_BLOCK_EOF && !first) {
2466c61e684eSEric Blake             /*
2467c61e684eSEric Blake              * Reading beyond the end of the file continues to read
2468c61e684eSEric Blake              * zeroes, but we can only widen the result to the
2469c61e684eSEric Blake              * unallocated length we learned from an earlier
2470c61e684eSEric Blake              * iteration.
2471c61e684eSEric Blake              */
24725b648c67SEric Blake             *pnum = bytes;
2473c61e684eSEric Blake         }
2474c61e684eSEric Blake         if (ret & (BDRV_BLOCK_ZERO | BDRV_BLOCK_DATA)) {
2475ba3f0e25SFam Zheng             break;
2476ba3f0e25SFam Zheng         }
24775b648c67SEric Blake         /* [offset, pnum] unallocated on this layer, which could be only
24785b648c67SEric Blake          * the first part of [offset, bytes].  */
24795b648c67SEric Blake         bytes = MIN(bytes, *pnum);
2480c61e684eSEric Blake         first = false;
2481ba3f0e25SFam Zheng     }
2482ba3f0e25SFam Zheng     return ret;
2483ba3f0e25SFam Zheng }
2484ba3f0e25SFam Zheng 
248531826642SEric Blake /* Coroutine wrapper for bdrv_block_status_above() */
24865b648c67SEric Blake static void coroutine_fn bdrv_block_status_above_co_entry(void *opaque)
248761007b31SStefan Hajnoczi {
24884bcd936eSEric Blake     BdrvCoBlockStatusData *data = opaque;
248961007b31SStefan Hajnoczi 
24905b648c67SEric Blake     data->ret = bdrv_co_block_status_above(data->bs, data->base,
2491c9ce8c4dSEric Blake                                            data->want_zero,
24925b648c67SEric Blake                                            data->offset, data->bytes,
24935b648c67SEric Blake                                            data->pnum, data->map, data->file);
249461007b31SStefan Hajnoczi     data->done = true;
24954720cbeeSKevin Wolf     aio_wait_kick();
249661007b31SStefan Hajnoczi }
249761007b31SStefan Hajnoczi 
249861007b31SStefan Hajnoczi /*
24995b648c67SEric Blake  * Synchronous wrapper around bdrv_co_block_status_above().
250061007b31SStefan Hajnoczi  *
25015b648c67SEric Blake  * See bdrv_co_block_status_above() for details.
250261007b31SStefan Hajnoczi  */
25037ddb99b9SEric Blake static int bdrv_common_block_status_above(BlockDriverState *bs,
2504ba3f0e25SFam Zheng                                           BlockDriverState *base,
25057ddb99b9SEric Blake                                           bool want_zero, int64_t offset,
25067ddb99b9SEric Blake                                           int64_t bytes, int64_t *pnum,
25077ddb99b9SEric Blake                                           int64_t *map,
250867a0fd2aSFam Zheng                                           BlockDriverState **file)
250961007b31SStefan Hajnoczi {
251061007b31SStefan Hajnoczi     Coroutine *co;
25114bcd936eSEric Blake     BdrvCoBlockStatusData data = {
251261007b31SStefan Hajnoczi         .bs = bs,
2513ba3f0e25SFam Zheng         .base = base,
2514c9ce8c4dSEric Blake         .want_zero = want_zero,
25157ddb99b9SEric Blake         .offset = offset,
25167ddb99b9SEric Blake         .bytes = bytes,
25177ddb99b9SEric Blake         .pnum = pnum,
25187ddb99b9SEric Blake         .map = map,
2519c9ce8c4dSEric Blake         .file = file,
252061007b31SStefan Hajnoczi         .done = false,
252161007b31SStefan Hajnoczi     };
252261007b31SStefan Hajnoczi 
252361007b31SStefan Hajnoczi     if (qemu_in_coroutine()) {
252461007b31SStefan Hajnoczi         /* Fast-path if already in coroutine context */
25255b648c67SEric Blake         bdrv_block_status_above_co_entry(&data);
252661007b31SStefan Hajnoczi     } else {
25275b648c67SEric Blake         co = qemu_coroutine_create(bdrv_block_status_above_co_entry, &data);
2528e92f0e19SFam Zheng         bdrv_coroutine_enter(bs, co);
252988b062c2SPaolo Bonzini         BDRV_POLL_WHILE(bs, !data.done);
253061007b31SStefan Hajnoczi     }
253161007b31SStefan Hajnoczi     return data.ret;
253261007b31SStefan Hajnoczi }
253361007b31SStefan Hajnoczi 
253431826642SEric Blake int bdrv_block_status_above(BlockDriverState *bs, BlockDriverState *base,
253531826642SEric Blake                             int64_t offset, int64_t bytes, int64_t *pnum,
253631826642SEric Blake                             int64_t *map, BlockDriverState **file)
2537c9ce8c4dSEric Blake {
253831826642SEric Blake     return bdrv_common_block_status_above(bs, base, true, offset, bytes,
253931826642SEric Blake                                           pnum, map, file);
2540c9ce8c4dSEric Blake }
2541c9ce8c4dSEric Blake 
2542237d78f8SEric Blake int bdrv_block_status(BlockDriverState *bs, int64_t offset, int64_t bytes,
2543237d78f8SEric Blake                       int64_t *pnum, int64_t *map, BlockDriverState **file)
2544ba3f0e25SFam Zheng {
254531826642SEric Blake     return bdrv_block_status_above(bs, backing_bs(bs),
254631826642SEric Blake                                    offset, bytes, pnum, map, file);
2547ba3f0e25SFam Zheng }
2548ba3f0e25SFam Zheng 
2549d6a644bbSEric Blake int coroutine_fn bdrv_is_allocated(BlockDriverState *bs, int64_t offset,
2550d6a644bbSEric Blake                                    int64_t bytes, int64_t *pnum)
255161007b31SStefan Hajnoczi {
25527ddb99b9SEric Blake     int ret;
25537ddb99b9SEric Blake     int64_t dummy;
2554d6a644bbSEric Blake 
25557ddb99b9SEric Blake     ret = bdrv_common_block_status_above(bs, backing_bs(bs), false, offset,
25567ddb99b9SEric Blake                                          bytes, pnum ? pnum : &dummy, NULL,
2557298a1665SEric Blake                                          NULL);
255861007b31SStefan Hajnoczi     if (ret < 0) {
255961007b31SStefan Hajnoczi         return ret;
256061007b31SStefan Hajnoczi     }
256161007b31SStefan Hajnoczi     return !!(ret & BDRV_BLOCK_ALLOCATED);
256261007b31SStefan Hajnoczi }
256361007b31SStefan Hajnoczi 
256461007b31SStefan Hajnoczi /*
256561007b31SStefan Hajnoczi  * Given an image chain: ... -> [BASE] -> [INTER1] -> [INTER2] -> [TOP]
256661007b31SStefan Hajnoczi  *
2567170d3bd3SAndrey Shinkevich  * Return 1 if (a prefix of) the given range is allocated in any image
2568170d3bd3SAndrey Shinkevich  * between BASE and TOP (BASE is only included if include_base is set).
2569170d3bd3SAndrey Shinkevich  * BASE can be NULL to check if the given offset is allocated in any
2570170d3bd3SAndrey Shinkevich  * image of the chain.  Return 0 otherwise, or negative errno on
2571170d3bd3SAndrey Shinkevich  * failure.
257261007b31SStefan Hajnoczi  *
257351b0a488SEric Blake  * 'pnum' is set to the number of bytes (including and immediately
257451b0a488SEric Blake  * following the specified offset) that are known to be in the same
257551b0a488SEric Blake  * allocated/unallocated state.  Note that a subsequent call starting
257651b0a488SEric Blake  * at 'offset + *pnum' may return the same allocation status (in other
257751b0a488SEric Blake  * words, the result is not necessarily the maximum possible range);
257851b0a488SEric Blake  * but 'pnum' will only be 0 when end of file is reached.
257961007b31SStefan Hajnoczi  *
258061007b31SStefan Hajnoczi  */
258161007b31SStefan Hajnoczi int bdrv_is_allocated_above(BlockDriverState *top,
258261007b31SStefan Hajnoczi                             BlockDriverState *base,
2583170d3bd3SAndrey Shinkevich                             bool include_base, int64_t offset,
2584170d3bd3SAndrey Shinkevich                             int64_t bytes, int64_t *pnum)
258561007b31SStefan Hajnoczi {
258661007b31SStefan Hajnoczi     BlockDriverState *intermediate;
258751b0a488SEric Blake     int ret;
258851b0a488SEric Blake     int64_t n = bytes;
258961007b31SStefan Hajnoczi 
2590170d3bd3SAndrey Shinkevich     assert(base || !include_base);
2591170d3bd3SAndrey Shinkevich 
259261007b31SStefan Hajnoczi     intermediate = top;
2593170d3bd3SAndrey Shinkevich     while (include_base || intermediate != base) {
2594d6a644bbSEric Blake         int64_t pnum_inter;
2595c00716beSEric Blake         int64_t size_inter;
2596d6a644bbSEric Blake 
2597170d3bd3SAndrey Shinkevich         assert(intermediate);
259851b0a488SEric Blake         ret = bdrv_is_allocated(intermediate, offset, bytes, &pnum_inter);
259961007b31SStefan Hajnoczi         if (ret < 0) {
260061007b31SStefan Hajnoczi             return ret;
2601d6a644bbSEric Blake         }
2602d6a644bbSEric Blake         if (ret) {
260351b0a488SEric Blake             *pnum = pnum_inter;
260461007b31SStefan Hajnoczi             return 1;
260561007b31SStefan Hajnoczi         }
260661007b31SStefan Hajnoczi 
260751b0a488SEric Blake         size_inter = bdrv_getlength(intermediate);
2608c00716beSEric Blake         if (size_inter < 0) {
2609c00716beSEric Blake             return size_inter;
2610c00716beSEric Blake         }
261151b0a488SEric Blake         if (n > pnum_inter &&
261251b0a488SEric Blake             (intermediate == top || offset + pnum_inter < size_inter)) {
261351b0a488SEric Blake             n = pnum_inter;
261461007b31SStefan Hajnoczi         }
261561007b31SStefan Hajnoczi 
2616170d3bd3SAndrey Shinkevich         if (intermediate == base) {
2617170d3bd3SAndrey Shinkevich             break;
2618170d3bd3SAndrey Shinkevich         }
2619170d3bd3SAndrey Shinkevich 
2620760e0063SKevin Wolf         intermediate = backing_bs(intermediate);
262161007b31SStefan Hajnoczi     }
262261007b31SStefan Hajnoczi 
262361007b31SStefan Hajnoczi     *pnum = n;
262461007b31SStefan Hajnoczi     return 0;
262561007b31SStefan Hajnoczi }
262661007b31SStefan Hajnoczi 
26271a8ae822SKevin Wolf typedef struct BdrvVmstateCo {
26281a8ae822SKevin Wolf     BlockDriverState    *bs;
26291a8ae822SKevin Wolf     QEMUIOVector        *qiov;
26301a8ae822SKevin Wolf     int64_t             pos;
26311a8ae822SKevin Wolf     bool                is_read;
26321a8ae822SKevin Wolf     int                 ret;
26331a8ae822SKevin Wolf } BdrvVmstateCo;
26341a8ae822SKevin Wolf 
26351a8ae822SKevin Wolf static int coroutine_fn
26361a8ae822SKevin Wolf bdrv_co_rw_vmstate(BlockDriverState *bs, QEMUIOVector *qiov, int64_t pos,
26371a8ae822SKevin Wolf                    bool is_read)
26381a8ae822SKevin Wolf {
26391a8ae822SKevin Wolf     BlockDriver *drv = bs->drv;
2640dc88a467SStefan Hajnoczi     int ret = -ENOTSUP;
2641dc88a467SStefan Hajnoczi 
2642dc88a467SStefan Hajnoczi     bdrv_inc_in_flight(bs);
26431a8ae822SKevin Wolf 
26441a8ae822SKevin Wolf     if (!drv) {
2645dc88a467SStefan Hajnoczi         ret = -ENOMEDIUM;
26461a8ae822SKevin Wolf     } else if (drv->bdrv_load_vmstate) {
2647dc88a467SStefan Hajnoczi         if (is_read) {
2648dc88a467SStefan Hajnoczi             ret = drv->bdrv_load_vmstate(bs, qiov, pos);
2649dc88a467SStefan Hajnoczi         } else {
2650dc88a467SStefan Hajnoczi             ret = drv->bdrv_save_vmstate(bs, qiov, pos);
2651dc88a467SStefan Hajnoczi         }
26521a8ae822SKevin Wolf     } else if (bs->file) {
2653dc88a467SStefan Hajnoczi         ret = bdrv_co_rw_vmstate(bs->file->bs, qiov, pos, is_read);
26541a8ae822SKevin Wolf     }
26551a8ae822SKevin Wolf 
2656dc88a467SStefan Hajnoczi     bdrv_dec_in_flight(bs);
2657dc88a467SStefan Hajnoczi     return ret;
26581a8ae822SKevin Wolf }
26591a8ae822SKevin Wolf 
26601a8ae822SKevin Wolf static void coroutine_fn bdrv_co_rw_vmstate_entry(void *opaque)
26611a8ae822SKevin Wolf {
26621a8ae822SKevin Wolf     BdrvVmstateCo *co = opaque;
26631a8ae822SKevin Wolf     co->ret = bdrv_co_rw_vmstate(co->bs, co->qiov, co->pos, co->is_read);
26644720cbeeSKevin Wolf     aio_wait_kick();
26651a8ae822SKevin Wolf }
26661a8ae822SKevin Wolf 
26671a8ae822SKevin Wolf static inline int
26681a8ae822SKevin Wolf bdrv_rw_vmstate(BlockDriverState *bs, QEMUIOVector *qiov, int64_t pos,
26691a8ae822SKevin Wolf                 bool is_read)
26701a8ae822SKevin Wolf {
26711a8ae822SKevin Wolf     if (qemu_in_coroutine()) {
26721a8ae822SKevin Wolf         return bdrv_co_rw_vmstate(bs, qiov, pos, is_read);
26731a8ae822SKevin Wolf     } else {
26741a8ae822SKevin Wolf         BdrvVmstateCo data = {
26751a8ae822SKevin Wolf             .bs         = bs,
26761a8ae822SKevin Wolf             .qiov       = qiov,
26771a8ae822SKevin Wolf             .pos        = pos,
26781a8ae822SKevin Wolf             .is_read    = is_read,
26791a8ae822SKevin Wolf             .ret        = -EINPROGRESS,
26801a8ae822SKevin Wolf         };
26810b8b8753SPaolo Bonzini         Coroutine *co = qemu_coroutine_create(bdrv_co_rw_vmstate_entry, &data);
26821a8ae822SKevin Wolf 
2683e92f0e19SFam Zheng         bdrv_coroutine_enter(bs, co);
2684ea17c9d2SStefan Hajnoczi         BDRV_POLL_WHILE(bs, data.ret == -EINPROGRESS);
26851a8ae822SKevin Wolf         return data.ret;
26861a8ae822SKevin Wolf     }
26871a8ae822SKevin Wolf }
26881a8ae822SKevin Wolf 
268961007b31SStefan Hajnoczi int bdrv_save_vmstate(BlockDriverState *bs, const uint8_t *buf,
269061007b31SStefan Hajnoczi                       int64_t pos, int size)
269161007b31SStefan Hajnoczi {
26920d93ed08SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buf, size);
2693b433d942SKevin Wolf     int ret;
269461007b31SStefan Hajnoczi 
2695b433d942SKevin Wolf     ret = bdrv_writev_vmstate(bs, &qiov, pos);
2696b433d942SKevin Wolf     if (ret < 0) {
2697b433d942SKevin Wolf         return ret;
2698b433d942SKevin Wolf     }
2699b433d942SKevin Wolf 
2700b433d942SKevin Wolf     return size;
270161007b31SStefan Hajnoczi }
270261007b31SStefan Hajnoczi 
270361007b31SStefan Hajnoczi int bdrv_writev_vmstate(BlockDriverState *bs, QEMUIOVector *qiov, int64_t pos)
270461007b31SStefan Hajnoczi {
27051a8ae822SKevin Wolf     return bdrv_rw_vmstate(bs, qiov, pos, false);
270661007b31SStefan Hajnoczi }
270761007b31SStefan Hajnoczi 
270861007b31SStefan Hajnoczi int bdrv_load_vmstate(BlockDriverState *bs, uint8_t *buf,
270961007b31SStefan Hajnoczi                       int64_t pos, int size)
271061007b31SStefan Hajnoczi {
27110d93ed08SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buf, size);
2712b433d942SKevin Wolf     int ret;
27135ddda0b8SKevin Wolf 
2714b433d942SKevin Wolf     ret = bdrv_readv_vmstate(bs, &qiov, pos);
2715b433d942SKevin Wolf     if (ret < 0) {
2716b433d942SKevin Wolf         return ret;
2717b433d942SKevin Wolf     }
2718b433d942SKevin Wolf 
2719b433d942SKevin Wolf     return size;
27205ddda0b8SKevin Wolf }
27215ddda0b8SKevin Wolf 
27225ddda0b8SKevin Wolf int bdrv_readv_vmstate(BlockDriverState *bs, QEMUIOVector *qiov, int64_t pos)
27235ddda0b8SKevin Wolf {
27241a8ae822SKevin Wolf     return bdrv_rw_vmstate(bs, qiov, pos, true);
272561007b31SStefan Hajnoczi }
272661007b31SStefan Hajnoczi 
272761007b31SStefan Hajnoczi /**************************************************************/
272861007b31SStefan Hajnoczi /* async I/Os */
272961007b31SStefan Hajnoczi 
273061007b31SStefan Hajnoczi void bdrv_aio_cancel(BlockAIOCB *acb)
273161007b31SStefan Hajnoczi {
273261007b31SStefan Hajnoczi     qemu_aio_ref(acb);
273361007b31SStefan Hajnoczi     bdrv_aio_cancel_async(acb);
273461007b31SStefan Hajnoczi     while (acb->refcnt > 1) {
273561007b31SStefan Hajnoczi         if (acb->aiocb_info->get_aio_context) {
273661007b31SStefan Hajnoczi             aio_poll(acb->aiocb_info->get_aio_context(acb), true);
273761007b31SStefan Hajnoczi         } else if (acb->bs) {
27382f47da5fSPaolo Bonzini             /* qemu_aio_ref and qemu_aio_unref are not thread-safe, so
27392f47da5fSPaolo Bonzini              * assert that we're not using an I/O thread.  Thread-safe
27402f47da5fSPaolo Bonzini              * code should use bdrv_aio_cancel_async exclusively.
27412f47da5fSPaolo Bonzini              */
27422f47da5fSPaolo Bonzini             assert(bdrv_get_aio_context(acb->bs) == qemu_get_aio_context());
274361007b31SStefan Hajnoczi             aio_poll(bdrv_get_aio_context(acb->bs), true);
274461007b31SStefan Hajnoczi         } else {
274561007b31SStefan Hajnoczi             abort();
274661007b31SStefan Hajnoczi         }
274761007b31SStefan Hajnoczi     }
274861007b31SStefan Hajnoczi     qemu_aio_unref(acb);
274961007b31SStefan Hajnoczi }
275061007b31SStefan Hajnoczi 
275161007b31SStefan Hajnoczi /* Async version of aio cancel. The caller is not blocked if the acb implements
275261007b31SStefan Hajnoczi  * cancel_async, otherwise we do nothing and let the request normally complete.
275361007b31SStefan Hajnoczi  * In either case the completion callback must be called. */
275461007b31SStefan Hajnoczi void bdrv_aio_cancel_async(BlockAIOCB *acb)
275561007b31SStefan Hajnoczi {
275661007b31SStefan Hajnoczi     if (acb->aiocb_info->cancel_async) {
275761007b31SStefan Hajnoczi         acb->aiocb_info->cancel_async(acb);
275861007b31SStefan Hajnoczi     }
275961007b31SStefan Hajnoczi }
276061007b31SStefan Hajnoczi 
276161007b31SStefan Hajnoczi /**************************************************************/
276261007b31SStefan Hajnoczi /* Coroutine block device emulation */
276361007b31SStefan Hajnoczi 
2764e293b7a3SKevin Wolf typedef struct FlushCo {
2765e293b7a3SKevin Wolf     BlockDriverState *bs;
2766e293b7a3SKevin Wolf     int ret;
2767e293b7a3SKevin Wolf } FlushCo;
2768e293b7a3SKevin Wolf 
2769e293b7a3SKevin Wolf 
277061007b31SStefan Hajnoczi static void coroutine_fn bdrv_flush_co_entry(void *opaque)
277161007b31SStefan Hajnoczi {
2772e293b7a3SKevin Wolf     FlushCo *rwco = opaque;
277361007b31SStefan Hajnoczi 
277461007b31SStefan Hajnoczi     rwco->ret = bdrv_co_flush(rwco->bs);
27754720cbeeSKevin Wolf     aio_wait_kick();
277661007b31SStefan Hajnoczi }
277761007b31SStefan Hajnoczi 
277861007b31SStefan Hajnoczi int coroutine_fn bdrv_co_flush(BlockDriverState *bs)
277961007b31SStefan Hajnoczi {
278049ca6259SFam Zheng     int current_gen;
278149ca6259SFam Zheng     int ret = 0;
278261007b31SStefan Hajnoczi 
278399723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
2784c32b82afSPavel Dovgalyuk 
2785e914404eSFam Zheng     if (!bdrv_is_inserted(bs) || bdrv_is_read_only(bs) ||
278649ca6259SFam Zheng         bdrv_is_sg(bs)) {
278749ca6259SFam Zheng         goto early_exit;
278849ca6259SFam Zheng     }
278949ca6259SFam Zheng 
27903783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&bs->reqs_lock);
279147fec599SPaolo Bonzini     current_gen = atomic_read(&bs->write_gen);
27923ff2f67aSEvgeny Yakovlev 
27933ff2f67aSEvgeny Yakovlev     /* Wait until any previous flushes are completed */
279499723548SPaolo Bonzini     while (bs->active_flush_req) {
27953783fa3dSPaolo Bonzini         qemu_co_queue_wait(&bs->flush_queue, &bs->reqs_lock);
27963ff2f67aSEvgeny Yakovlev     }
27973ff2f67aSEvgeny Yakovlev 
27983783fa3dSPaolo Bonzini     /* Flushes reach this point in nondecreasing current_gen order.  */
279999723548SPaolo Bonzini     bs->active_flush_req = true;
28003783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&bs->reqs_lock);
28013ff2f67aSEvgeny Yakovlev 
2802c32b82afSPavel Dovgalyuk     /* Write back all layers by calling one driver function */
2803c32b82afSPavel Dovgalyuk     if (bs->drv->bdrv_co_flush) {
2804c32b82afSPavel Dovgalyuk         ret = bs->drv->bdrv_co_flush(bs);
2805c32b82afSPavel Dovgalyuk         goto out;
2806c32b82afSPavel Dovgalyuk     }
2807c32b82afSPavel Dovgalyuk 
280861007b31SStefan Hajnoczi     /* Write back cached data to the OS even with cache=unsafe */
280961007b31SStefan Hajnoczi     BLKDBG_EVENT(bs->file, BLKDBG_FLUSH_TO_OS);
281061007b31SStefan Hajnoczi     if (bs->drv->bdrv_co_flush_to_os) {
281161007b31SStefan Hajnoczi         ret = bs->drv->bdrv_co_flush_to_os(bs);
281261007b31SStefan Hajnoczi         if (ret < 0) {
2813cdb5e315SFam Zheng             goto out;
281461007b31SStefan Hajnoczi         }
281561007b31SStefan Hajnoczi     }
281661007b31SStefan Hajnoczi 
281761007b31SStefan Hajnoczi     /* But don't actually force it to the disk with cache=unsafe */
281861007b31SStefan Hajnoczi     if (bs->open_flags & BDRV_O_NO_FLUSH) {
281961007b31SStefan Hajnoczi         goto flush_parent;
282061007b31SStefan Hajnoczi     }
282161007b31SStefan Hajnoczi 
28223ff2f67aSEvgeny Yakovlev     /* Check if we really need to flush anything */
28233ff2f67aSEvgeny Yakovlev     if (bs->flushed_gen == current_gen) {
28243ff2f67aSEvgeny Yakovlev         goto flush_parent;
28253ff2f67aSEvgeny Yakovlev     }
28263ff2f67aSEvgeny Yakovlev 
282761007b31SStefan Hajnoczi     BLKDBG_EVENT(bs->file, BLKDBG_FLUSH_TO_DISK);
2828d470ad42SMax Reitz     if (!bs->drv) {
2829d470ad42SMax Reitz         /* bs->drv->bdrv_co_flush() might have ejected the BDS
2830d470ad42SMax Reitz          * (even in case of apparent success) */
2831d470ad42SMax Reitz         ret = -ENOMEDIUM;
2832d470ad42SMax Reitz         goto out;
2833d470ad42SMax Reitz     }
283461007b31SStefan Hajnoczi     if (bs->drv->bdrv_co_flush_to_disk) {
283561007b31SStefan Hajnoczi         ret = bs->drv->bdrv_co_flush_to_disk(bs);
283661007b31SStefan Hajnoczi     } else if (bs->drv->bdrv_aio_flush) {
283761007b31SStefan Hajnoczi         BlockAIOCB *acb;
283861007b31SStefan Hajnoczi         CoroutineIOCompletion co = {
283961007b31SStefan Hajnoczi             .coroutine = qemu_coroutine_self(),
284061007b31SStefan Hajnoczi         };
284161007b31SStefan Hajnoczi 
284261007b31SStefan Hajnoczi         acb = bs->drv->bdrv_aio_flush(bs, bdrv_co_io_em_complete, &co);
284361007b31SStefan Hajnoczi         if (acb == NULL) {
284461007b31SStefan Hajnoczi             ret = -EIO;
284561007b31SStefan Hajnoczi         } else {
284661007b31SStefan Hajnoczi             qemu_coroutine_yield();
284761007b31SStefan Hajnoczi             ret = co.ret;
284861007b31SStefan Hajnoczi         }
284961007b31SStefan Hajnoczi     } else {
285061007b31SStefan Hajnoczi         /*
285161007b31SStefan Hajnoczi          * Some block drivers always operate in either writethrough or unsafe
285261007b31SStefan Hajnoczi          * mode and don't support bdrv_flush therefore. Usually qemu doesn't
285361007b31SStefan Hajnoczi          * know how the server works (because the behaviour is hardcoded or
285461007b31SStefan Hajnoczi          * depends on server-side configuration), so we can't ensure that
285561007b31SStefan Hajnoczi          * everything is safe on disk. Returning an error doesn't work because
285661007b31SStefan Hajnoczi          * that would break guests even if the server operates in writethrough
285761007b31SStefan Hajnoczi          * mode.
285861007b31SStefan Hajnoczi          *
285961007b31SStefan Hajnoczi          * Let's hope the user knows what he's doing.
286061007b31SStefan Hajnoczi          */
286161007b31SStefan Hajnoczi         ret = 0;
286261007b31SStefan Hajnoczi     }
28633ff2f67aSEvgeny Yakovlev 
286461007b31SStefan Hajnoczi     if (ret < 0) {
2865cdb5e315SFam Zheng         goto out;
286661007b31SStefan Hajnoczi     }
286761007b31SStefan Hajnoczi 
286861007b31SStefan Hajnoczi     /* Now flush the underlying protocol.  It will also have BDRV_O_NO_FLUSH
286961007b31SStefan Hajnoczi      * in the case of cache=unsafe, so there are no useless flushes.
287061007b31SStefan Hajnoczi      */
287161007b31SStefan Hajnoczi flush_parent:
2872cdb5e315SFam Zheng     ret = bs->file ? bdrv_co_flush(bs->file->bs) : 0;
2873cdb5e315SFam Zheng out:
28743ff2f67aSEvgeny Yakovlev     /* Notify any pending flushes that we have completed */
2875e6af1e08SKevin Wolf     if (ret == 0) {
28763ff2f67aSEvgeny Yakovlev         bs->flushed_gen = current_gen;
2877e6af1e08SKevin Wolf     }
28783783fa3dSPaolo Bonzini 
28793783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&bs->reqs_lock);
288099723548SPaolo Bonzini     bs->active_flush_req = false;
2881156af3acSDenis V. Lunev     /* Return value is ignored - it's ok if wait queue is empty */
2882156af3acSDenis V. Lunev     qemu_co_queue_next(&bs->flush_queue);
28833783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&bs->reqs_lock);
28843ff2f67aSEvgeny Yakovlev 
288549ca6259SFam Zheng early_exit:
288699723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
2887cdb5e315SFam Zheng     return ret;
288861007b31SStefan Hajnoczi }
288961007b31SStefan Hajnoczi 
289061007b31SStefan Hajnoczi int bdrv_flush(BlockDriverState *bs)
289161007b31SStefan Hajnoczi {
289261007b31SStefan Hajnoczi     Coroutine *co;
2893e293b7a3SKevin Wolf     FlushCo flush_co = {
289461007b31SStefan Hajnoczi         .bs = bs,
289561007b31SStefan Hajnoczi         .ret = NOT_DONE,
289661007b31SStefan Hajnoczi     };
289761007b31SStefan Hajnoczi 
289861007b31SStefan Hajnoczi     if (qemu_in_coroutine()) {
289961007b31SStefan Hajnoczi         /* Fast-path if already in coroutine context */
2900e293b7a3SKevin Wolf         bdrv_flush_co_entry(&flush_co);
290161007b31SStefan Hajnoczi     } else {
29020b8b8753SPaolo Bonzini         co = qemu_coroutine_create(bdrv_flush_co_entry, &flush_co);
2903e92f0e19SFam Zheng         bdrv_coroutine_enter(bs, co);
290488b062c2SPaolo Bonzini         BDRV_POLL_WHILE(bs, flush_co.ret == NOT_DONE);
290561007b31SStefan Hajnoczi     }
290661007b31SStefan Hajnoczi 
2907e293b7a3SKevin Wolf     return flush_co.ret;
290861007b31SStefan Hajnoczi }
290961007b31SStefan Hajnoczi 
291061007b31SStefan Hajnoczi typedef struct DiscardCo {
29110b9fd3f4SFam Zheng     BdrvChild *child;
29120c51a893SEric Blake     int64_t offset;
2913d93e5726SVladimir Sementsov-Ogievskiy     int64_t bytes;
291461007b31SStefan Hajnoczi     int ret;
291561007b31SStefan Hajnoczi } DiscardCo;
29160c51a893SEric Blake static void coroutine_fn bdrv_pdiscard_co_entry(void *opaque)
291761007b31SStefan Hajnoczi {
291861007b31SStefan Hajnoczi     DiscardCo *rwco = opaque;
291961007b31SStefan Hajnoczi 
29200b9fd3f4SFam Zheng     rwco->ret = bdrv_co_pdiscard(rwco->child, rwco->offset, rwco->bytes);
29214720cbeeSKevin Wolf     aio_wait_kick();
292261007b31SStefan Hajnoczi }
292361007b31SStefan Hajnoczi 
2924d93e5726SVladimir Sementsov-Ogievskiy int coroutine_fn bdrv_co_pdiscard(BdrvChild *child, int64_t offset,
2925d93e5726SVladimir Sementsov-Ogievskiy                                   int64_t bytes)
292661007b31SStefan Hajnoczi {
2927b1066c87SFam Zheng     BdrvTrackedRequest req;
29289f1963b3SEric Blake     int max_pdiscard, ret;
29293482b9bcSEric Blake     int head, tail, align;
29300b9fd3f4SFam Zheng     BlockDriverState *bs = child->bs;
293161007b31SStefan Hajnoczi 
2932d93e5726SVladimir Sementsov-Ogievskiy     if (!bs || !bs->drv || !bdrv_is_inserted(bs)) {
293361007b31SStefan Hajnoczi         return -ENOMEDIUM;
293461007b31SStefan Hajnoczi     }
293561007b31SStefan Hajnoczi 
2936d6883bc9SVladimir Sementsov-Ogievskiy     if (bdrv_has_readonly_bitmaps(bs)) {
2937d6883bc9SVladimir Sementsov-Ogievskiy         return -EPERM;
2938d6883bc9SVladimir Sementsov-Ogievskiy     }
2939d6883bc9SVladimir Sementsov-Ogievskiy 
2940d93e5726SVladimir Sementsov-Ogievskiy     if (offset < 0 || bytes < 0 || bytes > INT64_MAX - offset) {
2941d93e5726SVladimir Sementsov-Ogievskiy         return -EIO;
294261007b31SStefan Hajnoczi     }
294361007b31SStefan Hajnoczi 
294461007b31SStefan Hajnoczi     /* Do nothing if disabled.  */
294561007b31SStefan Hajnoczi     if (!(bs->open_flags & BDRV_O_UNMAP)) {
294661007b31SStefan Hajnoczi         return 0;
294761007b31SStefan Hajnoczi     }
294861007b31SStefan Hajnoczi 
294902aefe43SEric Blake     if (!bs->drv->bdrv_co_pdiscard && !bs->drv->bdrv_aio_pdiscard) {
295061007b31SStefan Hajnoczi         return 0;
295161007b31SStefan Hajnoczi     }
295261007b31SStefan Hajnoczi 
29533482b9bcSEric Blake     /* Discard is advisory, but some devices track and coalesce
29543482b9bcSEric Blake      * unaligned requests, so we must pass everything down rather than
29553482b9bcSEric Blake      * round here.  Still, most devices will just silently ignore
29563482b9bcSEric Blake      * unaligned requests (by returning -ENOTSUP), so we must fragment
29573482b9bcSEric Blake      * the request accordingly.  */
295802aefe43SEric Blake     align = MAX(bs->bl.pdiscard_alignment, bs->bl.request_alignment);
2959b8d0a980SEric Blake     assert(align % bs->bl.request_alignment == 0);
2960b8d0a980SEric Blake     head = offset % align;
2961f5a5ca79SManos Pitsidianakis     tail = (offset + bytes) % align;
29629f1963b3SEric Blake 
296399723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
2964f5a5ca79SManos Pitsidianakis     tracked_request_begin(&req, bs, offset, bytes, BDRV_TRACKED_DISCARD);
296550824995SFam Zheng 
296600695c27SFam Zheng     ret = bdrv_co_write_req_prepare(child, offset, bytes, &req, 0);
2967ec050f77SDenis V. Lunev     if (ret < 0) {
2968ec050f77SDenis V. Lunev         goto out;
2969ec050f77SDenis V. Lunev     }
2970ec050f77SDenis V. Lunev 
29719f1963b3SEric Blake     max_pdiscard = QEMU_ALIGN_DOWN(MIN_NON_ZERO(bs->bl.max_pdiscard, INT_MAX),
29729f1963b3SEric Blake                                    align);
29733482b9bcSEric Blake     assert(max_pdiscard >= bs->bl.request_alignment);
29749f1963b3SEric Blake 
2975f5a5ca79SManos Pitsidianakis     while (bytes > 0) {
2976d93e5726SVladimir Sementsov-Ogievskiy         int64_t num = bytes;
29773482b9bcSEric Blake 
29783482b9bcSEric Blake         if (head) {
29793482b9bcSEric Blake             /* Make small requests to get to alignment boundaries. */
2980f5a5ca79SManos Pitsidianakis             num = MIN(bytes, align - head);
29813482b9bcSEric Blake             if (!QEMU_IS_ALIGNED(num, bs->bl.request_alignment)) {
29823482b9bcSEric Blake                 num %= bs->bl.request_alignment;
29833482b9bcSEric Blake             }
29843482b9bcSEric Blake             head = (head + num) % align;
29853482b9bcSEric Blake             assert(num < max_pdiscard);
29863482b9bcSEric Blake         } else if (tail) {
29873482b9bcSEric Blake             if (num > align) {
29883482b9bcSEric Blake                 /* Shorten the request to the last aligned cluster.  */
29893482b9bcSEric Blake                 num -= tail;
29903482b9bcSEric Blake             } else if (!QEMU_IS_ALIGNED(tail, bs->bl.request_alignment) &&
29913482b9bcSEric Blake                        tail > bs->bl.request_alignment) {
29923482b9bcSEric Blake                 tail %= bs->bl.request_alignment;
29933482b9bcSEric Blake                 num -= tail;
29943482b9bcSEric Blake             }
29953482b9bcSEric Blake         }
29963482b9bcSEric Blake         /* limit request size */
29973482b9bcSEric Blake         if (num > max_pdiscard) {
29983482b9bcSEric Blake             num = max_pdiscard;
29993482b9bcSEric Blake         }
300061007b31SStefan Hajnoczi 
3001d470ad42SMax Reitz         if (!bs->drv) {
3002d470ad42SMax Reitz             ret = -ENOMEDIUM;
3003d470ad42SMax Reitz             goto out;
3004d470ad42SMax Reitz         }
300547a5486dSEric Blake         if (bs->drv->bdrv_co_pdiscard) {
300647a5486dSEric Blake             ret = bs->drv->bdrv_co_pdiscard(bs, offset, num);
300761007b31SStefan Hajnoczi         } else {
300861007b31SStefan Hajnoczi             BlockAIOCB *acb;
300961007b31SStefan Hajnoczi             CoroutineIOCompletion co = {
301061007b31SStefan Hajnoczi                 .coroutine = qemu_coroutine_self(),
301161007b31SStefan Hajnoczi             };
301261007b31SStefan Hajnoczi 
30134da444a0SEric Blake             acb = bs->drv->bdrv_aio_pdiscard(bs, offset, num,
301461007b31SStefan Hajnoczi                                              bdrv_co_io_em_complete, &co);
301561007b31SStefan Hajnoczi             if (acb == NULL) {
3016b1066c87SFam Zheng                 ret = -EIO;
3017b1066c87SFam Zheng                 goto out;
301861007b31SStefan Hajnoczi             } else {
301961007b31SStefan Hajnoczi                 qemu_coroutine_yield();
302061007b31SStefan Hajnoczi                 ret = co.ret;
302161007b31SStefan Hajnoczi             }
302261007b31SStefan Hajnoczi         }
302361007b31SStefan Hajnoczi         if (ret && ret != -ENOTSUP) {
3024b1066c87SFam Zheng             goto out;
302561007b31SStefan Hajnoczi         }
302661007b31SStefan Hajnoczi 
30279f1963b3SEric Blake         offset += num;
3028f5a5ca79SManos Pitsidianakis         bytes -= num;
302961007b31SStefan Hajnoczi     }
3030b1066c87SFam Zheng     ret = 0;
3031b1066c87SFam Zheng out:
303200695c27SFam Zheng     bdrv_co_write_req_finish(child, req.offset, req.bytes, &req, ret);
3033b1066c87SFam Zheng     tracked_request_end(&req);
303499723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
3035b1066c87SFam Zheng     return ret;
303661007b31SStefan Hajnoczi }
303761007b31SStefan Hajnoczi 
3038d93e5726SVladimir Sementsov-Ogievskiy int bdrv_pdiscard(BdrvChild *child, int64_t offset, int64_t bytes)
303961007b31SStefan Hajnoczi {
304061007b31SStefan Hajnoczi     Coroutine *co;
304161007b31SStefan Hajnoczi     DiscardCo rwco = {
30420b9fd3f4SFam Zheng         .child = child,
30430c51a893SEric Blake         .offset = offset,
3044f5a5ca79SManos Pitsidianakis         .bytes = bytes,
304561007b31SStefan Hajnoczi         .ret = NOT_DONE,
304661007b31SStefan Hajnoczi     };
304761007b31SStefan Hajnoczi 
304861007b31SStefan Hajnoczi     if (qemu_in_coroutine()) {
304961007b31SStefan Hajnoczi         /* Fast-path if already in coroutine context */
30500c51a893SEric Blake         bdrv_pdiscard_co_entry(&rwco);
305161007b31SStefan Hajnoczi     } else {
30520c51a893SEric Blake         co = qemu_coroutine_create(bdrv_pdiscard_co_entry, &rwco);
30530b9fd3f4SFam Zheng         bdrv_coroutine_enter(child->bs, co);
30540b9fd3f4SFam Zheng         BDRV_POLL_WHILE(child->bs, rwco.ret == NOT_DONE);
305561007b31SStefan Hajnoczi     }
305661007b31SStefan Hajnoczi 
305761007b31SStefan Hajnoczi     return rwco.ret;
305861007b31SStefan Hajnoczi }
305961007b31SStefan Hajnoczi 
306048af776aSKevin Wolf int bdrv_co_ioctl(BlockDriverState *bs, int req, void *buf)
306161007b31SStefan Hajnoczi {
306261007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
30635c5ae76aSFam Zheng     CoroutineIOCompletion co = {
30645c5ae76aSFam Zheng         .coroutine = qemu_coroutine_self(),
30655c5ae76aSFam Zheng     };
30665c5ae76aSFam Zheng     BlockAIOCB *acb;
306761007b31SStefan Hajnoczi 
306899723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
306916a389dcSKevin Wolf     if (!drv || (!drv->bdrv_aio_ioctl && !drv->bdrv_co_ioctl)) {
30705c5ae76aSFam Zheng         co.ret = -ENOTSUP;
30715c5ae76aSFam Zheng         goto out;
30725c5ae76aSFam Zheng     }
30735c5ae76aSFam Zheng 
307416a389dcSKevin Wolf     if (drv->bdrv_co_ioctl) {
307516a389dcSKevin Wolf         co.ret = drv->bdrv_co_ioctl(bs, req, buf);
307616a389dcSKevin Wolf     } else {
30775c5ae76aSFam Zheng         acb = drv->bdrv_aio_ioctl(bs, req, buf, bdrv_co_io_em_complete, &co);
30785c5ae76aSFam Zheng         if (!acb) {
3079c8a9fd80SFam Zheng             co.ret = -ENOTSUP;
3080c8a9fd80SFam Zheng             goto out;
30815c5ae76aSFam Zheng         }
30825c5ae76aSFam Zheng         qemu_coroutine_yield();
308316a389dcSKevin Wolf     }
30845c5ae76aSFam Zheng out:
308599723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
30865c5ae76aSFam Zheng     return co.ret;
30875c5ae76aSFam Zheng }
30885c5ae76aSFam Zheng 
308961007b31SStefan Hajnoczi void *qemu_blockalign(BlockDriverState *bs, size_t size)
309061007b31SStefan Hajnoczi {
309161007b31SStefan Hajnoczi     return qemu_memalign(bdrv_opt_mem_align(bs), size);
309261007b31SStefan Hajnoczi }
309361007b31SStefan Hajnoczi 
309461007b31SStefan Hajnoczi void *qemu_blockalign0(BlockDriverState *bs, size_t size)
309561007b31SStefan Hajnoczi {
309661007b31SStefan Hajnoczi     return memset(qemu_blockalign(bs, size), 0, size);
309761007b31SStefan Hajnoczi }
309861007b31SStefan Hajnoczi 
309961007b31SStefan Hajnoczi void *qemu_try_blockalign(BlockDriverState *bs, size_t size)
310061007b31SStefan Hajnoczi {
310161007b31SStefan Hajnoczi     size_t align = bdrv_opt_mem_align(bs);
310261007b31SStefan Hajnoczi 
310361007b31SStefan Hajnoczi     /* Ensure that NULL is never returned on success */
310461007b31SStefan Hajnoczi     assert(align > 0);
310561007b31SStefan Hajnoczi     if (size == 0) {
310661007b31SStefan Hajnoczi         size = align;
310761007b31SStefan Hajnoczi     }
310861007b31SStefan Hajnoczi 
310961007b31SStefan Hajnoczi     return qemu_try_memalign(align, size);
311061007b31SStefan Hajnoczi }
311161007b31SStefan Hajnoczi 
311261007b31SStefan Hajnoczi void *qemu_try_blockalign0(BlockDriverState *bs, size_t size)
311361007b31SStefan Hajnoczi {
311461007b31SStefan Hajnoczi     void *mem = qemu_try_blockalign(bs, size);
311561007b31SStefan Hajnoczi 
311661007b31SStefan Hajnoczi     if (mem) {
311761007b31SStefan Hajnoczi         memset(mem, 0, size);
311861007b31SStefan Hajnoczi     }
311961007b31SStefan Hajnoczi 
312061007b31SStefan Hajnoczi     return mem;
312161007b31SStefan Hajnoczi }
312261007b31SStefan Hajnoczi 
312361007b31SStefan Hajnoczi /*
312461007b31SStefan Hajnoczi  * Check if all memory in this vector is sector aligned.
312561007b31SStefan Hajnoczi  */
312661007b31SStefan Hajnoczi bool bdrv_qiov_is_aligned(BlockDriverState *bs, QEMUIOVector *qiov)
312761007b31SStefan Hajnoczi {
312861007b31SStefan Hajnoczi     int i;
31294196d2f0SDenis V. Lunev     size_t alignment = bdrv_min_mem_align(bs);
313061007b31SStefan Hajnoczi 
313161007b31SStefan Hajnoczi     for (i = 0; i < qiov->niov; i++) {
313261007b31SStefan Hajnoczi         if ((uintptr_t) qiov->iov[i].iov_base % alignment) {
313361007b31SStefan Hajnoczi             return false;
313461007b31SStefan Hajnoczi         }
313561007b31SStefan Hajnoczi         if (qiov->iov[i].iov_len % alignment) {
313661007b31SStefan Hajnoczi             return false;
313761007b31SStefan Hajnoczi         }
313861007b31SStefan Hajnoczi     }
313961007b31SStefan Hajnoczi 
314061007b31SStefan Hajnoczi     return true;
314161007b31SStefan Hajnoczi }
314261007b31SStefan Hajnoczi 
314361007b31SStefan Hajnoczi void bdrv_add_before_write_notifier(BlockDriverState *bs,
314461007b31SStefan Hajnoczi                                     NotifierWithReturn *notifier)
314561007b31SStefan Hajnoczi {
314661007b31SStefan Hajnoczi     notifier_with_return_list_add(&bs->before_write_notifiers, notifier);
314761007b31SStefan Hajnoczi }
314861007b31SStefan Hajnoczi 
314961007b31SStefan Hajnoczi void bdrv_io_plug(BlockDriverState *bs)
315061007b31SStefan Hajnoczi {
31516b98bd64SPaolo Bonzini     BdrvChild *child;
31526b98bd64SPaolo Bonzini 
31536b98bd64SPaolo Bonzini     QLIST_FOREACH(child, &bs->children, next) {
31546b98bd64SPaolo Bonzini         bdrv_io_plug(child->bs);
31556b98bd64SPaolo Bonzini     }
31566b98bd64SPaolo Bonzini 
3157850d54a2SPaolo Bonzini     if (atomic_fetch_inc(&bs->io_plugged) == 0) {
315861007b31SStefan Hajnoczi         BlockDriver *drv = bs->drv;
315961007b31SStefan Hajnoczi         if (drv && drv->bdrv_io_plug) {
316061007b31SStefan Hajnoczi             drv->bdrv_io_plug(bs);
31616b98bd64SPaolo Bonzini         }
316261007b31SStefan Hajnoczi     }
316361007b31SStefan Hajnoczi }
316461007b31SStefan Hajnoczi 
316561007b31SStefan Hajnoczi void bdrv_io_unplug(BlockDriverState *bs)
316661007b31SStefan Hajnoczi {
31676b98bd64SPaolo Bonzini     BdrvChild *child;
31686b98bd64SPaolo Bonzini 
31696b98bd64SPaolo Bonzini     assert(bs->io_plugged);
3170850d54a2SPaolo Bonzini     if (atomic_fetch_dec(&bs->io_plugged) == 1) {
317161007b31SStefan Hajnoczi         BlockDriver *drv = bs->drv;
317261007b31SStefan Hajnoczi         if (drv && drv->bdrv_io_unplug) {
317361007b31SStefan Hajnoczi             drv->bdrv_io_unplug(bs);
317461007b31SStefan Hajnoczi         }
317561007b31SStefan Hajnoczi     }
317661007b31SStefan Hajnoczi 
31776b98bd64SPaolo Bonzini     QLIST_FOREACH(child, &bs->children, next) {
31786b98bd64SPaolo Bonzini         bdrv_io_unplug(child->bs);
31796b98bd64SPaolo Bonzini     }
31806b98bd64SPaolo Bonzini }
318123d0ba93SFam Zheng 
318223d0ba93SFam Zheng void bdrv_register_buf(BlockDriverState *bs, void *host, size_t size)
318323d0ba93SFam Zheng {
318423d0ba93SFam Zheng     BdrvChild *child;
318523d0ba93SFam Zheng 
318623d0ba93SFam Zheng     if (bs->drv && bs->drv->bdrv_register_buf) {
318723d0ba93SFam Zheng         bs->drv->bdrv_register_buf(bs, host, size);
318823d0ba93SFam Zheng     }
318923d0ba93SFam Zheng     QLIST_FOREACH(child, &bs->children, next) {
319023d0ba93SFam Zheng         bdrv_register_buf(child->bs, host, size);
319123d0ba93SFam Zheng     }
319223d0ba93SFam Zheng }
319323d0ba93SFam Zheng 
319423d0ba93SFam Zheng void bdrv_unregister_buf(BlockDriverState *bs, void *host)
319523d0ba93SFam Zheng {
319623d0ba93SFam Zheng     BdrvChild *child;
319723d0ba93SFam Zheng 
319823d0ba93SFam Zheng     if (bs->drv && bs->drv->bdrv_unregister_buf) {
319923d0ba93SFam Zheng         bs->drv->bdrv_unregister_buf(bs, host);
320023d0ba93SFam Zheng     }
320123d0ba93SFam Zheng     QLIST_FOREACH(child, &bs->children, next) {
320223d0ba93SFam Zheng         bdrv_unregister_buf(child->bs, host);
320323d0ba93SFam Zheng     }
320423d0ba93SFam Zheng }
3205fcc67678SFam Zheng 
320667b51fb9SVladimir Sementsov-Ogievskiy static int coroutine_fn bdrv_co_copy_range_internal(
320767b51fb9SVladimir Sementsov-Ogievskiy         BdrvChild *src, uint64_t src_offset, BdrvChild *dst,
320867b51fb9SVladimir Sementsov-Ogievskiy         uint64_t dst_offset, uint64_t bytes,
320967b51fb9SVladimir Sementsov-Ogievskiy         BdrvRequestFlags read_flags, BdrvRequestFlags write_flags,
3210fcc67678SFam Zheng         bool recurse_src)
3211fcc67678SFam Zheng {
3212999658a0SVladimir Sementsov-Ogievskiy     BdrvTrackedRequest req;
3213fcc67678SFam Zheng     int ret;
3214fcc67678SFam Zheng 
3215fe0480d6SKevin Wolf     /* TODO We can support BDRV_REQ_NO_FALLBACK here */
3216fe0480d6SKevin Wolf     assert(!(read_flags & BDRV_REQ_NO_FALLBACK));
3217fe0480d6SKevin Wolf     assert(!(write_flags & BDRV_REQ_NO_FALLBACK));
3218fe0480d6SKevin Wolf 
3219d4d3e5a0SFam Zheng     if (!dst || !dst->bs) {
3220fcc67678SFam Zheng         return -ENOMEDIUM;
3221fcc67678SFam Zheng     }
3222fcc67678SFam Zheng     ret = bdrv_check_byte_request(dst->bs, dst_offset, bytes);
3223fcc67678SFam Zheng     if (ret) {
3224fcc67678SFam Zheng         return ret;
3225fcc67678SFam Zheng     }
322667b51fb9SVladimir Sementsov-Ogievskiy     if (write_flags & BDRV_REQ_ZERO_WRITE) {
322767b51fb9SVladimir Sementsov-Ogievskiy         return bdrv_co_pwrite_zeroes(dst, dst_offset, bytes, write_flags);
3228fcc67678SFam Zheng     }
3229fcc67678SFam Zheng 
3230d4d3e5a0SFam Zheng     if (!src || !src->bs) {
3231d4d3e5a0SFam Zheng         return -ENOMEDIUM;
3232d4d3e5a0SFam Zheng     }
3233d4d3e5a0SFam Zheng     ret = bdrv_check_byte_request(src->bs, src_offset, bytes);
3234d4d3e5a0SFam Zheng     if (ret) {
3235d4d3e5a0SFam Zheng         return ret;
3236d4d3e5a0SFam Zheng     }
3237d4d3e5a0SFam Zheng 
3238fcc67678SFam Zheng     if (!src->bs->drv->bdrv_co_copy_range_from
3239fcc67678SFam Zheng         || !dst->bs->drv->bdrv_co_copy_range_to
3240fcc67678SFam Zheng         || src->bs->encrypted || dst->bs->encrypted) {
3241fcc67678SFam Zheng         return -ENOTSUP;
3242fcc67678SFam Zheng     }
3243999658a0SVladimir Sementsov-Ogievskiy 
3244999658a0SVladimir Sementsov-Ogievskiy     if (recurse_src) {
3245d4d3e5a0SFam Zheng         bdrv_inc_in_flight(src->bs);
3246999658a0SVladimir Sementsov-Ogievskiy         tracked_request_begin(&req, src->bs, src_offset, bytes,
3247999658a0SVladimir Sementsov-Ogievskiy                               BDRV_TRACKED_READ);
324837aec7d7SFam Zheng 
324909d2f948SVladimir Sementsov-Ogievskiy         /* BDRV_REQ_SERIALISING is only for write operation */
325009d2f948SVladimir Sementsov-Ogievskiy         assert(!(read_flags & BDRV_REQ_SERIALISING));
3251304d9d7fSMax Reitz         bdrv_wait_serialising_requests(&req);
3252999658a0SVladimir Sementsov-Ogievskiy 
325337aec7d7SFam Zheng         ret = src->bs->drv->bdrv_co_copy_range_from(src->bs,
3254fcc67678SFam Zheng                                                     src, src_offset,
3255fcc67678SFam Zheng                                                     dst, dst_offset,
325667b51fb9SVladimir Sementsov-Ogievskiy                                                     bytes,
325767b51fb9SVladimir Sementsov-Ogievskiy                                                     read_flags, write_flags);
3258999658a0SVladimir Sementsov-Ogievskiy 
3259999658a0SVladimir Sementsov-Ogievskiy         tracked_request_end(&req);
3260999658a0SVladimir Sementsov-Ogievskiy         bdrv_dec_in_flight(src->bs);
3261fcc67678SFam Zheng     } else {
3262999658a0SVladimir Sementsov-Ogievskiy         bdrv_inc_in_flight(dst->bs);
3263999658a0SVladimir Sementsov-Ogievskiy         tracked_request_begin(&req, dst->bs, dst_offset, bytes,
3264999658a0SVladimir Sementsov-Ogievskiy                               BDRV_TRACKED_WRITE);
32650eb1e891SFam Zheng         ret = bdrv_co_write_req_prepare(dst, dst_offset, bytes, &req,
32660eb1e891SFam Zheng                                         write_flags);
32670eb1e891SFam Zheng         if (!ret) {
326837aec7d7SFam Zheng             ret = dst->bs->drv->bdrv_co_copy_range_to(dst->bs,
3269fcc67678SFam Zheng                                                       src, src_offset,
3270fcc67678SFam Zheng                                                       dst, dst_offset,
327167b51fb9SVladimir Sementsov-Ogievskiy                                                       bytes,
327267b51fb9SVladimir Sementsov-Ogievskiy                                                       read_flags, write_flags);
32730eb1e891SFam Zheng         }
32740eb1e891SFam Zheng         bdrv_co_write_req_finish(dst, dst_offset, bytes, &req, ret);
3275999658a0SVladimir Sementsov-Ogievskiy         tracked_request_end(&req);
3276d4d3e5a0SFam Zheng         bdrv_dec_in_flight(dst->bs);
3277999658a0SVladimir Sementsov-Ogievskiy     }
3278999658a0SVladimir Sementsov-Ogievskiy 
327937aec7d7SFam Zheng     return ret;
3280fcc67678SFam Zheng }
3281fcc67678SFam Zheng 
3282fcc67678SFam Zheng /* Copy range from @src to @dst.
3283fcc67678SFam Zheng  *
3284fcc67678SFam Zheng  * See the comment of bdrv_co_copy_range for the parameter and return value
3285fcc67678SFam Zheng  * semantics. */
3286fcc67678SFam Zheng int coroutine_fn bdrv_co_copy_range_from(BdrvChild *src, uint64_t src_offset,
3287fcc67678SFam Zheng                                          BdrvChild *dst, uint64_t dst_offset,
328867b51fb9SVladimir Sementsov-Ogievskiy                                          uint64_t bytes,
328967b51fb9SVladimir Sementsov-Ogievskiy                                          BdrvRequestFlags read_flags,
329067b51fb9SVladimir Sementsov-Ogievskiy                                          BdrvRequestFlags write_flags)
3291fcc67678SFam Zheng {
3292ecc983a5SFam Zheng     trace_bdrv_co_copy_range_from(src, src_offset, dst, dst_offset, bytes,
3293ecc983a5SFam Zheng                                   read_flags, write_flags);
3294fcc67678SFam Zheng     return bdrv_co_copy_range_internal(src, src_offset, dst, dst_offset,
329567b51fb9SVladimir Sementsov-Ogievskiy                                        bytes, read_flags, write_flags, true);
3296fcc67678SFam Zheng }
3297fcc67678SFam Zheng 
3298fcc67678SFam Zheng /* Copy range from @src to @dst.
3299fcc67678SFam Zheng  *
3300fcc67678SFam Zheng  * See the comment of bdrv_co_copy_range for the parameter and return value
3301fcc67678SFam Zheng  * semantics. */
3302fcc67678SFam Zheng int coroutine_fn bdrv_co_copy_range_to(BdrvChild *src, uint64_t src_offset,
3303fcc67678SFam Zheng                                        BdrvChild *dst, uint64_t dst_offset,
330467b51fb9SVladimir Sementsov-Ogievskiy                                        uint64_t bytes,
330567b51fb9SVladimir Sementsov-Ogievskiy                                        BdrvRequestFlags read_flags,
330667b51fb9SVladimir Sementsov-Ogievskiy                                        BdrvRequestFlags write_flags)
3307fcc67678SFam Zheng {
3308ecc983a5SFam Zheng     trace_bdrv_co_copy_range_to(src, src_offset, dst, dst_offset, bytes,
3309ecc983a5SFam Zheng                                 read_flags, write_flags);
3310fcc67678SFam Zheng     return bdrv_co_copy_range_internal(src, src_offset, dst, dst_offset,
331167b51fb9SVladimir Sementsov-Ogievskiy                                        bytes, read_flags, write_flags, false);
3312fcc67678SFam Zheng }
3313fcc67678SFam Zheng 
3314fcc67678SFam Zheng int coroutine_fn bdrv_co_copy_range(BdrvChild *src, uint64_t src_offset,
3315fcc67678SFam Zheng                                     BdrvChild *dst, uint64_t dst_offset,
331667b51fb9SVladimir Sementsov-Ogievskiy                                     uint64_t bytes, BdrvRequestFlags read_flags,
331767b51fb9SVladimir Sementsov-Ogievskiy                                     BdrvRequestFlags write_flags)
3318fcc67678SFam Zheng {
331937aec7d7SFam Zheng     return bdrv_co_copy_range_from(src, src_offset,
3320fcc67678SFam Zheng                                    dst, dst_offset,
332167b51fb9SVladimir Sementsov-Ogievskiy                                    bytes, read_flags, write_flags);
3322fcc67678SFam Zheng }
33233d9f2d2aSKevin Wolf 
33243d9f2d2aSKevin Wolf static void bdrv_parent_cb_resize(BlockDriverState *bs)
33253d9f2d2aSKevin Wolf {
33263d9f2d2aSKevin Wolf     BdrvChild *c;
33273d9f2d2aSKevin Wolf     QLIST_FOREACH(c, &bs->parents, next_parent) {
33283d9f2d2aSKevin Wolf         if (c->role->resize) {
33293d9f2d2aSKevin Wolf             c->role->resize(c);
33303d9f2d2aSKevin Wolf         }
33313d9f2d2aSKevin Wolf     }
33323d9f2d2aSKevin Wolf }
33333d9f2d2aSKevin Wolf 
33343d9f2d2aSKevin Wolf /**
33353d9f2d2aSKevin Wolf  * Truncate file to 'offset' bytes (needed only for file protocols)
3336c80d8b06SMax Reitz  *
3337c80d8b06SMax Reitz  * If 'exact' is true, the file must be resized to exactly the given
3338c80d8b06SMax Reitz  * 'offset'.  Otherwise, it is sufficient for the node to be at least
3339c80d8b06SMax Reitz  * 'offset' bytes in length.
33403d9f2d2aSKevin Wolf  */
3341c80d8b06SMax Reitz int coroutine_fn bdrv_co_truncate(BdrvChild *child, int64_t offset, bool exact,
33427b8e4857SKevin Wolf                                   PreallocMode prealloc, BdrvRequestFlags flags,
33437b8e4857SKevin Wolf                                   Error **errp)
33443d9f2d2aSKevin Wolf {
33453d9f2d2aSKevin Wolf     BlockDriverState *bs = child->bs;
33463d9f2d2aSKevin Wolf     BlockDriver *drv = bs->drv;
33471bc5f09fSKevin Wolf     BdrvTrackedRequest req;
33481bc5f09fSKevin Wolf     int64_t old_size, new_bytes;
33493d9f2d2aSKevin Wolf     int ret;
33503d9f2d2aSKevin Wolf 
33513d9f2d2aSKevin Wolf 
33523d9f2d2aSKevin Wolf     /* if bs->drv == NULL, bs is closed, so there's nothing to do here */
33533d9f2d2aSKevin Wolf     if (!drv) {
33543d9f2d2aSKevin Wolf         error_setg(errp, "No medium inserted");
33553d9f2d2aSKevin Wolf         return -ENOMEDIUM;
33563d9f2d2aSKevin Wolf     }
33573d9f2d2aSKevin Wolf     if (offset < 0) {
33583d9f2d2aSKevin Wolf         error_setg(errp, "Image size cannot be negative");
33593d9f2d2aSKevin Wolf         return -EINVAL;
33603d9f2d2aSKevin Wolf     }
33613d9f2d2aSKevin Wolf 
33621bc5f09fSKevin Wolf     old_size = bdrv_getlength(bs);
33631bc5f09fSKevin Wolf     if (old_size < 0) {
33641bc5f09fSKevin Wolf         error_setg_errno(errp, -old_size, "Failed to get old image size");
33651bc5f09fSKevin Wolf         return old_size;
33661bc5f09fSKevin Wolf     }
33671bc5f09fSKevin Wolf 
33681bc5f09fSKevin Wolf     if (offset > old_size) {
33691bc5f09fSKevin Wolf         new_bytes = offset - old_size;
33701bc5f09fSKevin Wolf     } else {
33711bc5f09fSKevin Wolf         new_bytes = 0;
33721bc5f09fSKevin Wolf     }
33731bc5f09fSKevin Wolf 
33743d9f2d2aSKevin Wolf     bdrv_inc_in_flight(bs);
33755416a11eSFam Zheng     tracked_request_begin(&req, bs, offset - new_bytes, new_bytes,
33765416a11eSFam Zheng                           BDRV_TRACKED_TRUNCATE);
33771bc5f09fSKevin Wolf 
33781bc5f09fSKevin Wolf     /* If we are growing the image and potentially using preallocation for the
33791bc5f09fSKevin Wolf      * new area, we need to make sure that no write requests are made to it
33801bc5f09fSKevin Wolf      * concurrently or they might be overwritten by preallocation. */
33811bc5f09fSKevin Wolf     if (new_bytes) {
3382304d9d7fSMax Reitz         bdrv_mark_request_serialising(&req, 1);
3383cd47d792SFam Zheng     }
3384cd47d792SFam Zheng     if (bs->read_only) {
3385cd47d792SFam Zheng         error_setg(errp, "Image is read-only");
3386cd47d792SFam Zheng         ret = -EACCES;
3387cd47d792SFam Zheng         goto out;
3388cd47d792SFam Zheng     }
3389cd47d792SFam Zheng     ret = bdrv_co_write_req_prepare(child, offset - new_bytes, new_bytes, &req,
3390cd47d792SFam Zheng                                     0);
3391cd47d792SFam Zheng     if (ret < 0) {
3392cd47d792SFam Zheng         error_setg_errno(errp, -ret,
3393cd47d792SFam Zheng                          "Failed to prepare request for truncation");
3394cd47d792SFam Zheng         goto out;
33951bc5f09fSKevin Wolf     }
33963d9f2d2aSKevin Wolf 
3397*955c7d66SKevin Wolf     /*
3398*955c7d66SKevin Wolf      * If the image has a backing file that is large enough that it would
3399*955c7d66SKevin Wolf      * provide data for the new area, we cannot leave it unallocated because
3400*955c7d66SKevin Wolf      * then the backing file content would become visible. Instead, zero-fill
3401*955c7d66SKevin Wolf      * the new area.
3402*955c7d66SKevin Wolf      *
3403*955c7d66SKevin Wolf      * Note that if the image has a backing file, but was opened without the
3404*955c7d66SKevin Wolf      * backing file, taking care of keeping things consistent with that backing
3405*955c7d66SKevin Wolf      * file is the user's responsibility.
3406*955c7d66SKevin Wolf      */
3407*955c7d66SKevin Wolf     if (new_bytes && bs->backing) {
3408*955c7d66SKevin Wolf         int64_t backing_len;
3409*955c7d66SKevin Wolf 
3410*955c7d66SKevin Wolf         backing_len = bdrv_getlength(backing_bs(bs));
3411*955c7d66SKevin Wolf         if (backing_len < 0) {
3412*955c7d66SKevin Wolf             ret = backing_len;
3413*955c7d66SKevin Wolf             error_setg_errno(errp, -ret, "Could not get backing file size");
3414*955c7d66SKevin Wolf             goto out;
3415*955c7d66SKevin Wolf         }
3416*955c7d66SKevin Wolf 
3417*955c7d66SKevin Wolf         if (backing_len > old_size) {
3418*955c7d66SKevin Wolf             flags |= BDRV_REQ_ZERO_WRITE;
3419*955c7d66SKevin Wolf         }
3420*955c7d66SKevin Wolf     }
3421*955c7d66SKevin Wolf 
34226b7e8f8bSMax Reitz     if (drv->bdrv_co_truncate) {
342392b92799SKevin Wolf         if (flags & ~bs->supported_truncate_flags) {
342492b92799SKevin Wolf             error_setg(errp, "Block driver does not support requested flags");
342592b92799SKevin Wolf             ret = -ENOTSUP;
342692b92799SKevin Wolf             goto out;
342792b92799SKevin Wolf         }
342892b92799SKevin Wolf         ret = drv->bdrv_co_truncate(bs, offset, exact, prealloc, flags, errp);
34296b7e8f8bSMax Reitz     } else if (bs->file && drv->is_filter) {
34307b8e4857SKevin Wolf         ret = bdrv_co_truncate(bs->file, offset, exact, prealloc, flags, errp);
34316b7e8f8bSMax Reitz     } else {
34323d9f2d2aSKevin Wolf         error_setg(errp, "Image format driver does not support resize");
34333d9f2d2aSKevin Wolf         ret = -ENOTSUP;
34343d9f2d2aSKevin Wolf         goto out;
34353d9f2d2aSKevin Wolf     }
34363d9f2d2aSKevin Wolf     if (ret < 0) {
34373d9f2d2aSKevin Wolf         goto out;
34383d9f2d2aSKevin Wolf     }
34396b7e8f8bSMax Reitz 
34403d9f2d2aSKevin Wolf     ret = refresh_total_sectors(bs, offset >> BDRV_SECTOR_BITS);
34413d9f2d2aSKevin Wolf     if (ret < 0) {
34423d9f2d2aSKevin Wolf         error_setg_errno(errp, -ret, "Could not refresh total sector count");
34433d9f2d2aSKevin Wolf     } else {
34443d9f2d2aSKevin Wolf         offset = bs->total_sectors * BDRV_SECTOR_SIZE;
34453d9f2d2aSKevin Wolf     }
3446cd47d792SFam Zheng     /* It's possible that truncation succeeded but refresh_total_sectors
3447cd47d792SFam Zheng      * failed, but the latter doesn't affect how we should finish the request.
3448cd47d792SFam Zheng      * Pass 0 as the last parameter so that dirty bitmaps etc. are handled. */
3449cd47d792SFam Zheng     bdrv_co_write_req_finish(child, offset - new_bytes, new_bytes, &req, 0);
34503d9f2d2aSKevin Wolf 
34513d9f2d2aSKevin Wolf out:
34521bc5f09fSKevin Wolf     tracked_request_end(&req);
34533d9f2d2aSKevin Wolf     bdrv_dec_in_flight(bs);
34541bc5f09fSKevin Wolf 
34553d9f2d2aSKevin Wolf     return ret;
34563d9f2d2aSKevin Wolf }
34573d9f2d2aSKevin Wolf 
34583d9f2d2aSKevin Wolf typedef struct TruncateCo {
34593d9f2d2aSKevin Wolf     BdrvChild *child;
34603d9f2d2aSKevin Wolf     int64_t offset;
3461c80d8b06SMax Reitz     bool exact;
34623d9f2d2aSKevin Wolf     PreallocMode prealloc;
34637b8e4857SKevin Wolf     BdrvRequestFlags flags;
34643d9f2d2aSKevin Wolf     Error **errp;
34653d9f2d2aSKevin Wolf     int ret;
34663d9f2d2aSKevin Wolf } TruncateCo;
34673d9f2d2aSKevin Wolf 
34683d9f2d2aSKevin Wolf static void coroutine_fn bdrv_truncate_co_entry(void *opaque)
34693d9f2d2aSKevin Wolf {
34703d9f2d2aSKevin Wolf     TruncateCo *tco = opaque;
3471c80d8b06SMax Reitz     tco->ret = bdrv_co_truncate(tco->child, tco->offset, tco->exact,
34727b8e4857SKevin Wolf                                 tco->prealloc, tco->flags, tco->errp);
34734720cbeeSKevin Wolf     aio_wait_kick();
34743d9f2d2aSKevin Wolf }
34753d9f2d2aSKevin Wolf 
3476c80d8b06SMax Reitz int bdrv_truncate(BdrvChild *child, int64_t offset, bool exact,
34777b8e4857SKevin Wolf                   PreallocMode prealloc, BdrvRequestFlags flags, Error **errp)
34783d9f2d2aSKevin Wolf {
34793d9f2d2aSKevin Wolf     Coroutine *co;
34803d9f2d2aSKevin Wolf     TruncateCo tco = {
34813d9f2d2aSKevin Wolf         .child      = child,
34823d9f2d2aSKevin Wolf         .offset     = offset,
3483c80d8b06SMax Reitz         .exact      = exact,
34843d9f2d2aSKevin Wolf         .prealloc   = prealloc,
34857b8e4857SKevin Wolf         .flags      = flags,
34863d9f2d2aSKevin Wolf         .errp       = errp,
34873d9f2d2aSKevin Wolf         .ret        = NOT_DONE,
34883d9f2d2aSKevin Wolf     };
34893d9f2d2aSKevin Wolf 
34903d9f2d2aSKevin Wolf     if (qemu_in_coroutine()) {
34913d9f2d2aSKevin Wolf         /* Fast-path if already in coroutine context */
34923d9f2d2aSKevin Wolf         bdrv_truncate_co_entry(&tco);
34933d9f2d2aSKevin Wolf     } else {
34943d9f2d2aSKevin Wolf         co = qemu_coroutine_create(bdrv_truncate_co_entry, &tco);
34954720cbeeSKevin Wolf         bdrv_coroutine_enter(child->bs, co);
34963d9f2d2aSKevin Wolf         BDRV_POLL_WHILE(child->bs, tco.ret == NOT_DONE);
34973d9f2d2aSKevin Wolf     }
34983d9f2d2aSKevin Wolf 
34993d9f2d2aSKevin Wolf     return tco.ret;
35003d9f2d2aSKevin Wolf }
3501