xref: /qemu/block/io.c (revision 98ca45494fcd6bf0336ecd559e440b6de6ea4cd3)
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"
3221c2283eSVladimir Sementsov-Ogievskiy #include "block/coroutines.h"
33f348b6d1SVeronia Bahaa #include "qemu/cutils.h"
34da34e65cSMarkus Armbruster #include "qapi/error.h"
35d49b6836SMarkus Armbruster #include "qemu/error-report.h"
36db725815SMarkus Armbruster #include "qemu/main-loop.h"
37c8aa7895SPavel Dovgalyuk #include "sysemu/replay.h"
3861007b31SStefan Hajnoczi 
39cb2e2878SEric Blake /* Maximum bounce buffer for copy-on-read and write zeroes, in bytes */
40cb2e2878SEric Blake #define MAX_BOUNCE_BUFFER (32768 << BDRV_SECTOR_BITS)
41cb2e2878SEric Blake 
427f8f03efSFam Zheng static void bdrv_parent_cb_resize(BlockDriverState *bs);
43d05aa8bbSEric Blake static int coroutine_fn bdrv_co_do_pwrite_zeroes(BlockDriverState *bs,
44f5a5ca79SManos Pitsidianakis     int64_t offset, int bytes, BdrvRequestFlags flags);
4561007b31SStefan Hajnoczi 
46f4c8a43bSMax Reitz static void bdrv_parent_drained_begin(BlockDriverState *bs, BdrvChild *ignore,
476cd5c9d7SKevin Wolf                                       bool ignore_bds_parents)
4861007b31SStefan Hajnoczi {
4902d21300SKevin Wolf     BdrvChild *c, *next;
5027ccdd52SKevin Wolf 
5102d21300SKevin Wolf     QLIST_FOREACH_SAFE(c, &bs->parents, next_parent, next) {
52bd86fb99SMax Reitz         if (c == ignore || (ignore_bds_parents && c->klass->parent_is_bds)) {
530152bf40SKevin Wolf             continue;
540152bf40SKevin Wolf         }
554be6a6d1SKevin Wolf         bdrv_parent_drained_begin_single(c, false);
56ce0f1412SPaolo Bonzini     }
57ce0f1412SPaolo Bonzini }
58ce0f1412SPaolo Bonzini 
59e037c09cSMax Reitz static void bdrv_parent_drained_end_single_no_poll(BdrvChild *c,
60e037c09cSMax Reitz                                                    int *drained_end_counter)
61804db8eaSMax Reitz {
62804db8eaSMax Reitz     assert(c->parent_quiesce_counter > 0);
63804db8eaSMax Reitz     c->parent_quiesce_counter--;
64bd86fb99SMax Reitz     if (c->klass->drained_end) {
65bd86fb99SMax Reitz         c->klass->drained_end(c, drained_end_counter);
66804db8eaSMax Reitz     }
67804db8eaSMax Reitz }
68804db8eaSMax Reitz 
69e037c09cSMax Reitz void bdrv_parent_drained_end_single(BdrvChild *c)
70e037c09cSMax Reitz {
71e037c09cSMax Reitz     int drained_end_counter = 0;
72e037c09cSMax Reitz     bdrv_parent_drained_end_single_no_poll(c, &drained_end_counter);
73d73415a3SStefan Hajnoczi     BDRV_POLL_WHILE(c->bs, qatomic_read(&drained_end_counter) > 0);
74e037c09cSMax Reitz }
75e037c09cSMax Reitz 
76f4c8a43bSMax Reitz static void bdrv_parent_drained_end(BlockDriverState *bs, BdrvChild *ignore,
77e037c09cSMax Reitz                                     bool ignore_bds_parents,
78e037c09cSMax Reitz                                     int *drained_end_counter)
79ce0f1412SPaolo Bonzini {
8061ad631cSMax Reitz     BdrvChild *c;
8127ccdd52SKevin Wolf 
8261ad631cSMax Reitz     QLIST_FOREACH(c, &bs->parents, next_parent) {
83bd86fb99SMax Reitz         if (c == ignore || (ignore_bds_parents && c->klass->parent_is_bds)) {
840152bf40SKevin Wolf             continue;
850152bf40SKevin Wolf         }
86e037c09cSMax Reitz         bdrv_parent_drained_end_single_no_poll(c, drained_end_counter);
87c2066af0SKevin Wolf     }
8861007b31SStefan Hajnoczi }
8961007b31SStefan Hajnoczi 
904be6a6d1SKevin Wolf static bool bdrv_parent_drained_poll_single(BdrvChild *c)
914be6a6d1SKevin Wolf {
92bd86fb99SMax Reitz     if (c->klass->drained_poll) {
93bd86fb99SMax Reitz         return c->klass->drained_poll(c);
944be6a6d1SKevin Wolf     }
954be6a6d1SKevin Wolf     return false;
964be6a6d1SKevin Wolf }
974be6a6d1SKevin Wolf 
986cd5c9d7SKevin Wolf static bool bdrv_parent_drained_poll(BlockDriverState *bs, BdrvChild *ignore,
996cd5c9d7SKevin Wolf                                      bool ignore_bds_parents)
10089bd0305SKevin Wolf {
10189bd0305SKevin Wolf     BdrvChild *c, *next;
10289bd0305SKevin Wolf     bool busy = false;
10389bd0305SKevin Wolf 
10489bd0305SKevin Wolf     QLIST_FOREACH_SAFE(c, &bs->parents, next_parent, next) {
105bd86fb99SMax Reitz         if (c == ignore || (ignore_bds_parents && c->klass->parent_is_bds)) {
10689bd0305SKevin Wolf             continue;
10789bd0305SKevin Wolf         }
1084be6a6d1SKevin Wolf         busy |= bdrv_parent_drained_poll_single(c);
10989bd0305SKevin Wolf     }
11089bd0305SKevin Wolf 
11189bd0305SKevin Wolf     return busy;
11289bd0305SKevin Wolf }
11389bd0305SKevin Wolf 
1144be6a6d1SKevin Wolf void bdrv_parent_drained_begin_single(BdrvChild *c, bool poll)
1154be6a6d1SKevin Wolf {
116804db8eaSMax Reitz     c->parent_quiesce_counter++;
117bd86fb99SMax Reitz     if (c->klass->drained_begin) {
118bd86fb99SMax Reitz         c->klass->drained_begin(c);
1194be6a6d1SKevin Wolf     }
1204be6a6d1SKevin Wolf     if (poll) {
1214be6a6d1SKevin Wolf         BDRV_POLL_WHILE(c->bs, bdrv_parent_drained_poll_single(c));
1224be6a6d1SKevin Wolf     }
1234be6a6d1SKevin Wolf }
1244be6a6d1SKevin Wolf 
125d9e0dfa2SEric Blake static void bdrv_merge_limits(BlockLimits *dst, const BlockLimits *src)
126d9e0dfa2SEric Blake {
127d9e0dfa2SEric Blake     dst->opt_transfer = MAX(dst->opt_transfer, src->opt_transfer);
128d9e0dfa2SEric Blake     dst->max_transfer = MIN_NON_ZERO(dst->max_transfer, src->max_transfer);
129d9e0dfa2SEric Blake     dst->opt_mem_alignment = MAX(dst->opt_mem_alignment,
130d9e0dfa2SEric Blake                                  src->opt_mem_alignment);
131d9e0dfa2SEric Blake     dst->min_mem_alignment = MAX(dst->min_mem_alignment,
132d9e0dfa2SEric Blake                                  src->min_mem_alignment);
133d9e0dfa2SEric Blake     dst->max_iov = MIN_NON_ZERO(dst->max_iov, src->max_iov);
134d9e0dfa2SEric Blake }
135d9e0dfa2SEric Blake 
13661007b31SStefan Hajnoczi void bdrv_refresh_limits(BlockDriverState *bs, Error **errp)
13761007b31SStefan Hajnoczi {
13833985614SVladimir Sementsov-Ogievskiy     ERRP_GUARD();
13961007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
14066b129acSMax Reitz     BdrvChild *c;
14166b129acSMax Reitz     bool have_limits;
14261007b31SStefan Hajnoczi 
14361007b31SStefan Hajnoczi     memset(&bs->bl, 0, sizeof(bs->bl));
14461007b31SStefan Hajnoczi 
14561007b31SStefan Hajnoczi     if (!drv) {
14661007b31SStefan Hajnoczi         return;
14761007b31SStefan Hajnoczi     }
14861007b31SStefan Hajnoczi 
14979ba8c98SEric Blake     /* Default alignment based on whether driver has byte interface */
150e31f6864SEric Blake     bs->bl.request_alignment = (drv->bdrv_co_preadv ||
151ac850bf0SVladimir Sementsov-Ogievskiy                                 drv->bdrv_aio_preadv ||
152ac850bf0SVladimir Sementsov-Ogievskiy                                 drv->bdrv_co_preadv_part) ? 1 : 512;
15379ba8c98SEric Blake 
15461007b31SStefan Hajnoczi     /* Take some limits from the children as a default */
15566b129acSMax Reitz     have_limits = false;
15666b129acSMax Reitz     QLIST_FOREACH(c, &bs->children, next) {
15766b129acSMax Reitz         if (c->role & (BDRV_CHILD_DATA | BDRV_CHILD_FILTERED | BDRV_CHILD_COW))
15866b129acSMax Reitz         {
15933985614SVladimir Sementsov-Ogievskiy             bdrv_refresh_limits(c->bs, errp);
16033985614SVladimir Sementsov-Ogievskiy             if (*errp) {
16161007b31SStefan Hajnoczi                 return;
16261007b31SStefan Hajnoczi             }
16366b129acSMax Reitz             bdrv_merge_limits(&bs->bl, &c->bs->bl);
16466b129acSMax Reitz             have_limits = true;
16566b129acSMax Reitz         }
16666b129acSMax Reitz     }
16766b129acSMax Reitz 
16866b129acSMax Reitz     if (!have_limits) {
1694196d2f0SDenis V. Lunev         bs->bl.min_mem_alignment = 512;
170038adc2fSWei Yang         bs->bl.opt_mem_alignment = qemu_real_host_page_size;
171bd44feb7SStefan Hajnoczi 
172bd44feb7SStefan Hajnoczi         /* Safe default since most protocols use readv()/writev()/etc */
173bd44feb7SStefan Hajnoczi         bs->bl.max_iov = IOV_MAX;
17461007b31SStefan Hajnoczi     }
17561007b31SStefan Hajnoczi 
17661007b31SStefan Hajnoczi     /* Then let the driver override it */
17761007b31SStefan Hajnoczi     if (drv->bdrv_refresh_limits) {
17861007b31SStefan Hajnoczi         drv->bdrv_refresh_limits(bs, errp);
1798b117001SVladimir Sementsov-Ogievskiy         if (*errp) {
1808b117001SVladimir Sementsov-Ogievskiy             return;
1818b117001SVladimir Sementsov-Ogievskiy         }
1828b117001SVladimir Sementsov-Ogievskiy     }
1838b117001SVladimir Sementsov-Ogievskiy 
1848b117001SVladimir Sementsov-Ogievskiy     if (bs->bl.request_alignment > BDRV_MAX_ALIGNMENT) {
1858b117001SVladimir Sementsov-Ogievskiy         error_setg(errp, "Driver requires too large request alignment");
18661007b31SStefan Hajnoczi     }
18761007b31SStefan Hajnoczi }
18861007b31SStefan Hajnoczi 
18961007b31SStefan Hajnoczi /**
19061007b31SStefan Hajnoczi  * The copy-on-read flag is actually a reference count so multiple users may
19161007b31SStefan Hajnoczi  * use the feature without worrying about clobbering its previous state.
19261007b31SStefan Hajnoczi  * Copy-on-read stays enabled until all users have called to disable it.
19361007b31SStefan Hajnoczi  */
19461007b31SStefan Hajnoczi void bdrv_enable_copy_on_read(BlockDriverState *bs)
19561007b31SStefan Hajnoczi {
196d73415a3SStefan Hajnoczi     qatomic_inc(&bs->copy_on_read);
19761007b31SStefan Hajnoczi }
19861007b31SStefan Hajnoczi 
19961007b31SStefan Hajnoczi void bdrv_disable_copy_on_read(BlockDriverState *bs)
20061007b31SStefan Hajnoczi {
201d73415a3SStefan Hajnoczi     int old = qatomic_fetch_dec(&bs->copy_on_read);
202d3faa13eSPaolo Bonzini     assert(old >= 1);
20361007b31SStefan Hajnoczi }
20461007b31SStefan Hajnoczi 
20561124f03SPaolo Bonzini typedef struct {
20661124f03SPaolo Bonzini     Coroutine *co;
20761124f03SPaolo Bonzini     BlockDriverState *bs;
20861124f03SPaolo Bonzini     bool done;
209481cad48SManos Pitsidianakis     bool begin;
210b0165585SKevin Wolf     bool recursive;
211fe4f0614SKevin Wolf     bool poll;
2120152bf40SKevin Wolf     BdrvChild *parent;
2136cd5c9d7SKevin Wolf     bool ignore_bds_parents;
2148e1da77eSMax Reitz     int *drained_end_counter;
21561124f03SPaolo Bonzini } BdrvCoDrainData;
21661124f03SPaolo Bonzini 
21761124f03SPaolo Bonzini static void coroutine_fn bdrv_drain_invoke_entry(void *opaque)
21861124f03SPaolo Bonzini {
21961124f03SPaolo Bonzini     BdrvCoDrainData *data = opaque;
22061124f03SPaolo Bonzini     BlockDriverState *bs = data->bs;
22161124f03SPaolo Bonzini 
222481cad48SManos Pitsidianakis     if (data->begin) {
223f8ea8dacSManos Pitsidianakis         bs->drv->bdrv_co_drain_begin(bs);
224481cad48SManos Pitsidianakis     } else {
225481cad48SManos Pitsidianakis         bs->drv->bdrv_co_drain_end(bs);
226481cad48SManos Pitsidianakis     }
22761124f03SPaolo Bonzini 
22865181d63SMax Reitz     /* Set data->done and decrement drained_end_counter before bdrv_wakeup() */
229d73415a3SStefan Hajnoczi     qatomic_mb_set(&data->done, true);
230e037c09cSMax Reitz     if (!data->begin) {
231d73415a3SStefan Hajnoczi         qatomic_dec(data->drained_end_counter);
2328e1da77eSMax Reitz     }
23365181d63SMax Reitz     bdrv_dec_in_flight(bs);
2348e1da77eSMax Reitz 
2350109e7e6SKevin Wolf     g_free(data);
2360109e7e6SKevin Wolf }
23761124f03SPaolo Bonzini 
238db0289b9SKevin Wolf /* Recursively call BlockDriver.bdrv_co_drain_begin/end callbacks */
2398e1da77eSMax Reitz static void bdrv_drain_invoke(BlockDriverState *bs, bool begin,
2408e1da77eSMax Reitz                               int *drained_end_counter)
24161124f03SPaolo Bonzini {
2420109e7e6SKevin Wolf     BdrvCoDrainData *data;
24361124f03SPaolo Bonzini 
244f8ea8dacSManos Pitsidianakis     if (!bs->drv || (begin && !bs->drv->bdrv_co_drain_begin) ||
245481cad48SManos Pitsidianakis             (!begin && !bs->drv->bdrv_co_drain_end)) {
24661124f03SPaolo Bonzini         return;
24761124f03SPaolo Bonzini     }
24861124f03SPaolo Bonzini 
2490109e7e6SKevin Wolf     data = g_new(BdrvCoDrainData, 1);
2500109e7e6SKevin Wolf     *data = (BdrvCoDrainData) {
2510109e7e6SKevin Wolf         .bs = bs,
2520109e7e6SKevin Wolf         .done = false,
2538e1da77eSMax Reitz         .begin = begin,
2548e1da77eSMax Reitz         .drained_end_counter = drained_end_counter,
2550109e7e6SKevin Wolf     };
2560109e7e6SKevin Wolf 
257e037c09cSMax Reitz     if (!begin) {
258d73415a3SStefan Hajnoczi         qatomic_inc(drained_end_counter);
2598e1da77eSMax Reitz     }
2608e1da77eSMax Reitz 
2610109e7e6SKevin Wolf     /* Make sure the driver callback completes during the polling phase for
2620109e7e6SKevin Wolf      * drain_begin. */
2630109e7e6SKevin Wolf     bdrv_inc_in_flight(bs);
2640109e7e6SKevin Wolf     data->co = qemu_coroutine_create(bdrv_drain_invoke_entry, data);
2650109e7e6SKevin Wolf     aio_co_schedule(bdrv_get_aio_context(bs), data->co);
26661124f03SPaolo Bonzini }
26761124f03SPaolo Bonzini 
2681cc8e54aSKevin Wolf /* Returns true if BDRV_POLL_WHILE() should go into a blocking aio_poll() */
269fe4f0614SKevin Wolf bool bdrv_drain_poll(BlockDriverState *bs, bool recursive,
2706cd5c9d7SKevin Wolf                      BdrvChild *ignore_parent, bool ignore_bds_parents)
27189bd0305SKevin Wolf {
272fe4f0614SKevin Wolf     BdrvChild *child, *next;
273fe4f0614SKevin Wolf 
2746cd5c9d7SKevin Wolf     if (bdrv_parent_drained_poll(bs, ignore_parent, ignore_bds_parents)) {
27589bd0305SKevin Wolf         return true;
27689bd0305SKevin Wolf     }
27789bd0305SKevin Wolf 
278d73415a3SStefan Hajnoczi     if (qatomic_read(&bs->in_flight)) {
279fe4f0614SKevin Wolf         return true;
28089bd0305SKevin Wolf     }
28189bd0305SKevin Wolf 
282fe4f0614SKevin Wolf     if (recursive) {
2836cd5c9d7SKevin Wolf         assert(!ignore_bds_parents);
284fe4f0614SKevin Wolf         QLIST_FOREACH_SAFE(child, &bs->children, next, next) {
2856cd5c9d7SKevin Wolf             if (bdrv_drain_poll(child->bs, recursive, child, false)) {
286fe4f0614SKevin Wolf                 return true;
287fe4f0614SKevin Wolf             }
288fe4f0614SKevin Wolf         }
289fe4f0614SKevin Wolf     }
290fe4f0614SKevin Wolf 
291fe4f0614SKevin Wolf     return false;
292fe4f0614SKevin Wolf }
293fe4f0614SKevin Wolf 
294fe4f0614SKevin Wolf static bool bdrv_drain_poll_top_level(BlockDriverState *bs, bool recursive,
29589bd0305SKevin Wolf                                       BdrvChild *ignore_parent)
2961cc8e54aSKevin Wolf {
2976cd5c9d7SKevin Wolf     return bdrv_drain_poll(bs, recursive, ignore_parent, false);
2981cc8e54aSKevin Wolf }
2991cc8e54aSKevin Wolf 
300b0165585SKevin Wolf static void bdrv_do_drained_begin(BlockDriverState *bs, bool recursive,
3016cd5c9d7SKevin Wolf                                   BdrvChild *parent, bool ignore_bds_parents,
3026cd5c9d7SKevin Wolf                                   bool poll);
303b0165585SKevin Wolf static void bdrv_do_drained_end(BlockDriverState *bs, bool recursive,
3048e1da77eSMax Reitz                                 BdrvChild *parent, bool ignore_bds_parents,
3058e1da77eSMax Reitz                                 int *drained_end_counter);
3060152bf40SKevin Wolf 
307a77fd4bbSFam Zheng static void bdrv_co_drain_bh_cb(void *opaque)
308a77fd4bbSFam Zheng {
309a77fd4bbSFam Zheng     BdrvCoDrainData *data = opaque;
310a77fd4bbSFam Zheng     Coroutine *co = data->co;
31199723548SPaolo Bonzini     BlockDriverState *bs = data->bs;
312a77fd4bbSFam Zheng 
313c8ca33d0SKevin Wolf     if (bs) {
314aa1361d5SKevin Wolf         AioContext *ctx = bdrv_get_aio_context(bs);
315aa1361d5SKevin Wolf         aio_context_acquire(ctx);
31699723548SPaolo Bonzini         bdrv_dec_in_flight(bs);
317481cad48SManos Pitsidianakis         if (data->begin) {
318e037c09cSMax Reitz             assert(!data->drained_end_counter);
3196cd5c9d7SKevin Wolf             bdrv_do_drained_begin(bs, data->recursive, data->parent,
3206cd5c9d7SKevin Wolf                                   data->ignore_bds_parents, data->poll);
321481cad48SManos Pitsidianakis         } else {
322e037c09cSMax Reitz             assert(!data->poll);
3236cd5c9d7SKevin Wolf             bdrv_do_drained_end(bs, data->recursive, data->parent,
3248e1da77eSMax Reitz                                 data->ignore_bds_parents,
3258e1da77eSMax Reitz                                 data->drained_end_counter);
326481cad48SManos Pitsidianakis         }
327aa1361d5SKevin Wolf         aio_context_release(ctx);
328c8ca33d0SKevin Wolf     } else {
329c8ca33d0SKevin Wolf         assert(data->begin);
330c8ca33d0SKevin Wolf         bdrv_drain_all_begin();
331c8ca33d0SKevin Wolf     }
332481cad48SManos Pitsidianakis 
333a77fd4bbSFam Zheng     data->done = true;
3341919631eSPaolo Bonzini     aio_co_wake(co);
335a77fd4bbSFam Zheng }
336a77fd4bbSFam Zheng 
337481cad48SManos Pitsidianakis static void coroutine_fn bdrv_co_yield_to_drain(BlockDriverState *bs,
338b0165585SKevin Wolf                                                 bool begin, bool recursive,
3396cd5c9d7SKevin Wolf                                                 BdrvChild *parent,
3406cd5c9d7SKevin Wolf                                                 bool ignore_bds_parents,
3418e1da77eSMax Reitz                                                 bool poll,
3428e1da77eSMax Reitz                                                 int *drained_end_counter)
343a77fd4bbSFam Zheng {
344a77fd4bbSFam Zheng     BdrvCoDrainData data;
345960d5fb3SKevin Wolf     Coroutine *self = qemu_coroutine_self();
346960d5fb3SKevin Wolf     AioContext *ctx = bdrv_get_aio_context(bs);
347960d5fb3SKevin Wolf     AioContext *co_ctx = qemu_coroutine_get_aio_context(self);
348a77fd4bbSFam Zheng 
349a77fd4bbSFam Zheng     /* Calling bdrv_drain() from a BH ensures the current coroutine yields and
350c40a2545SStefan Hajnoczi      * other coroutines run if they were queued by aio_co_enter(). */
351a77fd4bbSFam Zheng 
352a77fd4bbSFam Zheng     assert(qemu_in_coroutine());
353a77fd4bbSFam Zheng     data = (BdrvCoDrainData) {
354960d5fb3SKevin Wolf         .co = self,
355a77fd4bbSFam Zheng         .bs = bs,
356a77fd4bbSFam Zheng         .done = false,
357481cad48SManos Pitsidianakis         .begin = begin,
358b0165585SKevin Wolf         .recursive = recursive,
3590152bf40SKevin Wolf         .parent = parent,
3606cd5c9d7SKevin Wolf         .ignore_bds_parents = ignore_bds_parents,
361fe4f0614SKevin Wolf         .poll = poll,
3628e1da77eSMax Reitz         .drained_end_counter = drained_end_counter,
363a77fd4bbSFam Zheng     };
3648e1da77eSMax Reitz 
365c8ca33d0SKevin Wolf     if (bs) {
36699723548SPaolo Bonzini         bdrv_inc_in_flight(bs);
367c8ca33d0SKevin Wolf     }
368960d5fb3SKevin Wolf 
369960d5fb3SKevin Wolf     /*
370960d5fb3SKevin Wolf      * Temporarily drop the lock across yield or we would get deadlocks.
371960d5fb3SKevin Wolf      * bdrv_co_drain_bh_cb() reaquires the lock as needed.
372960d5fb3SKevin Wolf      *
373960d5fb3SKevin Wolf      * When we yield below, the lock for the current context will be
374960d5fb3SKevin Wolf      * released, so if this is actually the lock that protects bs, don't drop
375960d5fb3SKevin Wolf      * it a second time.
376960d5fb3SKevin Wolf      */
377960d5fb3SKevin Wolf     if (ctx != co_ctx) {
378960d5fb3SKevin Wolf         aio_context_release(ctx);
379960d5fb3SKevin Wolf     }
380960d5fb3SKevin Wolf     replay_bh_schedule_oneshot_event(ctx, bdrv_co_drain_bh_cb, &data);
381a77fd4bbSFam Zheng 
382a77fd4bbSFam Zheng     qemu_coroutine_yield();
383a77fd4bbSFam Zheng     /* If we are resumed from some other event (such as an aio completion or a
384a77fd4bbSFam Zheng      * timer callback), it is a bug in the caller that should be fixed. */
385a77fd4bbSFam Zheng     assert(data.done);
386960d5fb3SKevin Wolf 
387960d5fb3SKevin Wolf     /* Reaquire the AioContext of bs if we dropped it */
388960d5fb3SKevin Wolf     if (ctx != co_ctx) {
389960d5fb3SKevin Wolf         aio_context_acquire(ctx);
390960d5fb3SKevin Wolf     }
391a77fd4bbSFam Zheng }
392a77fd4bbSFam Zheng 
393dcf94a23SKevin Wolf void bdrv_do_drained_begin_quiesce(BlockDriverState *bs,
3946cd5c9d7SKevin Wolf                                    BdrvChild *parent, bool ignore_bds_parents)
395dcf94a23SKevin Wolf {
396dcf94a23SKevin Wolf     assert(!qemu_in_coroutine());
397dcf94a23SKevin Wolf 
398dcf94a23SKevin Wolf     /* Stop things in parent-to-child order */
399d73415a3SStefan Hajnoczi     if (qatomic_fetch_inc(&bs->quiesce_counter) == 0) {
400dcf94a23SKevin Wolf         aio_disable_external(bdrv_get_aio_context(bs));
401dcf94a23SKevin Wolf     }
402dcf94a23SKevin Wolf 
4036cd5c9d7SKevin Wolf     bdrv_parent_drained_begin(bs, parent, ignore_bds_parents);
4048e1da77eSMax Reitz     bdrv_drain_invoke(bs, true, NULL);
405dcf94a23SKevin Wolf }
406dcf94a23SKevin Wolf 
407dcf94a23SKevin Wolf static void bdrv_do_drained_begin(BlockDriverState *bs, bool recursive,
4086cd5c9d7SKevin Wolf                                   BdrvChild *parent, bool ignore_bds_parents,
4096cd5c9d7SKevin Wolf                                   bool poll)
4106820643fSKevin Wolf {
411b0165585SKevin Wolf     BdrvChild *child, *next;
412b0165585SKevin Wolf 
413d42cf288SPaolo Bonzini     if (qemu_in_coroutine()) {
4146cd5c9d7SKevin Wolf         bdrv_co_yield_to_drain(bs, true, recursive, parent, ignore_bds_parents,
4158e1da77eSMax Reitz                                poll, NULL);
416d42cf288SPaolo Bonzini         return;
417d42cf288SPaolo Bonzini     }
418d42cf288SPaolo Bonzini 
4196cd5c9d7SKevin Wolf     bdrv_do_drained_begin_quiesce(bs, parent, ignore_bds_parents);
420d30b8e64SKevin Wolf 
421b0165585SKevin Wolf     if (recursive) {
4226cd5c9d7SKevin Wolf         assert(!ignore_bds_parents);
423d736f119SKevin Wolf         bs->recursive_quiesce_counter++;
424b0165585SKevin Wolf         QLIST_FOREACH_SAFE(child, &bs->children, next, next) {
4256cd5c9d7SKevin Wolf             bdrv_do_drained_begin(child->bs, true, child, ignore_bds_parents,
4266cd5c9d7SKevin Wolf                                   false);
427b0165585SKevin Wolf         }
428b0165585SKevin Wolf     }
429fe4f0614SKevin Wolf 
430fe4f0614SKevin Wolf     /*
431fe4f0614SKevin Wolf      * Wait for drained requests to finish.
432fe4f0614SKevin Wolf      *
433fe4f0614SKevin Wolf      * Calling BDRV_POLL_WHILE() only once for the top-level node is okay: The
434fe4f0614SKevin Wolf      * call is needed so things in this AioContext can make progress even
435fe4f0614SKevin Wolf      * though we don't return to the main AioContext loop - this automatically
436fe4f0614SKevin Wolf      * includes other nodes in the same AioContext and therefore all child
437fe4f0614SKevin Wolf      * nodes.
438fe4f0614SKevin Wolf      */
439fe4f0614SKevin Wolf     if (poll) {
4406cd5c9d7SKevin Wolf         assert(!ignore_bds_parents);
441fe4f0614SKevin Wolf         BDRV_POLL_WHILE(bs, bdrv_drain_poll_top_level(bs, recursive, parent));
442fe4f0614SKevin Wolf     }
4436820643fSKevin Wolf }
4446820643fSKevin Wolf 
4450152bf40SKevin Wolf void bdrv_drained_begin(BlockDriverState *bs)
4460152bf40SKevin Wolf {
4476cd5c9d7SKevin Wolf     bdrv_do_drained_begin(bs, false, NULL, false, true);
4480152bf40SKevin Wolf }
4490152bf40SKevin Wolf 
450b0165585SKevin Wolf void bdrv_subtree_drained_begin(BlockDriverState *bs)
4516820643fSKevin Wolf {
4526cd5c9d7SKevin Wolf     bdrv_do_drained_begin(bs, true, NULL, false, true);
453b0165585SKevin Wolf }
454b0165585SKevin Wolf 
455e037c09cSMax Reitz /**
456e037c09cSMax Reitz  * This function does not poll, nor must any of its recursively called
457e037c09cSMax Reitz  * functions.  The *drained_end_counter pointee will be incremented
458e037c09cSMax Reitz  * once for every background operation scheduled, and decremented once
459e037c09cSMax Reitz  * the operation settles.  Therefore, the pointer must remain valid
460e037c09cSMax Reitz  * until the pointee reaches 0.  That implies that whoever sets up the
461e037c09cSMax Reitz  * pointee has to poll until it is 0.
462e037c09cSMax Reitz  *
463e037c09cSMax Reitz  * We use atomic operations to access *drained_end_counter, because
464e037c09cSMax Reitz  * (1) when called from bdrv_set_aio_context_ignore(), the subgraph of
465e037c09cSMax Reitz  *     @bs may contain nodes in different AioContexts,
466e037c09cSMax Reitz  * (2) bdrv_drain_all_end() uses the same counter for all nodes,
467e037c09cSMax Reitz  *     regardless of which AioContext they are in.
468e037c09cSMax Reitz  */
4696cd5c9d7SKevin Wolf static void bdrv_do_drained_end(BlockDriverState *bs, bool recursive,
4708e1da77eSMax Reitz                                 BdrvChild *parent, bool ignore_bds_parents,
4718e1da77eSMax Reitz                                 int *drained_end_counter)
472b0165585SKevin Wolf {
47361ad631cSMax Reitz     BdrvChild *child;
4740f115168SKevin Wolf     int old_quiesce_counter;
4750f115168SKevin Wolf 
476e037c09cSMax Reitz     assert(drained_end_counter != NULL);
477e037c09cSMax Reitz 
478481cad48SManos Pitsidianakis     if (qemu_in_coroutine()) {
4796cd5c9d7SKevin Wolf         bdrv_co_yield_to_drain(bs, false, recursive, parent, ignore_bds_parents,
4808e1da77eSMax Reitz                                false, drained_end_counter);
481481cad48SManos Pitsidianakis         return;
482481cad48SManos Pitsidianakis     }
4836820643fSKevin Wolf     assert(bs->quiesce_counter > 0);
4846820643fSKevin Wolf 
48560369b86SKevin Wolf     /* Re-enable things in child-to-parent order */
4868e1da77eSMax Reitz     bdrv_drain_invoke(bs, false, drained_end_counter);
487e037c09cSMax Reitz     bdrv_parent_drained_end(bs, parent, ignore_bds_parents,
488e037c09cSMax Reitz                             drained_end_counter);
4895cb2737eSMax Reitz 
490d73415a3SStefan Hajnoczi     old_quiesce_counter = qatomic_fetch_dec(&bs->quiesce_counter);
4910f115168SKevin Wolf     if (old_quiesce_counter == 1) {
4926820643fSKevin Wolf         aio_enable_external(bdrv_get_aio_context(bs));
4936820643fSKevin Wolf     }
494b0165585SKevin Wolf 
495b0165585SKevin Wolf     if (recursive) {
4966cd5c9d7SKevin Wolf         assert(!ignore_bds_parents);
497d736f119SKevin Wolf         bs->recursive_quiesce_counter--;
49861ad631cSMax Reitz         QLIST_FOREACH(child, &bs->children, next) {
4998e1da77eSMax Reitz             bdrv_do_drained_end(child->bs, true, child, ignore_bds_parents,
5008e1da77eSMax Reitz                                 drained_end_counter);
501b0165585SKevin Wolf         }
502b0165585SKevin Wolf     }
5030f115168SKevin Wolf }
5046820643fSKevin Wolf 
5050152bf40SKevin Wolf void bdrv_drained_end(BlockDriverState *bs)
5060152bf40SKevin Wolf {
507e037c09cSMax Reitz     int drained_end_counter = 0;
508e037c09cSMax Reitz     bdrv_do_drained_end(bs, false, NULL, false, &drained_end_counter);
509d73415a3SStefan Hajnoczi     BDRV_POLL_WHILE(bs, qatomic_read(&drained_end_counter) > 0);
510e037c09cSMax Reitz }
511e037c09cSMax Reitz 
512e037c09cSMax Reitz void bdrv_drained_end_no_poll(BlockDriverState *bs, int *drained_end_counter)
513e037c09cSMax Reitz {
514e037c09cSMax Reitz     bdrv_do_drained_end(bs, false, NULL, false, drained_end_counter);
515b0165585SKevin Wolf }
516b0165585SKevin Wolf 
517b0165585SKevin Wolf void bdrv_subtree_drained_end(BlockDriverState *bs)
518b0165585SKevin Wolf {
519e037c09cSMax Reitz     int drained_end_counter = 0;
520e037c09cSMax Reitz     bdrv_do_drained_end(bs, true, NULL, false, &drained_end_counter);
521d73415a3SStefan Hajnoczi     BDRV_POLL_WHILE(bs, qatomic_read(&drained_end_counter) > 0);
5220152bf40SKevin Wolf }
5230152bf40SKevin Wolf 
524d736f119SKevin Wolf void bdrv_apply_subtree_drain(BdrvChild *child, BlockDriverState *new_parent)
525d736f119SKevin Wolf {
526d736f119SKevin Wolf     int i;
527d736f119SKevin Wolf 
528d736f119SKevin Wolf     for (i = 0; i < new_parent->recursive_quiesce_counter; i++) {
5296cd5c9d7SKevin Wolf         bdrv_do_drained_begin(child->bs, true, child, false, true);
530d736f119SKevin Wolf     }
531d736f119SKevin Wolf }
532d736f119SKevin Wolf 
533d736f119SKevin Wolf void bdrv_unapply_subtree_drain(BdrvChild *child, BlockDriverState *old_parent)
534d736f119SKevin Wolf {
535e037c09cSMax Reitz     int drained_end_counter = 0;
536d736f119SKevin Wolf     int i;
537d736f119SKevin Wolf 
538d736f119SKevin Wolf     for (i = 0; i < old_parent->recursive_quiesce_counter; i++) {
539e037c09cSMax Reitz         bdrv_do_drained_end(child->bs, true, child, false,
540e037c09cSMax Reitz                             &drained_end_counter);
541d736f119SKevin Wolf     }
542e037c09cSMax Reitz 
543d73415a3SStefan Hajnoczi     BDRV_POLL_WHILE(child->bs, qatomic_read(&drained_end_counter) > 0);
544d736f119SKevin Wolf }
545d736f119SKevin Wolf 
54661007b31SStefan Hajnoczi /*
54767da1dc5SFam Zheng  * Wait for pending requests to complete on a single BlockDriverState subtree,
54867da1dc5SFam Zheng  * and suspend block driver's internal I/O until next request arrives.
54961007b31SStefan Hajnoczi  *
55061007b31SStefan Hajnoczi  * Note that unlike bdrv_drain_all(), the caller must hold the BlockDriverState
55161007b31SStefan Hajnoczi  * AioContext.
55261007b31SStefan Hajnoczi  */
553b6e84c97SPaolo Bonzini void coroutine_fn bdrv_co_drain(BlockDriverState *bs)
554b6e84c97SPaolo Bonzini {
5556820643fSKevin Wolf     assert(qemu_in_coroutine());
5566820643fSKevin Wolf     bdrv_drained_begin(bs);
5576820643fSKevin Wolf     bdrv_drained_end(bs);
558b6e84c97SPaolo Bonzini }
559b6e84c97SPaolo Bonzini 
56061007b31SStefan Hajnoczi void bdrv_drain(BlockDriverState *bs)
56161007b31SStefan Hajnoczi {
5626820643fSKevin Wolf     bdrv_drained_begin(bs);
5636820643fSKevin Wolf     bdrv_drained_end(bs);
56461007b31SStefan Hajnoczi }
56561007b31SStefan Hajnoczi 
566c13ad59fSKevin Wolf static void bdrv_drain_assert_idle(BlockDriverState *bs)
567c13ad59fSKevin Wolf {
568c13ad59fSKevin Wolf     BdrvChild *child, *next;
569c13ad59fSKevin Wolf 
570d73415a3SStefan Hajnoczi     assert(qatomic_read(&bs->in_flight) == 0);
571c13ad59fSKevin Wolf     QLIST_FOREACH_SAFE(child, &bs->children, next, next) {
572c13ad59fSKevin Wolf         bdrv_drain_assert_idle(child->bs);
573c13ad59fSKevin Wolf     }
574c13ad59fSKevin Wolf }
575c13ad59fSKevin Wolf 
5760f12264eSKevin Wolf unsigned int bdrv_drain_all_count = 0;
5770f12264eSKevin Wolf 
5780f12264eSKevin Wolf static bool bdrv_drain_all_poll(void)
5790f12264eSKevin Wolf {
5800f12264eSKevin Wolf     BlockDriverState *bs = NULL;
5810f12264eSKevin Wolf     bool result = false;
5820f12264eSKevin Wolf 
5830f12264eSKevin Wolf     /* bdrv_drain_poll() can't make changes to the graph and we are holding the
5840f12264eSKevin Wolf      * main AioContext lock, so iterating bdrv_next_all_states() is safe. */
5850f12264eSKevin Wolf     while ((bs = bdrv_next_all_states(bs))) {
5860f12264eSKevin Wolf         AioContext *aio_context = bdrv_get_aio_context(bs);
5870f12264eSKevin Wolf         aio_context_acquire(aio_context);
5880f12264eSKevin Wolf         result |= bdrv_drain_poll(bs, false, NULL, true);
5890f12264eSKevin Wolf         aio_context_release(aio_context);
5900f12264eSKevin Wolf     }
5910f12264eSKevin Wolf 
5920f12264eSKevin Wolf     return result;
5930f12264eSKevin Wolf }
5940f12264eSKevin Wolf 
59561007b31SStefan Hajnoczi /*
59661007b31SStefan Hajnoczi  * Wait for pending requests to complete across all BlockDriverStates
59761007b31SStefan Hajnoczi  *
59861007b31SStefan Hajnoczi  * This function does not flush data to disk, use bdrv_flush_all() for that
59961007b31SStefan Hajnoczi  * after calling this function.
600c0778f66SAlberto Garcia  *
601c0778f66SAlberto Garcia  * This pauses all block jobs and disables external clients. It must
602c0778f66SAlberto Garcia  * be paired with bdrv_drain_all_end().
603c0778f66SAlberto Garcia  *
604c0778f66SAlberto Garcia  * NOTE: no new block jobs or BlockDriverStates can be created between
605c0778f66SAlberto Garcia  * the bdrv_drain_all_begin() and bdrv_drain_all_end() calls.
60661007b31SStefan Hajnoczi  */
607c0778f66SAlberto Garcia void bdrv_drain_all_begin(void)
60861007b31SStefan Hajnoczi {
6090f12264eSKevin Wolf     BlockDriverState *bs = NULL;
61061007b31SStefan Hajnoczi 
611c8ca33d0SKevin Wolf     if (qemu_in_coroutine()) {
6128e1da77eSMax Reitz         bdrv_co_yield_to_drain(NULL, true, false, NULL, true, true, NULL);
613c8ca33d0SKevin Wolf         return;
614c8ca33d0SKevin Wolf     }
615c8ca33d0SKevin Wolf 
616c8aa7895SPavel Dovgalyuk     /*
617c8aa7895SPavel Dovgalyuk      * bdrv queue is managed by record/replay,
618c8aa7895SPavel Dovgalyuk      * waiting for finishing the I/O requests may
619c8aa7895SPavel Dovgalyuk      * be infinite
620c8aa7895SPavel Dovgalyuk      */
621c8aa7895SPavel Dovgalyuk     if (replay_events_enabled()) {
622c8aa7895SPavel Dovgalyuk         return;
623c8aa7895SPavel Dovgalyuk     }
624c8aa7895SPavel Dovgalyuk 
6250f12264eSKevin Wolf     /* AIO_WAIT_WHILE() with a NULL context can only be called from the main
6260f12264eSKevin Wolf      * loop AioContext, so make sure we're in the main context. */
6279a7e86c8SKevin Wolf     assert(qemu_get_current_aio_context() == qemu_get_aio_context());
6280f12264eSKevin Wolf     assert(bdrv_drain_all_count < INT_MAX);
6290f12264eSKevin Wolf     bdrv_drain_all_count++;
6309a7e86c8SKevin Wolf 
6310f12264eSKevin Wolf     /* Quiesce all nodes, without polling in-flight requests yet. The graph
6320f12264eSKevin Wolf      * cannot change during this loop. */
6330f12264eSKevin Wolf     while ((bs = bdrv_next_all_states(bs))) {
63461007b31SStefan Hajnoczi         AioContext *aio_context = bdrv_get_aio_context(bs);
63561007b31SStefan Hajnoczi 
63661007b31SStefan Hajnoczi         aio_context_acquire(aio_context);
6370f12264eSKevin Wolf         bdrv_do_drained_begin(bs, false, NULL, true, false);
63861007b31SStefan Hajnoczi         aio_context_release(aio_context);
63961007b31SStefan Hajnoczi     }
64061007b31SStefan Hajnoczi 
6410f12264eSKevin Wolf     /* Now poll the in-flight requests */
642cfe29d82SKevin Wolf     AIO_WAIT_WHILE(NULL, bdrv_drain_all_poll());
6430f12264eSKevin Wolf 
6440f12264eSKevin Wolf     while ((bs = bdrv_next_all_states(bs))) {
645c13ad59fSKevin Wolf         bdrv_drain_assert_idle(bs);
646f406c03cSAlexander Yarygin     }
647f406c03cSAlexander Yarygin }
648c0778f66SAlberto Garcia 
6491a6d3bd2SGreg Kurz void bdrv_drain_all_end_quiesce(BlockDriverState *bs)
6501a6d3bd2SGreg Kurz {
6511a6d3bd2SGreg Kurz     int drained_end_counter = 0;
6521a6d3bd2SGreg Kurz 
6531a6d3bd2SGreg Kurz     g_assert(bs->quiesce_counter > 0);
6541a6d3bd2SGreg Kurz     g_assert(!bs->refcnt);
6551a6d3bd2SGreg Kurz 
6561a6d3bd2SGreg Kurz     while (bs->quiesce_counter) {
6571a6d3bd2SGreg Kurz         bdrv_do_drained_end(bs, false, NULL, true, &drained_end_counter);
6581a6d3bd2SGreg Kurz     }
6591a6d3bd2SGreg Kurz     BDRV_POLL_WHILE(bs, qatomic_read(&drained_end_counter) > 0);
6601a6d3bd2SGreg Kurz }
6611a6d3bd2SGreg Kurz 
662c0778f66SAlberto Garcia void bdrv_drain_all_end(void)
663c0778f66SAlberto Garcia {
6640f12264eSKevin Wolf     BlockDriverState *bs = NULL;
665e037c09cSMax Reitz     int drained_end_counter = 0;
666c0778f66SAlberto Garcia 
667c8aa7895SPavel Dovgalyuk     /*
668c8aa7895SPavel Dovgalyuk      * bdrv queue is managed by record/replay,
669c8aa7895SPavel Dovgalyuk      * waiting for finishing the I/O requests may
670c8aa7895SPavel Dovgalyuk      * be endless
671c8aa7895SPavel Dovgalyuk      */
672c8aa7895SPavel Dovgalyuk     if (replay_events_enabled()) {
673c8aa7895SPavel Dovgalyuk         return;
674c8aa7895SPavel Dovgalyuk     }
675c8aa7895SPavel Dovgalyuk 
6760f12264eSKevin Wolf     while ((bs = bdrv_next_all_states(bs))) {
67761007b31SStefan Hajnoczi         AioContext *aio_context = bdrv_get_aio_context(bs);
67861007b31SStefan Hajnoczi 
67961007b31SStefan Hajnoczi         aio_context_acquire(aio_context);
680e037c09cSMax Reitz         bdrv_do_drained_end(bs, false, NULL, true, &drained_end_counter);
68161007b31SStefan Hajnoczi         aio_context_release(aio_context);
68261007b31SStefan Hajnoczi     }
6830f12264eSKevin Wolf 
684e037c09cSMax Reitz     assert(qemu_get_current_aio_context() == qemu_get_aio_context());
685d73415a3SStefan Hajnoczi     AIO_WAIT_WHILE(NULL, qatomic_read(&drained_end_counter) > 0);
686e037c09cSMax Reitz 
6870f12264eSKevin Wolf     assert(bdrv_drain_all_count > 0);
6880f12264eSKevin Wolf     bdrv_drain_all_count--;
68961007b31SStefan Hajnoczi }
69061007b31SStefan Hajnoczi 
691c0778f66SAlberto Garcia void bdrv_drain_all(void)
692c0778f66SAlberto Garcia {
693c0778f66SAlberto Garcia     bdrv_drain_all_begin();
694c0778f66SAlberto Garcia     bdrv_drain_all_end();
695c0778f66SAlberto Garcia }
696c0778f66SAlberto Garcia 
69761007b31SStefan Hajnoczi /**
69861007b31SStefan Hajnoczi  * Remove an active request from the tracked requests list
69961007b31SStefan Hajnoczi  *
70061007b31SStefan Hajnoczi  * This function should be called when a tracked request is completing.
70161007b31SStefan Hajnoczi  */
70261007b31SStefan Hajnoczi static void tracked_request_end(BdrvTrackedRequest *req)
70361007b31SStefan Hajnoczi {
70461007b31SStefan Hajnoczi     if (req->serialising) {
705d73415a3SStefan Hajnoczi         qatomic_dec(&req->bs->serialising_in_flight);
70661007b31SStefan Hajnoczi     }
70761007b31SStefan Hajnoczi 
7083783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&req->bs->reqs_lock);
70961007b31SStefan Hajnoczi     QLIST_REMOVE(req, list);
71061007b31SStefan Hajnoczi     qemu_co_queue_restart_all(&req->wait_queue);
7113783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&req->bs->reqs_lock);
71261007b31SStefan Hajnoczi }
71361007b31SStefan Hajnoczi 
71461007b31SStefan Hajnoczi /**
71561007b31SStefan Hajnoczi  * Add an active request to the tracked requests list
71661007b31SStefan Hajnoczi  */
71761007b31SStefan Hajnoczi static void tracked_request_begin(BdrvTrackedRequest *req,
71861007b31SStefan Hajnoczi                                   BlockDriverState *bs,
71961007b31SStefan Hajnoczi                                   int64_t offset,
72022931a15SFam Zheng                                   uint64_t bytes,
721ebde595cSFam Zheng                                   enum BdrvTrackedRequestType type)
72261007b31SStefan Hajnoczi {
72322931a15SFam Zheng     assert(bytes <= INT64_MAX && offset <= INT64_MAX - bytes);
72422931a15SFam Zheng 
72561007b31SStefan Hajnoczi     *req = (BdrvTrackedRequest){
72661007b31SStefan Hajnoczi         .bs = bs,
72761007b31SStefan Hajnoczi         .offset         = offset,
72861007b31SStefan Hajnoczi         .bytes          = bytes,
729ebde595cSFam Zheng         .type           = type,
73061007b31SStefan Hajnoczi         .co             = qemu_coroutine_self(),
73161007b31SStefan Hajnoczi         .serialising    = false,
73261007b31SStefan Hajnoczi         .overlap_offset = offset,
73361007b31SStefan Hajnoczi         .overlap_bytes  = bytes,
73461007b31SStefan Hajnoczi     };
73561007b31SStefan Hajnoczi 
73661007b31SStefan Hajnoczi     qemu_co_queue_init(&req->wait_queue);
73761007b31SStefan Hajnoczi 
7383783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&bs->reqs_lock);
73961007b31SStefan Hajnoczi     QLIST_INSERT_HEAD(&bs->tracked_requests, req, list);
7403783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&bs->reqs_lock);
74161007b31SStefan Hajnoczi }
74261007b31SStefan Hajnoczi 
7433ba0e1a0SPaolo Bonzini static bool tracked_request_overlaps(BdrvTrackedRequest *req,
7443ba0e1a0SPaolo Bonzini                                      int64_t offset, uint64_t bytes)
7453ba0e1a0SPaolo Bonzini {
7463ba0e1a0SPaolo Bonzini     /*        aaaa   bbbb */
7473ba0e1a0SPaolo Bonzini     if (offset >= req->overlap_offset + req->overlap_bytes) {
7483ba0e1a0SPaolo Bonzini         return false;
7493ba0e1a0SPaolo Bonzini     }
7503ba0e1a0SPaolo Bonzini     /* bbbb   aaaa        */
7513ba0e1a0SPaolo Bonzini     if (req->overlap_offset >= offset + bytes) {
7523ba0e1a0SPaolo Bonzini         return false;
7533ba0e1a0SPaolo Bonzini     }
7543ba0e1a0SPaolo Bonzini     return true;
7553ba0e1a0SPaolo Bonzini }
7563ba0e1a0SPaolo Bonzini 
7573183937fSVladimir Sementsov-Ogievskiy /* Called with self->bs->reqs_lock held */
7583183937fSVladimir Sementsov-Ogievskiy static BdrvTrackedRequest *
7593183937fSVladimir Sementsov-Ogievskiy bdrv_find_conflicting_request(BdrvTrackedRequest *self)
7603ba0e1a0SPaolo Bonzini {
7613ba0e1a0SPaolo Bonzini     BdrvTrackedRequest *req;
7623ba0e1a0SPaolo Bonzini 
7633183937fSVladimir Sementsov-Ogievskiy     QLIST_FOREACH(req, &self->bs->tracked_requests, list) {
7643ba0e1a0SPaolo Bonzini         if (req == self || (!req->serialising && !self->serialising)) {
7653ba0e1a0SPaolo Bonzini             continue;
7663ba0e1a0SPaolo Bonzini         }
7673ba0e1a0SPaolo Bonzini         if (tracked_request_overlaps(req, self->overlap_offset,
7683ba0e1a0SPaolo Bonzini                                      self->overlap_bytes))
7693ba0e1a0SPaolo Bonzini         {
7703183937fSVladimir Sementsov-Ogievskiy             /*
7713183937fSVladimir Sementsov-Ogievskiy              * Hitting this means there was a reentrant request, for
7723ba0e1a0SPaolo Bonzini              * example, a block driver issuing nested requests.  This must
7733ba0e1a0SPaolo Bonzini              * never happen since it means deadlock.
7743ba0e1a0SPaolo Bonzini              */
7753ba0e1a0SPaolo Bonzini             assert(qemu_coroutine_self() != req->co);
7763ba0e1a0SPaolo Bonzini 
7773183937fSVladimir Sementsov-Ogievskiy             /*
7783183937fSVladimir Sementsov-Ogievskiy              * If the request is already (indirectly) waiting for us, or
7793ba0e1a0SPaolo Bonzini              * will wait for us as soon as it wakes up, then just go on
7803183937fSVladimir Sementsov-Ogievskiy              * (instead of producing a deadlock in the former case).
7813183937fSVladimir Sementsov-Ogievskiy              */
7823ba0e1a0SPaolo Bonzini             if (!req->waiting_for) {
7833183937fSVladimir Sementsov-Ogievskiy                 return req;
7843183937fSVladimir Sementsov-Ogievskiy             }
7853183937fSVladimir Sementsov-Ogievskiy         }
7863183937fSVladimir Sementsov-Ogievskiy     }
7873183937fSVladimir Sementsov-Ogievskiy 
7883183937fSVladimir Sementsov-Ogievskiy     return NULL;
7893183937fSVladimir Sementsov-Ogievskiy }
7903183937fSVladimir Sementsov-Ogievskiy 
791ec1c8868SVladimir Sementsov-Ogievskiy /* Called with self->bs->reqs_lock held */
7923183937fSVladimir Sementsov-Ogievskiy static bool coroutine_fn
793ec1c8868SVladimir Sementsov-Ogievskiy bdrv_wait_serialising_requests_locked(BdrvTrackedRequest *self)
7943183937fSVladimir Sementsov-Ogievskiy {
7953183937fSVladimir Sementsov-Ogievskiy     BdrvTrackedRequest *req;
7963183937fSVladimir Sementsov-Ogievskiy     bool waited = false;
7973183937fSVladimir Sementsov-Ogievskiy 
7983183937fSVladimir Sementsov-Ogievskiy     while ((req = bdrv_find_conflicting_request(self))) {
7993ba0e1a0SPaolo Bonzini         self->waiting_for = req;
800ec1c8868SVladimir Sementsov-Ogievskiy         qemu_co_queue_wait(&req->wait_queue, &self->bs->reqs_lock);
8013ba0e1a0SPaolo Bonzini         self->waiting_for = NULL;
8023ba0e1a0SPaolo Bonzini         waited = true;
8033ba0e1a0SPaolo Bonzini     }
8043183937fSVladimir Sementsov-Ogievskiy 
8053ba0e1a0SPaolo Bonzini     return waited;
8063ba0e1a0SPaolo Bonzini }
8073ba0e1a0SPaolo Bonzini 
8088ac5aab2SVladimir Sementsov-Ogievskiy /* Called with req->bs->reqs_lock held */
8098ac5aab2SVladimir Sementsov-Ogievskiy static void tracked_request_set_serialising(BdrvTrackedRequest *req,
8108ac5aab2SVladimir Sementsov-Ogievskiy                                             uint64_t align)
81161007b31SStefan Hajnoczi {
81261007b31SStefan Hajnoczi     int64_t overlap_offset = req->offset & ~(align - 1);
81322931a15SFam Zheng     uint64_t overlap_bytes = ROUND_UP(req->offset + req->bytes, align)
81461007b31SStefan Hajnoczi                                - overlap_offset;
81561007b31SStefan Hajnoczi 
81661007b31SStefan Hajnoczi     if (!req->serialising) {
817d73415a3SStefan Hajnoczi         qatomic_inc(&req->bs->serialising_in_flight);
81861007b31SStefan Hajnoczi         req->serialising = true;
81961007b31SStefan Hajnoczi     }
82061007b31SStefan Hajnoczi 
82161007b31SStefan Hajnoczi     req->overlap_offset = MIN(req->overlap_offset, overlap_offset);
82261007b31SStefan Hajnoczi     req->overlap_bytes = MAX(req->overlap_bytes, overlap_bytes);
82309d2f948SVladimir Sementsov-Ogievskiy }
82409d2f948SVladimir Sementsov-Ogievskiy 
82561007b31SStefan Hajnoczi /**
826c28107e9SMax Reitz  * Return the tracked request on @bs for the current coroutine, or
827c28107e9SMax Reitz  * NULL if there is none.
828c28107e9SMax Reitz  */
829c28107e9SMax Reitz BdrvTrackedRequest *coroutine_fn bdrv_co_get_self_request(BlockDriverState *bs)
830c28107e9SMax Reitz {
831c28107e9SMax Reitz     BdrvTrackedRequest *req;
832c28107e9SMax Reitz     Coroutine *self = qemu_coroutine_self();
833c28107e9SMax Reitz 
834c28107e9SMax Reitz     QLIST_FOREACH(req, &bs->tracked_requests, list) {
835c28107e9SMax Reitz         if (req->co == self) {
836c28107e9SMax Reitz             return req;
837c28107e9SMax Reitz         }
838c28107e9SMax Reitz     }
839c28107e9SMax Reitz 
840c28107e9SMax Reitz     return NULL;
841c28107e9SMax Reitz }
842c28107e9SMax Reitz 
843c28107e9SMax Reitz /**
844244483e6SKevin Wolf  * Round a region to cluster boundaries
845244483e6SKevin Wolf  */
846244483e6SKevin Wolf void bdrv_round_to_clusters(BlockDriverState *bs,
8477cfd5275SEric Blake                             int64_t offset, int64_t bytes,
848244483e6SKevin Wolf                             int64_t *cluster_offset,
8497cfd5275SEric Blake                             int64_t *cluster_bytes)
850244483e6SKevin Wolf {
851244483e6SKevin Wolf     BlockDriverInfo bdi;
852244483e6SKevin Wolf 
853244483e6SKevin Wolf     if (bdrv_get_info(bs, &bdi) < 0 || bdi.cluster_size == 0) {
854244483e6SKevin Wolf         *cluster_offset = offset;
855244483e6SKevin Wolf         *cluster_bytes = bytes;
856244483e6SKevin Wolf     } else {
857244483e6SKevin Wolf         int64_t c = bdi.cluster_size;
858244483e6SKevin Wolf         *cluster_offset = QEMU_ALIGN_DOWN(offset, c);
859244483e6SKevin Wolf         *cluster_bytes = QEMU_ALIGN_UP(offset - *cluster_offset + bytes, c);
860244483e6SKevin Wolf     }
861244483e6SKevin Wolf }
862244483e6SKevin Wolf 
86361007b31SStefan Hajnoczi static int bdrv_get_cluster_size(BlockDriverState *bs)
86461007b31SStefan Hajnoczi {
86561007b31SStefan Hajnoczi     BlockDriverInfo bdi;
86661007b31SStefan Hajnoczi     int ret;
86761007b31SStefan Hajnoczi 
86861007b31SStefan Hajnoczi     ret = bdrv_get_info(bs, &bdi);
86961007b31SStefan Hajnoczi     if (ret < 0 || bdi.cluster_size == 0) {
870a5b8dd2cSEric Blake         return bs->bl.request_alignment;
87161007b31SStefan Hajnoczi     } else {
87261007b31SStefan Hajnoczi         return bdi.cluster_size;
87361007b31SStefan Hajnoczi     }
87461007b31SStefan Hajnoczi }
87561007b31SStefan Hajnoczi 
87699723548SPaolo Bonzini void bdrv_inc_in_flight(BlockDriverState *bs)
87799723548SPaolo Bonzini {
878d73415a3SStefan Hajnoczi     qatomic_inc(&bs->in_flight);
87999723548SPaolo Bonzini }
88099723548SPaolo Bonzini 
881c9d1a561SPaolo Bonzini void bdrv_wakeup(BlockDriverState *bs)
882c9d1a561SPaolo Bonzini {
883cfe29d82SKevin Wolf     aio_wait_kick();
884c9d1a561SPaolo Bonzini }
885c9d1a561SPaolo Bonzini 
88699723548SPaolo Bonzini void bdrv_dec_in_flight(BlockDriverState *bs)
88799723548SPaolo Bonzini {
888d73415a3SStefan Hajnoczi     qatomic_dec(&bs->in_flight);
889c9d1a561SPaolo Bonzini     bdrv_wakeup(bs);
89099723548SPaolo Bonzini }
89199723548SPaolo Bonzini 
89218fbd0deSPaolo Bonzini static bool coroutine_fn bdrv_wait_serialising_requests(BdrvTrackedRequest *self)
89361007b31SStefan Hajnoczi {
89461007b31SStefan Hajnoczi     BlockDriverState *bs = self->bs;
89561007b31SStefan Hajnoczi     bool waited = false;
89661007b31SStefan Hajnoczi 
897d73415a3SStefan Hajnoczi     if (!qatomic_read(&bs->serialising_in_flight)) {
89861007b31SStefan Hajnoczi         return false;
89961007b31SStefan Hajnoczi     }
90061007b31SStefan Hajnoczi 
9013783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&bs->reqs_lock);
902ec1c8868SVladimir Sementsov-Ogievskiy     waited = bdrv_wait_serialising_requests_locked(self);
9033783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&bs->reqs_lock);
90461007b31SStefan Hajnoczi 
90561007b31SStefan Hajnoczi     return waited;
90661007b31SStefan Hajnoczi }
90761007b31SStefan Hajnoczi 
9088ac5aab2SVladimir Sementsov-Ogievskiy bool coroutine_fn bdrv_make_request_serialising(BdrvTrackedRequest *req,
9098ac5aab2SVladimir Sementsov-Ogievskiy                                                 uint64_t align)
9108ac5aab2SVladimir Sementsov-Ogievskiy {
9118ac5aab2SVladimir Sementsov-Ogievskiy     bool waited;
9128ac5aab2SVladimir Sementsov-Ogievskiy 
9138ac5aab2SVladimir Sementsov-Ogievskiy     qemu_co_mutex_lock(&req->bs->reqs_lock);
9148ac5aab2SVladimir Sementsov-Ogievskiy 
9158ac5aab2SVladimir Sementsov-Ogievskiy     tracked_request_set_serialising(req, align);
9168ac5aab2SVladimir Sementsov-Ogievskiy     waited = bdrv_wait_serialising_requests_locked(req);
9178ac5aab2SVladimir Sementsov-Ogievskiy 
9188ac5aab2SVladimir Sementsov-Ogievskiy     qemu_co_mutex_unlock(&req->bs->reqs_lock);
9198ac5aab2SVladimir Sementsov-Ogievskiy 
9208ac5aab2SVladimir Sementsov-Ogievskiy     return waited;
9218ac5aab2SVladimir Sementsov-Ogievskiy }
9228ac5aab2SVladimir Sementsov-Ogievskiy 
92369b55e03SVladimir Sementsov-Ogievskiy int bdrv_check_request(int64_t offset, int64_t bytes, Error **errp)
92461007b31SStefan Hajnoczi {
92569b55e03SVladimir Sementsov-Ogievskiy     if (offset < 0) {
92669b55e03SVladimir Sementsov-Ogievskiy         error_setg(errp, "offset is negative: %" PRIi64, offset);
92769b55e03SVladimir Sementsov-Ogievskiy         return -EIO;
92869b55e03SVladimir Sementsov-Ogievskiy     }
92969b55e03SVladimir Sementsov-Ogievskiy 
93069b55e03SVladimir Sementsov-Ogievskiy     if (bytes < 0) {
93169b55e03SVladimir Sementsov-Ogievskiy         error_setg(errp, "bytes is negative: %" PRIi64, bytes);
93261007b31SStefan Hajnoczi         return -EIO;
93361007b31SStefan Hajnoczi     }
93461007b31SStefan Hajnoczi 
9358b117001SVladimir Sementsov-Ogievskiy     if (bytes > BDRV_MAX_LENGTH) {
93669b55e03SVladimir Sementsov-Ogievskiy         error_setg(errp, "bytes(%" PRIi64 ") exceeds maximum(%" PRIi64 ")",
93769b55e03SVladimir Sementsov-Ogievskiy                    bytes, BDRV_MAX_LENGTH);
93869b55e03SVladimir Sementsov-Ogievskiy         return -EIO;
93969b55e03SVladimir Sementsov-Ogievskiy     }
94069b55e03SVladimir Sementsov-Ogievskiy 
94169b55e03SVladimir Sementsov-Ogievskiy     if (offset > BDRV_MAX_LENGTH) {
94269b55e03SVladimir Sementsov-Ogievskiy         error_setg(errp, "offset(%" PRIi64 ") exceeds maximum(%" PRIi64 ")",
94369b55e03SVladimir Sementsov-Ogievskiy                    offset, BDRV_MAX_LENGTH);
9448b117001SVladimir Sementsov-Ogievskiy         return -EIO;
9458b117001SVladimir Sementsov-Ogievskiy     }
9468b117001SVladimir Sementsov-Ogievskiy 
9478b117001SVladimir Sementsov-Ogievskiy     if (offset > BDRV_MAX_LENGTH - bytes) {
94869b55e03SVladimir Sementsov-Ogievskiy         error_setg(errp, "sum of offset(%" PRIi64 ") and bytes(%" PRIi64 ") "
94969b55e03SVladimir Sementsov-Ogievskiy                    "exceeds maximum(%" PRIi64 ")", offset, bytes,
95069b55e03SVladimir Sementsov-Ogievskiy                    BDRV_MAX_LENGTH);
9518b117001SVladimir Sementsov-Ogievskiy         return -EIO;
9528b117001SVladimir Sementsov-Ogievskiy     }
9538b117001SVladimir Sementsov-Ogievskiy 
9548b117001SVladimir Sementsov-Ogievskiy     return 0;
9558b117001SVladimir Sementsov-Ogievskiy }
9568b117001SVladimir Sementsov-Ogievskiy 
9578b117001SVladimir Sementsov-Ogievskiy static int bdrv_check_request32(int64_t offset, int64_t bytes)
9588b117001SVladimir Sementsov-Ogievskiy {
95969b55e03SVladimir Sementsov-Ogievskiy     int ret = bdrv_check_request(offset, bytes, NULL);
9608b117001SVladimir Sementsov-Ogievskiy     if (ret < 0) {
9618b117001SVladimir Sementsov-Ogievskiy         return ret;
9628b117001SVladimir Sementsov-Ogievskiy     }
9638b117001SVladimir Sementsov-Ogievskiy 
9648b117001SVladimir Sementsov-Ogievskiy     if (bytes > BDRV_REQUEST_MAX_BYTES) {
96561007b31SStefan Hajnoczi         return -EIO;
96661007b31SStefan Hajnoczi     }
96761007b31SStefan Hajnoczi 
96861007b31SStefan Hajnoczi     return 0;
96961007b31SStefan Hajnoczi }
97061007b31SStefan Hajnoczi 
971720ff280SKevin Wolf int bdrv_pwrite_zeroes(BdrvChild *child, int64_t offset,
972f5a5ca79SManos Pitsidianakis                        int bytes, BdrvRequestFlags flags)
97361007b31SStefan Hajnoczi {
974fae2681aSVladimir Sementsov-Ogievskiy     return bdrv_pwritev(child, offset, bytes, NULL,
975fae2681aSVladimir Sementsov-Ogievskiy                         BDRV_REQ_ZERO_WRITE | flags);
97661007b31SStefan Hajnoczi }
97761007b31SStefan Hajnoczi 
97861007b31SStefan Hajnoczi /*
97974021bc4SEric Blake  * Completely zero out a block device with the help of bdrv_pwrite_zeroes.
98061007b31SStefan Hajnoczi  * The operation is sped up by checking the block status and only writing
98161007b31SStefan Hajnoczi  * zeroes to the device if they currently do not return zeroes. Optional
98274021bc4SEric Blake  * flags are passed through to bdrv_pwrite_zeroes (e.g. BDRV_REQ_MAY_UNMAP,
983465fe887SEric Blake  * BDRV_REQ_FUA).
98461007b31SStefan Hajnoczi  *
985f4649069SEric Blake  * Returns < 0 on error, 0 on success. For error codes see bdrv_pwrite().
98661007b31SStefan Hajnoczi  */
987720ff280SKevin Wolf int bdrv_make_zero(BdrvChild *child, BdrvRequestFlags flags)
98861007b31SStefan Hajnoczi {
989237d78f8SEric Blake     int ret;
990237d78f8SEric Blake     int64_t target_size, bytes, offset = 0;
991720ff280SKevin Wolf     BlockDriverState *bs = child->bs;
99261007b31SStefan Hajnoczi 
9937286d610SEric Blake     target_size = bdrv_getlength(bs);
9947286d610SEric Blake     if (target_size < 0) {
9957286d610SEric Blake         return target_size;
99661007b31SStefan Hajnoczi     }
99761007b31SStefan Hajnoczi 
99861007b31SStefan Hajnoczi     for (;;) {
9997286d610SEric Blake         bytes = MIN(target_size - offset, BDRV_REQUEST_MAX_BYTES);
10007286d610SEric Blake         if (bytes <= 0) {
100161007b31SStefan Hajnoczi             return 0;
100261007b31SStefan Hajnoczi         }
1003237d78f8SEric Blake         ret = bdrv_block_status(bs, offset, bytes, &bytes, NULL, NULL);
100461007b31SStefan Hajnoczi         if (ret < 0) {
100561007b31SStefan Hajnoczi             return ret;
100661007b31SStefan Hajnoczi         }
100761007b31SStefan Hajnoczi         if (ret & BDRV_BLOCK_ZERO) {
1008237d78f8SEric Blake             offset += bytes;
100961007b31SStefan Hajnoczi             continue;
101061007b31SStefan Hajnoczi         }
1011237d78f8SEric Blake         ret = bdrv_pwrite_zeroes(child, offset, bytes, flags);
101261007b31SStefan Hajnoczi         if (ret < 0) {
101361007b31SStefan Hajnoczi             return ret;
101461007b31SStefan Hajnoczi         }
1015237d78f8SEric Blake         offset += bytes;
101661007b31SStefan Hajnoczi     }
101761007b31SStefan Hajnoczi }
101861007b31SStefan Hajnoczi 
10192e11d756SAlberto Garcia /* See bdrv_pwrite() for the return codes */
1020cf2ab8fcSKevin Wolf int bdrv_pread(BdrvChild *child, int64_t offset, void *buf, int bytes)
102161007b31SStefan Hajnoczi {
1022fae2681aSVladimir Sementsov-Ogievskiy     int ret;
10230d93ed08SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buf, bytes);
102461007b31SStefan Hajnoczi 
102561007b31SStefan Hajnoczi     if (bytes < 0) {
102661007b31SStefan Hajnoczi         return -EINVAL;
102761007b31SStefan Hajnoczi     }
102861007b31SStefan Hajnoczi 
1029fae2681aSVladimir Sementsov-Ogievskiy     ret = bdrv_preadv(child, offset, bytes, &qiov,  0);
103061007b31SStefan Hajnoczi 
1031fae2681aSVladimir Sementsov-Ogievskiy     return ret < 0 ? ret : bytes;
103261007b31SStefan Hajnoczi }
103361007b31SStefan Hajnoczi 
10342e11d756SAlberto Garcia /* Return no. of bytes on success or < 0 on error. Important errors are:
10352e11d756SAlberto Garcia   -EIO         generic I/O error (may happen for all errors)
10362e11d756SAlberto Garcia   -ENOMEDIUM   No media inserted.
10372e11d756SAlberto Garcia   -EINVAL      Invalid offset or number of bytes
10382e11d756SAlberto Garcia   -EACCES      Trying to write a read-only device
10392e11d756SAlberto Garcia */
1040d9ca2ea2SKevin Wolf int bdrv_pwrite(BdrvChild *child, int64_t offset, const void *buf, int bytes)
104161007b31SStefan Hajnoczi {
1042fae2681aSVladimir Sementsov-Ogievskiy     int ret;
10430d93ed08SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buf, bytes);
104461007b31SStefan Hajnoczi 
104561007b31SStefan Hajnoczi     if (bytes < 0) {
104661007b31SStefan Hajnoczi         return -EINVAL;
104761007b31SStefan Hajnoczi     }
104861007b31SStefan Hajnoczi 
1049fae2681aSVladimir Sementsov-Ogievskiy     ret = bdrv_pwritev(child, offset, bytes, &qiov, 0);
1050fae2681aSVladimir Sementsov-Ogievskiy 
1051fae2681aSVladimir Sementsov-Ogievskiy     return ret < 0 ? ret : bytes;
105261007b31SStefan Hajnoczi }
105361007b31SStefan Hajnoczi 
105461007b31SStefan Hajnoczi /*
105561007b31SStefan Hajnoczi  * Writes to the file and ensures that no writes are reordered across this
105661007b31SStefan Hajnoczi  * request (acts as a barrier)
105761007b31SStefan Hajnoczi  *
105861007b31SStefan Hajnoczi  * Returns 0 on success, -errno in error cases.
105961007b31SStefan Hajnoczi  */
1060d9ca2ea2SKevin Wolf int bdrv_pwrite_sync(BdrvChild *child, int64_t offset,
106161007b31SStefan Hajnoczi                      const void *buf, int count)
106261007b31SStefan Hajnoczi {
106361007b31SStefan Hajnoczi     int ret;
106461007b31SStefan Hajnoczi 
1065d9ca2ea2SKevin Wolf     ret = bdrv_pwrite(child, offset, buf, count);
106661007b31SStefan Hajnoczi     if (ret < 0) {
106761007b31SStefan Hajnoczi         return ret;
106861007b31SStefan Hajnoczi     }
106961007b31SStefan Hajnoczi 
1070d9ca2ea2SKevin Wolf     ret = bdrv_flush(child->bs);
1071855a6a93SKevin Wolf     if (ret < 0) {
1072855a6a93SKevin Wolf         return ret;
107361007b31SStefan Hajnoczi     }
107461007b31SStefan Hajnoczi 
107561007b31SStefan Hajnoczi     return 0;
107661007b31SStefan Hajnoczi }
107761007b31SStefan Hajnoczi 
107808844473SKevin Wolf typedef struct CoroutineIOCompletion {
107908844473SKevin Wolf     Coroutine *coroutine;
108008844473SKevin Wolf     int ret;
108108844473SKevin Wolf } CoroutineIOCompletion;
108208844473SKevin Wolf 
108308844473SKevin Wolf static void bdrv_co_io_em_complete(void *opaque, int ret)
108408844473SKevin Wolf {
108508844473SKevin Wolf     CoroutineIOCompletion *co = opaque;
108608844473SKevin Wolf 
108708844473SKevin Wolf     co->ret = ret;
1088b9e413ddSPaolo Bonzini     aio_co_wake(co->coroutine);
108908844473SKevin Wolf }
109008844473SKevin Wolf 
1091166fe960SKevin Wolf static int coroutine_fn bdrv_driver_preadv(BlockDriverState *bs,
1092166fe960SKevin Wolf                                            uint64_t offset, uint64_t bytes,
1093ac850bf0SVladimir Sementsov-Ogievskiy                                            QEMUIOVector *qiov,
1094ac850bf0SVladimir Sementsov-Ogievskiy                                            size_t qiov_offset, int flags)
1095166fe960SKevin Wolf {
1096166fe960SKevin Wolf     BlockDriver *drv = bs->drv;
10973fb06697SKevin Wolf     int64_t sector_num;
10983fb06697SKevin Wolf     unsigned int nb_sectors;
1099ac850bf0SVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
1100ac850bf0SVladimir Sementsov-Ogievskiy     int ret;
11013fb06697SKevin Wolf 
1102fa166538SEric Blake     assert(!(flags & ~BDRV_REQ_MASK));
1103fe0480d6SKevin Wolf     assert(!(flags & BDRV_REQ_NO_FALLBACK));
1104fa166538SEric Blake 
1105d470ad42SMax Reitz     if (!drv) {
1106d470ad42SMax Reitz         return -ENOMEDIUM;
1107d470ad42SMax Reitz     }
1108d470ad42SMax Reitz 
1109ac850bf0SVladimir Sementsov-Ogievskiy     if (drv->bdrv_co_preadv_part) {
1110ac850bf0SVladimir Sementsov-Ogievskiy         return drv->bdrv_co_preadv_part(bs, offset, bytes, qiov, qiov_offset,
1111ac850bf0SVladimir Sementsov-Ogievskiy                                         flags);
1112ac850bf0SVladimir Sementsov-Ogievskiy     }
1113ac850bf0SVladimir Sementsov-Ogievskiy 
1114ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov_offset > 0 || bytes != qiov->size) {
1115ac850bf0SVladimir Sementsov-Ogievskiy         qemu_iovec_init_slice(&local_qiov, qiov, qiov_offset, bytes);
1116ac850bf0SVladimir Sementsov-Ogievskiy         qiov = &local_qiov;
1117ac850bf0SVladimir Sementsov-Ogievskiy     }
1118ac850bf0SVladimir Sementsov-Ogievskiy 
11193fb06697SKevin Wolf     if (drv->bdrv_co_preadv) {
1120ac850bf0SVladimir Sementsov-Ogievskiy         ret = drv->bdrv_co_preadv(bs, offset, bytes, qiov, flags);
1121ac850bf0SVladimir Sementsov-Ogievskiy         goto out;
11223fb06697SKevin Wolf     }
11233fb06697SKevin Wolf 
1124edfab6a0SEric Blake     if (drv->bdrv_aio_preadv) {
112508844473SKevin Wolf         BlockAIOCB *acb;
112608844473SKevin Wolf         CoroutineIOCompletion co = {
112708844473SKevin Wolf             .coroutine = qemu_coroutine_self(),
112808844473SKevin Wolf         };
112908844473SKevin Wolf 
1130e31f6864SEric Blake         acb = drv->bdrv_aio_preadv(bs, offset, bytes, qiov, flags,
113108844473SKevin Wolf                                    bdrv_co_io_em_complete, &co);
113208844473SKevin Wolf         if (acb == NULL) {
1133ac850bf0SVladimir Sementsov-Ogievskiy             ret = -EIO;
1134ac850bf0SVladimir Sementsov-Ogievskiy             goto out;
113508844473SKevin Wolf         } else {
113608844473SKevin Wolf             qemu_coroutine_yield();
1137ac850bf0SVladimir Sementsov-Ogievskiy             ret = co.ret;
1138ac850bf0SVladimir Sementsov-Ogievskiy             goto out;
113908844473SKevin Wolf         }
114008844473SKevin Wolf     }
1141edfab6a0SEric Blake 
1142edfab6a0SEric Blake     sector_num = offset >> BDRV_SECTOR_BITS;
1143edfab6a0SEric Blake     nb_sectors = bytes >> BDRV_SECTOR_BITS;
1144edfab6a0SEric Blake 
11451bbbf32dSNir Soffer     assert(QEMU_IS_ALIGNED(offset, BDRV_SECTOR_SIZE));
11461bbbf32dSNir Soffer     assert(QEMU_IS_ALIGNED(bytes, BDRV_SECTOR_SIZE));
114741ae31e3SAlberto Garcia     assert(bytes <= BDRV_REQUEST_MAX_BYTES);
1148edfab6a0SEric Blake     assert(drv->bdrv_co_readv);
1149edfab6a0SEric Blake 
1150ac850bf0SVladimir Sementsov-Ogievskiy     ret = drv->bdrv_co_readv(bs, sector_num, nb_sectors, qiov);
1151ac850bf0SVladimir Sementsov-Ogievskiy 
1152ac850bf0SVladimir Sementsov-Ogievskiy out:
1153ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov == &local_qiov) {
1154ac850bf0SVladimir Sementsov-Ogievskiy         qemu_iovec_destroy(&local_qiov);
1155ac850bf0SVladimir Sementsov-Ogievskiy     }
1156ac850bf0SVladimir Sementsov-Ogievskiy 
1157ac850bf0SVladimir Sementsov-Ogievskiy     return ret;
1158166fe960SKevin Wolf }
1159166fe960SKevin Wolf 
116078a07294SKevin Wolf static int coroutine_fn bdrv_driver_pwritev(BlockDriverState *bs,
116178a07294SKevin Wolf                                             uint64_t offset, uint64_t bytes,
1162ac850bf0SVladimir Sementsov-Ogievskiy                                             QEMUIOVector *qiov,
1163ac850bf0SVladimir Sementsov-Ogievskiy                                             size_t qiov_offset, int flags)
116478a07294SKevin Wolf {
116578a07294SKevin Wolf     BlockDriver *drv = bs->drv;
11663fb06697SKevin Wolf     int64_t sector_num;
11673fb06697SKevin Wolf     unsigned int nb_sectors;
1168ac850bf0SVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
116978a07294SKevin Wolf     int ret;
117078a07294SKevin Wolf 
1171fa166538SEric Blake     assert(!(flags & ~BDRV_REQ_MASK));
1172fe0480d6SKevin Wolf     assert(!(flags & BDRV_REQ_NO_FALLBACK));
1173fa166538SEric Blake 
1174d470ad42SMax Reitz     if (!drv) {
1175d470ad42SMax Reitz         return -ENOMEDIUM;
1176d470ad42SMax Reitz     }
1177d470ad42SMax Reitz 
1178ac850bf0SVladimir Sementsov-Ogievskiy     if (drv->bdrv_co_pwritev_part) {
1179ac850bf0SVladimir Sementsov-Ogievskiy         ret = drv->bdrv_co_pwritev_part(bs, offset, bytes, qiov, qiov_offset,
1180ac850bf0SVladimir Sementsov-Ogievskiy                                         flags & bs->supported_write_flags);
1181ac850bf0SVladimir Sementsov-Ogievskiy         flags &= ~bs->supported_write_flags;
1182ac850bf0SVladimir Sementsov-Ogievskiy         goto emulate_flags;
1183ac850bf0SVladimir Sementsov-Ogievskiy     }
1184ac850bf0SVladimir Sementsov-Ogievskiy 
1185ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov_offset > 0 || bytes != qiov->size) {
1186ac850bf0SVladimir Sementsov-Ogievskiy         qemu_iovec_init_slice(&local_qiov, qiov, qiov_offset, bytes);
1187ac850bf0SVladimir Sementsov-Ogievskiy         qiov = &local_qiov;
1188ac850bf0SVladimir Sementsov-Ogievskiy     }
1189ac850bf0SVladimir Sementsov-Ogievskiy 
11903fb06697SKevin Wolf     if (drv->bdrv_co_pwritev) {
1191515c2f43SKevin Wolf         ret = drv->bdrv_co_pwritev(bs, offset, bytes, qiov,
1192515c2f43SKevin Wolf                                    flags & bs->supported_write_flags);
1193515c2f43SKevin Wolf         flags &= ~bs->supported_write_flags;
11943fb06697SKevin Wolf         goto emulate_flags;
11953fb06697SKevin Wolf     }
11963fb06697SKevin Wolf 
1197edfab6a0SEric Blake     if (drv->bdrv_aio_pwritev) {
119808844473SKevin Wolf         BlockAIOCB *acb;
119908844473SKevin Wolf         CoroutineIOCompletion co = {
120008844473SKevin Wolf             .coroutine = qemu_coroutine_self(),
120108844473SKevin Wolf         };
120208844473SKevin Wolf 
1203e31f6864SEric Blake         acb = drv->bdrv_aio_pwritev(bs, offset, bytes, qiov,
1204e31f6864SEric Blake                                     flags & bs->supported_write_flags,
120508844473SKevin Wolf                                     bdrv_co_io_em_complete, &co);
1206e31f6864SEric Blake         flags &= ~bs->supported_write_flags;
120708844473SKevin Wolf         if (acb == NULL) {
12083fb06697SKevin Wolf             ret = -EIO;
120908844473SKevin Wolf         } else {
121008844473SKevin Wolf             qemu_coroutine_yield();
12113fb06697SKevin Wolf             ret = co.ret;
121208844473SKevin Wolf         }
1213edfab6a0SEric Blake         goto emulate_flags;
1214edfab6a0SEric Blake     }
1215edfab6a0SEric Blake 
1216edfab6a0SEric Blake     sector_num = offset >> BDRV_SECTOR_BITS;
1217edfab6a0SEric Blake     nb_sectors = bytes >> BDRV_SECTOR_BITS;
1218edfab6a0SEric Blake 
12191bbbf32dSNir Soffer     assert(QEMU_IS_ALIGNED(offset, BDRV_SECTOR_SIZE));
12201bbbf32dSNir Soffer     assert(QEMU_IS_ALIGNED(bytes, BDRV_SECTOR_SIZE));
122141ae31e3SAlberto Garcia     assert(bytes <= BDRV_REQUEST_MAX_BYTES);
1222edfab6a0SEric Blake 
1223e18a58b4SEric Blake     assert(drv->bdrv_co_writev);
1224e18a58b4SEric Blake     ret = drv->bdrv_co_writev(bs, sector_num, nb_sectors, qiov,
1225edfab6a0SEric Blake                               flags & bs->supported_write_flags);
1226edfab6a0SEric Blake     flags &= ~bs->supported_write_flags;
122778a07294SKevin Wolf 
12283fb06697SKevin Wolf emulate_flags:
12294df863f3SEric Blake     if (ret == 0 && (flags & BDRV_REQ_FUA)) {
123078a07294SKevin Wolf         ret = bdrv_co_flush(bs);
123178a07294SKevin Wolf     }
123278a07294SKevin Wolf 
1233ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov == &local_qiov) {
1234ac850bf0SVladimir Sementsov-Ogievskiy         qemu_iovec_destroy(&local_qiov);
1235ac850bf0SVladimir Sementsov-Ogievskiy     }
1236ac850bf0SVladimir Sementsov-Ogievskiy 
123778a07294SKevin Wolf     return ret;
123878a07294SKevin Wolf }
123978a07294SKevin Wolf 
124029a298afSPavel Butsykin static int coroutine_fn
124129a298afSPavel Butsykin bdrv_driver_pwritev_compressed(BlockDriverState *bs, uint64_t offset,
1242ac850bf0SVladimir Sementsov-Ogievskiy                                uint64_t bytes, QEMUIOVector *qiov,
1243ac850bf0SVladimir Sementsov-Ogievskiy                                size_t qiov_offset)
124429a298afSPavel Butsykin {
124529a298afSPavel Butsykin     BlockDriver *drv = bs->drv;
1246ac850bf0SVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
1247ac850bf0SVladimir Sementsov-Ogievskiy     int ret;
124829a298afSPavel Butsykin 
1249d470ad42SMax Reitz     if (!drv) {
1250d470ad42SMax Reitz         return -ENOMEDIUM;
1251d470ad42SMax Reitz     }
1252d470ad42SMax Reitz 
1253ac850bf0SVladimir Sementsov-Ogievskiy     if (!block_driver_can_compress(drv)) {
125429a298afSPavel Butsykin         return -ENOTSUP;
125529a298afSPavel Butsykin     }
125629a298afSPavel Butsykin 
1257ac850bf0SVladimir Sementsov-Ogievskiy     if (drv->bdrv_co_pwritev_compressed_part) {
1258ac850bf0SVladimir Sementsov-Ogievskiy         return drv->bdrv_co_pwritev_compressed_part(bs, offset, bytes,
1259ac850bf0SVladimir Sementsov-Ogievskiy                                                     qiov, qiov_offset);
1260ac850bf0SVladimir Sementsov-Ogievskiy     }
1261ac850bf0SVladimir Sementsov-Ogievskiy 
1262ac850bf0SVladimir Sementsov-Ogievskiy     if (qiov_offset == 0) {
126329a298afSPavel Butsykin         return drv->bdrv_co_pwritev_compressed(bs, offset, bytes, qiov);
126429a298afSPavel Butsykin     }
126529a298afSPavel Butsykin 
1266ac850bf0SVladimir Sementsov-Ogievskiy     qemu_iovec_init_slice(&local_qiov, qiov, qiov_offset, bytes);
1267ac850bf0SVladimir Sementsov-Ogievskiy     ret = drv->bdrv_co_pwritev_compressed(bs, offset, bytes, &local_qiov);
1268ac850bf0SVladimir Sementsov-Ogievskiy     qemu_iovec_destroy(&local_qiov);
1269ac850bf0SVladimir Sementsov-Ogievskiy 
1270ac850bf0SVladimir Sementsov-Ogievskiy     return ret;
1271ac850bf0SVladimir Sementsov-Ogievskiy }
1272ac850bf0SVladimir Sementsov-Ogievskiy 
127385c97ca7SKevin Wolf static int coroutine_fn bdrv_co_do_copy_on_readv(BdrvChild *child,
12743299e5ecSVladimir Sementsov-Ogievskiy         int64_t offset, unsigned int bytes, QEMUIOVector *qiov,
12751143ec5eSVladimir Sementsov-Ogievskiy         size_t qiov_offset, int flags)
127661007b31SStefan Hajnoczi {
127785c97ca7SKevin Wolf     BlockDriverState *bs = child->bs;
127885c97ca7SKevin Wolf 
127961007b31SStefan Hajnoczi     /* Perform I/O through a temporary buffer so that users who scribble over
128061007b31SStefan Hajnoczi      * their read buffer while the operation is in progress do not end up
128161007b31SStefan Hajnoczi      * modifying the image file.  This is critical for zero-copy guest I/O
128261007b31SStefan Hajnoczi      * where anything might happen inside guest memory.
128361007b31SStefan Hajnoczi      */
12842275cc90SVladimir Sementsov-Ogievskiy     void *bounce_buffer = NULL;
128561007b31SStefan Hajnoczi 
128661007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
1287244483e6SKevin Wolf     int64_t cluster_offset;
12887cfd5275SEric Blake     int64_t cluster_bytes;
128961007b31SStefan Hajnoczi     size_t skip_bytes;
129061007b31SStefan Hajnoczi     int ret;
1291cb2e2878SEric Blake     int max_transfer = MIN_NON_ZERO(bs->bl.max_transfer,
1292cb2e2878SEric Blake                                     BDRV_REQUEST_MAX_BYTES);
1293cb2e2878SEric Blake     unsigned int progress = 0;
12948644476eSMax Reitz     bool skip_write;
129561007b31SStefan Hajnoczi 
1296d470ad42SMax Reitz     if (!drv) {
1297d470ad42SMax Reitz         return -ENOMEDIUM;
1298d470ad42SMax Reitz     }
1299d470ad42SMax Reitz 
13008644476eSMax Reitz     /*
13018644476eSMax Reitz      * Do not write anything when the BDS is inactive.  That is not
13028644476eSMax Reitz      * allowed, and it would not help.
13038644476eSMax Reitz      */
13048644476eSMax Reitz     skip_write = (bs->open_flags & BDRV_O_INACTIVE);
13058644476eSMax Reitz 
13061bf03e66SKevin Wolf     /* FIXME We cannot require callers to have write permissions when all they
13071bf03e66SKevin Wolf      * are doing is a read request. If we did things right, write permissions
13081bf03e66SKevin Wolf      * would be obtained anyway, but internally by the copy-on-read code. As
1309765d9df9SEric Blake      * long as it is implemented here rather than in a separate filter driver,
13101bf03e66SKevin Wolf      * the copy-on-read code doesn't have its own BdrvChild, however, for which
13111bf03e66SKevin Wolf      * it could request permissions. Therefore we have to bypass the permission
13121bf03e66SKevin Wolf      * system for the moment. */
13131bf03e66SKevin Wolf     // assert(child->perm & (BLK_PERM_WRITE_UNCHANGED | BLK_PERM_WRITE));
1314afa4b293SKevin Wolf 
131561007b31SStefan Hajnoczi     /* Cover entire cluster so no additional backing file I/O is required when
1316cb2e2878SEric Blake      * allocating cluster in the image file.  Note that this value may exceed
1317cb2e2878SEric Blake      * BDRV_REQUEST_MAX_BYTES (even when the original read did not), which
1318cb2e2878SEric Blake      * is one reason we loop rather than doing it all at once.
131961007b31SStefan Hajnoczi      */
1320244483e6SKevin Wolf     bdrv_round_to_clusters(bs, offset, bytes, &cluster_offset, &cluster_bytes);
1321cb2e2878SEric Blake     skip_bytes = offset - cluster_offset;
132261007b31SStefan Hajnoczi 
1323244483e6SKevin Wolf     trace_bdrv_co_do_copy_on_readv(bs, offset, bytes,
1324244483e6SKevin Wolf                                    cluster_offset, cluster_bytes);
132561007b31SStefan Hajnoczi 
1326cb2e2878SEric Blake     while (cluster_bytes) {
1327cb2e2878SEric Blake         int64_t pnum;
132861007b31SStefan Hajnoczi 
13298644476eSMax Reitz         if (skip_write) {
13308644476eSMax Reitz             ret = 1; /* "already allocated", so nothing will be copied */
13318644476eSMax Reitz             pnum = MIN(cluster_bytes, max_transfer);
13328644476eSMax Reitz         } else {
1333cb2e2878SEric Blake             ret = bdrv_is_allocated(bs, cluster_offset,
1334cb2e2878SEric Blake                                     MIN(cluster_bytes, max_transfer), &pnum);
1335cb2e2878SEric Blake             if (ret < 0) {
13368644476eSMax Reitz                 /*
13378644476eSMax Reitz                  * Safe to treat errors in querying allocation as if
1338cb2e2878SEric Blake                  * unallocated; we'll probably fail again soon on the
1339cb2e2878SEric Blake                  * read, but at least that will set a decent errno.
1340cb2e2878SEric Blake                  */
1341cb2e2878SEric Blake                 pnum = MIN(cluster_bytes, max_transfer);
1342cb2e2878SEric Blake             }
1343cb2e2878SEric Blake 
1344b0ddcbbbSKevin Wolf             /* Stop at EOF if the image ends in the middle of the cluster */
1345b0ddcbbbSKevin Wolf             if (ret == 0 && pnum == 0) {
1346b0ddcbbbSKevin Wolf                 assert(progress >= bytes);
1347b0ddcbbbSKevin Wolf                 break;
1348b0ddcbbbSKevin Wolf             }
1349b0ddcbbbSKevin Wolf 
1350cb2e2878SEric Blake             assert(skip_bytes < pnum);
13518644476eSMax Reitz         }
1352cb2e2878SEric Blake 
1353cb2e2878SEric Blake         if (ret <= 0) {
13541143ec5eSVladimir Sementsov-Ogievskiy             QEMUIOVector local_qiov;
13551143ec5eSVladimir Sementsov-Ogievskiy 
1356cb2e2878SEric Blake             /* Must copy-on-read; use the bounce buffer */
13570d93ed08SVladimir Sementsov-Ogievskiy             pnum = MIN(pnum, MAX_BOUNCE_BUFFER);
13582275cc90SVladimir Sementsov-Ogievskiy             if (!bounce_buffer) {
13592275cc90SVladimir Sementsov-Ogievskiy                 int64_t max_we_need = MAX(pnum, cluster_bytes - pnum);
13602275cc90SVladimir Sementsov-Ogievskiy                 int64_t max_allowed = MIN(max_transfer, MAX_BOUNCE_BUFFER);
13612275cc90SVladimir Sementsov-Ogievskiy                 int64_t bounce_buffer_len = MIN(max_we_need, max_allowed);
13622275cc90SVladimir Sementsov-Ogievskiy 
13632275cc90SVladimir Sementsov-Ogievskiy                 bounce_buffer = qemu_try_blockalign(bs, bounce_buffer_len);
13642275cc90SVladimir Sementsov-Ogievskiy                 if (!bounce_buffer) {
13652275cc90SVladimir Sementsov-Ogievskiy                     ret = -ENOMEM;
13662275cc90SVladimir Sementsov-Ogievskiy                     goto err;
13672275cc90SVladimir Sementsov-Ogievskiy                 }
13682275cc90SVladimir Sementsov-Ogievskiy             }
13690d93ed08SVladimir Sementsov-Ogievskiy             qemu_iovec_init_buf(&local_qiov, bounce_buffer, pnum);
1370cb2e2878SEric Blake 
1371cb2e2878SEric Blake             ret = bdrv_driver_preadv(bs, cluster_offset, pnum,
1372ac850bf0SVladimir Sementsov-Ogievskiy                                      &local_qiov, 0, 0);
137361007b31SStefan Hajnoczi             if (ret < 0) {
137461007b31SStefan Hajnoczi                 goto err;
137561007b31SStefan Hajnoczi             }
137661007b31SStefan Hajnoczi 
1377d855ebcdSEric Blake             bdrv_debug_event(bs, BLKDBG_COR_WRITE);
1378c1499a5eSEric Blake             if (drv->bdrv_co_pwrite_zeroes &&
1379cb2e2878SEric Blake                 buffer_is_zero(bounce_buffer, pnum)) {
1380a604fa2bSEric Blake                 /* FIXME: Should we (perhaps conditionally) be setting
1381a604fa2bSEric Blake                  * BDRV_REQ_MAY_UNMAP, if it will allow for a sparser copy
1382a604fa2bSEric Blake                  * that still correctly reads as zero? */
13837adcf59fSMax Reitz                 ret = bdrv_co_do_pwrite_zeroes(bs, cluster_offset, pnum,
13847adcf59fSMax Reitz                                                BDRV_REQ_WRITE_UNCHANGED);
138561007b31SStefan Hajnoczi             } else {
1386cb2e2878SEric Blake                 /* This does not change the data on the disk, it is not
1387cb2e2878SEric Blake                  * necessary to flush even in cache=writethrough mode.
138861007b31SStefan Hajnoczi                  */
1389cb2e2878SEric Blake                 ret = bdrv_driver_pwritev(bs, cluster_offset, pnum,
1390ac850bf0SVladimir Sementsov-Ogievskiy                                           &local_qiov, 0,
13917adcf59fSMax Reitz                                           BDRV_REQ_WRITE_UNCHANGED);
139261007b31SStefan Hajnoczi             }
139361007b31SStefan Hajnoczi 
139461007b31SStefan Hajnoczi             if (ret < 0) {
1395cb2e2878SEric Blake                 /* It might be okay to ignore write errors for guest
1396cb2e2878SEric Blake                  * requests.  If this is a deliberate copy-on-read
1397cb2e2878SEric Blake                  * then we don't want to ignore the error.  Simply
1398cb2e2878SEric Blake                  * report it in all cases.
139961007b31SStefan Hajnoczi                  */
140061007b31SStefan Hajnoczi                 goto err;
140161007b31SStefan Hajnoczi             }
140261007b31SStefan Hajnoczi 
14033299e5ecSVladimir Sementsov-Ogievskiy             if (!(flags & BDRV_REQ_PREFETCH)) {
14041143ec5eSVladimir Sementsov-Ogievskiy                 qemu_iovec_from_buf(qiov, qiov_offset + progress,
14051143ec5eSVladimir Sementsov-Ogievskiy                                     bounce_buffer + skip_bytes,
14064ab78b19SVladimir Sementsov-Ogievskiy                                     MIN(pnum - skip_bytes, bytes - progress));
14073299e5ecSVladimir Sementsov-Ogievskiy             }
14083299e5ecSVladimir Sementsov-Ogievskiy         } else if (!(flags & BDRV_REQ_PREFETCH)) {
1409cb2e2878SEric Blake             /* Read directly into the destination */
14101143ec5eSVladimir Sementsov-Ogievskiy             ret = bdrv_driver_preadv(bs, offset + progress,
14111143ec5eSVladimir Sementsov-Ogievskiy                                      MIN(pnum - skip_bytes, bytes - progress),
14121143ec5eSVladimir Sementsov-Ogievskiy                                      qiov, qiov_offset + progress, 0);
1413cb2e2878SEric Blake             if (ret < 0) {
1414cb2e2878SEric Blake                 goto err;
1415cb2e2878SEric Blake             }
1416cb2e2878SEric Blake         }
1417cb2e2878SEric Blake 
1418cb2e2878SEric Blake         cluster_offset += pnum;
1419cb2e2878SEric Blake         cluster_bytes -= pnum;
1420cb2e2878SEric Blake         progress += pnum - skip_bytes;
1421cb2e2878SEric Blake         skip_bytes = 0;
1422cb2e2878SEric Blake     }
1423cb2e2878SEric Blake     ret = 0;
142461007b31SStefan Hajnoczi 
142561007b31SStefan Hajnoczi err:
142661007b31SStefan Hajnoczi     qemu_vfree(bounce_buffer);
142761007b31SStefan Hajnoczi     return ret;
142861007b31SStefan Hajnoczi }
142961007b31SStefan Hajnoczi 
143061007b31SStefan Hajnoczi /*
143161007b31SStefan Hajnoczi  * Forwards an already correctly aligned request to the BlockDriver. This
14321a62d0acSEric Blake  * handles copy on read, zeroing after EOF, and fragmentation of large
14331a62d0acSEric Blake  * reads; any other features must be implemented by the caller.
143461007b31SStefan Hajnoczi  */
143585c97ca7SKevin Wolf static int coroutine_fn bdrv_aligned_preadv(BdrvChild *child,
143661007b31SStefan Hajnoczi     BdrvTrackedRequest *req, int64_t offset, unsigned int bytes,
143765cd4424SVladimir Sementsov-Ogievskiy     int64_t align, QEMUIOVector *qiov, size_t qiov_offset, int flags)
143861007b31SStefan Hajnoczi {
143985c97ca7SKevin Wolf     BlockDriverState *bs = child->bs;
1440c9d20029SKevin Wolf     int64_t total_bytes, max_bytes;
14411a62d0acSEric Blake     int ret = 0;
14421a62d0acSEric Blake     uint64_t bytes_remaining = bytes;
14431a62d0acSEric Blake     int max_transfer;
144461007b31SStefan Hajnoczi 
144549c07526SKevin Wolf     assert(is_power_of_2(align));
144649c07526SKevin Wolf     assert((offset & (align - 1)) == 0);
144749c07526SKevin Wolf     assert((bytes & (align - 1)) == 0);
1448abb06c5aSDaniel P. Berrange     assert((bs->open_flags & BDRV_O_NO_IO) == 0);
14491a62d0acSEric Blake     max_transfer = QEMU_ALIGN_DOWN(MIN_NON_ZERO(bs->bl.max_transfer, INT_MAX),
14501a62d0acSEric Blake                                    align);
1451a604fa2bSEric Blake 
1452a604fa2bSEric Blake     /* TODO: We would need a per-BDS .supported_read_flags and
1453a604fa2bSEric Blake      * potential fallback support, if we ever implement any read flags
1454a604fa2bSEric Blake      * to pass through to drivers.  For now, there aren't any
1455a604fa2bSEric Blake      * passthrough flags.  */
1456c53cb427SPaolo Bonzini     assert(!(flags & ~(BDRV_REQ_COPY_ON_READ | BDRV_REQ_PREFETCH)));
145761007b31SStefan Hajnoczi 
145861007b31SStefan Hajnoczi     /* Handle Copy on Read and associated serialisation */
145961007b31SStefan Hajnoczi     if (flags & BDRV_REQ_COPY_ON_READ) {
146061007b31SStefan Hajnoczi         /* If we touch the same cluster it counts as an overlap.  This
146161007b31SStefan Hajnoczi          * guarantees that allocating writes will be serialized and not race
146261007b31SStefan Hajnoczi          * with each other for the same cluster.  For example, in copy-on-read
146361007b31SStefan Hajnoczi          * it ensures that the CoR read and write operations are atomic and
146461007b31SStefan Hajnoczi          * guest writes cannot interleave between them. */
14658ac5aab2SVladimir Sementsov-Ogievskiy         bdrv_make_request_serialising(req, bdrv_get_cluster_size(bs));
146618fbd0deSPaolo Bonzini     } else {
1467304d9d7fSMax Reitz         bdrv_wait_serialising_requests(req);
146818fbd0deSPaolo Bonzini     }
146961007b31SStefan Hajnoczi 
147061007b31SStefan Hajnoczi     if (flags & BDRV_REQ_COPY_ON_READ) {
1471d6a644bbSEric Blake         int64_t pnum;
147261007b31SStefan Hajnoczi 
1473897dd0ecSAndrey Shinkevich         /* The flag BDRV_REQ_COPY_ON_READ has reached its addressee */
1474897dd0ecSAndrey Shinkevich         flags &= ~BDRV_REQ_COPY_ON_READ;
1475897dd0ecSAndrey Shinkevich 
147688e63df2SEric Blake         ret = bdrv_is_allocated(bs, offset, bytes, &pnum);
147761007b31SStefan Hajnoczi         if (ret < 0) {
147861007b31SStefan Hajnoczi             goto out;
147961007b31SStefan Hajnoczi         }
148061007b31SStefan Hajnoczi 
148188e63df2SEric Blake         if (!ret || pnum != bytes) {
148265cd4424SVladimir Sementsov-Ogievskiy             ret = bdrv_co_do_copy_on_readv(child, offset, bytes,
148365cd4424SVladimir Sementsov-Ogievskiy                                            qiov, qiov_offset, flags);
14843299e5ecSVladimir Sementsov-Ogievskiy             goto out;
14853299e5ecSVladimir Sementsov-Ogievskiy         } else if (flags & BDRV_REQ_PREFETCH) {
148661007b31SStefan Hajnoczi             goto out;
148761007b31SStefan Hajnoczi         }
148861007b31SStefan Hajnoczi     }
148961007b31SStefan Hajnoczi 
14901a62d0acSEric Blake     /* Forward the request to the BlockDriver, possibly fragmenting it */
149149c07526SKevin Wolf     total_bytes = bdrv_getlength(bs);
149249c07526SKevin Wolf     if (total_bytes < 0) {
149349c07526SKevin Wolf         ret = total_bytes;
149461007b31SStefan Hajnoczi         goto out;
149561007b31SStefan Hajnoczi     }
149661007b31SStefan Hajnoczi 
1497897dd0ecSAndrey Shinkevich     assert(!(flags & ~bs->supported_read_flags));
1498897dd0ecSAndrey Shinkevich 
149949c07526SKevin Wolf     max_bytes = ROUND_UP(MAX(0, total_bytes - offset), align);
15001a62d0acSEric Blake     if (bytes <= max_bytes && bytes <= max_transfer) {
1501897dd0ecSAndrey Shinkevich         ret = bdrv_driver_preadv(bs, offset, bytes, qiov, qiov_offset, flags);
15021a62d0acSEric Blake         goto out;
150361007b31SStefan Hajnoczi     }
150461007b31SStefan Hajnoczi 
15051a62d0acSEric Blake     while (bytes_remaining) {
15061a62d0acSEric Blake         int num;
15071a62d0acSEric Blake 
15081a62d0acSEric Blake         if (max_bytes) {
15091a62d0acSEric Blake             num = MIN(bytes_remaining, MIN(max_bytes, max_transfer));
15101a62d0acSEric Blake             assert(num);
15111a62d0acSEric Blake 
15121a62d0acSEric Blake             ret = bdrv_driver_preadv(bs, offset + bytes - bytes_remaining,
1513134b7decSMax Reitz                                      num, qiov,
1514897dd0ecSAndrey Shinkevich                                      qiov_offset + bytes - bytes_remaining,
1515897dd0ecSAndrey Shinkevich                                      flags);
15161a62d0acSEric Blake             max_bytes -= num;
15171a62d0acSEric Blake         } else {
15181a62d0acSEric Blake             num = bytes_remaining;
1519134b7decSMax Reitz             ret = qemu_iovec_memset(qiov, qiov_offset + bytes - bytes_remaining,
1520134b7decSMax Reitz                                     0, bytes_remaining);
15211a62d0acSEric Blake         }
15221a62d0acSEric Blake         if (ret < 0) {
15231a62d0acSEric Blake             goto out;
15241a62d0acSEric Blake         }
15251a62d0acSEric Blake         bytes_remaining -= num;
152661007b31SStefan Hajnoczi     }
152761007b31SStefan Hajnoczi 
152861007b31SStefan Hajnoczi out:
15291a62d0acSEric Blake     return ret < 0 ? ret : 0;
153061007b31SStefan Hajnoczi }
153161007b31SStefan Hajnoczi 
153261007b31SStefan Hajnoczi /*
15337a3f542fSVladimir Sementsov-Ogievskiy  * Request padding
15347a3f542fSVladimir Sementsov-Ogievskiy  *
15357a3f542fSVladimir Sementsov-Ogievskiy  *  |<---- align ----->|                     |<----- align ---->|
15367a3f542fSVladimir Sementsov-Ogievskiy  *  |<- head ->|<------------- bytes ------------->|<-- tail -->|
15377a3f542fSVladimir Sementsov-Ogievskiy  *  |          |       |                     |     |            |
15387a3f542fSVladimir Sementsov-Ogievskiy  * -*----------$-------*-------- ... --------*-----$------------*---
15397a3f542fSVladimir Sementsov-Ogievskiy  *  |          |       |                     |     |            |
15407a3f542fSVladimir Sementsov-Ogievskiy  *  |          offset  |                     |     end          |
15417a3f542fSVladimir Sementsov-Ogievskiy  *  ALIGN_DOWN(offset) ALIGN_UP(offset)      ALIGN_DOWN(end)   ALIGN_UP(end)
15427a3f542fSVladimir Sementsov-Ogievskiy  *  [buf   ... )                             [tail_buf          )
15437a3f542fSVladimir Sementsov-Ogievskiy  *
15447a3f542fSVladimir Sementsov-Ogievskiy  * @buf is an aligned allocation needed to store @head and @tail paddings. @head
15457a3f542fSVladimir Sementsov-Ogievskiy  * is placed at the beginning of @buf and @tail at the @end.
15467a3f542fSVladimir Sementsov-Ogievskiy  *
15477a3f542fSVladimir Sementsov-Ogievskiy  * @tail_buf is a pointer to sub-buffer, corresponding to align-sized chunk
15487a3f542fSVladimir Sementsov-Ogievskiy  * around tail, if tail exists.
15497a3f542fSVladimir Sementsov-Ogievskiy  *
15507a3f542fSVladimir Sementsov-Ogievskiy  * @merge_reads is true for small requests,
15517a3f542fSVladimir Sementsov-Ogievskiy  * if @buf_len == @head + bytes + @tail. In this case it is possible that both
15527a3f542fSVladimir Sementsov-Ogievskiy  * head and tail exist but @buf_len == align and @tail_buf == @buf.
155361007b31SStefan Hajnoczi  */
15547a3f542fSVladimir Sementsov-Ogievskiy typedef struct BdrvRequestPadding {
15557a3f542fSVladimir Sementsov-Ogievskiy     uint8_t *buf;
15567a3f542fSVladimir Sementsov-Ogievskiy     size_t buf_len;
15577a3f542fSVladimir Sementsov-Ogievskiy     uint8_t *tail_buf;
15587a3f542fSVladimir Sementsov-Ogievskiy     size_t head;
15597a3f542fSVladimir Sementsov-Ogievskiy     size_t tail;
15607a3f542fSVladimir Sementsov-Ogievskiy     bool merge_reads;
15617a3f542fSVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
15627a3f542fSVladimir Sementsov-Ogievskiy } BdrvRequestPadding;
15637a3f542fSVladimir Sementsov-Ogievskiy 
15647a3f542fSVladimir Sementsov-Ogievskiy static bool bdrv_init_padding(BlockDriverState *bs,
15657a3f542fSVladimir Sementsov-Ogievskiy                               int64_t offset, int64_t bytes,
15667a3f542fSVladimir Sementsov-Ogievskiy                               BdrvRequestPadding *pad)
15677a3f542fSVladimir Sementsov-Ogievskiy {
1568a56ed80cSVladimir Sementsov-Ogievskiy     int64_t align = bs->bl.request_alignment;
1569a56ed80cSVladimir Sementsov-Ogievskiy     int64_t sum;
1570a56ed80cSVladimir Sementsov-Ogievskiy 
1571a56ed80cSVladimir Sementsov-Ogievskiy     bdrv_check_request(offset, bytes, &error_abort);
1572a56ed80cSVladimir Sementsov-Ogievskiy     assert(align <= INT_MAX); /* documented in block/block_int.h */
1573a56ed80cSVladimir Sementsov-Ogievskiy     assert(align <= SIZE_MAX / 2); /* so we can allocate the buffer */
15747a3f542fSVladimir Sementsov-Ogievskiy 
15757a3f542fSVladimir Sementsov-Ogievskiy     memset(pad, 0, sizeof(*pad));
15767a3f542fSVladimir Sementsov-Ogievskiy 
15777a3f542fSVladimir Sementsov-Ogievskiy     pad->head = offset & (align - 1);
15787a3f542fSVladimir Sementsov-Ogievskiy     pad->tail = ((offset + bytes) & (align - 1));
15797a3f542fSVladimir Sementsov-Ogievskiy     if (pad->tail) {
15807a3f542fSVladimir Sementsov-Ogievskiy         pad->tail = align - pad->tail;
15817a3f542fSVladimir Sementsov-Ogievskiy     }
15827a3f542fSVladimir Sementsov-Ogievskiy 
1583ac9d00bfSVladimir Sementsov-Ogievskiy     if (!pad->head && !pad->tail) {
15847a3f542fSVladimir Sementsov-Ogievskiy         return false;
15857a3f542fSVladimir Sementsov-Ogievskiy     }
15867a3f542fSVladimir Sementsov-Ogievskiy 
1587ac9d00bfSVladimir Sementsov-Ogievskiy     assert(bytes); /* Nothing good in aligning zero-length requests */
1588ac9d00bfSVladimir Sementsov-Ogievskiy 
15897a3f542fSVladimir Sementsov-Ogievskiy     sum = pad->head + bytes + pad->tail;
15907a3f542fSVladimir Sementsov-Ogievskiy     pad->buf_len = (sum > align && pad->head && pad->tail) ? 2 * align : align;
15917a3f542fSVladimir Sementsov-Ogievskiy     pad->buf = qemu_blockalign(bs, pad->buf_len);
15927a3f542fSVladimir Sementsov-Ogievskiy     pad->merge_reads = sum == pad->buf_len;
15937a3f542fSVladimir Sementsov-Ogievskiy     if (pad->tail) {
15947a3f542fSVladimir Sementsov-Ogievskiy         pad->tail_buf = pad->buf + pad->buf_len - align;
15957a3f542fSVladimir Sementsov-Ogievskiy     }
15967a3f542fSVladimir Sementsov-Ogievskiy 
15977a3f542fSVladimir Sementsov-Ogievskiy     return true;
15987a3f542fSVladimir Sementsov-Ogievskiy }
15997a3f542fSVladimir Sementsov-Ogievskiy 
16007a3f542fSVladimir Sementsov-Ogievskiy static int bdrv_padding_rmw_read(BdrvChild *child,
16017a3f542fSVladimir Sementsov-Ogievskiy                                  BdrvTrackedRequest *req,
16027a3f542fSVladimir Sementsov-Ogievskiy                                  BdrvRequestPadding *pad,
16037a3f542fSVladimir Sementsov-Ogievskiy                                  bool zero_middle)
16047a3f542fSVladimir Sementsov-Ogievskiy {
16057a3f542fSVladimir Sementsov-Ogievskiy     QEMUIOVector local_qiov;
16067a3f542fSVladimir Sementsov-Ogievskiy     BlockDriverState *bs = child->bs;
16077a3f542fSVladimir Sementsov-Ogievskiy     uint64_t align = bs->bl.request_alignment;
16087a3f542fSVladimir Sementsov-Ogievskiy     int ret;
16097a3f542fSVladimir Sementsov-Ogievskiy 
16107a3f542fSVladimir Sementsov-Ogievskiy     assert(req->serialising && pad->buf);
16117a3f542fSVladimir Sementsov-Ogievskiy 
16127a3f542fSVladimir Sementsov-Ogievskiy     if (pad->head || pad->merge_reads) {
16137a3f542fSVladimir Sementsov-Ogievskiy         uint64_t bytes = pad->merge_reads ? pad->buf_len : align;
16147a3f542fSVladimir Sementsov-Ogievskiy 
16157a3f542fSVladimir Sementsov-Ogievskiy         qemu_iovec_init_buf(&local_qiov, pad->buf, bytes);
16167a3f542fSVladimir Sementsov-Ogievskiy 
16177a3f542fSVladimir Sementsov-Ogievskiy         if (pad->head) {
16187a3f542fSVladimir Sementsov-Ogievskiy             bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_HEAD);
16197a3f542fSVladimir Sementsov-Ogievskiy         }
16207a3f542fSVladimir Sementsov-Ogievskiy         if (pad->merge_reads && pad->tail) {
16217a3f542fSVladimir Sementsov-Ogievskiy             bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_TAIL);
16227a3f542fSVladimir Sementsov-Ogievskiy         }
16237a3f542fSVladimir Sementsov-Ogievskiy         ret = bdrv_aligned_preadv(child, req, req->overlap_offset, bytes,
162465cd4424SVladimir Sementsov-Ogievskiy                                   align, &local_qiov, 0, 0);
16257a3f542fSVladimir Sementsov-Ogievskiy         if (ret < 0) {
16267a3f542fSVladimir Sementsov-Ogievskiy             return ret;
16277a3f542fSVladimir Sementsov-Ogievskiy         }
16287a3f542fSVladimir Sementsov-Ogievskiy         if (pad->head) {
16297a3f542fSVladimir Sementsov-Ogievskiy             bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_AFTER_HEAD);
16307a3f542fSVladimir Sementsov-Ogievskiy         }
16317a3f542fSVladimir Sementsov-Ogievskiy         if (pad->merge_reads && pad->tail) {
16327a3f542fSVladimir Sementsov-Ogievskiy             bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_AFTER_TAIL);
16337a3f542fSVladimir Sementsov-Ogievskiy         }
16347a3f542fSVladimir Sementsov-Ogievskiy 
16357a3f542fSVladimir Sementsov-Ogievskiy         if (pad->merge_reads) {
16367a3f542fSVladimir Sementsov-Ogievskiy             goto zero_mem;
16377a3f542fSVladimir Sementsov-Ogievskiy         }
16387a3f542fSVladimir Sementsov-Ogievskiy     }
16397a3f542fSVladimir Sementsov-Ogievskiy 
16407a3f542fSVladimir Sementsov-Ogievskiy     if (pad->tail) {
16417a3f542fSVladimir Sementsov-Ogievskiy         qemu_iovec_init_buf(&local_qiov, pad->tail_buf, align);
16427a3f542fSVladimir Sementsov-Ogievskiy 
16437a3f542fSVladimir Sementsov-Ogievskiy         bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_TAIL);
16447a3f542fSVladimir Sementsov-Ogievskiy         ret = bdrv_aligned_preadv(
16457a3f542fSVladimir Sementsov-Ogievskiy                 child, req,
16467a3f542fSVladimir Sementsov-Ogievskiy                 req->overlap_offset + req->overlap_bytes - align,
164765cd4424SVladimir Sementsov-Ogievskiy                 align, align, &local_qiov, 0, 0);
16487a3f542fSVladimir Sementsov-Ogievskiy         if (ret < 0) {
16497a3f542fSVladimir Sementsov-Ogievskiy             return ret;
16507a3f542fSVladimir Sementsov-Ogievskiy         }
16517a3f542fSVladimir Sementsov-Ogievskiy         bdrv_debug_event(bs, BLKDBG_PWRITEV_RMW_AFTER_TAIL);
16527a3f542fSVladimir Sementsov-Ogievskiy     }
16537a3f542fSVladimir Sementsov-Ogievskiy 
16547a3f542fSVladimir Sementsov-Ogievskiy zero_mem:
16557a3f542fSVladimir Sementsov-Ogievskiy     if (zero_middle) {
16567a3f542fSVladimir Sementsov-Ogievskiy         memset(pad->buf + pad->head, 0, pad->buf_len - pad->head - pad->tail);
16577a3f542fSVladimir Sementsov-Ogievskiy     }
16587a3f542fSVladimir Sementsov-Ogievskiy 
16597a3f542fSVladimir Sementsov-Ogievskiy     return 0;
16607a3f542fSVladimir Sementsov-Ogievskiy }
16617a3f542fSVladimir Sementsov-Ogievskiy 
16627a3f542fSVladimir Sementsov-Ogievskiy static void bdrv_padding_destroy(BdrvRequestPadding *pad)
16637a3f542fSVladimir Sementsov-Ogievskiy {
16647a3f542fSVladimir Sementsov-Ogievskiy     if (pad->buf) {
16657a3f542fSVladimir Sementsov-Ogievskiy         qemu_vfree(pad->buf);
16667a3f542fSVladimir Sementsov-Ogievskiy         qemu_iovec_destroy(&pad->local_qiov);
16677a3f542fSVladimir Sementsov-Ogievskiy     }
1668*98ca4549SVladimir Sementsov-Ogievskiy     memset(pad, 0, sizeof(*pad));
16697a3f542fSVladimir Sementsov-Ogievskiy }
16707a3f542fSVladimir Sementsov-Ogievskiy 
16717a3f542fSVladimir Sementsov-Ogievskiy /*
16727a3f542fSVladimir Sementsov-Ogievskiy  * bdrv_pad_request
16737a3f542fSVladimir Sementsov-Ogievskiy  *
16747a3f542fSVladimir Sementsov-Ogievskiy  * Exchange request parameters with padded request if needed. Don't include RMW
16757a3f542fSVladimir Sementsov-Ogievskiy  * read of padding, bdrv_padding_rmw_read() should be called separately if
16767a3f542fSVladimir Sementsov-Ogievskiy  * needed.
16777a3f542fSVladimir Sementsov-Ogievskiy  *
1678*98ca4549SVladimir Sementsov-Ogievskiy  * Request parameters (@qiov, &qiov_offset, &offset, &bytes) are in-out:
1679*98ca4549SVladimir Sementsov-Ogievskiy  *  - on function start they represent original request
1680*98ca4549SVladimir Sementsov-Ogievskiy  *  - on failure or when padding is not needed they are unchanged
1681*98ca4549SVladimir Sementsov-Ogievskiy  *  - on success when padding is needed they represent padded request
16827a3f542fSVladimir Sementsov-Ogievskiy  */
1683*98ca4549SVladimir Sementsov-Ogievskiy static int bdrv_pad_request(BlockDriverState *bs,
16841acc3466SVladimir Sementsov-Ogievskiy                             QEMUIOVector **qiov, size_t *qiov_offset,
16857a3f542fSVladimir Sementsov-Ogievskiy                             int64_t *offset, unsigned int *bytes,
1686*98ca4549SVladimir Sementsov-Ogievskiy                             BdrvRequestPadding *pad, bool *padded)
16877a3f542fSVladimir Sementsov-Ogievskiy {
16884c002cefSVladimir Sementsov-Ogievskiy     int ret;
16894c002cefSVladimir Sementsov-Ogievskiy 
16907a3f542fSVladimir Sementsov-Ogievskiy     if (!bdrv_init_padding(bs, *offset, *bytes, pad)) {
1691*98ca4549SVladimir Sementsov-Ogievskiy         if (padded) {
1692*98ca4549SVladimir Sementsov-Ogievskiy             *padded = false;
1693*98ca4549SVladimir Sementsov-Ogievskiy         }
1694*98ca4549SVladimir Sementsov-Ogievskiy         return 0;
16957a3f542fSVladimir Sementsov-Ogievskiy     }
16967a3f542fSVladimir Sementsov-Ogievskiy 
16974c002cefSVladimir Sementsov-Ogievskiy     ret = qemu_iovec_init_extended(&pad->local_qiov, pad->buf, pad->head,
16981acc3466SVladimir Sementsov-Ogievskiy                                    *qiov, *qiov_offset, *bytes,
16994c002cefSVladimir Sementsov-Ogievskiy                                    pad->buf + pad->buf_len - pad->tail,
17004c002cefSVladimir Sementsov-Ogievskiy                                    pad->tail);
1701*98ca4549SVladimir Sementsov-Ogievskiy     if (ret < 0) {
1702*98ca4549SVladimir Sementsov-Ogievskiy         bdrv_padding_destroy(pad);
1703*98ca4549SVladimir Sementsov-Ogievskiy         return ret;
1704*98ca4549SVladimir Sementsov-Ogievskiy     }
17057a3f542fSVladimir Sementsov-Ogievskiy     *bytes += pad->head + pad->tail;
17067a3f542fSVladimir Sementsov-Ogievskiy     *offset -= pad->head;
17077a3f542fSVladimir Sementsov-Ogievskiy     *qiov = &pad->local_qiov;
17081acc3466SVladimir Sementsov-Ogievskiy     *qiov_offset = 0;
1709*98ca4549SVladimir Sementsov-Ogievskiy     if (padded) {
1710*98ca4549SVladimir Sementsov-Ogievskiy         *padded = true;
1711*98ca4549SVladimir Sementsov-Ogievskiy     }
17127a3f542fSVladimir Sementsov-Ogievskiy 
1713*98ca4549SVladimir Sementsov-Ogievskiy     return 0;
17147a3f542fSVladimir Sementsov-Ogievskiy }
17157a3f542fSVladimir Sementsov-Ogievskiy 
1716a03ef88fSKevin Wolf int coroutine_fn bdrv_co_preadv(BdrvChild *child,
171761007b31SStefan Hajnoczi     int64_t offset, unsigned int bytes, QEMUIOVector *qiov,
171861007b31SStefan Hajnoczi     BdrvRequestFlags flags)
171961007b31SStefan Hajnoczi {
17201acc3466SVladimir Sementsov-Ogievskiy     return bdrv_co_preadv_part(child, offset, bytes, qiov, 0, flags);
17211acc3466SVladimir Sementsov-Ogievskiy }
17221acc3466SVladimir Sementsov-Ogievskiy 
17231acc3466SVladimir Sementsov-Ogievskiy int coroutine_fn bdrv_co_preadv_part(BdrvChild *child,
17241acc3466SVladimir Sementsov-Ogievskiy     int64_t offset, unsigned int bytes,
17251acc3466SVladimir Sementsov-Ogievskiy     QEMUIOVector *qiov, size_t qiov_offset,
17261acc3466SVladimir Sementsov-Ogievskiy     BdrvRequestFlags flags)
17271acc3466SVladimir Sementsov-Ogievskiy {
1728a03ef88fSKevin Wolf     BlockDriverState *bs = child->bs;
172961007b31SStefan Hajnoczi     BdrvTrackedRequest req;
17307a3f542fSVladimir Sementsov-Ogievskiy     BdrvRequestPadding pad;
173161007b31SStefan Hajnoczi     int ret;
173261007b31SStefan Hajnoczi 
17337a3f542fSVladimir Sementsov-Ogievskiy     trace_bdrv_co_preadv(bs, offset, bytes, flags);
173461007b31SStefan Hajnoczi 
1735f4dad307SVladimir Sementsov-Ogievskiy     if (!bdrv_is_inserted(bs)) {
1736f4dad307SVladimir Sementsov-Ogievskiy         return -ENOMEDIUM;
1737f4dad307SVladimir Sementsov-Ogievskiy     }
1738f4dad307SVladimir Sementsov-Ogievskiy 
17398b117001SVladimir Sementsov-Ogievskiy     ret = bdrv_check_request32(offset, bytes);
174061007b31SStefan Hajnoczi     if (ret < 0) {
174161007b31SStefan Hajnoczi         return ret;
174261007b31SStefan Hajnoczi     }
174361007b31SStefan Hajnoczi 
1744ac9d00bfSVladimir Sementsov-Ogievskiy     if (bytes == 0 && !QEMU_IS_ALIGNED(offset, bs->bl.request_alignment)) {
1745ac9d00bfSVladimir Sementsov-Ogievskiy         /*
1746ac9d00bfSVladimir Sementsov-Ogievskiy          * Aligning zero request is nonsense. Even if driver has special meaning
1747ac9d00bfSVladimir Sementsov-Ogievskiy          * of zero-length (like qcow2_co_pwritev_compressed_part), we can't pass
1748ac9d00bfSVladimir Sementsov-Ogievskiy          * it to driver due to request_alignment.
1749ac9d00bfSVladimir Sementsov-Ogievskiy          *
1750ac9d00bfSVladimir Sementsov-Ogievskiy          * Still, no reason to return an error if someone do unaligned
1751ac9d00bfSVladimir Sementsov-Ogievskiy          * zero-length read occasionally.
1752ac9d00bfSVladimir Sementsov-Ogievskiy          */
1753ac9d00bfSVladimir Sementsov-Ogievskiy         return 0;
1754ac9d00bfSVladimir Sementsov-Ogievskiy     }
1755ac9d00bfSVladimir Sementsov-Ogievskiy 
175699723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
175799723548SPaolo Bonzini 
17589568b511SWen Congyang     /* Don't do copy-on-read if we read data before write operation */
1759d73415a3SStefan Hajnoczi     if (qatomic_read(&bs->copy_on_read)) {
176061007b31SStefan Hajnoczi         flags |= BDRV_REQ_COPY_ON_READ;
176161007b31SStefan Hajnoczi     }
176261007b31SStefan Hajnoczi 
1763*98ca4549SVladimir Sementsov-Ogievskiy     ret = bdrv_pad_request(bs, &qiov, &qiov_offset, &offset, &bytes, &pad,
1764*98ca4549SVladimir Sementsov-Ogievskiy                            NULL);
1765*98ca4549SVladimir Sementsov-Ogievskiy     if (ret < 0) {
1766*98ca4549SVladimir Sementsov-Ogievskiy         return ret;
1767*98ca4549SVladimir Sementsov-Ogievskiy     }
176861007b31SStefan Hajnoczi 
1769ebde595cSFam Zheng     tracked_request_begin(&req, bs, offset, bytes, BDRV_TRACKED_READ);
17707a3f542fSVladimir Sementsov-Ogievskiy     ret = bdrv_aligned_preadv(child, &req, offset, bytes,
17717a3f542fSVladimir Sementsov-Ogievskiy                               bs->bl.request_alignment,
17721acc3466SVladimir Sementsov-Ogievskiy                               qiov, qiov_offset, flags);
177361007b31SStefan Hajnoczi     tracked_request_end(&req);
177499723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
177561007b31SStefan Hajnoczi 
17767a3f542fSVladimir Sementsov-Ogievskiy     bdrv_padding_destroy(&pad);
177761007b31SStefan Hajnoczi 
177861007b31SStefan Hajnoczi     return ret;
177961007b31SStefan Hajnoczi }
178061007b31SStefan Hajnoczi 
1781d05aa8bbSEric Blake static int coroutine_fn bdrv_co_do_pwrite_zeroes(BlockDriverState *bs,
1782f5a5ca79SManos Pitsidianakis     int64_t offset, int bytes, BdrvRequestFlags flags)
178361007b31SStefan Hajnoczi {
178461007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
178561007b31SStefan Hajnoczi     QEMUIOVector qiov;
17860d93ed08SVladimir Sementsov-Ogievskiy     void *buf = NULL;
178761007b31SStefan Hajnoczi     int ret = 0;
1788465fe887SEric Blake     bool need_flush = false;
1789443668caSDenis V. Lunev     int head = 0;
1790443668caSDenis V. Lunev     int tail = 0;
179161007b31SStefan Hajnoczi 
1792cf081fcaSEric Blake     int max_write_zeroes = MIN_NON_ZERO(bs->bl.max_pwrite_zeroes, INT_MAX);
1793a5b8dd2cSEric Blake     int alignment = MAX(bs->bl.pwrite_zeroes_alignment,
1794a5b8dd2cSEric Blake                         bs->bl.request_alignment);
1795cb2e2878SEric Blake     int max_transfer = MIN_NON_ZERO(bs->bl.max_transfer, MAX_BOUNCE_BUFFER);
1796cf081fcaSEric Blake 
1797d470ad42SMax Reitz     if (!drv) {
1798d470ad42SMax Reitz         return -ENOMEDIUM;
1799d470ad42SMax Reitz     }
1800d470ad42SMax Reitz 
1801fe0480d6SKevin Wolf     if ((flags & ~bs->supported_zero_flags) & BDRV_REQ_NO_FALLBACK) {
1802fe0480d6SKevin Wolf         return -ENOTSUP;
1803fe0480d6SKevin Wolf     }
1804fe0480d6SKevin Wolf 
1805b8d0a980SEric Blake     assert(alignment % bs->bl.request_alignment == 0);
1806b8d0a980SEric Blake     head = offset % alignment;
1807f5a5ca79SManos Pitsidianakis     tail = (offset + bytes) % alignment;
1808b8d0a980SEric Blake     max_write_zeroes = QEMU_ALIGN_DOWN(max_write_zeroes, alignment);
1809b8d0a980SEric Blake     assert(max_write_zeroes >= bs->bl.request_alignment);
181061007b31SStefan Hajnoczi 
1811f5a5ca79SManos Pitsidianakis     while (bytes > 0 && !ret) {
1812f5a5ca79SManos Pitsidianakis         int num = bytes;
181361007b31SStefan Hajnoczi 
181461007b31SStefan Hajnoczi         /* Align request.  Block drivers can expect the "bulk" of the request
1815443668caSDenis V. Lunev          * to be aligned, and that unaligned requests do not cross cluster
1816443668caSDenis V. Lunev          * boundaries.
181761007b31SStefan Hajnoczi          */
1818443668caSDenis V. Lunev         if (head) {
1819b2f95feeSEric Blake             /* Make a small request up to the first aligned sector. For
1820b2f95feeSEric Blake              * convenience, limit this request to max_transfer even if
1821b2f95feeSEric Blake              * we don't need to fall back to writes.  */
1822f5a5ca79SManos Pitsidianakis             num = MIN(MIN(bytes, max_transfer), alignment - head);
1823b2f95feeSEric Blake             head = (head + num) % alignment;
1824b2f95feeSEric Blake             assert(num < max_write_zeroes);
1825d05aa8bbSEric Blake         } else if (tail && num > alignment) {
1826443668caSDenis V. Lunev             /* Shorten the request to the last aligned sector.  */
1827443668caSDenis V. Lunev             num -= tail;
182861007b31SStefan Hajnoczi         }
182961007b31SStefan Hajnoczi 
183061007b31SStefan Hajnoczi         /* limit request size */
183161007b31SStefan Hajnoczi         if (num > max_write_zeroes) {
183261007b31SStefan Hajnoczi             num = max_write_zeroes;
183361007b31SStefan Hajnoczi         }
183461007b31SStefan Hajnoczi 
183561007b31SStefan Hajnoczi         ret = -ENOTSUP;
183661007b31SStefan Hajnoczi         /* First try the efficient write zeroes operation */
1837d05aa8bbSEric Blake         if (drv->bdrv_co_pwrite_zeroes) {
1838d05aa8bbSEric Blake             ret = drv->bdrv_co_pwrite_zeroes(bs, offset, num,
1839d05aa8bbSEric Blake                                              flags & bs->supported_zero_flags);
1840d05aa8bbSEric Blake             if (ret != -ENOTSUP && (flags & BDRV_REQ_FUA) &&
1841d05aa8bbSEric Blake                 !(bs->supported_zero_flags & BDRV_REQ_FUA)) {
1842d05aa8bbSEric Blake                 need_flush = true;
1843d05aa8bbSEric Blake             }
1844465fe887SEric Blake         } else {
1845465fe887SEric Blake             assert(!bs->supported_zero_flags);
184661007b31SStefan Hajnoczi         }
184761007b31SStefan Hajnoczi 
1848294682ccSAndrey Shinkevich         if (ret == -ENOTSUP && !(flags & BDRV_REQ_NO_FALLBACK)) {
184961007b31SStefan Hajnoczi             /* Fall back to bounce buffer if write zeroes is unsupported */
1850465fe887SEric Blake             BdrvRequestFlags write_flags = flags & ~BDRV_REQ_ZERO_WRITE;
1851465fe887SEric Blake 
1852465fe887SEric Blake             if ((flags & BDRV_REQ_FUA) &&
1853465fe887SEric Blake                 !(bs->supported_write_flags & BDRV_REQ_FUA)) {
1854465fe887SEric Blake                 /* No need for bdrv_driver_pwrite() to do a fallback
1855465fe887SEric Blake                  * flush on each chunk; use just one at the end */
1856465fe887SEric Blake                 write_flags &= ~BDRV_REQ_FUA;
1857465fe887SEric Blake                 need_flush = true;
1858465fe887SEric Blake             }
18595def6b80SEric Blake             num = MIN(num, max_transfer);
18600d93ed08SVladimir Sementsov-Ogievskiy             if (buf == NULL) {
18610d93ed08SVladimir Sementsov-Ogievskiy                 buf = qemu_try_blockalign0(bs, num);
18620d93ed08SVladimir Sementsov-Ogievskiy                 if (buf == NULL) {
186361007b31SStefan Hajnoczi                     ret = -ENOMEM;
186461007b31SStefan Hajnoczi                     goto fail;
186561007b31SStefan Hajnoczi                 }
186661007b31SStefan Hajnoczi             }
18670d93ed08SVladimir Sementsov-Ogievskiy             qemu_iovec_init_buf(&qiov, buf, num);
186861007b31SStefan Hajnoczi 
1869ac850bf0SVladimir Sementsov-Ogievskiy             ret = bdrv_driver_pwritev(bs, offset, num, &qiov, 0, write_flags);
187061007b31SStefan Hajnoczi 
187161007b31SStefan Hajnoczi             /* Keep bounce buffer around if it is big enough for all
187261007b31SStefan Hajnoczi              * all future requests.
187361007b31SStefan Hajnoczi              */
18745def6b80SEric Blake             if (num < max_transfer) {
18750d93ed08SVladimir Sementsov-Ogievskiy                 qemu_vfree(buf);
18760d93ed08SVladimir Sementsov-Ogievskiy                 buf = NULL;
187761007b31SStefan Hajnoczi             }
187861007b31SStefan Hajnoczi         }
187961007b31SStefan Hajnoczi 
1880d05aa8bbSEric Blake         offset += num;
1881f5a5ca79SManos Pitsidianakis         bytes -= num;
188261007b31SStefan Hajnoczi     }
188361007b31SStefan Hajnoczi 
188461007b31SStefan Hajnoczi fail:
1885465fe887SEric Blake     if (ret == 0 && need_flush) {
1886465fe887SEric Blake         ret = bdrv_co_flush(bs);
1887465fe887SEric Blake     }
18880d93ed08SVladimir Sementsov-Ogievskiy     qemu_vfree(buf);
188961007b31SStefan Hajnoczi     return ret;
189061007b31SStefan Hajnoczi }
189161007b31SStefan Hajnoczi 
189285fe2479SFam Zheng static inline int coroutine_fn
189385fe2479SFam Zheng bdrv_co_write_req_prepare(BdrvChild *child, int64_t offset, uint64_t bytes,
189485fe2479SFam Zheng                           BdrvTrackedRequest *req, int flags)
189585fe2479SFam Zheng {
189685fe2479SFam Zheng     BlockDriverState *bs = child->bs;
189785fe2479SFam Zheng     int64_t end_sector = DIV_ROUND_UP(offset + bytes, BDRV_SECTOR_SIZE);
189885fe2479SFam Zheng 
189985fe2479SFam Zheng     if (bs->read_only) {
190085fe2479SFam Zheng         return -EPERM;
190185fe2479SFam Zheng     }
190285fe2479SFam Zheng 
190385fe2479SFam Zheng     assert(!(bs->open_flags & BDRV_O_INACTIVE));
190485fe2479SFam Zheng     assert((bs->open_flags & BDRV_O_NO_IO) == 0);
190585fe2479SFam Zheng     assert(!(flags & ~BDRV_REQ_MASK));
1906d1a764d1SVladimir Sementsov-Ogievskiy     assert(!((flags & BDRV_REQ_NO_WAIT) && !(flags & BDRV_REQ_SERIALISING)));
190785fe2479SFam Zheng 
190885fe2479SFam Zheng     if (flags & BDRV_REQ_SERIALISING) {
1909d1a764d1SVladimir Sementsov-Ogievskiy         QEMU_LOCK_GUARD(&bs->reqs_lock);
1910d1a764d1SVladimir Sementsov-Ogievskiy 
1911d1a764d1SVladimir Sementsov-Ogievskiy         tracked_request_set_serialising(req, bdrv_get_cluster_size(bs));
1912d1a764d1SVladimir Sementsov-Ogievskiy 
1913d1a764d1SVladimir Sementsov-Ogievskiy         if ((flags & BDRV_REQ_NO_WAIT) && bdrv_find_conflicting_request(req)) {
1914d1a764d1SVladimir Sementsov-Ogievskiy             return -EBUSY;
1915d1a764d1SVladimir Sementsov-Ogievskiy         }
1916d1a764d1SVladimir Sementsov-Ogievskiy 
1917d1a764d1SVladimir Sementsov-Ogievskiy         bdrv_wait_serialising_requests_locked(req);
191818fbd0deSPaolo Bonzini     } else {
191918fbd0deSPaolo Bonzini         bdrv_wait_serialising_requests(req);
192085fe2479SFam Zheng     }
192185fe2479SFam Zheng 
192285fe2479SFam Zheng     assert(req->overlap_offset <= offset);
192385fe2479SFam Zheng     assert(offset + bytes <= req->overlap_offset + req->overlap_bytes);
1924cd47d792SFam Zheng     assert(end_sector <= bs->total_sectors || child->perm & BLK_PERM_RESIZE);
192585fe2479SFam Zheng 
1926cd47d792SFam Zheng     switch (req->type) {
1927cd47d792SFam Zheng     case BDRV_TRACKED_WRITE:
1928cd47d792SFam Zheng     case BDRV_TRACKED_DISCARD:
192985fe2479SFam Zheng         if (flags & BDRV_REQ_WRITE_UNCHANGED) {
193085fe2479SFam Zheng             assert(child->perm & (BLK_PERM_WRITE_UNCHANGED | BLK_PERM_WRITE));
193185fe2479SFam Zheng         } else {
193285fe2479SFam Zheng             assert(child->perm & BLK_PERM_WRITE);
193385fe2479SFam Zheng         }
1934cd47d792SFam Zheng         return notifier_with_return_list_notify(&bs->before_write_notifiers,
1935cd47d792SFam Zheng                                                 req);
1936cd47d792SFam Zheng     case BDRV_TRACKED_TRUNCATE:
1937cd47d792SFam Zheng         assert(child->perm & BLK_PERM_RESIZE);
1938cd47d792SFam Zheng         return 0;
1939cd47d792SFam Zheng     default:
1940cd47d792SFam Zheng         abort();
1941cd47d792SFam Zheng     }
194285fe2479SFam Zheng }
194385fe2479SFam Zheng 
194485fe2479SFam Zheng static inline void coroutine_fn
194585fe2479SFam Zheng bdrv_co_write_req_finish(BdrvChild *child, int64_t offset, uint64_t bytes,
194685fe2479SFam Zheng                          BdrvTrackedRequest *req, int ret)
194785fe2479SFam Zheng {
194885fe2479SFam Zheng     int64_t end_sector = DIV_ROUND_UP(offset + bytes, BDRV_SECTOR_SIZE);
194985fe2479SFam Zheng     BlockDriverState *bs = child->bs;
195085fe2479SFam Zheng 
1951d73415a3SStefan Hajnoczi     qatomic_inc(&bs->write_gen);
195285fe2479SFam Zheng 
195300695c27SFam Zheng     /*
195400695c27SFam Zheng      * Discard cannot extend the image, but in error handling cases, such as
195500695c27SFam Zheng      * when reverting a qcow2 cluster allocation, the discarded range can pass
195600695c27SFam Zheng      * the end of image file, so we cannot assert about BDRV_TRACKED_DISCARD
195700695c27SFam Zheng      * here. Instead, just skip it, since semantically a discard request
195800695c27SFam Zheng      * beyond EOF cannot expand the image anyway.
195900695c27SFam Zheng      */
19607f8f03efSFam Zheng     if (ret == 0 &&
1961cd47d792SFam Zheng         (req->type == BDRV_TRACKED_TRUNCATE ||
1962cd47d792SFam Zheng          end_sector > bs->total_sectors) &&
196300695c27SFam Zheng         req->type != BDRV_TRACKED_DISCARD) {
19647f8f03efSFam Zheng         bs->total_sectors = end_sector;
19657f8f03efSFam Zheng         bdrv_parent_cb_resize(bs);
19667f8f03efSFam Zheng         bdrv_dirty_bitmap_truncate(bs, end_sector << BDRV_SECTOR_BITS);
196785fe2479SFam Zheng     }
196800695c27SFam Zheng     if (req->bytes) {
196900695c27SFam Zheng         switch (req->type) {
197000695c27SFam Zheng         case BDRV_TRACKED_WRITE:
197100695c27SFam Zheng             stat64_max(&bs->wr_highest_offset, offset + bytes);
197200695c27SFam Zheng             /* fall through, to set dirty bits */
197300695c27SFam Zheng         case BDRV_TRACKED_DISCARD:
19747f8f03efSFam Zheng             bdrv_set_dirty(bs, offset, bytes);
197500695c27SFam Zheng             break;
197600695c27SFam Zheng         default:
197700695c27SFam Zheng             break;
197800695c27SFam Zheng         }
197900695c27SFam Zheng     }
198085fe2479SFam Zheng }
198185fe2479SFam Zheng 
198261007b31SStefan Hajnoczi /*
198304ed95f4SEric Blake  * Forwards an already correctly aligned write request to the BlockDriver,
198404ed95f4SEric Blake  * after possibly fragmenting it.
198561007b31SStefan Hajnoczi  */
198685c97ca7SKevin Wolf static int coroutine_fn bdrv_aligned_pwritev(BdrvChild *child,
198761007b31SStefan Hajnoczi     BdrvTrackedRequest *req, int64_t offset, unsigned int bytes,
198828c4da28SVladimir Sementsov-Ogievskiy     int64_t align, QEMUIOVector *qiov, size_t qiov_offset, int flags)
198961007b31SStefan Hajnoczi {
199085c97ca7SKevin Wolf     BlockDriverState *bs = child->bs;
199161007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
199261007b31SStefan Hajnoczi     int ret;
199361007b31SStefan Hajnoczi 
199404ed95f4SEric Blake     uint64_t bytes_remaining = bytes;
199504ed95f4SEric Blake     int max_transfer;
199661007b31SStefan Hajnoczi 
1997d470ad42SMax Reitz     if (!drv) {
1998d470ad42SMax Reitz         return -ENOMEDIUM;
1999d470ad42SMax Reitz     }
2000d470ad42SMax Reitz 
2001d6883bc9SVladimir Sementsov-Ogievskiy     if (bdrv_has_readonly_bitmaps(bs)) {
2002d6883bc9SVladimir Sementsov-Ogievskiy         return -EPERM;
2003d6883bc9SVladimir Sementsov-Ogievskiy     }
2004d6883bc9SVladimir Sementsov-Ogievskiy 
2005cff86b38SEric Blake     assert(is_power_of_2(align));
2006cff86b38SEric Blake     assert((offset & (align - 1)) == 0);
2007cff86b38SEric Blake     assert((bytes & (align - 1)) == 0);
200828c4da28SVladimir Sementsov-Ogievskiy     assert(!qiov || qiov_offset + bytes <= qiov->size);
200904ed95f4SEric Blake     max_transfer = QEMU_ALIGN_DOWN(MIN_NON_ZERO(bs->bl.max_transfer, INT_MAX),
201004ed95f4SEric Blake                                    align);
201161007b31SStefan Hajnoczi 
201285fe2479SFam Zheng     ret = bdrv_co_write_req_prepare(child, offset, bytes, req, flags);
201361007b31SStefan Hajnoczi 
201461007b31SStefan Hajnoczi     if (!ret && bs->detect_zeroes != BLOCKDEV_DETECT_ZEROES_OPTIONS_OFF &&
2015c1499a5eSEric Blake         !(flags & BDRV_REQ_ZERO_WRITE) && drv->bdrv_co_pwrite_zeroes &&
201628c4da28SVladimir Sementsov-Ogievskiy         qemu_iovec_is_zero(qiov, qiov_offset, bytes)) {
201761007b31SStefan Hajnoczi         flags |= BDRV_REQ_ZERO_WRITE;
201861007b31SStefan Hajnoczi         if (bs->detect_zeroes == BLOCKDEV_DETECT_ZEROES_OPTIONS_UNMAP) {
201961007b31SStefan Hajnoczi             flags |= BDRV_REQ_MAY_UNMAP;
202061007b31SStefan Hajnoczi         }
202161007b31SStefan Hajnoczi     }
202261007b31SStefan Hajnoczi 
202361007b31SStefan Hajnoczi     if (ret < 0) {
202461007b31SStefan Hajnoczi         /* Do nothing, write notifier decided to fail this request */
202561007b31SStefan Hajnoczi     } else if (flags & BDRV_REQ_ZERO_WRITE) {
20269a4f4c31SKevin Wolf         bdrv_debug_event(bs, BLKDBG_PWRITEV_ZERO);
20279896c876SKevin Wolf         ret = bdrv_co_do_pwrite_zeroes(bs, offset, bytes, flags);
20283ea1a091SPavel Butsykin     } else if (flags & BDRV_REQ_WRITE_COMPRESSED) {
202928c4da28SVladimir Sementsov-Ogievskiy         ret = bdrv_driver_pwritev_compressed(bs, offset, bytes,
203028c4da28SVladimir Sementsov-Ogievskiy                                              qiov, qiov_offset);
203104ed95f4SEric Blake     } else if (bytes <= max_transfer) {
20329a4f4c31SKevin Wolf         bdrv_debug_event(bs, BLKDBG_PWRITEV);
203328c4da28SVladimir Sementsov-Ogievskiy         ret = bdrv_driver_pwritev(bs, offset, bytes, qiov, qiov_offset, flags);
203404ed95f4SEric Blake     } else {
203504ed95f4SEric Blake         bdrv_debug_event(bs, BLKDBG_PWRITEV);
203604ed95f4SEric Blake         while (bytes_remaining) {
203704ed95f4SEric Blake             int num = MIN(bytes_remaining, max_transfer);
203804ed95f4SEric Blake             int local_flags = flags;
203904ed95f4SEric Blake 
204004ed95f4SEric Blake             assert(num);
204104ed95f4SEric Blake             if (num < bytes_remaining && (flags & BDRV_REQ_FUA) &&
204204ed95f4SEric Blake                 !(bs->supported_write_flags & BDRV_REQ_FUA)) {
204304ed95f4SEric Blake                 /* If FUA is going to be emulated by flush, we only
204404ed95f4SEric Blake                  * need to flush on the last iteration */
204504ed95f4SEric Blake                 local_flags &= ~BDRV_REQ_FUA;
204604ed95f4SEric Blake             }
204704ed95f4SEric Blake 
204804ed95f4SEric Blake             ret = bdrv_driver_pwritev(bs, offset + bytes - bytes_remaining,
2049134b7decSMax Reitz                                       num, qiov,
2050134b7decSMax Reitz                                       qiov_offset + bytes - bytes_remaining,
205128c4da28SVladimir Sementsov-Ogievskiy                                       local_flags);
205204ed95f4SEric Blake             if (ret < 0) {
205304ed95f4SEric Blake                 break;
205404ed95f4SEric Blake             }
205504ed95f4SEric Blake             bytes_remaining -= num;
205604ed95f4SEric Blake         }
205761007b31SStefan Hajnoczi     }
20589a4f4c31SKevin Wolf     bdrv_debug_event(bs, BLKDBG_PWRITEV_DONE);
205961007b31SStefan Hajnoczi 
206061007b31SStefan Hajnoczi     if (ret >= 0) {
206104ed95f4SEric Blake         ret = 0;
206261007b31SStefan Hajnoczi     }
206385fe2479SFam Zheng     bdrv_co_write_req_finish(child, offset, bytes, req, ret);
206461007b31SStefan Hajnoczi 
206561007b31SStefan Hajnoczi     return ret;
206661007b31SStefan Hajnoczi }
206761007b31SStefan Hajnoczi 
206885c97ca7SKevin Wolf static int coroutine_fn bdrv_co_do_zero_pwritev(BdrvChild *child,
20699eeb6dd1SFam Zheng                                                 int64_t offset,
20709eeb6dd1SFam Zheng                                                 unsigned int bytes,
20719eeb6dd1SFam Zheng                                                 BdrvRequestFlags flags,
20729eeb6dd1SFam Zheng                                                 BdrvTrackedRequest *req)
20739eeb6dd1SFam Zheng {
207485c97ca7SKevin Wolf     BlockDriverState *bs = child->bs;
20759eeb6dd1SFam Zheng     QEMUIOVector local_qiov;
2076a5b8dd2cSEric Blake     uint64_t align = bs->bl.request_alignment;
20779eeb6dd1SFam Zheng     int ret = 0;
20787a3f542fSVladimir Sementsov-Ogievskiy     bool padding;
20797a3f542fSVladimir Sementsov-Ogievskiy     BdrvRequestPadding pad;
20809eeb6dd1SFam Zheng 
20817a3f542fSVladimir Sementsov-Ogievskiy     padding = bdrv_init_padding(bs, offset, bytes, &pad);
20827a3f542fSVladimir Sementsov-Ogievskiy     if (padding) {
20838ac5aab2SVladimir Sementsov-Ogievskiy         bdrv_make_request_serialising(req, align);
20849eeb6dd1SFam Zheng 
20857a3f542fSVladimir Sementsov-Ogievskiy         bdrv_padding_rmw_read(child, req, &pad, true);
20867a3f542fSVladimir Sementsov-Ogievskiy 
20877a3f542fSVladimir Sementsov-Ogievskiy         if (pad.head || pad.merge_reads) {
20887a3f542fSVladimir Sementsov-Ogievskiy             int64_t aligned_offset = offset & ~(align - 1);
20897a3f542fSVladimir Sementsov-Ogievskiy             int64_t write_bytes = pad.merge_reads ? pad.buf_len : align;
20907a3f542fSVladimir Sementsov-Ogievskiy 
20917a3f542fSVladimir Sementsov-Ogievskiy             qemu_iovec_init_buf(&local_qiov, pad.buf, write_bytes);
20927a3f542fSVladimir Sementsov-Ogievskiy             ret = bdrv_aligned_pwritev(child, req, aligned_offset, write_bytes,
209328c4da28SVladimir Sementsov-Ogievskiy                                        align, &local_qiov, 0,
20949eeb6dd1SFam Zheng                                        flags & ~BDRV_REQ_ZERO_WRITE);
20957a3f542fSVladimir Sementsov-Ogievskiy             if (ret < 0 || pad.merge_reads) {
20967a3f542fSVladimir Sementsov-Ogievskiy                 /* Error or all work is done */
20977a3f542fSVladimir Sementsov-Ogievskiy                 goto out;
20989eeb6dd1SFam Zheng             }
20997a3f542fSVladimir Sementsov-Ogievskiy             offset += write_bytes - pad.head;
21007a3f542fSVladimir Sementsov-Ogievskiy             bytes -= write_bytes - pad.head;
21017a3f542fSVladimir Sementsov-Ogievskiy         }
21029eeb6dd1SFam Zheng     }
21039eeb6dd1SFam Zheng 
21049eeb6dd1SFam Zheng     assert(!bytes || (offset & (align - 1)) == 0);
21059eeb6dd1SFam Zheng     if (bytes >= align) {
21069eeb6dd1SFam Zheng         /* Write the aligned part in the middle. */
21079eeb6dd1SFam Zheng         uint64_t aligned_bytes = bytes & ~(align - 1);
210885c97ca7SKevin Wolf         ret = bdrv_aligned_pwritev(child, req, offset, aligned_bytes, align,
210928c4da28SVladimir Sementsov-Ogievskiy                                    NULL, 0, flags);
21109eeb6dd1SFam Zheng         if (ret < 0) {
21117a3f542fSVladimir Sementsov-Ogievskiy             goto out;
21129eeb6dd1SFam Zheng         }
21139eeb6dd1SFam Zheng         bytes -= aligned_bytes;
21149eeb6dd1SFam Zheng         offset += aligned_bytes;
21159eeb6dd1SFam Zheng     }
21169eeb6dd1SFam Zheng 
21179eeb6dd1SFam Zheng     assert(!bytes || (offset & (align - 1)) == 0);
21189eeb6dd1SFam Zheng     if (bytes) {
21197a3f542fSVladimir Sementsov-Ogievskiy         assert(align == pad.tail + bytes);
21209eeb6dd1SFam Zheng 
21217a3f542fSVladimir Sementsov-Ogievskiy         qemu_iovec_init_buf(&local_qiov, pad.tail_buf, align);
212285c97ca7SKevin Wolf         ret = bdrv_aligned_pwritev(child, req, offset, align, align,
212328c4da28SVladimir Sementsov-Ogievskiy                                    &local_qiov, 0,
212428c4da28SVladimir Sementsov-Ogievskiy                                    flags & ~BDRV_REQ_ZERO_WRITE);
21259eeb6dd1SFam Zheng     }
21269eeb6dd1SFam Zheng 
21277a3f542fSVladimir Sementsov-Ogievskiy out:
21287a3f542fSVladimir Sementsov-Ogievskiy     bdrv_padding_destroy(&pad);
21297a3f542fSVladimir Sementsov-Ogievskiy 
21307a3f542fSVladimir Sementsov-Ogievskiy     return ret;
21319eeb6dd1SFam Zheng }
21329eeb6dd1SFam Zheng 
213361007b31SStefan Hajnoczi /*
213461007b31SStefan Hajnoczi  * Handle a write request in coroutine context
213561007b31SStefan Hajnoczi  */
2136a03ef88fSKevin Wolf int coroutine_fn bdrv_co_pwritev(BdrvChild *child,
213761007b31SStefan Hajnoczi     int64_t offset, unsigned int bytes, QEMUIOVector *qiov,
213861007b31SStefan Hajnoczi     BdrvRequestFlags flags)
213961007b31SStefan Hajnoczi {
21401acc3466SVladimir Sementsov-Ogievskiy     return bdrv_co_pwritev_part(child, offset, bytes, qiov, 0, flags);
21411acc3466SVladimir Sementsov-Ogievskiy }
21421acc3466SVladimir Sementsov-Ogievskiy 
21431acc3466SVladimir Sementsov-Ogievskiy int coroutine_fn bdrv_co_pwritev_part(BdrvChild *child,
21441acc3466SVladimir Sementsov-Ogievskiy     int64_t offset, unsigned int bytes, QEMUIOVector *qiov, size_t qiov_offset,
21451acc3466SVladimir Sementsov-Ogievskiy     BdrvRequestFlags flags)
21461acc3466SVladimir Sementsov-Ogievskiy {
2147a03ef88fSKevin Wolf     BlockDriverState *bs = child->bs;
214861007b31SStefan Hajnoczi     BdrvTrackedRequest req;
2149a5b8dd2cSEric Blake     uint64_t align = bs->bl.request_alignment;
21507a3f542fSVladimir Sementsov-Ogievskiy     BdrvRequestPadding pad;
215161007b31SStefan Hajnoczi     int ret;
2152f0deecffSVladimir Sementsov-Ogievskiy     bool padded = false;
215361007b31SStefan Hajnoczi 
2154f42cf447SDaniel P. Berrange     trace_bdrv_co_pwritev(child->bs, offset, bytes, flags);
2155f42cf447SDaniel P. Berrange 
2156f4dad307SVladimir Sementsov-Ogievskiy     if (!bdrv_is_inserted(bs)) {
215761007b31SStefan Hajnoczi         return -ENOMEDIUM;
215861007b31SStefan Hajnoczi     }
215961007b31SStefan Hajnoczi 
21608b117001SVladimir Sementsov-Ogievskiy     ret = bdrv_check_request32(offset, bytes);
216161007b31SStefan Hajnoczi     if (ret < 0) {
216261007b31SStefan Hajnoczi         return ret;
216361007b31SStefan Hajnoczi     }
216461007b31SStefan Hajnoczi 
2165f2208fdcSAlberto Garcia     /* If the request is misaligned then we can't make it efficient */
2166f2208fdcSAlberto Garcia     if ((flags & BDRV_REQ_NO_FALLBACK) &&
2167f2208fdcSAlberto Garcia         !QEMU_IS_ALIGNED(offset | bytes, align))
2168f2208fdcSAlberto Garcia     {
2169f2208fdcSAlberto Garcia         return -ENOTSUP;
2170f2208fdcSAlberto Garcia     }
2171f2208fdcSAlberto Garcia 
2172ac9d00bfSVladimir Sementsov-Ogievskiy     if (bytes == 0 && !QEMU_IS_ALIGNED(offset, bs->bl.request_alignment)) {
2173ac9d00bfSVladimir Sementsov-Ogievskiy         /*
2174ac9d00bfSVladimir Sementsov-Ogievskiy          * Aligning zero request is nonsense. Even if driver has special meaning
2175ac9d00bfSVladimir Sementsov-Ogievskiy          * of zero-length (like qcow2_co_pwritev_compressed_part), we can't pass
2176ac9d00bfSVladimir Sementsov-Ogievskiy          * it to driver due to request_alignment.
2177ac9d00bfSVladimir Sementsov-Ogievskiy          *
2178ac9d00bfSVladimir Sementsov-Ogievskiy          * Still, no reason to return an error if someone do unaligned
2179ac9d00bfSVladimir Sementsov-Ogievskiy          * zero-length write occasionally.
2180ac9d00bfSVladimir Sementsov-Ogievskiy          */
2181ac9d00bfSVladimir Sementsov-Ogievskiy         return 0;
2182ac9d00bfSVladimir Sementsov-Ogievskiy     }
2183ac9d00bfSVladimir Sementsov-Ogievskiy 
2184f0deecffSVladimir Sementsov-Ogievskiy     if (!(flags & BDRV_REQ_ZERO_WRITE)) {
218561007b31SStefan Hajnoczi         /*
2186f0deecffSVladimir Sementsov-Ogievskiy          * Pad request for following read-modify-write cycle.
2187f0deecffSVladimir Sementsov-Ogievskiy          * bdrv_co_do_zero_pwritev() does aligning by itself, so, we do
2188f0deecffSVladimir Sementsov-Ogievskiy          * alignment only if there is no ZERO flag.
218961007b31SStefan Hajnoczi          */
2190*98ca4549SVladimir Sementsov-Ogievskiy         ret = bdrv_pad_request(bs, &qiov, &qiov_offset, &offset, &bytes, &pad,
2191*98ca4549SVladimir Sementsov-Ogievskiy                                &padded);
2192*98ca4549SVladimir Sementsov-Ogievskiy         if (ret < 0) {
2193*98ca4549SVladimir Sementsov-Ogievskiy             return ret;
2194*98ca4549SVladimir Sementsov-Ogievskiy         }
2195f0deecffSVladimir Sementsov-Ogievskiy     }
2196f0deecffSVladimir Sementsov-Ogievskiy 
2197f0deecffSVladimir Sementsov-Ogievskiy     bdrv_inc_in_flight(bs);
2198ebde595cSFam Zheng     tracked_request_begin(&req, bs, offset, bytes, BDRV_TRACKED_WRITE);
219961007b31SStefan Hajnoczi 
220018a59f03SAnton Nefedov     if (flags & BDRV_REQ_ZERO_WRITE) {
2201f0deecffSVladimir Sementsov-Ogievskiy         assert(!padded);
220285c97ca7SKevin Wolf         ret = bdrv_co_do_zero_pwritev(child, offset, bytes, flags, &req);
22039eeb6dd1SFam Zheng         goto out;
22049eeb6dd1SFam Zheng     }
22059eeb6dd1SFam Zheng 
2206f0deecffSVladimir Sementsov-Ogievskiy     if (padded) {
2207f0deecffSVladimir Sementsov-Ogievskiy         /*
2208f0deecffSVladimir Sementsov-Ogievskiy          * Request was unaligned to request_alignment and therefore
2209f0deecffSVladimir Sementsov-Ogievskiy          * padded.  We are going to do read-modify-write, and must
2210f0deecffSVladimir Sementsov-Ogievskiy          * serialize the request to prevent interactions of the
2211f0deecffSVladimir Sementsov-Ogievskiy          * widened region with other transactions.
2212f0deecffSVladimir Sementsov-Ogievskiy          */
22138ac5aab2SVladimir Sementsov-Ogievskiy         bdrv_make_request_serialising(&req, align);
22147a3f542fSVladimir Sementsov-Ogievskiy         bdrv_padding_rmw_read(child, &req, &pad, false);
221561007b31SStefan Hajnoczi     }
221661007b31SStefan Hajnoczi 
221785c97ca7SKevin Wolf     ret = bdrv_aligned_pwritev(child, &req, offset, bytes, align,
22181acc3466SVladimir Sementsov-Ogievskiy                                qiov, qiov_offset, flags);
221961007b31SStefan Hajnoczi 
22207a3f542fSVladimir Sementsov-Ogievskiy     bdrv_padding_destroy(&pad);
222161007b31SStefan Hajnoczi 
22229eeb6dd1SFam Zheng out:
22239eeb6dd1SFam Zheng     tracked_request_end(&req);
222499723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
22257a3f542fSVladimir Sementsov-Ogievskiy 
222661007b31SStefan Hajnoczi     return ret;
222761007b31SStefan Hajnoczi }
222861007b31SStefan Hajnoczi 
2229a03ef88fSKevin Wolf int coroutine_fn bdrv_co_pwrite_zeroes(BdrvChild *child, int64_t offset,
2230f5a5ca79SManos Pitsidianakis                                        int bytes, BdrvRequestFlags flags)
223161007b31SStefan Hajnoczi {
2232f5a5ca79SManos Pitsidianakis     trace_bdrv_co_pwrite_zeroes(child->bs, offset, bytes, flags);
223361007b31SStefan Hajnoczi 
2234a03ef88fSKevin Wolf     if (!(child->bs->open_flags & BDRV_O_UNMAP)) {
223561007b31SStefan Hajnoczi         flags &= ~BDRV_REQ_MAY_UNMAP;
223661007b31SStefan Hajnoczi     }
223761007b31SStefan Hajnoczi 
2238f5a5ca79SManos Pitsidianakis     return bdrv_co_pwritev(child, offset, bytes, NULL,
223961007b31SStefan Hajnoczi                            BDRV_REQ_ZERO_WRITE | flags);
224061007b31SStefan Hajnoczi }
224161007b31SStefan Hajnoczi 
22424085f5c7SJohn Snow /*
22434085f5c7SJohn Snow  * Flush ALL BDSes regardless of if they are reachable via a BlkBackend or not.
22444085f5c7SJohn Snow  */
22454085f5c7SJohn Snow int bdrv_flush_all(void)
22464085f5c7SJohn Snow {
22474085f5c7SJohn Snow     BdrvNextIterator it;
22484085f5c7SJohn Snow     BlockDriverState *bs = NULL;
22494085f5c7SJohn Snow     int result = 0;
22504085f5c7SJohn Snow 
2251c8aa7895SPavel Dovgalyuk     /*
2252c8aa7895SPavel Dovgalyuk      * bdrv queue is managed by record/replay,
2253c8aa7895SPavel Dovgalyuk      * creating new flush request for stopping
2254c8aa7895SPavel Dovgalyuk      * the VM may break the determinism
2255c8aa7895SPavel Dovgalyuk      */
2256c8aa7895SPavel Dovgalyuk     if (replay_events_enabled()) {
2257c8aa7895SPavel Dovgalyuk         return result;
2258c8aa7895SPavel Dovgalyuk     }
2259c8aa7895SPavel Dovgalyuk 
22604085f5c7SJohn Snow     for (bs = bdrv_first(&it); bs; bs = bdrv_next(&it)) {
22614085f5c7SJohn Snow         AioContext *aio_context = bdrv_get_aio_context(bs);
22624085f5c7SJohn Snow         int ret;
22634085f5c7SJohn Snow 
22644085f5c7SJohn Snow         aio_context_acquire(aio_context);
22654085f5c7SJohn Snow         ret = bdrv_flush(bs);
22664085f5c7SJohn Snow         if (ret < 0 && !result) {
22674085f5c7SJohn Snow             result = ret;
22684085f5c7SJohn Snow         }
22694085f5c7SJohn Snow         aio_context_release(aio_context);
22704085f5c7SJohn Snow     }
22714085f5c7SJohn Snow 
22724085f5c7SJohn Snow     return result;
22734085f5c7SJohn Snow }
22744085f5c7SJohn Snow 
227561007b31SStefan Hajnoczi /*
227661007b31SStefan Hajnoczi  * Returns the allocation status of the specified sectors.
227761007b31SStefan Hajnoczi  * Drivers not implementing the functionality are assumed to not support
227861007b31SStefan Hajnoczi  * backing files, hence all their sectors are reported as allocated.
227961007b31SStefan Hajnoczi  *
228086a3d5c6SEric Blake  * If 'want_zero' is true, the caller is querying for mapping
228186a3d5c6SEric Blake  * purposes, with a focus on valid BDRV_BLOCK_OFFSET_VALID, _DATA, and
228286a3d5c6SEric Blake  * _ZERO where possible; otherwise, the result favors larger 'pnum',
228386a3d5c6SEric Blake  * with a focus on accurate BDRV_BLOCK_ALLOCATED.
2284c9ce8c4dSEric Blake  *
22852e8bc787SEric Blake  * If 'offset' is beyond the end of the disk image the return value is
2286fb0d8654SEric Blake  * BDRV_BLOCK_EOF and 'pnum' is set to 0.
228761007b31SStefan Hajnoczi  *
22882e8bc787SEric Blake  * 'bytes' is the max value 'pnum' should be set to.  If bytes goes
2289fb0d8654SEric Blake  * beyond the end of the disk image it will be clamped; if 'pnum' is set to
2290fb0d8654SEric Blake  * the end of the image, then the returned value will include BDRV_BLOCK_EOF.
229167a0fd2aSFam Zheng  *
22922e8bc787SEric Blake  * 'pnum' is set to the number of bytes (including and immediately
22932e8bc787SEric Blake  * following the specified offset) that are easily known to be in the
22942e8bc787SEric Blake  * same allocated/unallocated state.  Note that a second call starting
22952e8bc787SEric Blake  * at the original offset plus returned pnum may have the same status.
22962e8bc787SEric Blake  * The returned value is non-zero on success except at end-of-file.
22972e8bc787SEric Blake  *
22982e8bc787SEric Blake  * Returns negative errno on failure.  Otherwise, if the
22992e8bc787SEric Blake  * BDRV_BLOCK_OFFSET_VALID bit is set, 'map' and 'file' (if non-NULL) are
23002e8bc787SEric Blake  * set to the host mapping and BDS corresponding to the guest offset.
230161007b31SStefan Hajnoczi  */
23022e8bc787SEric Blake static int coroutine_fn bdrv_co_block_status(BlockDriverState *bs,
2303c9ce8c4dSEric Blake                                              bool want_zero,
23042e8bc787SEric Blake                                              int64_t offset, int64_t bytes,
23052e8bc787SEric Blake                                              int64_t *pnum, int64_t *map,
230667a0fd2aSFam Zheng                                              BlockDriverState **file)
230761007b31SStefan Hajnoczi {
23082e8bc787SEric Blake     int64_t total_size;
23092e8bc787SEric Blake     int64_t n; /* bytes */
2310efa6e2edSEric Blake     int ret;
23112e8bc787SEric Blake     int64_t local_map = 0;
2312298a1665SEric Blake     BlockDriverState *local_file = NULL;
2313efa6e2edSEric Blake     int64_t aligned_offset, aligned_bytes;
2314efa6e2edSEric Blake     uint32_t align;
2315549ec0d9SMax Reitz     bool has_filtered_child;
231661007b31SStefan Hajnoczi 
2317298a1665SEric Blake     assert(pnum);
2318298a1665SEric Blake     *pnum = 0;
23192e8bc787SEric Blake     total_size = bdrv_getlength(bs);
23202e8bc787SEric Blake     if (total_size < 0) {
23212e8bc787SEric Blake         ret = total_size;
2322298a1665SEric Blake         goto early_out;
232361007b31SStefan Hajnoczi     }
232461007b31SStefan Hajnoczi 
23252e8bc787SEric Blake     if (offset >= total_size) {
2326298a1665SEric Blake         ret = BDRV_BLOCK_EOF;
2327298a1665SEric Blake         goto early_out;
232861007b31SStefan Hajnoczi     }
23292e8bc787SEric Blake     if (!bytes) {
2330298a1665SEric Blake         ret = 0;
2331298a1665SEric Blake         goto early_out;
23329cdcfd9fSEric Blake     }
233361007b31SStefan Hajnoczi 
23342e8bc787SEric Blake     n = total_size - offset;
23352e8bc787SEric Blake     if (n < bytes) {
23362e8bc787SEric Blake         bytes = n;
233761007b31SStefan Hajnoczi     }
233861007b31SStefan Hajnoczi 
2339d470ad42SMax Reitz     /* Must be non-NULL or bdrv_getlength() would have failed */
2340d470ad42SMax Reitz     assert(bs->drv);
2341549ec0d9SMax Reitz     has_filtered_child = bdrv_filter_child(bs);
2342549ec0d9SMax Reitz     if (!bs->drv->bdrv_co_block_status && !has_filtered_child) {
23432e8bc787SEric Blake         *pnum = bytes;
234461007b31SStefan Hajnoczi         ret = BDRV_BLOCK_DATA | BDRV_BLOCK_ALLOCATED;
23452e8bc787SEric Blake         if (offset + bytes == total_size) {
2346fb0d8654SEric Blake             ret |= BDRV_BLOCK_EOF;
2347fb0d8654SEric Blake         }
234861007b31SStefan Hajnoczi         if (bs->drv->protocol_name) {
23492e8bc787SEric Blake             ret |= BDRV_BLOCK_OFFSET_VALID;
23502e8bc787SEric Blake             local_map = offset;
2351298a1665SEric Blake             local_file = bs;
235261007b31SStefan Hajnoczi         }
2353298a1665SEric Blake         goto early_out;
235461007b31SStefan Hajnoczi     }
235561007b31SStefan Hajnoczi 
235699723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
2357efa6e2edSEric Blake 
2358efa6e2edSEric Blake     /* Round out to request_alignment boundaries */
235986a3d5c6SEric Blake     align = bs->bl.request_alignment;
2360efa6e2edSEric Blake     aligned_offset = QEMU_ALIGN_DOWN(offset, align);
2361efa6e2edSEric Blake     aligned_bytes = ROUND_UP(offset + bytes, align) - aligned_offset;
2362efa6e2edSEric Blake 
2363549ec0d9SMax Reitz     if (bs->drv->bdrv_co_block_status) {
236486a3d5c6SEric Blake         ret = bs->drv->bdrv_co_block_status(bs, want_zero, aligned_offset,
236586a3d5c6SEric Blake                                             aligned_bytes, pnum, &local_map,
236686a3d5c6SEric Blake                                             &local_file);
2367549ec0d9SMax Reitz     } else {
2368549ec0d9SMax Reitz         /* Default code for filters */
2369549ec0d9SMax Reitz 
2370549ec0d9SMax Reitz         local_file = bdrv_filter_bs(bs);
2371549ec0d9SMax Reitz         assert(local_file);
2372549ec0d9SMax Reitz 
2373549ec0d9SMax Reitz         *pnum = aligned_bytes;
2374549ec0d9SMax Reitz         local_map = aligned_offset;
2375549ec0d9SMax Reitz         ret = BDRV_BLOCK_RAW | BDRV_BLOCK_OFFSET_VALID;
2376549ec0d9SMax Reitz     }
237786a3d5c6SEric Blake     if (ret < 0) {
237886a3d5c6SEric Blake         *pnum = 0;
237986a3d5c6SEric Blake         goto out;
238086a3d5c6SEric Blake     }
2381efa6e2edSEric Blake 
2382efa6e2edSEric Blake     /*
2383636cb512SEric Blake      * The driver's result must be a non-zero multiple of request_alignment.
2384efa6e2edSEric Blake      * Clamp pnum and adjust map to original request.
2385efa6e2edSEric Blake      */
2386636cb512SEric Blake     assert(*pnum && QEMU_IS_ALIGNED(*pnum, align) &&
2387636cb512SEric Blake            align > offset - aligned_offset);
238869f47505SVladimir Sementsov-Ogievskiy     if (ret & BDRV_BLOCK_RECURSE) {
238969f47505SVladimir Sementsov-Ogievskiy         assert(ret & BDRV_BLOCK_DATA);
239069f47505SVladimir Sementsov-Ogievskiy         assert(ret & BDRV_BLOCK_OFFSET_VALID);
239169f47505SVladimir Sementsov-Ogievskiy         assert(!(ret & BDRV_BLOCK_ZERO));
239269f47505SVladimir Sementsov-Ogievskiy     }
239369f47505SVladimir Sementsov-Ogievskiy 
2394efa6e2edSEric Blake     *pnum -= offset - aligned_offset;
2395efa6e2edSEric Blake     if (*pnum > bytes) {
2396efa6e2edSEric Blake         *pnum = bytes;
2397efa6e2edSEric Blake     }
2398efa6e2edSEric Blake     if (ret & BDRV_BLOCK_OFFSET_VALID) {
2399efa6e2edSEric Blake         local_map += offset - aligned_offset;
2400efa6e2edSEric Blake     }
240161007b31SStefan Hajnoczi 
240261007b31SStefan Hajnoczi     if (ret & BDRV_BLOCK_RAW) {
2403298a1665SEric Blake         assert(ret & BDRV_BLOCK_OFFSET_VALID && local_file);
24042e8bc787SEric Blake         ret = bdrv_co_block_status(local_file, want_zero, local_map,
24052e8bc787SEric Blake                                    *pnum, pnum, &local_map, &local_file);
240699723548SPaolo Bonzini         goto out;
240761007b31SStefan Hajnoczi     }
240861007b31SStefan Hajnoczi 
240961007b31SStefan Hajnoczi     if (ret & (BDRV_BLOCK_DATA | BDRV_BLOCK_ZERO)) {
241061007b31SStefan Hajnoczi         ret |= BDRV_BLOCK_ALLOCATED;
2411d40f4a56SAlberto Garcia     } else if (bs->drv->supports_backing) {
2412cb850315SMax Reitz         BlockDriverState *cow_bs = bdrv_cow_bs(bs);
2413cb850315SMax Reitz 
2414d40f4a56SAlberto Garcia         if (!cow_bs) {
2415d40f4a56SAlberto Garcia             ret |= BDRV_BLOCK_ZERO;
2416d40f4a56SAlberto Garcia         } else if (want_zero) {
2417cb850315SMax Reitz             int64_t size2 = bdrv_getlength(cow_bs);
2418c9ce8c4dSEric Blake 
24192e8bc787SEric Blake             if (size2 >= 0 && offset >= size2) {
242061007b31SStefan Hajnoczi                 ret |= BDRV_BLOCK_ZERO;
242161007b31SStefan Hajnoczi             }
24227b1efe99SVladimir Sementsov-Ogievskiy         }
242361007b31SStefan Hajnoczi     }
242461007b31SStefan Hajnoczi 
242569f47505SVladimir Sementsov-Ogievskiy     if (want_zero && ret & BDRV_BLOCK_RECURSE &&
242669f47505SVladimir Sementsov-Ogievskiy         local_file && local_file != bs &&
242761007b31SStefan Hajnoczi         (ret & BDRV_BLOCK_DATA) && !(ret & BDRV_BLOCK_ZERO) &&
242861007b31SStefan Hajnoczi         (ret & BDRV_BLOCK_OFFSET_VALID)) {
24292e8bc787SEric Blake         int64_t file_pnum;
24302e8bc787SEric Blake         int ret2;
243161007b31SStefan Hajnoczi 
24322e8bc787SEric Blake         ret2 = bdrv_co_block_status(local_file, want_zero, local_map,
24332e8bc787SEric Blake                                     *pnum, &file_pnum, NULL, NULL);
243461007b31SStefan Hajnoczi         if (ret2 >= 0) {
243561007b31SStefan Hajnoczi             /* Ignore errors.  This is just providing extra information, it
243661007b31SStefan Hajnoczi              * is useful but not necessary.
243761007b31SStefan Hajnoczi              */
2438c61e684eSEric Blake             if (ret2 & BDRV_BLOCK_EOF &&
2439c61e684eSEric Blake                 (!file_pnum || ret2 & BDRV_BLOCK_ZERO)) {
2440c61e684eSEric Blake                 /*
2441c61e684eSEric Blake                  * It is valid for the format block driver to read
2442c61e684eSEric Blake                  * beyond the end of the underlying file's current
2443c61e684eSEric Blake                  * size; such areas read as zero.
2444c61e684eSEric Blake                  */
244561007b31SStefan Hajnoczi                 ret |= BDRV_BLOCK_ZERO;
244661007b31SStefan Hajnoczi             } else {
244761007b31SStefan Hajnoczi                 /* Limit request to the range reported by the protocol driver */
244861007b31SStefan Hajnoczi                 *pnum = file_pnum;
244961007b31SStefan Hajnoczi                 ret |= (ret2 & BDRV_BLOCK_ZERO);
245061007b31SStefan Hajnoczi             }
245161007b31SStefan Hajnoczi         }
245261007b31SStefan Hajnoczi     }
245361007b31SStefan Hajnoczi 
245499723548SPaolo Bonzini out:
245599723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
24562e8bc787SEric Blake     if (ret >= 0 && offset + *pnum == total_size) {
2457fb0d8654SEric Blake         ret |= BDRV_BLOCK_EOF;
2458fb0d8654SEric Blake     }
2459298a1665SEric Blake early_out:
2460298a1665SEric Blake     if (file) {
2461298a1665SEric Blake         *file = local_file;
2462298a1665SEric Blake     }
24632e8bc787SEric Blake     if (map) {
24642e8bc787SEric Blake         *map = local_map;
24652e8bc787SEric Blake     }
246661007b31SStefan Hajnoczi     return ret;
246761007b31SStefan Hajnoczi }
246861007b31SStefan Hajnoczi 
246921c2283eSVladimir Sementsov-Ogievskiy int coroutine_fn
2470f9e694cbSVladimir Sementsov-Ogievskiy bdrv_co_common_block_status_above(BlockDriverState *bs,
2471ba3f0e25SFam Zheng                                   BlockDriverState *base,
24723555a432SVladimir Sementsov-Ogievskiy                                   bool include_base,
2473c9ce8c4dSEric Blake                                   bool want_zero,
24745b648c67SEric Blake                                   int64_t offset,
24755b648c67SEric Blake                                   int64_t bytes,
24765b648c67SEric Blake                                   int64_t *pnum,
24775b648c67SEric Blake                                   int64_t *map,
2478a92b1b06SEric Blake                                   BlockDriverState **file,
2479a92b1b06SEric Blake                                   int *depth)
2480ba3f0e25SFam Zheng {
248167c095c8SVladimir Sementsov-Ogievskiy     int ret;
2482ba3f0e25SFam Zheng     BlockDriverState *p;
248367c095c8SVladimir Sementsov-Ogievskiy     int64_t eof = 0;
2484a92b1b06SEric Blake     int dummy;
2485ba3f0e25SFam Zheng 
24863555a432SVladimir Sementsov-Ogievskiy     assert(!include_base || base); /* Can't include NULL base */
248767c095c8SVladimir Sementsov-Ogievskiy 
2488a92b1b06SEric Blake     if (!depth) {
2489a92b1b06SEric Blake         depth = &dummy;
2490a92b1b06SEric Blake     }
2491a92b1b06SEric Blake     *depth = 0;
2492a92b1b06SEric Blake 
2493624f27bbSVladimir Sementsov-Ogievskiy     if (!include_base && bs == base) {
2494624f27bbSVladimir Sementsov-Ogievskiy         *pnum = bytes;
2495624f27bbSVladimir Sementsov-Ogievskiy         return 0;
2496624f27bbSVladimir Sementsov-Ogievskiy     }
2497624f27bbSVladimir Sementsov-Ogievskiy 
249867c095c8SVladimir Sementsov-Ogievskiy     ret = bdrv_co_block_status(bs, want_zero, offset, bytes, pnum, map, file);
2499a92b1b06SEric Blake     ++*depth;
25003555a432SVladimir Sementsov-Ogievskiy     if (ret < 0 || *pnum == 0 || ret & BDRV_BLOCK_ALLOCATED || bs == base) {
250167c095c8SVladimir Sementsov-Ogievskiy         return ret;
250267c095c8SVladimir Sementsov-Ogievskiy     }
250367c095c8SVladimir Sementsov-Ogievskiy 
250467c095c8SVladimir Sementsov-Ogievskiy     if (ret & BDRV_BLOCK_EOF) {
250567c095c8SVladimir Sementsov-Ogievskiy         eof = offset + *pnum;
250667c095c8SVladimir Sementsov-Ogievskiy     }
250767c095c8SVladimir Sementsov-Ogievskiy 
250867c095c8SVladimir Sementsov-Ogievskiy     assert(*pnum <= bytes);
250967c095c8SVladimir Sementsov-Ogievskiy     bytes = *pnum;
251067c095c8SVladimir Sementsov-Ogievskiy 
25113555a432SVladimir Sementsov-Ogievskiy     for (p = bdrv_filter_or_cow_bs(bs); include_base || p != base;
251267c095c8SVladimir Sementsov-Ogievskiy          p = bdrv_filter_or_cow_bs(p))
251367c095c8SVladimir Sementsov-Ogievskiy     {
25145b648c67SEric Blake         ret = bdrv_co_block_status(p, want_zero, offset, bytes, pnum, map,
25155b648c67SEric Blake                                    file);
2516a92b1b06SEric Blake         ++*depth;
2517c61e684eSEric Blake         if (ret < 0) {
251867c095c8SVladimir Sementsov-Ogievskiy             return ret;
2519c61e684eSEric Blake         }
252067c095c8SVladimir Sementsov-Ogievskiy         if (*pnum == 0) {
2521c61e684eSEric Blake             /*
252267c095c8SVladimir Sementsov-Ogievskiy              * The top layer deferred to this layer, and because this layer is
252367c095c8SVladimir Sementsov-Ogievskiy              * short, any zeroes that we synthesize beyond EOF behave as if they
252467c095c8SVladimir Sementsov-Ogievskiy              * were allocated at this layer.
252567c095c8SVladimir Sementsov-Ogievskiy              *
252667c095c8SVladimir Sementsov-Ogievskiy              * We don't include BDRV_BLOCK_EOF into ret, as upper layer may be
252767c095c8SVladimir Sementsov-Ogievskiy              * larger. We'll add BDRV_BLOCK_EOF if needed at function end, see
252867c095c8SVladimir Sementsov-Ogievskiy              * below.
2529c61e684eSEric Blake              */
253067c095c8SVladimir Sementsov-Ogievskiy             assert(ret & BDRV_BLOCK_EOF);
25315b648c67SEric Blake             *pnum = bytes;
253267c095c8SVladimir Sementsov-Ogievskiy             if (file) {
253367c095c8SVladimir Sementsov-Ogievskiy                 *file = p;
2534c61e684eSEric Blake             }
253567c095c8SVladimir Sementsov-Ogievskiy             ret = BDRV_BLOCK_ZERO | BDRV_BLOCK_ALLOCATED;
2536ba3f0e25SFam Zheng             break;
2537ba3f0e25SFam Zheng         }
253867c095c8SVladimir Sementsov-Ogievskiy         if (ret & BDRV_BLOCK_ALLOCATED) {
253967c095c8SVladimir Sementsov-Ogievskiy             /*
254067c095c8SVladimir Sementsov-Ogievskiy              * We've found the node and the status, we must break.
254167c095c8SVladimir Sementsov-Ogievskiy              *
254267c095c8SVladimir Sementsov-Ogievskiy              * Drop BDRV_BLOCK_EOF, as it's not for upper layer, which may be
254367c095c8SVladimir Sementsov-Ogievskiy              * larger. We'll add BDRV_BLOCK_EOF if needed at function end, see
254467c095c8SVladimir Sementsov-Ogievskiy              * below.
254567c095c8SVladimir Sementsov-Ogievskiy              */
254667c095c8SVladimir Sementsov-Ogievskiy             ret &= ~BDRV_BLOCK_EOF;
254767c095c8SVladimir Sementsov-Ogievskiy             break;
2548ba3f0e25SFam Zheng         }
254967c095c8SVladimir Sementsov-Ogievskiy 
25503555a432SVladimir Sementsov-Ogievskiy         if (p == base) {
25513555a432SVladimir Sementsov-Ogievskiy             assert(include_base);
25523555a432SVladimir Sementsov-Ogievskiy             break;
25533555a432SVladimir Sementsov-Ogievskiy         }
25543555a432SVladimir Sementsov-Ogievskiy 
255567c095c8SVladimir Sementsov-Ogievskiy         /*
255667c095c8SVladimir Sementsov-Ogievskiy          * OK, [offset, offset + *pnum) region is unallocated on this layer,
255767c095c8SVladimir Sementsov-Ogievskiy          * let's continue the diving.
255867c095c8SVladimir Sementsov-Ogievskiy          */
255967c095c8SVladimir Sementsov-Ogievskiy         assert(*pnum <= bytes);
256067c095c8SVladimir Sementsov-Ogievskiy         bytes = *pnum;
256167c095c8SVladimir Sementsov-Ogievskiy     }
256267c095c8SVladimir Sementsov-Ogievskiy 
256367c095c8SVladimir Sementsov-Ogievskiy     if (offset + *pnum == eof) {
256467c095c8SVladimir Sementsov-Ogievskiy         ret |= BDRV_BLOCK_EOF;
256567c095c8SVladimir Sementsov-Ogievskiy     }
256667c095c8SVladimir Sementsov-Ogievskiy 
2567ba3f0e25SFam Zheng     return ret;
2568ba3f0e25SFam Zheng }
2569ba3f0e25SFam Zheng 
257031826642SEric Blake int bdrv_block_status_above(BlockDriverState *bs, BlockDriverState *base,
257131826642SEric Blake                             int64_t offset, int64_t bytes, int64_t *pnum,
257231826642SEric Blake                             int64_t *map, BlockDriverState **file)
2573c9ce8c4dSEric Blake {
25743555a432SVladimir Sementsov-Ogievskiy     return bdrv_common_block_status_above(bs, base, false, true, offset, bytes,
2575a92b1b06SEric Blake                                           pnum, map, file, NULL);
2576c9ce8c4dSEric Blake }
2577c9ce8c4dSEric Blake 
2578237d78f8SEric Blake int bdrv_block_status(BlockDriverState *bs, int64_t offset, int64_t bytes,
2579237d78f8SEric Blake                       int64_t *pnum, int64_t *map, BlockDriverState **file)
2580ba3f0e25SFam Zheng {
2581cb850315SMax Reitz     return bdrv_block_status_above(bs, bdrv_filter_or_cow_bs(bs),
258231826642SEric Blake                                    offset, bytes, pnum, map, file);
2583ba3f0e25SFam Zheng }
2584ba3f0e25SFam Zheng 
258546cd1e8aSAlberto Garcia /*
258646cd1e8aSAlberto Garcia  * Check @bs (and its backing chain) to see if the range defined
258746cd1e8aSAlberto Garcia  * by @offset and @bytes is known to read as zeroes.
258846cd1e8aSAlberto Garcia  * Return 1 if that is the case, 0 otherwise and -errno on error.
258946cd1e8aSAlberto Garcia  * This test is meant to be fast rather than accurate so returning 0
259046cd1e8aSAlberto Garcia  * does not guarantee non-zero data.
259146cd1e8aSAlberto Garcia  */
259246cd1e8aSAlberto Garcia int coroutine_fn bdrv_co_is_zero_fast(BlockDriverState *bs, int64_t offset,
259346cd1e8aSAlberto Garcia                                       int64_t bytes)
259446cd1e8aSAlberto Garcia {
259546cd1e8aSAlberto Garcia     int ret;
259646cd1e8aSAlberto Garcia     int64_t pnum = bytes;
259746cd1e8aSAlberto Garcia 
259846cd1e8aSAlberto Garcia     if (!bytes) {
259946cd1e8aSAlberto Garcia         return 1;
260046cd1e8aSAlberto Garcia     }
260146cd1e8aSAlberto Garcia 
260246cd1e8aSAlberto Garcia     ret = bdrv_common_block_status_above(bs, NULL, false, false, offset,
2603a92b1b06SEric Blake                                          bytes, &pnum, NULL, NULL, NULL);
260446cd1e8aSAlberto Garcia 
260546cd1e8aSAlberto Garcia     if (ret < 0) {
260646cd1e8aSAlberto Garcia         return ret;
260746cd1e8aSAlberto Garcia     }
260846cd1e8aSAlberto Garcia 
260946cd1e8aSAlberto Garcia     return (pnum == bytes) && (ret & BDRV_BLOCK_ZERO);
261046cd1e8aSAlberto Garcia }
261146cd1e8aSAlberto Garcia 
2612d6a644bbSEric Blake int coroutine_fn bdrv_is_allocated(BlockDriverState *bs, int64_t offset,
2613d6a644bbSEric Blake                                    int64_t bytes, int64_t *pnum)
261461007b31SStefan Hajnoczi {
26157ddb99b9SEric Blake     int ret;
26167ddb99b9SEric Blake     int64_t dummy;
2617d6a644bbSEric Blake 
26183555a432SVladimir Sementsov-Ogievskiy     ret = bdrv_common_block_status_above(bs, bs, true, false, offset,
26193555a432SVladimir Sementsov-Ogievskiy                                          bytes, pnum ? pnum : &dummy, NULL,
2620a92b1b06SEric Blake                                          NULL, NULL);
262161007b31SStefan Hajnoczi     if (ret < 0) {
262261007b31SStefan Hajnoczi         return ret;
262361007b31SStefan Hajnoczi     }
262461007b31SStefan Hajnoczi     return !!(ret & BDRV_BLOCK_ALLOCATED);
262561007b31SStefan Hajnoczi }
262661007b31SStefan Hajnoczi 
262761007b31SStefan Hajnoczi /*
262861007b31SStefan Hajnoczi  * Given an image chain: ... -> [BASE] -> [INTER1] -> [INTER2] -> [TOP]
262961007b31SStefan Hajnoczi  *
2630a92b1b06SEric Blake  * Return a positive depth if (a prefix of) the given range is allocated
2631a92b1b06SEric Blake  * in any image between BASE and TOP (BASE is only included if include_base
2632a92b1b06SEric Blake  * is set).  Depth 1 is TOP, 2 is the first backing layer, and so forth.
2633170d3bd3SAndrey Shinkevich  * BASE can be NULL to check if the given offset is allocated in any
2634170d3bd3SAndrey Shinkevich  * image of the chain.  Return 0 otherwise, or negative errno on
2635170d3bd3SAndrey Shinkevich  * failure.
263661007b31SStefan Hajnoczi  *
263751b0a488SEric Blake  * 'pnum' is set to the number of bytes (including and immediately
263851b0a488SEric Blake  * following the specified offset) that are known to be in the same
263951b0a488SEric Blake  * allocated/unallocated state.  Note that a subsequent call starting
264051b0a488SEric Blake  * at 'offset + *pnum' may return the same allocation status (in other
264151b0a488SEric Blake  * words, the result is not necessarily the maximum possible range);
264251b0a488SEric Blake  * but 'pnum' will only be 0 when end of file is reached.
264361007b31SStefan Hajnoczi  */
264461007b31SStefan Hajnoczi int bdrv_is_allocated_above(BlockDriverState *top,
264561007b31SStefan Hajnoczi                             BlockDriverState *base,
2646170d3bd3SAndrey Shinkevich                             bool include_base, int64_t offset,
2647170d3bd3SAndrey Shinkevich                             int64_t bytes, int64_t *pnum)
264861007b31SStefan Hajnoczi {
2649a92b1b06SEric Blake     int depth;
26507e7e5100SVladimir Sementsov-Ogievskiy     int ret = bdrv_common_block_status_above(top, base, include_base, false,
2651a92b1b06SEric Blake                                              offset, bytes, pnum, NULL, NULL,
2652a92b1b06SEric Blake                                              &depth);
265361007b31SStefan Hajnoczi     if (ret < 0) {
265461007b31SStefan Hajnoczi         return ret;
2655d6a644bbSEric Blake     }
265661007b31SStefan Hajnoczi 
2657a92b1b06SEric Blake     if (ret & BDRV_BLOCK_ALLOCATED) {
2658a92b1b06SEric Blake         return depth;
2659a92b1b06SEric Blake     }
2660a92b1b06SEric Blake     return 0;
266161007b31SStefan Hajnoczi }
266261007b31SStefan Hajnoczi 
266321c2283eSVladimir Sementsov-Ogievskiy int coroutine_fn
2664b33b354fSVladimir Sementsov-Ogievskiy bdrv_co_readv_vmstate(BlockDriverState *bs, QEMUIOVector *qiov, int64_t pos)
26651a8ae822SKevin Wolf {
26661a8ae822SKevin Wolf     BlockDriver *drv = bs->drv;
2667c4db2e25SMax Reitz     BlockDriverState *child_bs = bdrv_primary_bs(bs);
2668dc88a467SStefan Hajnoczi     int ret = -ENOTSUP;
2669dc88a467SStefan Hajnoczi 
2670b33b354fSVladimir Sementsov-Ogievskiy     if (!drv) {
2671b33b354fSVladimir Sementsov-Ogievskiy         return -ENOMEDIUM;
2672b33b354fSVladimir Sementsov-Ogievskiy     }
2673b33b354fSVladimir Sementsov-Ogievskiy 
2674dc88a467SStefan Hajnoczi     bdrv_inc_in_flight(bs);
26751a8ae822SKevin Wolf 
2676b33b354fSVladimir Sementsov-Ogievskiy     if (drv->bdrv_load_vmstate) {
2677dc88a467SStefan Hajnoczi         ret = drv->bdrv_load_vmstate(bs, qiov, pos);
2678c4db2e25SMax Reitz     } else if (child_bs) {
2679b33b354fSVladimir Sementsov-Ogievskiy         ret = bdrv_co_readv_vmstate(child_bs, qiov, pos);
26801a8ae822SKevin Wolf     }
26811a8ae822SKevin Wolf 
2682dc88a467SStefan Hajnoczi     bdrv_dec_in_flight(bs);
2683b33b354fSVladimir Sementsov-Ogievskiy 
2684b33b354fSVladimir Sementsov-Ogievskiy     return ret;
2685b33b354fSVladimir Sementsov-Ogievskiy }
2686b33b354fSVladimir Sementsov-Ogievskiy 
2687b33b354fSVladimir Sementsov-Ogievskiy int coroutine_fn
2688b33b354fSVladimir Sementsov-Ogievskiy bdrv_co_writev_vmstate(BlockDriverState *bs, QEMUIOVector *qiov, int64_t pos)
2689b33b354fSVladimir Sementsov-Ogievskiy {
2690b33b354fSVladimir Sementsov-Ogievskiy     BlockDriver *drv = bs->drv;
2691b33b354fSVladimir Sementsov-Ogievskiy     BlockDriverState *child_bs = bdrv_primary_bs(bs);
2692b33b354fSVladimir Sementsov-Ogievskiy     int ret = -ENOTSUP;
2693b33b354fSVladimir Sementsov-Ogievskiy 
2694b33b354fSVladimir Sementsov-Ogievskiy     if (!drv) {
2695b33b354fSVladimir Sementsov-Ogievskiy         return -ENOMEDIUM;
2696b33b354fSVladimir Sementsov-Ogievskiy     }
2697b33b354fSVladimir Sementsov-Ogievskiy 
2698b33b354fSVladimir Sementsov-Ogievskiy     bdrv_inc_in_flight(bs);
2699b33b354fSVladimir Sementsov-Ogievskiy 
2700b33b354fSVladimir Sementsov-Ogievskiy     if (drv->bdrv_save_vmstate) {
2701b33b354fSVladimir Sementsov-Ogievskiy         ret = drv->bdrv_save_vmstate(bs, qiov, pos);
2702b33b354fSVladimir Sementsov-Ogievskiy     } else if (child_bs) {
2703b33b354fSVladimir Sementsov-Ogievskiy         ret = bdrv_co_writev_vmstate(child_bs, qiov, pos);
2704b33b354fSVladimir Sementsov-Ogievskiy     }
2705b33b354fSVladimir Sementsov-Ogievskiy 
2706b33b354fSVladimir Sementsov-Ogievskiy     bdrv_dec_in_flight(bs);
2707b33b354fSVladimir Sementsov-Ogievskiy 
2708dc88a467SStefan Hajnoczi     return ret;
27091a8ae822SKevin Wolf }
27101a8ae822SKevin Wolf 
271161007b31SStefan Hajnoczi int bdrv_save_vmstate(BlockDriverState *bs, const uint8_t *buf,
271261007b31SStefan Hajnoczi                       int64_t pos, int size)
271361007b31SStefan Hajnoczi {
27140d93ed08SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buf, size);
2715b33b354fSVladimir Sementsov-Ogievskiy     int ret = bdrv_writev_vmstate(bs, &qiov, pos);
271661007b31SStefan Hajnoczi 
2717b33b354fSVladimir Sementsov-Ogievskiy     return ret < 0 ? ret : size;
271861007b31SStefan Hajnoczi }
271961007b31SStefan Hajnoczi 
272061007b31SStefan Hajnoczi int bdrv_load_vmstate(BlockDriverState *bs, uint8_t *buf,
272161007b31SStefan Hajnoczi                       int64_t pos, int size)
272261007b31SStefan Hajnoczi {
27230d93ed08SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buf, size);
2724b33b354fSVladimir Sementsov-Ogievskiy     int ret = bdrv_readv_vmstate(bs, &qiov, pos);
27255ddda0b8SKevin Wolf 
2726b33b354fSVladimir Sementsov-Ogievskiy     return ret < 0 ? ret : size;
272761007b31SStefan Hajnoczi }
272861007b31SStefan Hajnoczi 
272961007b31SStefan Hajnoczi /**************************************************************/
273061007b31SStefan Hajnoczi /* async I/Os */
273161007b31SStefan Hajnoczi 
273261007b31SStefan Hajnoczi void bdrv_aio_cancel(BlockAIOCB *acb)
273361007b31SStefan Hajnoczi {
273461007b31SStefan Hajnoczi     qemu_aio_ref(acb);
273561007b31SStefan Hajnoczi     bdrv_aio_cancel_async(acb);
273661007b31SStefan Hajnoczi     while (acb->refcnt > 1) {
273761007b31SStefan Hajnoczi         if (acb->aiocb_info->get_aio_context) {
273861007b31SStefan Hajnoczi             aio_poll(acb->aiocb_info->get_aio_context(acb), true);
273961007b31SStefan Hajnoczi         } else if (acb->bs) {
27402f47da5fSPaolo Bonzini             /* qemu_aio_ref and qemu_aio_unref are not thread-safe, so
27412f47da5fSPaolo Bonzini              * assert that we're not using an I/O thread.  Thread-safe
27422f47da5fSPaolo Bonzini              * code should use bdrv_aio_cancel_async exclusively.
27432f47da5fSPaolo Bonzini              */
27442f47da5fSPaolo Bonzini             assert(bdrv_get_aio_context(acb->bs) == qemu_get_aio_context());
274561007b31SStefan Hajnoczi             aio_poll(bdrv_get_aio_context(acb->bs), true);
274661007b31SStefan Hajnoczi         } else {
274761007b31SStefan Hajnoczi             abort();
274861007b31SStefan Hajnoczi         }
274961007b31SStefan Hajnoczi     }
275061007b31SStefan Hajnoczi     qemu_aio_unref(acb);
275161007b31SStefan Hajnoczi }
275261007b31SStefan Hajnoczi 
275361007b31SStefan Hajnoczi /* Async version of aio cancel. The caller is not blocked if the acb implements
275461007b31SStefan Hajnoczi  * cancel_async, otherwise we do nothing and let the request normally complete.
275561007b31SStefan Hajnoczi  * In either case the completion callback must be called. */
275661007b31SStefan Hajnoczi void bdrv_aio_cancel_async(BlockAIOCB *acb)
275761007b31SStefan Hajnoczi {
275861007b31SStefan Hajnoczi     if (acb->aiocb_info->cancel_async) {
275961007b31SStefan Hajnoczi         acb->aiocb_info->cancel_async(acb);
276061007b31SStefan Hajnoczi     }
276161007b31SStefan Hajnoczi }
276261007b31SStefan Hajnoczi 
276361007b31SStefan Hajnoczi /**************************************************************/
276461007b31SStefan Hajnoczi /* Coroutine block device emulation */
276561007b31SStefan Hajnoczi 
276661007b31SStefan Hajnoczi int coroutine_fn bdrv_co_flush(BlockDriverState *bs)
276761007b31SStefan Hajnoczi {
2768883833e2SMax Reitz     BdrvChild *primary_child = bdrv_primary_child(bs);
2769883833e2SMax Reitz     BdrvChild *child;
277049ca6259SFam Zheng     int current_gen;
277149ca6259SFam Zheng     int ret = 0;
277261007b31SStefan Hajnoczi 
277399723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
2774c32b82afSPavel Dovgalyuk 
2775e914404eSFam Zheng     if (!bdrv_is_inserted(bs) || bdrv_is_read_only(bs) ||
277649ca6259SFam Zheng         bdrv_is_sg(bs)) {
277749ca6259SFam Zheng         goto early_exit;
277849ca6259SFam Zheng     }
277949ca6259SFam Zheng 
27803783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&bs->reqs_lock);
2781d73415a3SStefan Hajnoczi     current_gen = qatomic_read(&bs->write_gen);
27823ff2f67aSEvgeny Yakovlev 
27833ff2f67aSEvgeny Yakovlev     /* Wait until any previous flushes are completed */
278499723548SPaolo Bonzini     while (bs->active_flush_req) {
27853783fa3dSPaolo Bonzini         qemu_co_queue_wait(&bs->flush_queue, &bs->reqs_lock);
27863ff2f67aSEvgeny Yakovlev     }
27873ff2f67aSEvgeny Yakovlev 
27883783fa3dSPaolo Bonzini     /* Flushes reach this point in nondecreasing current_gen order.  */
278999723548SPaolo Bonzini     bs->active_flush_req = true;
27903783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&bs->reqs_lock);
27913ff2f67aSEvgeny Yakovlev 
2792c32b82afSPavel Dovgalyuk     /* Write back all layers by calling one driver function */
2793c32b82afSPavel Dovgalyuk     if (bs->drv->bdrv_co_flush) {
2794c32b82afSPavel Dovgalyuk         ret = bs->drv->bdrv_co_flush(bs);
2795c32b82afSPavel Dovgalyuk         goto out;
2796c32b82afSPavel Dovgalyuk     }
2797c32b82afSPavel Dovgalyuk 
279861007b31SStefan Hajnoczi     /* Write back cached data to the OS even with cache=unsafe */
2799883833e2SMax Reitz     BLKDBG_EVENT(primary_child, BLKDBG_FLUSH_TO_OS);
280061007b31SStefan Hajnoczi     if (bs->drv->bdrv_co_flush_to_os) {
280161007b31SStefan Hajnoczi         ret = bs->drv->bdrv_co_flush_to_os(bs);
280261007b31SStefan Hajnoczi         if (ret < 0) {
2803cdb5e315SFam Zheng             goto out;
280461007b31SStefan Hajnoczi         }
280561007b31SStefan Hajnoczi     }
280661007b31SStefan Hajnoczi 
280761007b31SStefan Hajnoczi     /* But don't actually force it to the disk with cache=unsafe */
280861007b31SStefan Hajnoczi     if (bs->open_flags & BDRV_O_NO_FLUSH) {
2809883833e2SMax Reitz         goto flush_children;
281061007b31SStefan Hajnoczi     }
281161007b31SStefan Hajnoczi 
28123ff2f67aSEvgeny Yakovlev     /* Check if we really need to flush anything */
28133ff2f67aSEvgeny Yakovlev     if (bs->flushed_gen == current_gen) {
2814883833e2SMax Reitz         goto flush_children;
28153ff2f67aSEvgeny Yakovlev     }
28163ff2f67aSEvgeny Yakovlev 
2817883833e2SMax Reitz     BLKDBG_EVENT(primary_child, BLKDBG_FLUSH_TO_DISK);
2818d470ad42SMax Reitz     if (!bs->drv) {
2819d470ad42SMax Reitz         /* bs->drv->bdrv_co_flush() might have ejected the BDS
2820d470ad42SMax Reitz          * (even in case of apparent success) */
2821d470ad42SMax Reitz         ret = -ENOMEDIUM;
2822d470ad42SMax Reitz         goto out;
2823d470ad42SMax Reitz     }
282461007b31SStefan Hajnoczi     if (bs->drv->bdrv_co_flush_to_disk) {
282561007b31SStefan Hajnoczi         ret = bs->drv->bdrv_co_flush_to_disk(bs);
282661007b31SStefan Hajnoczi     } else if (bs->drv->bdrv_aio_flush) {
282761007b31SStefan Hajnoczi         BlockAIOCB *acb;
282861007b31SStefan Hajnoczi         CoroutineIOCompletion co = {
282961007b31SStefan Hajnoczi             .coroutine = qemu_coroutine_self(),
283061007b31SStefan Hajnoczi         };
283161007b31SStefan Hajnoczi 
283261007b31SStefan Hajnoczi         acb = bs->drv->bdrv_aio_flush(bs, bdrv_co_io_em_complete, &co);
283361007b31SStefan Hajnoczi         if (acb == NULL) {
283461007b31SStefan Hajnoczi             ret = -EIO;
283561007b31SStefan Hajnoczi         } else {
283661007b31SStefan Hajnoczi             qemu_coroutine_yield();
283761007b31SStefan Hajnoczi             ret = co.ret;
283861007b31SStefan Hajnoczi         }
283961007b31SStefan Hajnoczi     } else {
284061007b31SStefan Hajnoczi         /*
284161007b31SStefan Hajnoczi          * Some block drivers always operate in either writethrough or unsafe
284261007b31SStefan Hajnoczi          * mode and don't support bdrv_flush therefore. Usually qemu doesn't
284361007b31SStefan Hajnoczi          * know how the server works (because the behaviour is hardcoded or
284461007b31SStefan Hajnoczi          * depends on server-side configuration), so we can't ensure that
284561007b31SStefan Hajnoczi          * everything is safe on disk. Returning an error doesn't work because
284661007b31SStefan Hajnoczi          * that would break guests even if the server operates in writethrough
284761007b31SStefan Hajnoczi          * mode.
284861007b31SStefan Hajnoczi          *
284961007b31SStefan Hajnoczi          * Let's hope the user knows what he's doing.
285061007b31SStefan Hajnoczi          */
285161007b31SStefan Hajnoczi         ret = 0;
285261007b31SStefan Hajnoczi     }
28533ff2f67aSEvgeny Yakovlev 
285461007b31SStefan Hajnoczi     if (ret < 0) {
2855cdb5e315SFam Zheng         goto out;
285661007b31SStefan Hajnoczi     }
285761007b31SStefan Hajnoczi 
285861007b31SStefan Hajnoczi     /* Now flush the underlying protocol.  It will also have BDRV_O_NO_FLUSH
285961007b31SStefan Hajnoczi      * in the case of cache=unsafe, so there are no useless flushes.
286061007b31SStefan Hajnoczi      */
2861883833e2SMax Reitz flush_children:
2862883833e2SMax Reitz     ret = 0;
2863883833e2SMax Reitz     QLIST_FOREACH(child, &bs->children, next) {
2864883833e2SMax Reitz         if (child->perm & (BLK_PERM_WRITE | BLK_PERM_WRITE_UNCHANGED)) {
2865883833e2SMax Reitz             int this_child_ret = bdrv_co_flush(child->bs);
2866883833e2SMax Reitz             if (!ret) {
2867883833e2SMax Reitz                 ret = this_child_ret;
2868883833e2SMax Reitz             }
2869883833e2SMax Reitz         }
2870883833e2SMax Reitz     }
2871883833e2SMax Reitz 
2872cdb5e315SFam Zheng out:
28733ff2f67aSEvgeny Yakovlev     /* Notify any pending flushes that we have completed */
2874e6af1e08SKevin Wolf     if (ret == 0) {
28753ff2f67aSEvgeny Yakovlev         bs->flushed_gen = current_gen;
2876e6af1e08SKevin Wolf     }
28773783fa3dSPaolo Bonzini 
28783783fa3dSPaolo Bonzini     qemu_co_mutex_lock(&bs->reqs_lock);
287999723548SPaolo Bonzini     bs->active_flush_req = false;
2880156af3acSDenis V. Lunev     /* Return value is ignored - it's ok if wait queue is empty */
2881156af3acSDenis V. Lunev     qemu_co_queue_next(&bs->flush_queue);
28823783fa3dSPaolo Bonzini     qemu_co_mutex_unlock(&bs->reqs_lock);
28833ff2f67aSEvgeny Yakovlev 
288449ca6259SFam Zheng early_exit:
288599723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
2886cdb5e315SFam Zheng     return ret;
288761007b31SStefan Hajnoczi }
288861007b31SStefan Hajnoczi 
2889d93e5726SVladimir Sementsov-Ogievskiy int coroutine_fn bdrv_co_pdiscard(BdrvChild *child, int64_t offset,
2890d93e5726SVladimir Sementsov-Ogievskiy                                   int64_t bytes)
289161007b31SStefan Hajnoczi {
2892b1066c87SFam Zheng     BdrvTrackedRequest req;
28939f1963b3SEric Blake     int max_pdiscard, ret;
28943482b9bcSEric Blake     int head, tail, align;
28950b9fd3f4SFam Zheng     BlockDriverState *bs = child->bs;
289661007b31SStefan Hajnoczi 
2897d93e5726SVladimir Sementsov-Ogievskiy     if (!bs || !bs->drv || !bdrv_is_inserted(bs)) {
289861007b31SStefan Hajnoczi         return -ENOMEDIUM;
289961007b31SStefan Hajnoczi     }
290061007b31SStefan Hajnoczi 
2901d6883bc9SVladimir Sementsov-Ogievskiy     if (bdrv_has_readonly_bitmaps(bs)) {
2902d6883bc9SVladimir Sementsov-Ogievskiy         return -EPERM;
2903d6883bc9SVladimir Sementsov-Ogievskiy     }
2904d6883bc9SVladimir Sementsov-Ogievskiy 
290569b55e03SVladimir Sementsov-Ogievskiy     ret = bdrv_check_request(offset, bytes, NULL);
29068b117001SVladimir Sementsov-Ogievskiy     if (ret < 0) {
29078b117001SVladimir Sementsov-Ogievskiy         return ret;
290861007b31SStefan Hajnoczi     }
290961007b31SStefan Hajnoczi 
291061007b31SStefan Hajnoczi     /* Do nothing if disabled.  */
291161007b31SStefan Hajnoczi     if (!(bs->open_flags & BDRV_O_UNMAP)) {
291261007b31SStefan Hajnoczi         return 0;
291361007b31SStefan Hajnoczi     }
291461007b31SStefan Hajnoczi 
291502aefe43SEric Blake     if (!bs->drv->bdrv_co_pdiscard && !bs->drv->bdrv_aio_pdiscard) {
291661007b31SStefan Hajnoczi         return 0;
291761007b31SStefan Hajnoczi     }
291861007b31SStefan Hajnoczi 
29193482b9bcSEric Blake     /* Discard is advisory, but some devices track and coalesce
29203482b9bcSEric Blake      * unaligned requests, so we must pass everything down rather than
29213482b9bcSEric Blake      * round here.  Still, most devices will just silently ignore
29223482b9bcSEric Blake      * unaligned requests (by returning -ENOTSUP), so we must fragment
29233482b9bcSEric Blake      * the request accordingly.  */
292402aefe43SEric Blake     align = MAX(bs->bl.pdiscard_alignment, bs->bl.request_alignment);
2925b8d0a980SEric Blake     assert(align % bs->bl.request_alignment == 0);
2926b8d0a980SEric Blake     head = offset % align;
2927f5a5ca79SManos Pitsidianakis     tail = (offset + bytes) % align;
29289f1963b3SEric Blake 
292999723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
2930f5a5ca79SManos Pitsidianakis     tracked_request_begin(&req, bs, offset, bytes, BDRV_TRACKED_DISCARD);
293150824995SFam Zheng 
293200695c27SFam Zheng     ret = bdrv_co_write_req_prepare(child, offset, bytes, &req, 0);
2933ec050f77SDenis V. Lunev     if (ret < 0) {
2934ec050f77SDenis V. Lunev         goto out;
2935ec050f77SDenis V. Lunev     }
2936ec050f77SDenis V. Lunev 
29379f1963b3SEric Blake     max_pdiscard = QEMU_ALIGN_DOWN(MIN_NON_ZERO(bs->bl.max_pdiscard, INT_MAX),
29389f1963b3SEric Blake                                    align);
29393482b9bcSEric Blake     assert(max_pdiscard >= bs->bl.request_alignment);
29409f1963b3SEric Blake 
2941f5a5ca79SManos Pitsidianakis     while (bytes > 0) {
2942d93e5726SVladimir Sementsov-Ogievskiy         int64_t num = bytes;
29433482b9bcSEric Blake 
29443482b9bcSEric Blake         if (head) {
29453482b9bcSEric Blake             /* Make small requests to get to alignment boundaries. */
2946f5a5ca79SManos Pitsidianakis             num = MIN(bytes, align - head);
29473482b9bcSEric Blake             if (!QEMU_IS_ALIGNED(num, bs->bl.request_alignment)) {
29483482b9bcSEric Blake                 num %= bs->bl.request_alignment;
29493482b9bcSEric Blake             }
29503482b9bcSEric Blake             head = (head + num) % align;
29513482b9bcSEric Blake             assert(num < max_pdiscard);
29523482b9bcSEric Blake         } else if (tail) {
29533482b9bcSEric Blake             if (num > align) {
29543482b9bcSEric Blake                 /* Shorten the request to the last aligned cluster.  */
29553482b9bcSEric Blake                 num -= tail;
29563482b9bcSEric Blake             } else if (!QEMU_IS_ALIGNED(tail, bs->bl.request_alignment) &&
29573482b9bcSEric Blake                        tail > bs->bl.request_alignment) {
29583482b9bcSEric Blake                 tail %= bs->bl.request_alignment;
29593482b9bcSEric Blake                 num -= tail;
29603482b9bcSEric Blake             }
29613482b9bcSEric Blake         }
29623482b9bcSEric Blake         /* limit request size */
29633482b9bcSEric Blake         if (num > max_pdiscard) {
29643482b9bcSEric Blake             num = max_pdiscard;
29653482b9bcSEric Blake         }
296661007b31SStefan Hajnoczi 
2967d470ad42SMax Reitz         if (!bs->drv) {
2968d470ad42SMax Reitz             ret = -ENOMEDIUM;
2969d470ad42SMax Reitz             goto out;
2970d470ad42SMax Reitz         }
297147a5486dSEric Blake         if (bs->drv->bdrv_co_pdiscard) {
297247a5486dSEric Blake             ret = bs->drv->bdrv_co_pdiscard(bs, offset, num);
297361007b31SStefan Hajnoczi         } else {
297461007b31SStefan Hajnoczi             BlockAIOCB *acb;
297561007b31SStefan Hajnoczi             CoroutineIOCompletion co = {
297661007b31SStefan Hajnoczi                 .coroutine = qemu_coroutine_self(),
297761007b31SStefan Hajnoczi             };
297861007b31SStefan Hajnoczi 
29794da444a0SEric Blake             acb = bs->drv->bdrv_aio_pdiscard(bs, offset, num,
298061007b31SStefan Hajnoczi                                              bdrv_co_io_em_complete, &co);
298161007b31SStefan Hajnoczi             if (acb == NULL) {
2982b1066c87SFam Zheng                 ret = -EIO;
2983b1066c87SFam Zheng                 goto out;
298461007b31SStefan Hajnoczi             } else {
298561007b31SStefan Hajnoczi                 qemu_coroutine_yield();
298661007b31SStefan Hajnoczi                 ret = co.ret;
298761007b31SStefan Hajnoczi             }
298861007b31SStefan Hajnoczi         }
298961007b31SStefan Hajnoczi         if (ret && ret != -ENOTSUP) {
2990b1066c87SFam Zheng             goto out;
299161007b31SStefan Hajnoczi         }
299261007b31SStefan Hajnoczi 
29939f1963b3SEric Blake         offset += num;
2994f5a5ca79SManos Pitsidianakis         bytes -= num;
299561007b31SStefan Hajnoczi     }
2996b1066c87SFam Zheng     ret = 0;
2997b1066c87SFam Zheng out:
299800695c27SFam Zheng     bdrv_co_write_req_finish(child, req.offset, req.bytes, &req, ret);
2999b1066c87SFam Zheng     tracked_request_end(&req);
300099723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
3001b1066c87SFam Zheng     return ret;
300261007b31SStefan Hajnoczi }
300361007b31SStefan Hajnoczi 
300448af776aSKevin Wolf int bdrv_co_ioctl(BlockDriverState *bs, int req, void *buf)
300561007b31SStefan Hajnoczi {
300661007b31SStefan Hajnoczi     BlockDriver *drv = bs->drv;
30075c5ae76aSFam Zheng     CoroutineIOCompletion co = {
30085c5ae76aSFam Zheng         .coroutine = qemu_coroutine_self(),
30095c5ae76aSFam Zheng     };
30105c5ae76aSFam Zheng     BlockAIOCB *acb;
301161007b31SStefan Hajnoczi 
301299723548SPaolo Bonzini     bdrv_inc_in_flight(bs);
301316a389dcSKevin Wolf     if (!drv || (!drv->bdrv_aio_ioctl && !drv->bdrv_co_ioctl)) {
30145c5ae76aSFam Zheng         co.ret = -ENOTSUP;
30155c5ae76aSFam Zheng         goto out;
30165c5ae76aSFam Zheng     }
30175c5ae76aSFam Zheng 
301816a389dcSKevin Wolf     if (drv->bdrv_co_ioctl) {
301916a389dcSKevin Wolf         co.ret = drv->bdrv_co_ioctl(bs, req, buf);
302016a389dcSKevin Wolf     } else {
30215c5ae76aSFam Zheng         acb = drv->bdrv_aio_ioctl(bs, req, buf, bdrv_co_io_em_complete, &co);
30225c5ae76aSFam Zheng         if (!acb) {
3023c8a9fd80SFam Zheng             co.ret = -ENOTSUP;
3024c8a9fd80SFam Zheng             goto out;
30255c5ae76aSFam Zheng         }
30265c5ae76aSFam Zheng         qemu_coroutine_yield();
302716a389dcSKevin Wolf     }
30285c5ae76aSFam Zheng out:
302999723548SPaolo Bonzini     bdrv_dec_in_flight(bs);
30305c5ae76aSFam Zheng     return co.ret;
30315c5ae76aSFam Zheng }
30325c5ae76aSFam Zheng 
303361007b31SStefan Hajnoczi void *qemu_blockalign(BlockDriverState *bs, size_t size)
303461007b31SStefan Hajnoczi {
303561007b31SStefan Hajnoczi     return qemu_memalign(bdrv_opt_mem_align(bs), size);
303661007b31SStefan Hajnoczi }
303761007b31SStefan Hajnoczi 
303861007b31SStefan Hajnoczi void *qemu_blockalign0(BlockDriverState *bs, size_t size)
303961007b31SStefan Hajnoczi {
304061007b31SStefan Hajnoczi     return memset(qemu_blockalign(bs, size), 0, size);
304161007b31SStefan Hajnoczi }
304261007b31SStefan Hajnoczi 
304361007b31SStefan Hajnoczi void *qemu_try_blockalign(BlockDriverState *bs, size_t size)
304461007b31SStefan Hajnoczi {
304561007b31SStefan Hajnoczi     size_t align = bdrv_opt_mem_align(bs);
304661007b31SStefan Hajnoczi 
304761007b31SStefan Hajnoczi     /* Ensure that NULL is never returned on success */
304861007b31SStefan Hajnoczi     assert(align > 0);
304961007b31SStefan Hajnoczi     if (size == 0) {
305061007b31SStefan Hajnoczi         size = align;
305161007b31SStefan Hajnoczi     }
305261007b31SStefan Hajnoczi 
305361007b31SStefan Hajnoczi     return qemu_try_memalign(align, size);
305461007b31SStefan Hajnoczi }
305561007b31SStefan Hajnoczi 
305661007b31SStefan Hajnoczi void *qemu_try_blockalign0(BlockDriverState *bs, size_t size)
305761007b31SStefan Hajnoczi {
305861007b31SStefan Hajnoczi     void *mem = qemu_try_blockalign(bs, size);
305961007b31SStefan Hajnoczi 
306061007b31SStefan Hajnoczi     if (mem) {
306161007b31SStefan Hajnoczi         memset(mem, 0, size);
306261007b31SStefan Hajnoczi     }
306361007b31SStefan Hajnoczi 
306461007b31SStefan Hajnoczi     return mem;
306561007b31SStefan Hajnoczi }
306661007b31SStefan Hajnoczi 
306761007b31SStefan Hajnoczi /*
306861007b31SStefan Hajnoczi  * Check if all memory in this vector is sector aligned.
306961007b31SStefan Hajnoczi  */
307061007b31SStefan Hajnoczi bool bdrv_qiov_is_aligned(BlockDriverState *bs, QEMUIOVector *qiov)
307161007b31SStefan Hajnoczi {
307261007b31SStefan Hajnoczi     int i;
30734196d2f0SDenis V. Lunev     size_t alignment = bdrv_min_mem_align(bs);
307461007b31SStefan Hajnoczi 
307561007b31SStefan Hajnoczi     for (i = 0; i < qiov->niov; i++) {
307661007b31SStefan Hajnoczi         if ((uintptr_t) qiov->iov[i].iov_base % alignment) {
307761007b31SStefan Hajnoczi             return false;
307861007b31SStefan Hajnoczi         }
307961007b31SStefan Hajnoczi         if (qiov->iov[i].iov_len % alignment) {
308061007b31SStefan Hajnoczi             return false;
308161007b31SStefan Hajnoczi         }
308261007b31SStefan Hajnoczi     }
308361007b31SStefan Hajnoczi 
308461007b31SStefan Hajnoczi     return true;
308561007b31SStefan Hajnoczi }
308661007b31SStefan Hajnoczi 
308761007b31SStefan Hajnoczi void bdrv_add_before_write_notifier(BlockDriverState *bs,
308861007b31SStefan Hajnoczi                                     NotifierWithReturn *notifier)
308961007b31SStefan Hajnoczi {
309061007b31SStefan Hajnoczi     notifier_with_return_list_add(&bs->before_write_notifiers, notifier);
309161007b31SStefan Hajnoczi }
309261007b31SStefan Hajnoczi 
309361007b31SStefan Hajnoczi void bdrv_io_plug(BlockDriverState *bs)
309461007b31SStefan Hajnoczi {
30956b98bd64SPaolo Bonzini     BdrvChild *child;
30966b98bd64SPaolo Bonzini 
30976b98bd64SPaolo Bonzini     QLIST_FOREACH(child, &bs->children, next) {
30986b98bd64SPaolo Bonzini         bdrv_io_plug(child->bs);
30996b98bd64SPaolo Bonzini     }
31006b98bd64SPaolo Bonzini 
3101d73415a3SStefan Hajnoczi     if (qatomic_fetch_inc(&bs->io_plugged) == 0) {
310261007b31SStefan Hajnoczi         BlockDriver *drv = bs->drv;
310361007b31SStefan Hajnoczi         if (drv && drv->bdrv_io_plug) {
310461007b31SStefan Hajnoczi             drv->bdrv_io_plug(bs);
31056b98bd64SPaolo Bonzini         }
310661007b31SStefan Hajnoczi     }
310761007b31SStefan Hajnoczi }
310861007b31SStefan Hajnoczi 
310961007b31SStefan Hajnoczi void bdrv_io_unplug(BlockDriverState *bs)
311061007b31SStefan Hajnoczi {
31116b98bd64SPaolo Bonzini     BdrvChild *child;
31126b98bd64SPaolo Bonzini 
31136b98bd64SPaolo Bonzini     assert(bs->io_plugged);
3114d73415a3SStefan Hajnoczi     if (qatomic_fetch_dec(&bs->io_plugged) == 1) {
311561007b31SStefan Hajnoczi         BlockDriver *drv = bs->drv;
311661007b31SStefan Hajnoczi         if (drv && drv->bdrv_io_unplug) {
311761007b31SStefan Hajnoczi             drv->bdrv_io_unplug(bs);
311861007b31SStefan Hajnoczi         }
311961007b31SStefan Hajnoczi     }
312061007b31SStefan Hajnoczi 
31216b98bd64SPaolo Bonzini     QLIST_FOREACH(child, &bs->children, next) {
31226b98bd64SPaolo Bonzini         bdrv_io_unplug(child->bs);
31236b98bd64SPaolo Bonzini     }
31246b98bd64SPaolo Bonzini }
312523d0ba93SFam Zheng 
312623d0ba93SFam Zheng void bdrv_register_buf(BlockDriverState *bs, void *host, size_t size)
312723d0ba93SFam Zheng {
312823d0ba93SFam Zheng     BdrvChild *child;
312923d0ba93SFam Zheng 
313023d0ba93SFam Zheng     if (bs->drv && bs->drv->bdrv_register_buf) {
313123d0ba93SFam Zheng         bs->drv->bdrv_register_buf(bs, host, size);
313223d0ba93SFam Zheng     }
313323d0ba93SFam Zheng     QLIST_FOREACH(child, &bs->children, next) {
313423d0ba93SFam Zheng         bdrv_register_buf(child->bs, host, size);
313523d0ba93SFam Zheng     }
313623d0ba93SFam Zheng }
313723d0ba93SFam Zheng 
313823d0ba93SFam Zheng void bdrv_unregister_buf(BlockDriverState *bs, void *host)
313923d0ba93SFam Zheng {
314023d0ba93SFam Zheng     BdrvChild *child;
314123d0ba93SFam Zheng 
314223d0ba93SFam Zheng     if (bs->drv && bs->drv->bdrv_unregister_buf) {
314323d0ba93SFam Zheng         bs->drv->bdrv_unregister_buf(bs, host);
314423d0ba93SFam Zheng     }
314523d0ba93SFam Zheng     QLIST_FOREACH(child, &bs->children, next) {
314623d0ba93SFam Zheng         bdrv_unregister_buf(child->bs, host);
314723d0ba93SFam Zheng     }
314823d0ba93SFam Zheng }
3149fcc67678SFam Zheng 
315067b51fb9SVladimir Sementsov-Ogievskiy static int coroutine_fn bdrv_co_copy_range_internal(
315167b51fb9SVladimir Sementsov-Ogievskiy         BdrvChild *src, uint64_t src_offset, BdrvChild *dst,
315267b51fb9SVladimir Sementsov-Ogievskiy         uint64_t dst_offset, uint64_t bytes,
315367b51fb9SVladimir Sementsov-Ogievskiy         BdrvRequestFlags read_flags, BdrvRequestFlags write_flags,
3154fcc67678SFam Zheng         bool recurse_src)
3155fcc67678SFam Zheng {
3156999658a0SVladimir Sementsov-Ogievskiy     BdrvTrackedRequest req;
3157fcc67678SFam Zheng     int ret;
3158fcc67678SFam Zheng 
3159fe0480d6SKevin Wolf     /* TODO We can support BDRV_REQ_NO_FALLBACK here */
3160fe0480d6SKevin Wolf     assert(!(read_flags & BDRV_REQ_NO_FALLBACK));
3161fe0480d6SKevin Wolf     assert(!(write_flags & BDRV_REQ_NO_FALLBACK));
3162fe0480d6SKevin Wolf 
3163f4dad307SVladimir Sementsov-Ogievskiy     if (!dst || !dst->bs || !bdrv_is_inserted(dst->bs)) {
3164fcc67678SFam Zheng         return -ENOMEDIUM;
3165fcc67678SFam Zheng     }
31668b117001SVladimir Sementsov-Ogievskiy     ret = bdrv_check_request32(dst_offset, bytes);
3167fcc67678SFam Zheng     if (ret) {
3168fcc67678SFam Zheng         return ret;
3169fcc67678SFam Zheng     }
317067b51fb9SVladimir Sementsov-Ogievskiy     if (write_flags & BDRV_REQ_ZERO_WRITE) {
317167b51fb9SVladimir Sementsov-Ogievskiy         return bdrv_co_pwrite_zeroes(dst, dst_offset, bytes, write_flags);
3172fcc67678SFam Zheng     }
3173fcc67678SFam Zheng 
3174f4dad307SVladimir Sementsov-Ogievskiy     if (!src || !src->bs || !bdrv_is_inserted(src->bs)) {
3175d4d3e5a0SFam Zheng         return -ENOMEDIUM;
3176d4d3e5a0SFam Zheng     }
31778b117001SVladimir Sementsov-Ogievskiy     ret = bdrv_check_request32(src_offset, bytes);
3178d4d3e5a0SFam Zheng     if (ret) {
3179d4d3e5a0SFam Zheng         return ret;
3180d4d3e5a0SFam Zheng     }
3181d4d3e5a0SFam Zheng 
3182fcc67678SFam Zheng     if (!src->bs->drv->bdrv_co_copy_range_from
3183fcc67678SFam Zheng         || !dst->bs->drv->bdrv_co_copy_range_to
3184fcc67678SFam Zheng         || src->bs->encrypted || dst->bs->encrypted) {
3185fcc67678SFam Zheng         return -ENOTSUP;
3186fcc67678SFam Zheng     }
3187999658a0SVladimir Sementsov-Ogievskiy 
3188999658a0SVladimir Sementsov-Ogievskiy     if (recurse_src) {
3189d4d3e5a0SFam Zheng         bdrv_inc_in_flight(src->bs);
3190999658a0SVladimir Sementsov-Ogievskiy         tracked_request_begin(&req, src->bs, src_offset, bytes,
3191999658a0SVladimir Sementsov-Ogievskiy                               BDRV_TRACKED_READ);
319237aec7d7SFam Zheng 
319309d2f948SVladimir Sementsov-Ogievskiy         /* BDRV_REQ_SERIALISING is only for write operation */
319409d2f948SVladimir Sementsov-Ogievskiy         assert(!(read_flags & BDRV_REQ_SERIALISING));
3195304d9d7fSMax Reitz         bdrv_wait_serialising_requests(&req);
3196999658a0SVladimir Sementsov-Ogievskiy 
319737aec7d7SFam Zheng         ret = src->bs->drv->bdrv_co_copy_range_from(src->bs,
3198fcc67678SFam Zheng                                                     src, src_offset,
3199fcc67678SFam Zheng                                                     dst, dst_offset,
320067b51fb9SVladimir Sementsov-Ogievskiy                                                     bytes,
320167b51fb9SVladimir Sementsov-Ogievskiy                                                     read_flags, write_flags);
3202999658a0SVladimir Sementsov-Ogievskiy 
3203999658a0SVladimir Sementsov-Ogievskiy         tracked_request_end(&req);
3204999658a0SVladimir Sementsov-Ogievskiy         bdrv_dec_in_flight(src->bs);
3205fcc67678SFam Zheng     } else {
3206999658a0SVladimir Sementsov-Ogievskiy         bdrv_inc_in_flight(dst->bs);
3207999658a0SVladimir Sementsov-Ogievskiy         tracked_request_begin(&req, dst->bs, dst_offset, bytes,
3208999658a0SVladimir Sementsov-Ogievskiy                               BDRV_TRACKED_WRITE);
32090eb1e891SFam Zheng         ret = bdrv_co_write_req_prepare(dst, dst_offset, bytes, &req,
32100eb1e891SFam Zheng                                         write_flags);
32110eb1e891SFam Zheng         if (!ret) {
321237aec7d7SFam Zheng             ret = dst->bs->drv->bdrv_co_copy_range_to(dst->bs,
3213fcc67678SFam Zheng                                                       src, src_offset,
3214fcc67678SFam Zheng                                                       dst, dst_offset,
321567b51fb9SVladimir Sementsov-Ogievskiy                                                       bytes,
321667b51fb9SVladimir Sementsov-Ogievskiy                                                       read_flags, write_flags);
32170eb1e891SFam Zheng         }
32180eb1e891SFam Zheng         bdrv_co_write_req_finish(dst, dst_offset, bytes, &req, ret);
3219999658a0SVladimir Sementsov-Ogievskiy         tracked_request_end(&req);
3220d4d3e5a0SFam Zheng         bdrv_dec_in_flight(dst->bs);
3221999658a0SVladimir Sementsov-Ogievskiy     }
3222999658a0SVladimir Sementsov-Ogievskiy 
322337aec7d7SFam Zheng     return ret;
3224fcc67678SFam Zheng }
3225fcc67678SFam Zheng 
3226fcc67678SFam Zheng /* Copy range from @src to @dst.
3227fcc67678SFam Zheng  *
3228fcc67678SFam Zheng  * See the comment of bdrv_co_copy_range for the parameter and return value
3229fcc67678SFam Zheng  * semantics. */
3230fcc67678SFam Zheng int coroutine_fn bdrv_co_copy_range_from(BdrvChild *src, uint64_t src_offset,
3231fcc67678SFam Zheng                                          BdrvChild *dst, uint64_t dst_offset,
323267b51fb9SVladimir Sementsov-Ogievskiy                                          uint64_t bytes,
323367b51fb9SVladimir Sementsov-Ogievskiy                                          BdrvRequestFlags read_flags,
323467b51fb9SVladimir Sementsov-Ogievskiy                                          BdrvRequestFlags write_flags)
3235fcc67678SFam Zheng {
3236ecc983a5SFam Zheng     trace_bdrv_co_copy_range_from(src, src_offset, dst, dst_offset, bytes,
3237ecc983a5SFam Zheng                                   read_flags, write_flags);
3238fcc67678SFam Zheng     return bdrv_co_copy_range_internal(src, src_offset, dst, dst_offset,
323967b51fb9SVladimir Sementsov-Ogievskiy                                        bytes, read_flags, write_flags, true);
3240fcc67678SFam Zheng }
3241fcc67678SFam Zheng 
3242fcc67678SFam Zheng /* Copy range from @src to @dst.
3243fcc67678SFam Zheng  *
3244fcc67678SFam Zheng  * See the comment of bdrv_co_copy_range for the parameter and return value
3245fcc67678SFam Zheng  * semantics. */
3246fcc67678SFam Zheng int coroutine_fn bdrv_co_copy_range_to(BdrvChild *src, uint64_t src_offset,
3247fcc67678SFam Zheng                                        BdrvChild *dst, uint64_t dst_offset,
324867b51fb9SVladimir Sementsov-Ogievskiy                                        uint64_t bytes,
324967b51fb9SVladimir Sementsov-Ogievskiy                                        BdrvRequestFlags read_flags,
325067b51fb9SVladimir Sementsov-Ogievskiy                                        BdrvRequestFlags write_flags)
3251fcc67678SFam Zheng {
3252ecc983a5SFam Zheng     trace_bdrv_co_copy_range_to(src, src_offset, dst, dst_offset, bytes,
3253ecc983a5SFam Zheng                                 read_flags, write_flags);
3254fcc67678SFam Zheng     return bdrv_co_copy_range_internal(src, src_offset, dst, dst_offset,
325567b51fb9SVladimir Sementsov-Ogievskiy                                        bytes, read_flags, write_flags, false);
3256fcc67678SFam Zheng }
3257fcc67678SFam Zheng 
3258fcc67678SFam Zheng int coroutine_fn bdrv_co_copy_range(BdrvChild *src, uint64_t src_offset,
3259fcc67678SFam Zheng                                     BdrvChild *dst, uint64_t dst_offset,
326067b51fb9SVladimir Sementsov-Ogievskiy                                     uint64_t bytes, BdrvRequestFlags read_flags,
326167b51fb9SVladimir Sementsov-Ogievskiy                                     BdrvRequestFlags write_flags)
3262fcc67678SFam Zheng {
326337aec7d7SFam Zheng     return bdrv_co_copy_range_from(src, src_offset,
3264fcc67678SFam Zheng                                    dst, dst_offset,
326567b51fb9SVladimir Sementsov-Ogievskiy                                    bytes, read_flags, write_flags);
3266fcc67678SFam Zheng }
32673d9f2d2aSKevin Wolf 
32683d9f2d2aSKevin Wolf static void bdrv_parent_cb_resize(BlockDriverState *bs)
32693d9f2d2aSKevin Wolf {
32703d9f2d2aSKevin Wolf     BdrvChild *c;
32713d9f2d2aSKevin Wolf     QLIST_FOREACH(c, &bs->parents, next_parent) {
3272bd86fb99SMax Reitz         if (c->klass->resize) {
3273bd86fb99SMax Reitz             c->klass->resize(c);
32743d9f2d2aSKevin Wolf         }
32753d9f2d2aSKevin Wolf     }
32763d9f2d2aSKevin Wolf }
32773d9f2d2aSKevin Wolf 
32783d9f2d2aSKevin Wolf /**
32793d9f2d2aSKevin Wolf  * Truncate file to 'offset' bytes (needed only for file protocols)
3280c80d8b06SMax Reitz  *
3281c80d8b06SMax Reitz  * If 'exact' is true, the file must be resized to exactly the given
3282c80d8b06SMax Reitz  * 'offset'.  Otherwise, it is sufficient for the node to be at least
3283c80d8b06SMax Reitz  * 'offset' bytes in length.
32843d9f2d2aSKevin Wolf  */
3285c80d8b06SMax Reitz int coroutine_fn bdrv_co_truncate(BdrvChild *child, int64_t offset, bool exact,
32867b8e4857SKevin Wolf                                   PreallocMode prealloc, BdrvRequestFlags flags,
32877b8e4857SKevin Wolf                                   Error **errp)
32883d9f2d2aSKevin Wolf {
32893d9f2d2aSKevin Wolf     BlockDriverState *bs = child->bs;
329023b93525SMax Reitz     BdrvChild *filtered, *backing;
32913d9f2d2aSKevin Wolf     BlockDriver *drv = bs->drv;
32921bc5f09fSKevin Wolf     BdrvTrackedRequest req;
32931bc5f09fSKevin Wolf     int64_t old_size, new_bytes;
32943d9f2d2aSKevin Wolf     int ret;
32953d9f2d2aSKevin Wolf 
32963d9f2d2aSKevin Wolf 
32973d9f2d2aSKevin Wolf     /* if bs->drv == NULL, bs is closed, so there's nothing to do here */
32983d9f2d2aSKevin Wolf     if (!drv) {
32993d9f2d2aSKevin Wolf         error_setg(errp, "No medium inserted");
33003d9f2d2aSKevin Wolf         return -ENOMEDIUM;
33013d9f2d2aSKevin Wolf     }
33023d9f2d2aSKevin Wolf     if (offset < 0) {
33033d9f2d2aSKevin Wolf         error_setg(errp, "Image size cannot be negative");
33043d9f2d2aSKevin Wolf         return -EINVAL;
33053d9f2d2aSKevin Wolf     }
33063d9f2d2aSKevin Wolf 
330769b55e03SVladimir Sementsov-Ogievskiy     ret = bdrv_check_request(offset, 0, errp);
33088b117001SVladimir Sementsov-Ogievskiy     if (ret < 0) {
33098b117001SVladimir Sementsov-Ogievskiy         return ret;
33108b117001SVladimir Sementsov-Ogievskiy     }
33118b117001SVladimir Sementsov-Ogievskiy 
33121bc5f09fSKevin Wolf     old_size = bdrv_getlength(bs);
33131bc5f09fSKevin Wolf     if (old_size < 0) {
33141bc5f09fSKevin Wolf         error_setg_errno(errp, -old_size, "Failed to get old image size");
33151bc5f09fSKevin Wolf         return old_size;
33161bc5f09fSKevin Wolf     }
33171bc5f09fSKevin Wolf 
33181bc5f09fSKevin Wolf     if (offset > old_size) {
33191bc5f09fSKevin Wolf         new_bytes = offset - old_size;
33201bc5f09fSKevin Wolf     } else {
33211bc5f09fSKevin Wolf         new_bytes = 0;
33221bc5f09fSKevin Wolf     }
33231bc5f09fSKevin Wolf 
33243d9f2d2aSKevin Wolf     bdrv_inc_in_flight(bs);
33255416a11eSFam Zheng     tracked_request_begin(&req, bs, offset - new_bytes, new_bytes,
33265416a11eSFam Zheng                           BDRV_TRACKED_TRUNCATE);
33271bc5f09fSKevin Wolf 
33281bc5f09fSKevin Wolf     /* If we are growing the image and potentially using preallocation for the
33291bc5f09fSKevin Wolf      * new area, we need to make sure that no write requests are made to it
33301bc5f09fSKevin Wolf      * concurrently or they might be overwritten by preallocation. */
33311bc5f09fSKevin Wolf     if (new_bytes) {
33328ac5aab2SVladimir Sementsov-Ogievskiy         bdrv_make_request_serialising(&req, 1);
3333cd47d792SFam Zheng     }
3334cd47d792SFam Zheng     if (bs->read_only) {
3335cd47d792SFam Zheng         error_setg(errp, "Image is read-only");
3336cd47d792SFam Zheng         ret = -EACCES;
3337cd47d792SFam Zheng         goto out;
3338cd47d792SFam Zheng     }
3339cd47d792SFam Zheng     ret = bdrv_co_write_req_prepare(child, offset - new_bytes, new_bytes, &req,
3340cd47d792SFam Zheng                                     0);
3341cd47d792SFam Zheng     if (ret < 0) {
3342cd47d792SFam Zheng         error_setg_errno(errp, -ret,
3343cd47d792SFam Zheng                          "Failed to prepare request for truncation");
3344cd47d792SFam Zheng         goto out;
33451bc5f09fSKevin Wolf     }
33463d9f2d2aSKevin Wolf 
334793393e69SMax Reitz     filtered = bdrv_filter_child(bs);
334823b93525SMax Reitz     backing = bdrv_cow_child(bs);
334993393e69SMax Reitz 
3350955c7d66SKevin Wolf     /*
3351955c7d66SKevin Wolf      * If the image has a backing file that is large enough that it would
3352955c7d66SKevin Wolf      * provide data for the new area, we cannot leave it unallocated because
3353955c7d66SKevin Wolf      * then the backing file content would become visible. Instead, zero-fill
3354955c7d66SKevin Wolf      * the new area.
3355955c7d66SKevin Wolf      *
3356955c7d66SKevin Wolf      * Note that if the image has a backing file, but was opened without the
3357955c7d66SKevin Wolf      * backing file, taking care of keeping things consistent with that backing
3358955c7d66SKevin Wolf      * file is the user's responsibility.
3359955c7d66SKevin Wolf      */
336023b93525SMax Reitz     if (new_bytes && backing) {
3361955c7d66SKevin Wolf         int64_t backing_len;
3362955c7d66SKevin Wolf 
336323b93525SMax Reitz         backing_len = bdrv_getlength(backing->bs);
3364955c7d66SKevin Wolf         if (backing_len < 0) {
3365955c7d66SKevin Wolf             ret = backing_len;
3366955c7d66SKevin Wolf             error_setg_errno(errp, -ret, "Could not get backing file size");
3367955c7d66SKevin Wolf             goto out;
3368955c7d66SKevin Wolf         }
3369955c7d66SKevin Wolf 
3370955c7d66SKevin Wolf         if (backing_len > old_size) {
3371955c7d66SKevin Wolf             flags |= BDRV_REQ_ZERO_WRITE;
3372955c7d66SKevin Wolf         }
3373955c7d66SKevin Wolf     }
3374955c7d66SKevin Wolf 
33756b7e8f8bSMax Reitz     if (drv->bdrv_co_truncate) {
337692b92799SKevin Wolf         if (flags & ~bs->supported_truncate_flags) {
337792b92799SKevin Wolf             error_setg(errp, "Block driver does not support requested flags");
337892b92799SKevin Wolf             ret = -ENOTSUP;
337992b92799SKevin Wolf             goto out;
338092b92799SKevin Wolf         }
338192b92799SKevin Wolf         ret = drv->bdrv_co_truncate(bs, offset, exact, prealloc, flags, errp);
338293393e69SMax Reitz     } else if (filtered) {
338393393e69SMax Reitz         ret = bdrv_co_truncate(filtered, offset, exact, prealloc, flags, errp);
33846b7e8f8bSMax Reitz     } else {
33853d9f2d2aSKevin Wolf         error_setg(errp, "Image format driver does not support resize");
33863d9f2d2aSKevin Wolf         ret = -ENOTSUP;
33873d9f2d2aSKevin Wolf         goto out;
33883d9f2d2aSKevin Wolf     }
33893d9f2d2aSKevin Wolf     if (ret < 0) {
33903d9f2d2aSKevin Wolf         goto out;
33913d9f2d2aSKevin Wolf     }
33926b7e8f8bSMax Reitz 
33933d9f2d2aSKevin Wolf     ret = refresh_total_sectors(bs, offset >> BDRV_SECTOR_BITS);
33943d9f2d2aSKevin Wolf     if (ret < 0) {
33953d9f2d2aSKevin Wolf         error_setg_errno(errp, -ret, "Could not refresh total sector count");
33963d9f2d2aSKevin Wolf     } else {
33973d9f2d2aSKevin Wolf         offset = bs->total_sectors * BDRV_SECTOR_SIZE;
33983d9f2d2aSKevin Wolf     }
3399cd47d792SFam Zheng     /* It's possible that truncation succeeded but refresh_total_sectors
3400cd47d792SFam Zheng      * failed, but the latter doesn't affect how we should finish the request.
3401cd47d792SFam Zheng      * Pass 0 as the last parameter so that dirty bitmaps etc. are handled. */
3402cd47d792SFam Zheng     bdrv_co_write_req_finish(child, offset - new_bytes, new_bytes, &req, 0);
34033d9f2d2aSKevin Wolf 
34043d9f2d2aSKevin Wolf out:
34051bc5f09fSKevin Wolf     tracked_request_end(&req);
34063d9f2d2aSKevin Wolf     bdrv_dec_in_flight(bs);
34071bc5f09fSKevin Wolf 
34083d9f2d2aSKevin Wolf     return ret;
34093d9f2d2aSKevin Wolf }
3410