xref: /qemu/tests/unit/test-bdrv-drain.c (revision f3bbc53dc56c5d410f76442da6ad15ec8f9439fc)
1881cfd17SKevin Wolf /*
2881cfd17SKevin Wolf  * Block node draining tests
3881cfd17SKevin Wolf  *
4881cfd17SKevin Wolf  * Copyright (c) 2017 Kevin Wolf <kwolf@redhat.com>
5881cfd17SKevin Wolf  *
6881cfd17SKevin Wolf  * Permission is hereby granted, free of charge, to any person obtaining a copy
7881cfd17SKevin Wolf  * of this software and associated documentation files (the "Software"), to deal
8881cfd17SKevin Wolf  * in the Software without restriction, including without limitation the rights
9881cfd17SKevin Wolf  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10881cfd17SKevin Wolf  * copies of the Software, and to permit persons to whom the Software is
11881cfd17SKevin Wolf  * furnished to do so, subject to the following conditions:
12881cfd17SKevin Wolf  *
13881cfd17SKevin Wolf  * The above copyright notice and this permission notice shall be included in
14881cfd17SKevin Wolf  * all copies or substantial portions of the Software.
15881cfd17SKevin Wolf  *
16881cfd17SKevin Wolf  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17881cfd17SKevin Wolf  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18881cfd17SKevin Wolf  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19881cfd17SKevin Wolf  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20881cfd17SKevin Wolf  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21881cfd17SKevin Wolf  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22881cfd17SKevin Wolf  * THE SOFTWARE.
23881cfd17SKevin Wolf  */
24881cfd17SKevin Wolf 
25881cfd17SKevin Wolf #include "qemu/osdep.h"
26e2c1c34fSMarkus Armbruster #include "block/block_int.h"
277253220dSKevin Wolf #include "block/blockjob_int.h"
28881cfd17SKevin Wolf #include "sysemu/block-backend.h"
29881cfd17SKevin Wolf #include "qapi/error.h"
30db725815SMarkus Armbruster #include "qemu/main-loop.h"
31bb675689SKevin Wolf #include "iothread.h"
32bb675689SKevin Wolf 
33bb675689SKevin Wolf static QemuEvent done_event;
34881cfd17SKevin Wolf 
35881cfd17SKevin Wolf typedef struct BDRVTestState {
36881cfd17SKevin Wolf     int drain_count;
37bb675689SKevin Wolf     AioContext *bh_indirection_ctx;
3857320ca9SKevin Wolf     bool sleep_in_drain_begin;
39881cfd17SKevin Wolf } BDRVTestState;
40881cfd17SKevin Wolf 
417bce1c29SKevin Wolf static void coroutine_fn sleep_in_drain_begin(void *opaque)
427bce1c29SKevin Wolf {
437bce1c29SKevin Wolf     BlockDriverState *bs = opaque;
447bce1c29SKevin Wolf 
457bce1c29SKevin Wolf     qemu_co_sleep_ns(QEMU_CLOCK_REALTIME, 100000);
467bce1c29SKevin Wolf     bdrv_dec_in_flight(bs);
477bce1c29SKevin Wolf }
487bce1c29SKevin Wolf 
495e8ac217SKevin Wolf static void bdrv_test_drain_begin(BlockDriverState *bs)
50881cfd17SKevin Wolf {
51881cfd17SKevin Wolf     BDRVTestState *s = bs->opaque;
52881cfd17SKevin Wolf     s->drain_count++;
5357320ca9SKevin Wolf     if (s->sleep_in_drain_begin) {
547bce1c29SKevin Wolf         Coroutine *co = qemu_coroutine_create(sleep_in_drain_begin, bs);
557bce1c29SKevin Wolf         bdrv_inc_in_flight(bs);
567bce1c29SKevin Wolf         aio_co_enter(bdrv_get_aio_context(bs), co);
5757320ca9SKevin Wolf     }
58881cfd17SKevin Wolf }
59881cfd17SKevin Wolf 
605e8ac217SKevin Wolf static void bdrv_test_drain_end(BlockDriverState *bs)
61881cfd17SKevin Wolf {
62881cfd17SKevin Wolf     BDRVTestState *s = bs->opaque;
63881cfd17SKevin Wolf     s->drain_count--;
64881cfd17SKevin Wolf }
65881cfd17SKevin Wolf 
66881cfd17SKevin Wolf static void bdrv_test_close(BlockDriverState *bs)
67881cfd17SKevin Wolf {
68881cfd17SKevin Wolf     BDRVTestState *s = bs->opaque;
69881cfd17SKevin Wolf     g_assert_cmpint(s->drain_count, >, 0);
70881cfd17SKevin Wolf }
71881cfd17SKevin Wolf 
72bb675689SKevin Wolf static void co_reenter_bh(void *opaque)
73bb675689SKevin Wolf {
74bb675689SKevin Wolf     aio_co_wake(opaque);
75bb675689SKevin Wolf }
76bb675689SKevin Wolf 
77881cfd17SKevin Wolf static int coroutine_fn bdrv_test_co_preadv(BlockDriverState *bs,
78f7ef38ddSVladimir Sementsov-Ogievskiy                                             int64_t offset, int64_t bytes,
79f7ef38ddSVladimir Sementsov-Ogievskiy                                             QEMUIOVector *qiov,
80f7ef38ddSVladimir Sementsov-Ogievskiy                                             BdrvRequestFlags flags)
81881cfd17SKevin Wolf {
82bb675689SKevin Wolf     BDRVTestState *s = bs->opaque;
83bb675689SKevin Wolf 
84881cfd17SKevin Wolf     /* We want this request to stay until the polling loop in drain waits for
85881cfd17SKevin Wolf      * it to complete. We need to sleep a while as bdrv_drain_invoke() comes
86881cfd17SKevin Wolf      * first and polls its result, too, but it shouldn't accidentally complete
87881cfd17SKevin Wolf      * this request yet. */
88881cfd17SKevin Wolf     qemu_co_sleep_ns(QEMU_CLOCK_REALTIME, 100000);
89881cfd17SKevin Wolf 
90bb675689SKevin Wolf     if (s->bh_indirection_ctx) {
91bb675689SKevin Wolf         aio_bh_schedule_oneshot(s->bh_indirection_ctx, co_reenter_bh,
92bb675689SKevin Wolf                                 qemu_coroutine_self());
93bb675689SKevin Wolf         qemu_coroutine_yield();
94bb675689SKevin Wolf     }
95bb675689SKevin Wolf 
96881cfd17SKevin Wolf     return 0;
97881cfd17SKevin Wolf }
98881cfd17SKevin Wolf 
999746b35cSMax Reitz static int bdrv_test_change_backing_file(BlockDriverState *bs,
1009746b35cSMax Reitz                                          const char *backing_file,
1019746b35cSMax Reitz                                          const char *backing_fmt)
1029746b35cSMax Reitz {
1039746b35cSMax Reitz     return 0;
1049746b35cSMax Reitz }
1059746b35cSMax Reitz 
106881cfd17SKevin Wolf static BlockDriver bdrv_test = {
107881cfd17SKevin Wolf     .format_name            = "test",
108881cfd17SKevin Wolf     .instance_size          = sizeof(BDRVTestState),
10925f78d9eSVladimir Sementsov-Ogievskiy     .supports_backing       = true,
110881cfd17SKevin Wolf 
111881cfd17SKevin Wolf     .bdrv_close             = bdrv_test_close,
112881cfd17SKevin Wolf     .bdrv_co_preadv         = bdrv_test_co_preadv,
113881cfd17SKevin Wolf 
1145e8ac217SKevin Wolf     .bdrv_drain_begin       = bdrv_test_drain_begin,
1155e8ac217SKevin Wolf     .bdrv_drain_end         = bdrv_test_drain_end,
11686e1c840SKevin Wolf 
117e5d8a406SMax Reitz     .bdrv_child_perm        = bdrv_default_perms,
1189746b35cSMax Reitz 
1199746b35cSMax Reitz     .bdrv_change_backing_file = bdrv_test_change_backing_file,
120881cfd17SKevin Wolf };
121881cfd17SKevin Wolf 
122881cfd17SKevin Wolf static void aio_ret_cb(void *opaque, int ret)
123881cfd17SKevin Wolf {
124881cfd17SKevin Wolf     int *aio_ret = opaque;
125881cfd17SKevin Wolf     *aio_ret = ret;
126881cfd17SKevin Wolf }
127881cfd17SKevin Wolf 
1280582eb10SKevin Wolf typedef struct CallInCoroutineData {
1290582eb10SKevin Wolf     void (*entry)(void);
1300582eb10SKevin Wolf     bool done;
1310582eb10SKevin Wolf } CallInCoroutineData;
1320582eb10SKevin Wolf 
1330582eb10SKevin Wolf static coroutine_fn void call_in_coroutine_entry(void *opaque)
1340582eb10SKevin Wolf {
1350582eb10SKevin Wolf     CallInCoroutineData *data = opaque;
1360582eb10SKevin Wolf 
1370582eb10SKevin Wolf     data->entry();
1380582eb10SKevin Wolf     data->done = true;
1390582eb10SKevin Wolf }
1400582eb10SKevin Wolf 
1410582eb10SKevin Wolf static void call_in_coroutine(void (*entry)(void))
1420582eb10SKevin Wolf {
1430582eb10SKevin Wolf     Coroutine *co;
1440582eb10SKevin Wolf     CallInCoroutineData data = {
1450582eb10SKevin Wolf         .entry  = entry,
1460582eb10SKevin Wolf         .done   = false,
1470582eb10SKevin Wolf     };
1480582eb10SKevin Wolf 
1490582eb10SKevin Wolf     co = qemu_coroutine_create(call_in_coroutine_entry, &data);
1500582eb10SKevin Wolf     qemu_coroutine_enter(co);
1510582eb10SKevin Wolf     while (!data.done) {
1520582eb10SKevin Wolf         aio_poll(qemu_get_aio_context(), true);
1530582eb10SKevin Wolf     }
1540582eb10SKevin Wolf }
1550582eb10SKevin Wolf 
15686e1c840SKevin Wolf enum drain_type {
15786e1c840SKevin Wolf     BDRV_DRAIN_ALL,
15886e1c840SKevin Wolf     BDRV_DRAIN,
1596c429a6aSKevin Wolf     DRAIN_TYPE_MAX,
16086e1c840SKevin Wolf };
16186e1c840SKevin Wolf 
16286e1c840SKevin Wolf static void do_drain_begin(enum drain_type drain_type, BlockDriverState *bs)
16386e1c840SKevin Wolf {
16486e1c840SKevin Wolf     switch (drain_type) {
16586e1c840SKevin Wolf     case BDRV_DRAIN_ALL:        bdrv_drain_all_begin(); break;
16686e1c840SKevin Wolf     case BDRV_DRAIN:            bdrv_drained_begin(bs); break;
16786e1c840SKevin Wolf     default:                    g_assert_not_reached();
16886e1c840SKevin Wolf     }
16986e1c840SKevin Wolf }
17086e1c840SKevin Wolf 
17186e1c840SKevin Wolf static void do_drain_end(enum drain_type drain_type, BlockDriverState *bs)
17286e1c840SKevin Wolf {
17386e1c840SKevin Wolf     switch (drain_type) {
17486e1c840SKevin Wolf     case BDRV_DRAIN_ALL:        bdrv_drain_all_end(); break;
17586e1c840SKevin Wolf     case BDRV_DRAIN:            bdrv_drained_end(bs); break;
17686e1c840SKevin Wolf     default:                    g_assert_not_reached();
17786e1c840SKevin Wolf     }
17886e1c840SKevin Wolf }
17986e1c840SKevin Wolf 
180f62c1729SKevin Wolf static void do_drain_begin_unlocked(enum drain_type drain_type, BlockDriverState *bs)
181f62c1729SKevin Wolf {
182f62c1729SKevin Wolf     if (drain_type != BDRV_DRAIN_ALL) {
183f62c1729SKevin Wolf         aio_context_acquire(bdrv_get_aio_context(bs));
184f62c1729SKevin Wolf     }
185f62c1729SKevin Wolf     do_drain_begin(drain_type, bs);
186f62c1729SKevin Wolf     if (drain_type != BDRV_DRAIN_ALL) {
187f62c1729SKevin Wolf         aio_context_release(bdrv_get_aio_context(bs));
188f62c1729SKevin Wolf     }
189f62c1729SKevin Wolf }
190f62c1729SKevin Wolf 
19157f3d07bSKevin Wolf static BlockBackend * no_coroutine_fn test_setup(void)
19257f3d07bSKevin Wolf {
19357f3d07bSKevin Wolf     BlockBackend *blk;
19457f3d07bSKevin Wolf     BlockDriverState *bs, *backing;
19557f3d07bSKevin Wolf 
19657f3d07bSKevin Wolf     blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
19757f3d07bSKevin Wolf     bs = bdrv_new_open_driver(&bdrv_test, "test-node", BDRV_O_RDWR,
19857f3d07bSKevin Wolf                               &error_abort);
19957f3d07bSKevin Wolf     blk_insert_bs(blk, bs, &error_abort);
20057f3d07bSKevin Wolf 
20157f3d07bSKevin Wolf     backing = bdrv_new_open_driver(&bdrv_test, "backing", 0, &error_abort);
20257f3d07bSKevin Wolf     bdrv_set_backing_hd(bs, backing, &error_abort);
20357f3d07bSKevin Wolf 
20457f3d07bSKevin Wolf     bdrv_unref(backing);
20557f3d07bSKevin Wolf     bdrv_unref(bs);
20657f3d07bSKevin Wolf 
20757f3d07bSKevin Wolf     return blk;
20857f3d07bSKevin Wolf }
20957f3d07bSKevin Wolf 
210f62c1729SKevin Wolf static void do_drain_end_unlocked(enum drain_type drain_type, BlockDriverState *bs)
211f62c1729SKevin Wolf {
212f62c1729SKevin Wolf     if (drain_type != BDRV_DRAIN_ALL) {
213f62c1729SKevin Wolf         aio_context_acquire(bdrv_get_aio_context(bs));
214f62c1729SKevin Wolf     }
215f62c1729SKevin Wolf     do_drain_end(drain_type, bs);
216f62c1729SKevin Wolf     if (drain_type != BDRV_DRAIN_ALL) {
217f62c1729SKevin Wolf         aio_context_release(bdrv_get_aio_context(bs));
218f62c1729SKevin Wolf     }
219f62c1729SKevin Wolf }
220f62c1729SKevin Wolf 
22157f3d07bSKevin Wolf static void test_drv_cb_common(BlockBackend *blk, enum drain_type drain_type,
22257f3d07bSKevin Wolf                                bool recursive)
223881cfd17SKevin Wolf {
22457f3d07bSKevin Wolf     BlockDriverState *bs = blk_bs(blk);
22557f3d07bSKevin Wolf     BlockDriverState *backing = bs->backing->bs;
22686e1c840SKevin Wolf     BDRVTestState *s, *backing_s;
227881cfd17SKevin Wolf     BlockAIOCB *acb;
228881cfd17SKevin Wolf     int aio_ret;
229881cfd17SKevin Wolf 
230405d8fe0SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, NULL, 0);
231881cfd17SKevin Wolf 
232881cfd17SKevin Wolf     s = bs->opaque;
23386e1c840SKevin Wolf     backing_s = backing->opaque;
23486e1c840SKevin Wolf 
235881cfd17SKevin Wolf     /* Simple bdrv_drain_all_begin/end pair, check that CBs are called */
236881cfd17SKevin Wolf     g_assert_cmpint(s->drain_count, ==, 0);
23786e1c840SKevin Wolf     g_assert_cmpint(backing_s->drain_count, ==, 0);
23886e1c840SKevin Wolf 
23986e1c840SKevin Wolf     do_drain_begin(drain_type, bs);
24086e1c840SKevin Wolf 
241881cfd17SKevin Wolf     g_assert_cmpint(s->drain_count, ==, 1);
24286e1c840SKevin Wolf     g_assert_cmpint(backing_s->drain_count, ==, !!recursive);
24386e1c840SKevin Wolf 
24486e1c840SKevin Wolf     do_drain_end(drain_type, bs);
24586e1c840SKevin Wolf 
246881cfd17SKevin Wolf     g_assert_cmpint(s->drain_count, ==, 0);
24786e1c840SKevin Wolf     g_assert_cmpint(backing_s->drain_count, ==, 0);
248881cfd17SKevin Wolf 
249881cfd17SKevin Wolf     /* Now do the same while a request is pending */
250881cfd17SKevin Wolf     aio_ret = -EINPROGRESS;
251881cfd17SKevin Wolf     acb = blk_aio_preadv(blk, 0, &qiov, 0, aio_ret_cb, &aio_ret);
252881cfd17SKevin Wolf     g_assert(acb != NULL);
253881cfd17SKevin Wolf     g_assert_cmpint(aio_ret, ==, -EINPROGRESS);
254881cfd17SKevin Wolf 
255881cfd17SKevin Wolf     g_assert_cmpint(s->drain_count, ==, 0);
25686e1c840SKevin Wolf     g_assert_cmpint(backing_s->drain_count, ==, 0);
25786e1c840SKevin Wolf 
25886e1c840SKevin Wolf     do_drain_begin(drain_type, bs);
25986e1c840SKevin Wolf 
260881cfd17SKevin Wolf     g_assert_cmpint(aio_ret, ==, 0);
261881cfd17SKevin Wolf     g_assert_cmpint(s->drain_count, ==, 1);
26286e1c840SKevin Wolf     g_assert_cmpint(backing_s->drain_count, ==, !!recursive);
263881cfd17SKevin Wolf 
26486e1c840SKevin Wolf     do_drain_end(drain_type, bs);
26586e1c840SKevin Wolf 
26686e1c840SKevin Wolf     g_assert_cmpint(s->drain_count, ==, 0);
26786e1c840SKevin Wolf     g_assert_cmpint(backing_s->drain_count, ==, 0);
268881cfd17SKevin Wolf }
269881cfd17SKevin Wolf 
27086e1c840SKevin Wolf static void test_drv_cb_drain_all(void)
27186e1c840SKevin Wolf {
27257f3d07bSKevin Wolf     BlockBackend *blk = test_setup();
27357f3d07bSKevin Wolf     test_drv_cb_common(blk, BDRV_DRAIN_ALL, true);
27457f3d07bSKevin Wolf     blk_unref(blk);
27586e1c840SKevin Wolf }
27686e1c840SKevin Wolf 
27786e1c840SKevin Wolf static void test_drv_cb_drain(void)
27886e1c840SKevin Wolf {
27957f3d07bSKevin Wolf     BlockBackend *blk = test_setup();
28057f3d07bSKevin Wolf     test_drv_cb_common(blk, BDRV_DRAIN, false);
28157f3d07bSKevin Wolf     blk_unref(blk);
28257f3d07bSKevin Wolf }
28357f3d07bSKevin Wolf 
28457f3d07bSKevin Wolf static void coroutine_fn test_drv_cb_co_drain_all_entry(void)
28557f3d07bSKevin Wolf {
28657f3d07bSKevin Wolf     BlockBackend *blk = blk_all_next(NULL);
28757f3d07bSKevin Wolf     test_drv_cb_common(blk, BDRV_DRAIN_ALL, true);
28886e1c840SKevin Wolf }
28986e1c840SKevin Wolf 
2906d0252f2SKevin Wolf static void test_drv_cb_co_drain_all(void)
2916d0252f2SKevin Wolf {
29257f3d07bSKevin Wolf     BlockBackend *blk = test_setup();
29357f3d07bSKevin Wolf     call_in_coroutine(test_drv_cb_co_drain_all_entry);
29457f3d07bSKevin Wolf     blk_unref(blk);
29557f3d07bSKevin Wolf }
29657f3d07bSKevin Wolf 
29757f3d07bSKevin Wolf static void coroutine_fn test_drv_cb_co_drain_entry(void)
29857f3d07bSKevin Wolf {
29957f3d07bSKevin Wolf     BlockBackend *blk = blk_all_next(NULL);
30057f3d07bSKevin Wolf     test_drv_cb_common(blk, BDRV_DRAIN, false);
3016d0252f2SKevin Wolf }
3026d0252f2SKevin Wolf 
3030582eb10SKevin Wolf static void test_drv_cb_co_drain(void)
3040582eb10SKevin Wolf {
30557f3d07bSKevin Wolf     BlockBackend *blk = test_setup();
30657f3d07bSKevin Wolf     call_in_coroutine(test_drv_cb_co_drain_entry);
30757f3d07bSKevin Wolf     blk_unref(blk);
3080582eb10SKevin Wolf }
3090582eb10SKevin Wolf 
31057f3d07bSKevin Wolf static void test_quiesce_common(BlockBackend *blk, enum drain_type drain_type,
31157f3d07bSKevin Wolf                                 bool recursive)
31289a6ceabSKevin Wolf {
31357f3d07bSKevin Wolf     BlockDriverState *bs = blk_bs(blk);
31457f3d07bSKevin Wolf     BlockDriverState *backing = bs->backing->bs;
31589a6ceabSKevin Wolf 
31689a6ceabSKevin Wolf     g_assert_cmpint(bs->quiesce_counter, ==, 0);
31789a6ceabSKevin Wolf     g_assert_cmpint(backing->quiesce_counter, ==, 0);
31889a6ceabSKevin Wolf 
31989a6ceabSKevin Wolf     do_drain_begin(drain_type, bs);
32089a6ceabSKevin Wolf 
32157e05be3SKevin Wolf     if (drain_type == BDRV_DRAIN_ALL) {
32257e05be3SKevin Wolf         g_assert_cmpint(bs->quiesce_counter, ==, 2);
32357e05be3SKevin Wolf     } else {
32489a6ceabSKevin Wolf         g_assert_cmpint(bs->quiesce_counter, ==, 1);
32557e05be3SKevin Wolf     }
32689a6ceabSKevin Wolf     g_assert_cmpint(backing->quiesce_counter, ==, !!recursive);
32789a6ceabSKevin Wolf 
32889a6ceabSKevin Wolf     do_drain_end(drain_type, bs);
32989a6ceabSKevin Wolf 
33089a6ceabSKevin Wolf     g_assert_cmpint(bs->quiesce_counter, ==, 0);
33189a6ceabSKevin Wolf     g_assert_cmpint(backing->quiesce_counter, ==, 0);
33289a6ceabSKevin Wolf }
33389a6ceabSKevin Wolf 
33489a6ceabSKevin Wolf static void test_quiesce_drain_all(void)
33589a6ceabSKevin Wolf {
33657f3d07bSKevin Wolf     BlockBackend *blk = test_setup();
33757f3d07bSKevin Wolf     test_quiesce_common(blk, BDRV_DRAIN_ALL, true);
33857f3d07bSKevin Wolf     blk_unref(blk);
33989a6ceabSKevin Wolf }
34089a6ceabSKevin Wolf 
34189a6ceabSKevin Wolf static void test_quiesce_drain(void)
34289a6ceabSKevin Wolf {
34357f3d07bSKevin Wolf     BlockBackend *blk = test_setup();
34457f3d07bSKevin Wolf     test_quiesce_common(blk, BDRV_DRAIN, false);
34557f3d07bSKevin Wolf     blk_unref(blk);
34657f3d07bSKevin Wolf }
34757f3d07bSKevin Wolf 
34857f3d07bSKevin Wolf static void coroutine_fn test_quiesce_co_drain_all_entry(void)
34957f3d07bSKevin Wolf {
35057f3d07bSKevin Wolf     BlockBackend *blk = blk_all_next(NULL);
35157f3d07bSKevin Wolf     test_quiesce_common(blk, BDRV_DRAIN_ALL, true);
35289a6ceabSKevin Wolf }
35389a6ceabSKevin Wolf 
3546d0252f2SKevin Wolf static void test_quiesce_co_drain_all(void)
3556d0252f2SKevin Wolf {
35657f3d07bSKevin Wolf     BlockBackend *blk = test_setup();
35757f3d07bSKevin Wolf     call_in_coroutine(test_quiesce_co_drain_all_entry);
35857f3d07bSKevin Wolf     blk_unref(blk);
35957f3d07bSKevin Wolf }
36057f3d07bSKevin Wolf 
36157f3d07bSKevin Wolf static void coroutine_fn test_quiesce_co_drain_entry(void)
36257f3d07bSKevin Wolf {
36357f3d07bSKevin Wolf     BlockBackend *blk = blk_all_next(NULL);
36457f3d07bSKevin Wolf     test_quiesce_common(blk, BDRV_DRAIN, false);
3656d0252f2SKevin Wolf }
3666d0252f2SKevin Wolf 
3670582eb10SKevin Wolf static void test_quiesce_co_drain(void)
3680582eb10SKevin Wolf {
36957f3d07bSKevin Wolf     BlockBackend *blk = test_setup();
37057f3d07bSKevin Wolf     call_in_coroutine(test_quiesce_co_drain_entry);
37157f3d07bSKevin Wolf     blk_unref(blk);
3720582eb10SKevin Wolf }
3730582eb10SKevin Wolf 
3746c429a6aSKevin Wolf static void test_nested(void)
3756c429a6aSKevin Wolf {
3766c429a6aSKevin Wolf     BlockBackend *blk;
3776c429a6aSKevin Wolf     BlockDriverState *bs, *backing;
3786c429a6aSKevin Wolf     BDRVTestState *s, *backing_s;
3796c429a6aSKevin Wolf     enum drain_type outer, inner;
3806c429a6aSKevin Wolf 
381d861ab3aSKevin Wolf     blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
3826c429a6aSKevin Wolf     bs = bdrv_new_open_driver(&bdrv_test, "test-node", BDRV_O_RDWR,
3836c429a6aSKevin Wolf                               &error_abort);
3846c429a6aSKevin Wolf     s = bs->opaque;
3856c429a6aSKevin Wolf     blk_insert_bs(blk, bs, &error_abort);
3866c429a6aSKevin Wolf 
3876c429a6aSKevin Wolf     backing = bdrv_new_open_driver(&bdrv_test, "backing", 0, &error_abort);
3886c429a6aSKevin Wolf     backing_s = backing->opaque;
3896c429a6aSKevin Wolf     bdrv_set_backing_hd(bs, backing, &error_abort);
3906c429a6aSKevin Wolf 
3916c429a6aSKevin Wolf     for (outer = 0; outer < DRAIN_TYPE_MAX; outer++) {
3926c429a6aSKevin Wolf         for (inner = 0; inner < DRAIN_TYPE_MAX; inner++) {
39357e05be3SKevin Wolf             int backing_quiesce = (outer == BDRV_DRAIN_ALL) +
39457e05be3SKevin Wolf                                   (inner == BDRV_DRAIN_ALL);
3956c429a6aSKevin Wolf 
3966c429a6aSKevin Wolf             g_assert_cmpint(bs->quiesce_counter, ==, 0);
3976c429a6aSKevin Wolf             g_assert_cmpint(backing->quiesce_counter, ==, 0);
3986c429a6aSKevin Wolf             g_assert_cmpint(s->drain_count, ==, 0);
3996c429a6aSKevin Wolf             g_assert_cmpint(backing_s->drain_count, ==, 0);
4006c429a6aSKevin Wolf 
4016c429a6aSKevin Wolf             do_drain_begin(outer, bs);
4026c429a6aSKevin Wolf             do_drain_begin(inner, bs);
4036c429a6aSKevin Wolf 
40457e05be3SKevin Wolf             g_assert_cmpint(bs->quiesce_counter, ==, 2 + !!backing_quiesce);
4056c429a6aSKevin Wolf             g_assert_cmpint(backing->quiesce_counter, ==, backing_quiesce);
40657e05be3SKevin Wolf             g_assert_cmpint(s->drain_count, ==, 1);
40757e05be3SKevin Wolf             g_assert_cmpint(backing_s->drain_count, ==, !!backing_quiesce);
4086c429a6aSKevin Wolf 
4096c429a6aSKevin Wolf             do_drain_end(inner, bs);
4106c429a6aSKevin Wolf             do_drain_end(outer, bs);
4116c429a6aSKevin Wolf 
4126c429a6aSKevin Wolf             g_assert_cmpint(bs->quiesce_counter, ==, 0);
4136c429a6aSKevin Wolf             g_assert_cmpint(backing->quiesce_counter, ==, 0);
4146c429a6aSKevin Wolf             g_assert_cmpint(s->drain_count, ==, 0);
4156c429a6aSKevin Wolf             g_assert_cmpint(backing_s->drain_count, ==, 0);
4166c429a6aSKevin Wolf         }
4176c429a6aSKevin Wolf     }
4186c429a6aSKevin Wolf 
4196c429a6aSKevin Wolf     bdrv_unref(backing);
4206c429a6aSKevin Wolf     bdrv_unref(bs);
4216c429a6aSKevin Wolf     blk_unref(blk);
4226c429a6aSKevin Wolf }
4236c429a6aSKevin Wolf 
42419f7a7e5SKevin Wolf static void test_graph_change_drain_all(void)
42519f7a7e5SKevin Wolf {
42619f7a7e5SKevin Wolf     BlockBackend *blk_a, *blk_b;
42719f7a7e5SKevin Wolf     BlockDriverState *bs_a, *bs_b;
42819f7a7e5SKevin Wolf     BDRVTestState *a_s, *b_s;
42919f7a7e5SKevin Wolf 
43019f7a7e5SKevin Wolf     /* Create node A with a BlockBackend */
431d861ab3aSKevin Wolf     blk_a = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
43219f7a7e5SKevin Wolf     bs_a = bdrv_new_open_driver(&bdrv_test, "test-node-a", BDRV_O_RDWR,
43319f7a7e5SKevin Wolf                                 &error_abort);
43419f7a7e5SKevin Wolf     a_s = bs_a->opaque;
43519f7a7e5SKevin Wolf     blk_insert_bs(blk_a, bs_a, &error_abort);
43619f7a7e5SKevin Wolf 
43719f7a7e5SKevin Wolf     g_assert_cmpint(bs_a->quiesce_counter, ==, 0);
43819f7a7e5SKevin Wolf     g_assert_cmpint(a_s->drain_count, ==, 0);
43919f7a7e5SKevin Wolf 
44019f7a7e5SKevin Wolf     /* Call bdrv_drain_all_begin() */
44119f7a7e5SKevin Wolf     bdrv_drain_all_begin();
44219f7a7e5SKevin Wolf 
44319f7a7e5SKevin Wolf     g_assert_cmpint(bs_a->quiesce_counter, ==, 1);
44419f7a7e5SKevin Wolf     g_assert_cmpint(a_s->drain_count, ==, 1);
44519f7a7e5SKevin Wolf 
44619f7a7e5SKevin Wolf     /* Create node B with a BlockBackend */
447d861ab3aSKevin Wolf     blk_b = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
44819f7a7e5SKevin Wolf     bs_b = bdrv_new_open_driver(&bdrv_test, "test-node-b", BDRV_O_RDWR,
44919f7a7e5SKevin Wolf                                 &error_abort);
45019f7a7e5SKevin Wolf     b_s = bs_b->opaque;
45119f7a7e5SKevin Wolf     blk_insert_bs(blk_b, bs_b, &error_abort);
45219f7a7e5SKevin Wolf 
45319f7a7e5SKevin Wolf     g_assert_cmpint(bs_a->quiesce_counter, ==, 1);
45419f7a7e5SKevin Wolf     g_assert_cmpint(bs_b->quiesce_counter, ==, 1);
45519f7a7e5SKevin Wolf     g_assert_cmpint(a_s->drain_count, ==, 1);
45619f7a7e5SKevin Wolf     g_assert_cmpint(b_s->drain_count, ==, 1);
45719f7a7e5SKevin Wolf 
45819f7a7e5SKevin Wolf     /* Unref and finally delete node A */
45919f7a7e5SKevin Wolf     blk_unref(blk_a);
46019f7a7e5SKevin Wolf 
46119f7a7e5SKevin Wolf     g_assert_cmpint(bs_a->quiesce_counter, ==, 1);
46219f7a7e5SKevin Wolf     g_assert_cmpint(bs_b->quiesce_counter, ==, 1);
46319f7a7e5SKevin Wolf     g_assert_cmpint(a_s->drain_count, ==, 1);
46419f7a7e5SKevin Wolf     g_assert_cmpint(b_s->drain_count, ==, 1);
46519f7a7e5SKevin Wolf 
46619f7a7e5SKevin Wolf     bdrv_unref(bs_a);
46719f7a7e5SKevin Wolf 
46819f7a7e5SKevin Wolf     g_assert_cmpint(bs_b->quiesce_counter, ==, 1);
46919f7a7e5SKevin Wolf     g_assert_cmpint(b_s->drain_count, ==, 1);
47019f7a7e5SKevin Wolf 
47119f7a7e5SKevin Wolf     /* End the drained section */
47219f7a7e5SKevin Wolf     bdrv_drain_all_end();
47319f7a7e5SKevin Wolf 
47419f7a7e5SKevin Wolf     g_assert_cmpint(bs_b->quiesce_counter, ==, 0);
47519f7a7e5SKevin Wolf     g_assert_cmpint(b_s->drain_count, ==, 0);
47619f7a7e5SKevin Wolf 
47719f7a7e5SKevin Wolf     bdrv_unref(bs_b);
47819f7a7e5SKevin Wolf     blk_unref(blk_b);
47919f7a7e5SKevin Wolf }
48019f7a7e5SKevin Wolf 
481bb675689SKevin Wolf struct test_iothread_data {
482bb675689SKevin Wolf     BlockDriverState *bs;
483bb675689SKevin Wolf     enum drain_type drain_type;
484bb675689SKevin Wolf     int *aio_ret;
485ab613350SStefan Hajnoczi     bool co_done;
486bb675689SKevin Wolf };
487bb675689SKevin Wolf 
488ab613350SStefan Hajnoczi static void coroutine_fn test_iothread_drain_co_entry(void *opaque)
489bb675689SKevin Wolf {
490bb675689SKevin Wolf     struct test_iothread_data *data = opaque;
491bb675689SKevin Wolf 
492bb675689SKevin Wolf     do_drain_begin(data->drain_type, data->bs);
493bb675689SKevin Wolf     g_assert_cmpint(*data->aio_ret, ==, 0);
494bb675689SKevin Wolf     do_drain_end(data->drain_type, data->bs);
495bb675689SKevin Wolf 
496ab613350SStefan Hajnoczi     data->co_done = true;
497ab613350SStefan Hajnoczi     aio_wait_kick();
498bb675689SKevin Wolf }
499bb675689SKevin Wolf 
500bb675689SKevin Wolf static void test_iothread_aio_cb(void *opaque, int ret)
501bb675689SKevin Wolf {
502bb675689SKevin Wolf     int *aio_ret = opaque;
503bb675689SKevin Wolf     *aio_ret = ret;
504bb675689SKevin Wolf     qemu_event_set(&done_event);
505bb675689SKevin Wolf }
506bb675689SKevin Wolf 
507ecc1a5c7SKevin Wolf static void test_iothread_main_thread_bh(void *opaque)
508ecc1a5c7SKevin Wolf {
509ecc1a5c7SKevin Wolf     struct test_iothread_data *data = opaque;
510ecc1a5c7SKevin Wolf 
511ecc1a5c7SKevin Wolf     /* Test that the AioContext is not yet locked in a random BH that is
512ecc1a5c7SKevin Wolf      * executed during drain, otherwise this would deadlock. */
513ecc1a5c7SKevin Wolf     aio_context_acquire(bdrv_get_aio_context(data->bs));
514ecc1a5c7SKevin Wolf     bdrv_flush(data->bs);
515c8bf923dSStefan Hajnoczi     bdrv_dec_in_flight(data->bs); /* incremented by test_iothread_common() */
516ecc1a5c7SKevin Wolf     aio_context_release(bdrv_get_aio_context(data->bs));
517ecc1a5c7SKevin Wolf }
518ecc1a5c7SKevin Wolf 
519bb675689SKevin Wolf /*
520bb675689SKevin Wolf  * Starts an AIO request on a BDS that runs in the AioContext of iothread 1.
521bb675689SKevin Wolf  * The request involves a BH on iothread 2 before it can complete.
522bb675689SKevin Wolf  *
523bb675689SKevin Wolf  * @drain_thread = 0 means that do_drain_begin/end are called from the main
524bb675689SKevin Wolf  * thread, @drain_thread = 1 means that they are called from iothread 1. Drain
525bb675689SKevin Wolf  * for this BDS cannot be called from iothread 2 because only the main thread
526bb675689SKevin Wolf  * may do cross-AioContext polling.
527bb675689SKevin Wolf  */
528bb675689SKevin Wolf static void test_iothread_common(enum drain_type drain_type, int drain_thread)
529bb675689SKevin Wolf {
530bb675689SKevin Wolf     BlockBackend *blk;
531bb675689SKevin Wolf     BlockDriverState *bs;
532bb675689SKevin Wolf     BDRVTestState *s;
533bb675689SKevin Wolf     BlockAIOCB *acb;
534ab613350SStefan Hajnoczi     Coroutine *co;
535bb675689SKevin Wolf     int aio_ret;
536bb675689SKevin Wolf     struct test_iothread_data data;
537bb675689SKevin Wolf 
538bb675689SKevin Wolf     IOThread *a = iothread_new();
539bb675689SKevin Wolf     IOThread *b = iothread_new();
540bb675689SKevin Wolf     AioContext *ctx_a = iothread_get_aio_context(a);
541bb675689SKevin Wolf     AioContext *ctx_b = iothread_get_aio_context(b);
542bb675689SKevin Wolf 
543405d8fe0SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, NULL, 0);
544bb675689SKevin Wolf 
545bb675689SKevin Wolf     /* bdrv_drain_all() may only be called from the main loop thread */
546bb675689SKevin Wolf     if (drain_type == BDRV_DRAIN_ALL && drain_thread != 0) {
547bb675689SKevin Wolf         goto out;
548bb675689SKevin Wolf     }
549bb675689SKevin Wolf 
550d861ab3aSKevin Wolf     blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
551bb675689SKevin Wolf     bs = bdrv_new_open_driver(&bdrv_test, "test-node", BDRV_O_RDWR,
552bb675689SKevin Wolf                               &error_abort);
553bb675689SKevin Wolf     s = bs->opaque;
554bb675689SKevin Wolf     blk_insert_bs(blk, bs, &error_abort);
555cf312932SKevin Wolf     blk_set_disable_request_queuing(blk, true);
556bb675689SKevin Wolf 
55797896a48SKevin Wolf     blk_set_aio_context(blk, ctx_a, &error_abort);
558bb675689SKevin Wolf     aio_context_acquire(ctx_a);
559bb675689SKevin Wolf 
560bb675689SKevin Wolf     s->bh_indirection_ctx = ctx_b;
561bb675689SKevin Wolf 
562bb675689SKevin Wolf     aio_ret = -EINPROGRESS;
563dd353157SKevin Wolf     qemu_event_reset(&done_event);
564dd353157SKevin Wolf 
565bb675689SKevin Wolf     if (drain_thread == 0) {
566bb675689SKevin Wolf         acb = blk_aio_preadv(blk, 0, &qiov, 0, test_iothread_aio_cb, &aio_ret);
567bb675689SKevin Wolf     } else {
568bb675689SKevin Wolf         acb = blk_aio_preadv(blk, 0, &qiov, 0, aio_ret_cb, &aio_ret);
569bb675689SKevin Wolf     }
570bb675689SKevin Wolf     g_assert(acb != NULL);
571bb675689SKevin Wolf     g_assert_cmpint(aio_ret, ==, -EINPROGRESS);
572bb675689SKevin Wolf 
573bb675689SKevin Wolf     aio_context_release(ctx_a);
574bb675689SKevin Wolf 
575bb675689SKevin Wolf     data = (struct test_iothread_data) {
576bb675689SKevin Wolf         .bs         = bs,
577bb675689SKevin Wolf         .drain_type = drain_type,
578bb675689SKevin Wolf         .aio_ret    = &aio_ret,
579bb675689SKevin Wolf     };
580bb675689SKevin Wolf 
581bb675689SKevin Wolf     switch (drain_thread) {
582bb675689SKevin Wolf     case 0:
583bb675689SKevin Wolf         if (drain_type != BDRV_DRAIN_ALL) {
584bb675689SKevin Wolf             aio_context_acquire(ctx_a);
585bb675689SKevin Wolf         }
586bb675689SKevin Wolf 
587c8bf923dSStefan Hajnoczi         /*
588c8bf923dSStefan Hajnoczi          * Increment in_flight so that do_drain_begin() waits for
589c8bf923dSStefan Hajnoczi          * test_iothread_main_thread_bh(). This prevents the race between
590c8bf923dSStefan Hajnoczi          * test_iothread_main_thread_bh() in IOThread a and do_drain_begin() in
591c8bf923dSStefan Hajnoczi          * this thread. test_iothread_main_thread_bh() decrements in_flight.
592c8bf923dSStefan Hajnoczi          */
593c8bf923dSStefan Hajnoczi         bdrv_inc_in_flight(bs);
594ecc1a5c7SKevin Wolf         aio_bh_schedule_oneshot(ctx_a, test_iothread_main_thread_bh, &data);
595ecc1a5c7SKevin Wolf 
596bb675689SKevin Wolf         /* The request is running on the IOThread a. Draining its block device
597bb675689SKevin Wolf          * will make sure that it has completed as far as the BDS is concerned,
598bb675689SKevin Wolf          * but the drain in this thread can continue immediately after
599bb675689SKevin Wolf          * bdrv_dec_in_flight() and aio_ret might be assigned only slightly
600bb675689SKevin Wolf          * later. */
601bb675689SKevin Wolf         do_drain_begin(drain_type, bs);
602bb675689SKevin Wolf         g_assert_cmpint(bs->in_flight, ==, 0);
603bb675689SKevin Wolf 
604bb675689SKevin Wolf         if (drain_type != BDRV_DRAIN_ALL) {
605bb675689SKevin Wolf             aio_context_release(ctx_a);
606bb675689SKevin Wolf         }
607bb675689SKevin Wolf         qemu_event_wait(&done_event);
608bb675689SKevin Wolf         if (drain_type != BDRV_DRAIN_ALL) {
609bb675689SKevin Wolf             aio_context_acquire(ctx_a);
610bb675689SKevin Wolf         }
611bb675689SKevin Wolf 
612bb675689SKevin Wolf         g_assert_cmpint(aio_ret, ==, 0);
613bb675689SKevin Wolf         do_drain_end(drain_type, bs);
614bb675689SKevin Wolf 
615bb675689SKevin Wolf         if (drain_type != BDRV_DRAIN_ALL) {
616bb675689SKevin Wolf             aio_context_release(ctx_a);
617bb675689SKevin Wolf         }
618bb675689SKevin Wolf         break;
619bb675689SKevin Wolf     case 1:
620ab613350SStefan Hajnoczi         co = qemu_coroutine_create(test_iothread_drain_co_entry, &data);
621ab613350SStefan Hajnoczi         aio_co_enter(ctx_a, co);
622ab613350SStefan Hajnoczi         AIO_WAIT_WHILE_UNLOCKED(NULL, !data.co_done);
623bb675689SKevin Wolf         break;
624bb675689SKevin Wolf     default:
625bb675689SKevin Wolf         g_assert_not_reached();
626bb675689SKevin Wolf     }
627bb675689SKevin Wolf 
628bb675689SKevin Wolf     aio_context_acquire(ctx_a);
62997896a48SKevin Wolf     blk_set_aio_context(blk, qemu_get_aio_context(), &error_abort);
630bb675689SKevin Wolf     aio_context_release(ctx_a);
631bb675689SKevin Wolf 
632bb675689SKevin Wolf     bdrv_unref(bs);
633bb675689SKevin Wolf     blk_unref(blk);
634bb675689SKevin Wolf 
635bb675689SKevin Wolf out:
636bb675689SKevin Wolf     iothread_join(a);
637bb675689SKevin Wolf     iothread_join(b);
638bb675689SKevin Wolf }
639bb675689SKevin Wolf 
640bb675689SKevin Wolf static void test_iothread_drain_all(void)
641bb675689SKevin Wolf {
642bb675689SKevin Wolf     test_iothread_common(BDRV_DRAIN_ALL, 0);
643bb675689SKevin Wolf     test_iothread_common(BDRV_DRAIN_ALL, 1);
644bb675689SKevin Wolf }
645bb675689SKevin Wolf 
646bb675689SKevin Wolf static void test_iothread_drain(void)
647bb675689SKevin Wolf {
648bb675689SKevin Wolf     test_iothread_common(BDRV_DRAIN, 0);
649bb675689SKevin Wolf     test_iothread_common(BDRV_DRAIN, 1);
650bb675689SKevin Wolf }
651bb675689SKevin Wolf 
6527253220dSKevin Wolf 
6537253220dSKevin Wolf typedef struct TestBlockJob {
6547253220dSKevin Wolf     BlockJob common;
6551b177bbeSVladimir Sementsov-Ogievskiy     BlockDriverState *bs;
656d49725afSKevin Wolf     int run_ret;
657d49725afSKevin Wolf     int prepare_ret;
658d8b3afd5SKevin Wolf     bool running;
6597253220dSKevin Wolf     bool should_complete;
6607253220dSKevin Wolf } TestBlockJob;
6617253220dSKevin Wolf 
662ae23dde9SKevin Wolf static int test_job_prepare(Job *job)
663ae23dde9SKevin Wolf {
664ae23dde9SKevin Wolf     TestBlockJob *s = container_of(job, TestBlockJob, common.job);
665ae23dde9SKevin Wolf 
666ae23dde9SKevin Wolf     /* Provoke an AIO_WAIT_WHILE() call to verify there is no deadlock */
6671b177bbeSVladimir Sementsov-Ogievskiy     bdrv_flush(s->bs);
668d49725afSKevin Wolf     return s->prepare_ret;
669d49725afSKevin Wolf }
670d49725afSKevin Wolf 
671d49725afSKevin Wolf static void test_job_commit(Job *job)
672d49725afSKevin Wolf {
673d49725afSKevin Wolf     TestBlockJob *s = container_of(job, TestBlockJob, common.job);
674d49725afSKevin Wolf 
675d49725afSKevin Wolf     /* Provoke an AIO_WAIT_WHILE() call to verify there is no deadlock */
6761b177bbeSVladimir Sementsov-Ogievskiy     bdrv_flush(s->bs);
677d49725afSKevin Wolf }
678d49725afSKevin Wolf 
679d49725afSKevin Wolf static void test_job_abort(Job *job)
680d49725afSKevin Wolf {
681d49725afSKevin Wolf     TestBlockJob *s = container_of(job, TestBlockJob, common.job);
682d49725afSKevin Wolf 
683d49725afSKevin Wolf     /* Provoke an AIO_WAIT_WHILE() call to verify there is no deadlock */
6841b177bbeSVladimir Sementsov-Ogievskiy     bdrv_flush(s->bs);
685ae23dde9SKevin Wolf }
686ae23dde9SKevin Wolf 
687f67432a2SJohn Snow static int coroutine_fn test_job_run(Job *job, Error **errp)
6887253220dSKevin Wolf {
689f67432a2SJohn Snow     TestBlockJob *s = container_of(job, TestBlockJob, common.job);
6907253220dSKevin Wolf 
691d8b3afd5SKevin Wolf     /* We are running the actual job code past the pause point in
692d8b3afd5SKevin Wolf      * job_co_entry(). */
693d8b3afd5SKevin Wolf     s->running = true;
694d8b3afd5SKevin Wolf 
6952e1795b5SKevin Wolf     job_transition_to_ready(&s->common.job);
6967253220dSKevin Wolf     while (!s->should_complete) {
6975599c162SKevin Wolf         /* Avoid job_sleep_ns() because it marks the job as !busy. We want to
6985599c162SKevin Wolf          * emulate some actual activity (probably some I/O) here so that drain
6995599c162SKevin Wolf          * has to wait for this activity to stop. */
700d8b3afd5SKevin Wolf         qemu_co_sleep_ns(QEMU_CLOCK_REALTIME, 1000000);
701d8b3afd5SKevin Wolf 
70289bd0305SKevin Wolf         job_pause_point(&s->common.job);
7037253220dSKevin Wolf     }
7047253220dSKevin Wolf 
705d49725afSKevin Wolf     return s->run_ret;
7067253220dSKevin Wolf }
7077253220dSKevin Wolf 
7083453d972SKevin Wolf static void test_job_complete(Job *job, Error **errp)
7097253220dSKevin Wolf {
7103453d972SKevin Wolf     TestBlockJob *s = container_of(job, TestBlockJob, common.job);
7117253220dSKevin Wolf     s->should_complete = true;
7127253220dSKevin Wolf }
7137253220dSKevin Wolf 
7147253220dSKevin Wolf BlockJobDriver test_job_driver = {
71533e9e9bdSKevin Wolf     .job_driver = {
7167253220dSKevin Wolf         .instance_size  = sizeof(TestBlockJob),
71780fa2c75SKevin Wolf         .free           = block_job_free,
718b15de828SKevin Wolf         .user_resume    = block_job_user_resume,
719f67432a2SJohn Snow         .run            = test_job_run,
7207253220dSKevin Wolf         .complete       = test_job_complete,
721ae23dde9SKevin Wolf         .prepare        = test_job_prepare,
722d49725afSKevin Wolf         .commit         = test_job_commit,
723d49725afSKevin Wolf         .abort          = test_job_abort,
7243453d972SKevin Wolf     },
7257253220dSKevin Wolf };
7267253220dSKevin Wolf 
727d49725afSKevin Wolf enum test_job_result {
728d49725afSKevin Wolf     TEST_JOB_SUCCESS,
729d49725afSKevin Wolf     TEST_JOB_FAIL_RUN,
730d49725afSKevin Wolf     TEST_JOB_FAIL_PREPARE,
731d49725afSKevin Wolf };
732d49725afSKevin Wolf 
733d8b3afd5SKevin Wolf enum test_job_drain_node {
734d8b3afd5SKevin Wolf     TEST_JOB_DRAIN_SRC,
735d8b3afd5SKevin Wolf     TEST_JOB_DRAIN_SRC_CHILD,
736d8b3afd5SKevin Wolf };
737d8b3afd5SKevin Wolf 
738d8b3afd5SKevin Wolf static void test_blockjob_common_drain_node(enum drain_type drain_type,
739d8b3afd5SKevin Wolf                                             bool use_iothread,
740d8b3afd5SKevin Wolf                                             enum test_job_result result,
741d8b3afd5SKevin Wolf                                             enum test_job_drain_node drain_node)
7427253220dSKevin Wolf {
7437253220dSKevin Wolf     BlockBackend *blk_src, *blk_target;
744d8b3afd5SKevin Wolf     BlockDriverState *src, *src_backing, *src_overlay, *target, *drain_bs;
7457253220dSKevin Wolf     BlockJob *job;
746d49725afSKevin Wolf     TestBlockJob *tjob;
747f62c1729SKevin Wolf     IOThread *iothread = NULL;
748f62c1729SKevin Wolf     AioContext *ctx;
7497253220dSKevin Wolf     int ret;
7507253220dSKevin Wolf 
7517253220dSKevin Wolf     src = bdrv_new_open_driver(&bdrv_test, "source", BDRV_O_RDWR,
7527253220dSKevin Wolf                                &error_abort);
753d8b3afd5SKevin Wolf     src_backing = bdrv_new_open_driver(&bdrv_test, "source-backing",
754d8b3afd5SKevin Wolf                                        BDRV_O_RDWR, &error_abort);
755d8b3afd5SKevin Wolf     src_overlay = bdrv_new_open_driver(&bdrv_test, "source-overlay",
756d8b3afd5SKevin Wolf                                        BDRV_O_RDWR, &error_abort);
757d8b3afd5SKevin Wolf 
758d8b3afd5SKevin Wolf     bdrv_set_backing_hd(src_overlay, src, &error_abort);
759d8b3afd5SKevin Wolf     bdrv_unref(src);
760d8b3afd5SKevin Wolf     bdrv_set_backing_hd(src, src_backing, &error_abort);
761d8b3afd5SKevin Wolf     bdrv_unref(src_backing);
762d8b3afd5SKevin Wolf 
763d861ab3aSKevin Wolf     blk_src = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
764d8b3afd5SKevin Wolf     blk_insert_bs(blk_src, src_overlay, &error_abort);
765d8b3afd5SKevin Wolf 
766d8b3afd5SKevin Wolf     switch (drain_node) {
767d8b3afd5SKevin Wolf     case TEST_JOB_DRAIN_SRC:
768d8b3afd5SKevin Wolf         drain_bs = src;
769d8b3afd5SKevin Wolf         break;
770d8b3afd5SKevin Wolf     case TEST_JOB_DRAIN_SRC_CHILD:
771d8b3afd5SKevin Wolf         drain_bs = src_backing;
772d8b3afd5SKevin Wolf         break;
773d8b3afd5SKevin Wolf     default:
774d8b3afd5SKevin Wolf         g_assert_not_reached();
775d8b3afd5SKevin Wolf     }
7767253220dSKevin Wolf 
777f62c1729SKevin Wolf     if (use_iothread) {
778f62c1729SKevin Wolf         iothread = iothread_new();
779f62c1729SKevin Wolf         ctx = iothread_get_aio_context(iothread);
78097896a48SKevin Wolf         blk_set_aio_context(blk_src, ctx, &error_abort);
781f62c1729SKevin Wolf     } else {
782f62c1729SKevin Wolf         ctx = qemu_get_aio_context();
783f62c1729SKevin Wolf     }
784f62c1729SKevin Wolf 
7857253220dSKevin Wolf     target = bdrv_new_open_driver(&bdrv_test, "target", BDRV_O_RDWR,
7867253220dSKevin Wolf                                   &error_abort);
787d861ab3aSKevin Wolf     blk_target = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
7887253220dSKevin Wolf     blk_insert_bs(blk_target, target, &error_abort);
789132ada80SKevin Wolf     blk_set_allow_aio_context_change(blk_target, true);
7907253220dSKevin Wolf 
791f62c1729SKevin Wolf     aio_context_acquire(ctx);
792d49725afSKevin Wolf     tjob = block_job_create("job0", &test_job_driver, NULL, src,
793d49725afSKevin Wolf                             0, BLK_PERM_ALL,
79475859b94SJohn Snow                             0, 0, NULL, NULL, &error_abort);
7951b177bbeSVladimir Sementsov-Ogievskiy     tjob->bs = src;
796d49725afSKevin Wolf     job = &tjob->common;
797*f3bbc53dSKevin Wolf 
798*f3bbc53dSKevin Wolf     bdrv_graph_wrlock(target);
7997253220dSKevin Wolf     block_job_add_bdrv(job, "target", target, 0, BLK_PERM_ALL, &error_abort);
800*f3bbc53dSKevin Wolf     bdrv_graph_wrunlock();
801d49725afSKevin Wolf 
802d49725afSKevin Wolf     switch (result) {
803d49725afSKevin Wolf     case TEST_JOB_SUCCESS:
804d49725afSKevin Wolf         break;
805d49725afSKevin Wolf     case TEST_JOB_FAIL_RUN:
806d49725afSKevin Wolf         tjob->run_ret = -EIO;
807d49725afSKevin Wolf         break;
808d49725afSKevin Wolf     case TEST_JOB_FAIL_PREPARE:
809d49725afSKevin Wolf         tjob->prepare_ret = -EIO;
810d49725afSKevin Wolf         break;
811d49725afSKevin Wolf     }
8126f592e5aSEmanuele Giuseppe Esposito     aio_context_release(ctx);
813d49725afSKevin Wolf 
814da01ff7fSKevin Wolf     job_start(&job->job);
8157253220dSKevin Wolf 
816d8b3afd5SKevin Wolf     if (use_iothread) {
817d8b3afd5SKevin Wolf         /* job_co_entry() is run in the I/O thread, wait for the actual job
818d8b3afd5SKevin Wolf          * code to start (we don't want to catch the job in the pause point in
819d8b3afd5SKevin Wolf          * job_co_entry(). */
820d8b3afd5SKevin Wolf         while (!tjob->running) {
821d8b3afd5SKevin Wolf             aio_poll(qemu_get_aio_context(), false);
822d8b3afd5SKevin Wolf         }
823d8b3afd5SKevin Wolf     }
824d8b3afd5SKevin Wolf 
825191e7af3SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
826da01ff7fSKevin Wolf         g_assert_cmpint(job->job.pause_count, ==, 0);
827da01ff7fSKevin Wolf         g_assert_false(job->job.paused);
828d8b3afd5SKevin Wolf         g_assert_true(tjob->running);
8295599c162SKevin Wolf         g_assert_true(job->job.busy); /* We're in qemu_co_sleep_ns() */
830191e7af3SEmanuele Giuseppe Esposito     }
8317253220dSKevin Wolf 
832d8b3afd5SKevin Wolf     do_drain_begin_unlocked(drain_type, drain_bs);
8337253220dSKevin Wolf 
834191e7af3SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
8357253220dSKevin Wolf         if (drain_type == BDRV_DRAIN_ALL) {
83681193349SKevin Wolf             /* bdrv_drain_all() drains both src and target */
837da01ff7fSKevin Wolf             g_assert_cmpint(job->job.pause_count, ==, 2);
8387253220dSKevin Wolf         } else {
839da01ff7fSKevin Wolf             g_assert_cmpint(job->job.pause_count, ==, 1);
8407253220dSKevin Wolf         }
84189bd0305SKevin Wolf         g_assert_true(job->job.paused);
842da01ff7fSKevin Wolf         g_assert_false(job->job.busy); /* The job is paused */
843191e7af3SEmanuele Giuseppe Esposito     }
8447253220dSKevin Wolf 
845d8b3afd5SKevin Wolf     do_drain_end_unlocked(drain_type, drain_bs);
846f62c1729SKevin Wolf 
847f62c1729SKevin Wolf     if (use_iothread) {
848191e7af3SEmanuele Giuseppe Esposito         /*
849191e7af3SEmanuele Giuseppe Esposito          * Here we are waiting for the paused status to change,
850191e7af3SEmanuele Giuseppe Esposito          * so don't bother protecting the read every time.
851191e7af3SEmanuele Giuseppe Esposito          *
852191e7af3SEmanuele Giuseppe Esposito          * paused is reset in the I/O thread, wait for it
853191e7af3SEmanuele Giuseppe Esposito          */
854f62c1729SKevin Wolf         while (job->job.paused) {
855f62c1729SKevin Wolf             aio_poll(qemu_get_aio_context(), false);
856f62c1729SKevin Wolf         }
857f62c1729SKevin Wolf     }
8587253220dSKevin Wolf 
859191e7af3SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
860da01ff7fSKevin Wolf         g_assert_cmpint(job->job.pause_count, ==, 0);
861da01ff7fSKevin Wolf         g_assert_false(job->job.paused);
86289bd0305SKevin Wolf         g_assert_true(job->job.busy); /* We're in qemu_co_sleep_ns() */
863191e7af3SEmanuele Giuseppe Esposito     }
8647253220dSKevin Wolf 
865132ada80SKevin Wolf     do_drain_begin_unlocked(drain_type, target);
8667253220dSKevin Wolf 
867191e7af3SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
8687253220dSKevin Wolf         if (drain_type == BDRV_DRAIN_ALL) {
86981193349SKevin Wolf             /* bdrv_drain_all() drains both src and target */
870da01ff7fSKevin Wolf             g_assert_cmpint(job->job.pause_count, ==, 2);
8717253220dSKevin Wolf         } else {
872da01ff7fSKevin Wolf             g_assert_cmpint(job->job.pause_count, ==, 1);
8737253220dSKevin Wolf         }
87489bd0305SKevin Wolf         g_assert_true(job->job.paused);
875da01ff7fSKevin Wolf         g_assert_false(job->job.busy); /* The job is paused */
876191e7af3SEmanuele Giuseppe Esposito     }
8777253220dSKevin Wolf 
878132ada80SKevin Wolf     do_drain_end_unlocked(drain_type, target);
8797253220dSKevin Wolf 
880f62c1729SKevin Wolf     if (use_iothread) {
881191e7af3SEmanuele Giuseppe Esposito         /*
882191e7af3SEmanuele Giuseppe Esposito          * Here we are waiting for the paused status to change,
883191e7af3SEmanuele Giuseppe Esposito          * so don't bother protecting the read every time.
884191e7af3SEmanuele Giuseppe Esposito          *
885191e7af3SEmanuele Giuseppe Esposito          * paused is reset in the I/O thread, wait for it
886191e7af3SEmanuele Giuseppe Esposito          */
887f62c1729SKevin Wolf         while (job->job.paused) {
888f62c1729SKevin Wolf             aio_poll(qemu_get_aio_context(), false);
889f62c1729SKevin Wolf         }
890f62c1729SKevin Wolf     }
891f62c1729SKevin Wolf 
892191e7af3SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
893da01ff7fSKevin Wolf         g_assert_cmpint(job->job.pause_count, ==, 0);
894da01ff7fSKevin Wolf         g_assert_false(job->job.paused);
8955599c162SKevin Wolf         g_assert_true(job->job.busy); /* We're in qemu_co_sleep_ns() */
896191e7af3SEmanuele Giuseppe Esposito     }
8977253220dSKevin Wolf 
898191e7af3SEmanuele Giuseppe Esposito     WITH_JOB_LOCK_GUARD() {
899191e7af3SEmanuele Giuseppe Esposito         ret = job_complete_sync_locked(&job->job, &error_abort);
900191e7af3SEmanuele Giuseppe Esposito     }
901d49725afSKevin Wolf     g_assert_cmpint(ret, ==, (result == TEST_JOB_SUCCESS ? 0 : -EIO));
9027253220dSKevin Wolf 
9036f592e5aSEmanuele Giuseppe Esposito     aio_context_acquire(ctx);
904f62c1729SKevin Wolf     if (use_iothread) {
90597896a48SKevin Wolf         blk_set_aio_context(blk_src, qemu_get_aio_context(), &error_abort);
906ad943dcbSKevin Wolf         assert(blk_get_aio_context(blk_target) == qemu_get_aio_context());
907f62c1729SKevin Wolf     }
908f62c1729SKevin Wolf     aio_context_release(ctx);
909f62c1729SKevin Wolf 
9107253220dSKevin Wolf     blk_unref(blk_src);
9117253220dSKevin Wolf     blk_unref(blk_target);
912d8b3afd5SKevin Wolf     bdrv_unref(src_overlay);
9137253220dSKevin Wolf     bdrv_unref(target);
914f62c1729SKevin Wolf 
915f62c1729SKevin Wolf     if (iothread) {
916f62c1729SKevin Wolf         iothread_join(iothread);
917f62c1729SKevin Wolf     }
9187253220dSKevin Wolf }
9197253220dSKevin Wolf 
920d8b3afd5SKevin Wolf static void test_blockjob_common(enum drain_type drain_type, bool use_iothread,
921d8b3afd5SKevin Wolf                                  enum test_job_result result)
922d8b3afd5SKevin Wolf {
923d8b3afd5SKevin Wolf     test_blockjob_common_drain_node(drain_type, use_iothread, result,
924d8b3afd5SKevin Wolf                                     TEST_JOB_DRAIN_SRC);
925d8b3afd5SKevin Wolf     test_blockjob_common_drain_node(drain_type, use_iothread, result,
926d8b3afd5SKevin Wolf                                     TEST_JOB_DRAIN_SRC_CHILD);
927d8b3afd5SKevin Wolf }
928d8b3afd5SKevin Wolf 
9297253220dSKevin Wolf static void test_blockjob_drain_all(void)
9307253220dSKevin Wolf {
931d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN_ALL, false, TEST_JOB_SUCCESS);
9327253220dSKevin Wolf }
9337253220dSKevin Wolf 
9347253220dSKevin Wolf static void test_blockjob_drain(void)
9357253220dSKevin Wolf {
936d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN, false, TEST_JOB_SUCCESS);
9377253220dSKevin Wolf }
9387253220dSKevin Wolf 
939d49725afSKevin Wolf static void test_blockjob_error_drain_all(void)
940d49725afSKevin Wolf {
941d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN_ALL, false, TEST_JOB_FAIL_RUN);
942d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN_ALL, false, TEST_JOB_FAIL_PREPARE);
943d49725afSKevin Wolf }
944d49725afSKevin Wolf 
945d49725afSKevin Wolf static void test_blockjob_error_drain(void)
946d49725afSKevin Wolf {
947d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN, false, TEST_JOB_FAIL_RUN);
948d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN, false, TEST_JOB_FAIL_PREPARE);
949d49725afSKevin Wolf }
950d49725afSKevin Wolf 
951f62c1729SKevin Wolf static void test_blockjob_iothread_drain_all(void)
952f62c1729SKevin Wolf {
953d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN_ALL, true, TEST_JOB_SUCCESS);
954f62c1729SKevin Wolf }
955f62c1729SKevin Wolf 
956f62c1729SKevin Wolf static void test_blockjob_iothread_drain(void)
957f62c1729SKevin Wolf {
958d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN, true, TEST_JOB_SUCCESS);
959f62c1729SKevin Wolf }
960f62c1729SKevin Wolf 
961d49725afSKevin Wolf static void test_blockjob_iothread_error_drain_all(void)
962d49725afSKevin Wolf {
963d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN_ALL, true, TEST_JOB_FAIL_RUN);
964d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN_ALL, true, TEST_JOB_FAIL_PREPARE);
965d49725afSKevin Wolf }
966d49725afSKevin Wolf 
967d49725afSKevin Wolf static void test_blockjob_iothread_error_drain(void)
968d49725afSKevin Wolf {
969d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN, true, TEST_JOB_FAIL_RUN);
970d49725afSKevin Wolf     test_blockjob_common(BDRV_DRAIN, true, TEST_JOB_FAIL_PREPARE);
971d49725afSKevin Wolf }
972d49725afSKevin Wolf 
9734c8158e3SMax Reitz 
9744c8158e3SMax Reitz typedef struct BDRVTestTopState {
9754c8158e3SMax Reitz     BdrvChild *wait_child;
9764c8158e3SMax Reitz } BDRVTestTopState;
9774c8158e3SMax Reitz 
9784c8158e3SMax Reitz static void bdrv_test_top_close(BlockDriverState *bs)
9794c8158e3SMax Reitz {
9804c8158e3SMax Reitz     BdrvChild *c, *next_c;
98132a8aba3SKevin Wolf 
98232a8aba3SKevin Wolf     bdrv_graph_wrlock(NULL);
9834c8158e3SMax Reitz     QLIST_FOREACH_SAFE(c, &bs->children, next, next_c) {
9844c8158e3SMax Reitz         bdrv_unref_child(bs, c);
9854c8158e3SMax Reitz     }
98632a8aba3SKevin Wolf     bdrv_graph_wrunlock();
9874c8158e3SMax Reitz }
9884c8158e3SMax Reitz 
989b9b10c35SKevin Wolf static int coroutine_fn GRAPH_RDLOCK
990b9b10c35SKevin Wolf bdrv_test_top_co_preadv(BlockDriverState *bs, int64_t offset, int64_t bytes,
991b9b10c35SKevin Wolf                         QEMUIOVector *qiov, BdrvRequestFlags flags)
9924c8158e3SMax Reitz {
9934c8158e3SMax Reitz     BDRVTestTopState *tts = bs->opaque;
9944c8158e3SMax Reitz     return bdrv_co_preadv(tts->wait_child, offset, bytes, qiov, flags);
9954c8158e3SMax Reitz }
9964c8158e3SMax Reitz 
9974c8158e3SMax Reitz static BlockDriver bdrv_test_top_driver = {
9984c8158e3SMax Reitz     .format_name            = "test_top_driver",
9994c8158e3SMax Reitz     .instance_size          = sizeof(BDRVTestTopState),
10004c8158e3SMax Reitz 
10014c8158e3SMax Reitz     .bdrv_close             = bdrv_test_top_close,
10024c8158e3SMax Reitz     .bdrv_co_preadv         = bdrv_test_top_co_preadv,
10034c8158e3SMax Reitz 
100469dca43dSMax Reitz     .bdrv_child_perm        = bdrv_default_perms,
10054c8158e3SMax Reitz };
10064c8158e3SMax Reitz 
10074c8158e3SMax Reitz typedef struct TestCoDeleteByDrainData {
10084c8158e3SMax Reitz     BlockBackend *blk;
10094c8158e3SMax Reitz     bool detach_instead_of_delete;
10104c8158e3SMax Reitz     bool done;
10114c8158e3SMax Reitz } TestCoDeleteByDrainData;
10124c8158e3SMax Reitz 
10134c8158e3SMax Reitz static void coroutine_fn test_co_delete_by_drain(void *opaque)
10144c8158e3SMax Reitz {
10154c8158e3SMax Reitz     TestCoDeleteByDrainData *dbdd = opaque;
10164c8158e3SMax Reitz     BlockBackend *blk = dbdd->blk;
10174c8158e3SMax Reitz     BlockDriverState *bs = blk_bs(blk);
10184c8158e3SMax Reitz     BDRVTestTopState *tts = bs->opaque;
10194c8158e3SMax Reitz     void *buffer = g_malloc(65536);
1020405d8fe0SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buffer, 65536);
10214c8158e3SMax Reitz 
10224c8158e3SMax Reitz     /* Pretend some internal write operation from parent to child.
10234c8158e3SMax Reitz      * Important: We have to read from the child, not from the parent!
10244c8158e3SMax Reitz      * Draining works by first propagating it all up the tree to the
10254c8158e3SMax Reitz      * root and then waiting for drainage from root to the leaves
10264c8158e3SMax Reitz      * (protocol nodes).  If we have a request waiting on the root,
10274c8158e3SMax Reitz      * everything will be drained before we go back down the tree, but
10284c8158e3SMax Reitz      * we do not want that.  We want to be in the middle of draining
10294c8158e3SMax Reitz      * when this following requests returns. */
103087f130bdSKevin Wolf     bdrv_graph_co_rdlock();
10314c8158e3SMax Reitz     bdrv_co_preadv(tts->wait_child, 0, 65536, &qiov, 0);
103287f130bdSKevin Wolf     bdrv_graph_co_rdunlock();
10334c8158e3SMax Reitz 
10344c8158e3SMax Reitz     g_assert_cmpint(bs->refcnt, ==, 1);
10354c8158e3SMax Reitz 
10364c8158e3SMax Reitz     if (!dbdd->detach_instead_of_delete) {
103701a10c24SKevin Wolf         blk_co_unref(blk);
10384c8158e3SMax Reitz     } else {
10394c8158e3SMax Reitz         BdrvChild *c, *next_c;
1040680e0cc4SKevin Wolf         bdrv_graph_co_rdlock();
10414c8158e3SMax Reitz         QLIST_FOREACH_SAFE(c, &bs->children, next, next_c) {
1042680e0cc4SKevin Wolf             bdrv_graph_co_rdunlock();
104332a8aba3SKevin Wolf             bdrv_co_unref_child(bs, c);
1044680e0cc4SKevin Wolf             bdrv_graph_co_rdlock();
10454c8158e3SMax Reitz         }
1046680e0cc4SKevin Wolf         bdrv_graph_co_rdunlock();
10474c8158e3SMax Reitz     }
10484c8158e3SMax Reitz 
10494c8158e3SMax Reitz     dbdd->done = true;
10507b43db3cSMarc-André Lureau     g_free(buffer);
10514c8158e3SMax Reitz }
10524c8158e3SMax Reitz 
10534c8158e3SMax Reitz /**
10544c8158e3SMax Reitz  * Test what happens when some BDS has some children, you drain one of
10554c8158e3SMax Reitz  * them and this results in the BDS being deleted.
10564c8158e3SMax Reitz  *
10574c8158e3SMax Reitz  * If @detach_instead_of_delete is set, the BDS is not going to be
10584c8158e3SMax Reitz  * deleted but will only detach all of its children.
10594c8158e3SMax Reitz  */
1060ebd31837SKevin Wolf static void do_test_delete_by_drain(bool detach_instead_of_delete,
1061ebd31837SKevin Wolf                                     enum drain_type drain_type)
10624c8158e3SMax Reitz {
10634c8158e3SMax Reitz     BlockBackend *blk;
10644c8158e3SMax Reitz     BlockDriverState *bs, *child_bs, *null_bs;
10654c8158e3SMax Reitz     BDRVTestTopState *tts;
10664c8158e3SMax Reitz     TestCoDeleteByDrainData dbdd;
10674c8158e3SMax Reitz     Coroutine *co;
10684c8158e3SMax Reitz 
10694c8158e3SMax Reitz     bs = bdrv_new_open_driver(&bdrv_test_top_driver, "top", BDRV_O_RDWR,
10704c8158e3SMax Reitz                               &error_abort);
10714c8158e3SMax Reitz     bs->total_sectors = 65536 >> BDRV_SECTOR_BITS;
10724c8158e3SMax Reitz     tts = bs->opaque;
10734c8158e3SMax Reitz 
10744c8158e3SMax Reitz     null_bs = bdrv_open("null-co://", NULL, NULL, BDRV_O_RDWR | BDRV_O_PROTOCOL,
10754c8158e3SMax Reitz                         &error_abort);
1076afdaeb9eSKevin Wolf     bdrv_graph_wrlock(NULL);
1077a16be3cdSMax Reitz     bdrv_attach_child(bs, null_bs, "null-child", &child_of_bds,
1078a16be3cdSMax Reitz                       BDRV_CHILD_DATA, &error_abort);
1079afdaeb9eSKevin Wolf     bdrv_graph_wrunlock();
10804c8158e3SMax Reitz 
10814c8158e3SMax Reitz     /* This child will be the one to pass to requests through to, and
10824c8158e3SMax Reitz      * it will stall until a drain occurs */
10834c8158e3SMax Reitz     child_bs = bdrv_new_open_driver(&bdrv_test, "child", BDRV_O_RDWR,
10844c8158e3SMax Reitz                                     &error_abort);
10854c8158e3SMax Reitz     child_bs->total_sectors = 65536 >> BDRV_SECTOR_BITS;
10864c8158e3SMax Reitz     /* Takes our reference to child_bs */
1087afdaeb9eSKevin Wolf     bdrv_graph_wrlock(NULL);
1088a16be3cdSMax Reitz     tts->wait_child = bdrv_attach_child(bs, child_bs, "wait-child",
1089a16be3cdSMax Reitz                                         &child_of_bds,
1090a16be3cdSMax Reitz                                         BDRV_CHILD_DATA | BDRV_CHILD_PRIMARY,
1091a16be3cdSMax Reitz                                         &error_abort);
1092afdaeb9eSKevin Wolf     bdrv_graph_wrunlock();
10934c8158e3SMax Reitz 
10944c8158e3SMax Reitz     /* This child is just there to be deleted
10954c8158e3SMax Reitz      * (for detach_instead_of_delete == true) */
10964c8158e3SMax Reitz     null_bs = bdrv_open("null-co://", NULL, NULL, BDRV_O_RDWR | BDRV_O_PROTOCOL,
10974c8158e3SMax Reitz                         &error_abort);
1098afdaeb9eSKevin Wolf     bdrv_graph_wrlock(NULL);
1099a16be3cdSMax Reitz     bdrv_attach_child(bs, null_bs, "null-child", &child_of_bds, BDRV_CHILD_DATA,
1100a16be3cdSMax Reitz                       &error_abort);
1101afdaeb9eSKevin Wolf     bdrv_graph_wrunlock();
11024c8158e3SMax Reitz 
1103d861ab3aSKevin Wolf     blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
11044c8158e3SMax Reitz     blk_insert_bs(blk, bs, &error_abort);
11054c8158e3SMax Reitz 
11064c8158e3SMax Reitz     /* Referenced by blk now */
11074c8158e3SMax Reitz     bdrv_unref(bs);
11084c8158e3SMax Reitz 
11094c8158e3SMax Reitz     g_assert_cmpint(bs->refcnt, ==, 1);
11104c8158e3SMax Reitz     g_assert_cmpint(child_bs->refcnt, ==, 1);
11114c8158e3SMax Reitz     g_assert_cmpint(null_bs->refcnt, ==, 1);
11124c8158e3SMax Reitz 
11134c8158e3SMax Reitz 
11144c8158e3SMax Reitz     dbdd = (TestCoDeleteByDrainData){
11154c8158e3SMax Reitz         .blk = blk,
11164c8158e3SMax Reitz         .detach_instead_of_delete = detach_instead_of_delete,
11174c8158e3SMax Reitz         .done = false,
11184c8158e3SMax Reitz     };
11194c8158e3SMax Reitz     co = qemu_coroutine_create(test_co_delete_by_drain, &dbdd);
11204c8158e3SMax Reitz     qemu_coroutine_enter(co);
11214c8158e3SMax Reitz 
11224c8158e3SMax Reitz     /* Drain the child while the read operation is still pending.
11234c8158e3SMax Reitz      * This should result in the operation finishing and
11244c8158e3SMax Reitz      * test_co_delete_by_drain() resuming.  Thus, @bs will be deleted
11254c8158e3SMax Reitz      * and the coroutine will exit while this drain operation is still
11264c8158e3SMax Reitz      * in progress. */
1127ebd31837SKevin Wolf     switch (drain_type) {
1128ebd31837SKevin Wolf     case BDRV_DRAIN:
11294c8158e3SMax Reitz         bdrv_ref(child_bs);
11304c8158e3SMax Reitz         bdrv_drain(child_bs);
11314c8158e3SMax Reitz         bdrv_unref(child_bs);
1132ebd31837SKevin Wolf         break;
113319f7a7e5SKevin Wolf     case BDRV_DRAIN_ALL:
113419f7a7e5SKevin Wolf         bdrv_drain_all_begin();
113519f7a7e5SKevin Wolf         bdrv_drain_all_end();
113619f7a7e5SKevin Wolf         break;
1137ebd31837SKevin Wolf     default:
1138ebd31837SKevin Wolf         g_assert_not_reached();
1139ebd31837SKevin Wolf     }
11404c8158e3SMax Reitz 
11414c8158e3SMax Reitz     while (!dbdd.done) {
11424c8158e3SMax Reitz         aio_poll(qemu_get_aio_context(), true);
11434c8158e3SMax Reitz     }
11444c8158e3SMax Reitz 
11454c8158e3SMax Reitz     if (detach_instead_of_delete) {
11464c8158e3SMax Reitz         /* Here, the reference has not passed over to the coroutine,
11474c8158e3SMax Reitz          * so we have to delete the BB ourselves */
11484c8158e3SMax Reitz         blk_unref(blk);
11494c8158e3SMax Reitz     }
11504c8158e3SMax Reitz }
11514c8158e3SMax Reitz 
11524c8158e3SMax Reitz static void test_delete_by_drain(void)
11534c8158e3SMax Reitz {
1154ebd31837SKevin Wolf     do_test_delete_by_drain(false, BDRV_DRAIN);
11554c8158e3SMax Reitz }
11564c8158e3SMax Reitz 
115719f7a7e5SKevin Wolf static void test_detach_by_drain_all(void)
115819f7a7e5SKevin Wolf {
115919f7a7e5SKevin Wolf     do_test_delete_by_drain(true, BDRV_DRAIN_ALL);
116019f7a7e5SKevin Wolf }
116119f7a7e5SKevin Wolf 
11624c8158e3SMax Reitz static void test_detach_by_drain(void)
11634c8158e3SMax Reitz {
1164ebd31837SKevin Wolf     do_test_delete_by_drain(true, BDRV_DRAIN);
1165ebd31837SKevin Wolf }
1166ebd31837SKevin Wolf 
11674c8158e3SMax Reitz 
1168231281abSKevin Wolf struct detach_by_parent_data {
1169231281abSKevin Wolf     BlockDriverState *parent_b;
1170231281abSKevin Wolf     BdrvChild *child_b;
1171231281abSKevin Wolf     BlockDriverState *c;
1172231281abSKevin Wolf     BdrvChild *child_c;
117357320ca9SKevin Wolf     bool by_parent_cb;
1174617f3a96SKevin Wolf     bool detach_on_drain;
1175231281abSKevin Wolf };
117657320ca9SKevin Wolf static struct detach_by_parent_data detach_by_parent_data;
1177231281abSKevin Wolf 
1178903df115SKevin Wolf static void no_coroutine_fn detach_indirect_bh(void *opaque)
1179231281abSKevin Wolf {
1180231281abSKevin Wolf     struct detach_by_parent_data *data = opaque;
1181231281abSKevin Wolf 
1182617f3a96SKevin Wolf     bdrv_dec_in_flight(data->child_b->bs);
118332a8aba3SKevin Wolf 
118432a8aba3SKevin Wolf     bdrv_graph_wrlock(NULL);
1185231281abSKevin Wolf     bdrv_unref_child(data->parent_b, data->child_b);
1186231281abSKevin Wolf 
1187231281abSKevin Wolf     bdrv_ref(data->c);
1188231281abSKevin Wolf     data->child_c = bdrv_attach_child(data->parent_b, data->c, "PB-C",
1189a16be3cdSMax Reitz                                       &child_of_bds, BDRV_CHILD_DATA,
1190a16be3cdSMax Reitz                                       &error_abort);
1191afdaeb9eSKevin Wolf     bdrv_graph_wrunlock();
1192231281abSKevin Wolf }
1193231281abSKevin Wolf 
1194903df115SKevin Wolf static void coroutine_mixed_fn detach_by_parent_aio_cb(void *opaque, int ret)
119557320ca9SKevin Wolf {
119657320ca9SKevin Wolf     struct detach_by_parent_data *data = &detach_by_parent_data;
119757320ca9SKevin Wolf 
119857320ca9SKevin Wolf     g_assert_cmpint(ret, ==, 0);
119957320ca9SKevin Wolf     if (data->by_parent_cb) {
1200617f3a96SKevin Wolf         bdrv_inc_in_flight(data->child_b->bs);
1201903df115SKevin Wolf         aio_bh_schedule_oneshot(qemu_get_current_aio_context(),
1202903df115SKevin Wolf                                 detach_indirect_bh, &detach_by_parent_data);
120357320ca9SKevin Wolf     }
120457320ca9SKevin Wolf }
120557320ca9SKevin Wolf 
1206d05ab380SEmanuele Giuseppe Esposito static void GRAPH_RDLOCK detach_by_driver_cb_drained_begin(BdrvChild *child)
120757320ca9SKevin Wolf {
1208617f3a96SKevin Wolf     struct detach_by_parent_data *data = &detach_by_parent_data;
1209617f3a96SKevin Wolf 
1210617f3a96SKevin Wolf     if (!data->detach_on_drain) {
1211617f3a96SKevin Wolf         return;
1212617f3a96SKevin Wolf     }
1213617f3a96SKevin Wolf     data->detach_on_drain = false;
1214617f3a96SKevin Wolf 
1215617f3a96SKevin Wolf     bdrv_inc_in_flight(data->child_b->bs);
121657320ca9SKevin Wolf     aio_bh_schedule_oneshot(qemu_get_current_aio_context(),
121757320ca9SKevin Wolf                             detach_indirect_bh, &detach_by_parent_data);
1218a16be3cdSMax Reitz     child_of_bds.drained_begin(child);
121957320ca9SKevin Wolf }
122057320ca9SKevin Wolf 
1221bd86fb99SMax Reitz static BdrvChildClass detach_by_driver_cb_class;
122257320ca9SKevin Wolf 
1223231281abSKevin Wolf /*
1224231281abSKevin Wolf  * Initial graph:
1225231281abSKevin Wolf  *
1226231281abSKevin Wolf  * PA     PB
1227231281abSKevin Wolf  *    \ /   \
1228231281abSKevin Wolf  *     A     B     C
1229231281abSKevin Wolf  *
123057320ca9SKevin Wolf  * by_parent_cb == true:  Test that parent callbacks don't poll
123157320ca9SKevin Wolf  *
123257320ca9SKevin Wolf  *     PA has a pending write request whose callback changes the child nodes of
123357320ca9SKevin Wolf  *     PB: It removes B and adds C instead. The subtree of PB is drained, which
123457320ca9SKevin Wolf  *     will indirectly drain the write request, too.
123557320ca9SKevin Wolf  *
123657320ca9SKevin Wolf  * by_parent_cb == false: Test that bdrv_drain_invoke() doesn't poll
123757320ca9SKevin Wolf  *
1238bd86fb99SMax Reitz  *     PA's BdrvChildClass has a .drained_begin callback that schedules a BH
123957320ca9SKevin Wolf  *     that does the same graph change. If bdrv_drain_invoke() calls it, the
124057320ca9SKevin Wolf  *     state is messed up, but if it is only polled in the single
124157320ca9SKevin Wolf  *     BDRV_POLL_WHILE() at the end of the drain, this should work fine.
1242231281abSKevin Wolf  */
1243d05ab380SEmanuele Giuseppe Esposito static void TSA_NO_TSA test_detach_indirect(bool by_parent_cb)
1244231281abSKevin Wolf {
1245231281abSKevin Wolf     BlockBackend *blk;
1246231281abSKevin Wolf     BlockDriverState *parent_a, *parent_b, *a, *b, *c;
1247231281abSKevin Wolf     BdrvChild *child_a, *child_b;
1248231281abSKevin Wolf     BlockAIOCB *acb;
1249231281abSKevin Wolf 
1250405d8fe0SVladimir Sementsov-Ogievskiy     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, NULL, 0);
1251231281abSKevin Wolf 
125257320ca9SKevin Wolf     if (!by_parent_cb) {
1253a16be3cdSMax Reitz         detach_by_driver_cb_class = child_of_bds;
1254bd86fb99SMax Reitz         detach_by_driver_cb_class.drained_begin =
125557320ca9SKevin Wolf             detach_by_driver_cb_drained_begin;
1256617f3a96SKevin Wolf         detach_by_driver_cb_class.drained_end = NULL;
1257617f3a96SKevin Wolf         detach_by_driver_cb_class.drained_poll = NULL;
125857320ca9SKevin Wolf     }
125957320ca9SKevin Wolf 
1260617f3a96SKevin Wolf     detach_by_parent_data = (struct detach_by_parent_data) {
1261617f3a96SKevin Wolf         .detach_on_drain = false,
1262617f3a96SKevin Wolf     };
1263617f3a96SKevin Wolf 
1264231281abSKevin Wolf     /* Create all involved nodes */
1265231281abSKevin Wolf     parent_a = bdrv_new_open_driver(&bdrv_test, "parent-a", BDRV_O_RDWR,
1266231281abSKevin Wolf                                     &error_abort);
1267231281abSKevin Wolf     parent_b = bdrv_new_open_driver(&bdrv_test, "parent-b", 0,
1268231281abSKevin Wolf                                     &error_abort);
1269231281abSKevin Wolf 
1270231281abSKevin Wolf     a = bdrv_new_open_driver(&bdrv_test, "a", BDRV_O_RDWR, &error_abort);
1271231281abSKevin Wolf     b = bdrv_new_open_driver(&bdrv_test, "b", BDRV_O_RDWR, &error_abort);
1272231281abSKevin Wolf     c = bdrv_new_open_driver(&bdrv_test, "c", BDRV_O_RDWR, &error_abort);
1273231281abSKevin Wolf 
1274231281abSKevin Wolf     /* blk is a BB for parent-a */
1275d861ab3aSKevin Wolf     blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
1276231281abSKevin Wolf     blk_insert_bs(blk, parent_a, &error_abort);
1277231281abSKevin Wolf     bdrv_unref(parent_a);
1278231281abSKevin Wolf 
127957320ca9SKevin Wolf     /* If we want to get bdrv_drain_invoke() to call aio_poll(), the driver
128057320ca9SKevin Wolf      * callback must not return immediately. */
128157320ca9SKevin Wolf     if (!by_parent_cb) {
128257320ca9SKevin Wolf         BDRVTestState *s = parent_a->opaque;
128357320ca9SKevin Wolf         s->sleep_in_drain_begin = true;
128457320ca9SKevin Wolf     }
128557320ca9SKevin Wolf 
1286231281abSKevin Wolf     /* Set child relationships */
1287231281abSKevin Wolf     bdrv_ref(b);
1288231281abSKevin Wolf     bdrv_ref(a);
1289afdaeb9eSKevin Wolf     bdrv_graph_wrlock(NULL);
1290a16be3cdSMax Reitz     child_b = bdrv_attach_child(parent_b, b, "PB-B", &child_of_bds,
1291a16be3cdSMax Reitz                                 BDRV_CHILD_DATA, &error_abort);
129225191e5fSMax Reitz     child_a = bdrv_attach_child(parent_b, a, "PB-A", &child_of_bds,
129325191e5fSMax Reitz                                 BDRV_CHILD_COW, &error_abort);
1294231281abSKevin Wolf 
1295231281abSKevin Wolf     bdrv_ref(a);
129657320ca9SKevin Wolf     bdrv_attach_child(parent_a, a, "PA-A",
1297a16be3cdSMax Reitz                       by_parent_cb ? &child_of_bds : &detach_by_driver_cb_class,
1298a16be3cdSMax Reitz                       BDRV_CHILD_DATA, &error_abort);
1299afdaeb9eSKevin Wolf     bdrv_graph_wrunlock();
1300231281abSKevin Wolf 
1301231281abSKevin Wolf     g_assert_cmpint(parent_a->refcnt, ==, 1);
1302231281abSKevin Wolf     g_assert_cmpint(parent_b->refcnt, ==, 1);
1303231281abSKevin Wolf     g_assert_cmpint(a->refcnt, ==, 3);
1304231281abSKevin Wolf     g_assert_cmpint(b->refcnt, ==, 2);
1305231281abSKevin Wolf     g_assert_cmpint(c->refcnt, ==, 1);
1306231281abSKevin Wolf 
1307231281abSKevin Wolf     g_assert(QLIST_FIRST(&parent_b->children) == child_a);
1308231281abSKevin Wolf     g_assert(QLIST_NEXT(child_a, next) == child_b);
1309231281abSKevin Wolf     g_assert(QLIST_NEXT(child_b, next) == NULL);
1310231281abSKevin Wolf 
1311231281abSKevin Wolf     /* Start the evil write request */
131257320ca9SKevin Wolf     detach_by_parent_data = (struct detach_by_parent_data) {
1313231281abSKevin Wolf         .parent_b = parent_b,
1314231281abSKevin Wolf         .child_b = child_b,
1315231281abSKevin Wolf         .c = c,
131657320ca9SKevin Wolf         .by_parent_cb = by_parent_cb,
1317617f3a96SKevin Wolf         .detach_on_drain = true,
1318231281abSKevin Wolf     };
131957320ca9SKevin Wolf     acb = blk_aio_preadv(blk, 0, &qiov, 0, detach_by_parent_aio_cb, NULL);
1320231281abSKevin Wolf     g_assert(acb != NULL);
1321231281abSKevin Wolf 
1322231281abSKevin Wolf     /* Drain and check the expected result */
1323299403aeSKevin Wolf     bdrv_drained_begin(parent_b);
1324299403aeSKevin Wolf     bdrv_drained_begin(a);
1325299403aeSKevin Wolf     bdrv_drained_begin(b);
1326299403aeSKevin Wolf     bdrv_drained_begin(c);
1327231281abSKevin Wolf 
132857320ca9SKevin Wolf     g_assert(detach_by_parent_data.child_c != NULL);
1329231281abSKevin Wolf 
1330231281abSKevin Wolf     g_assert_cmpint(parent_a->refcnt, ==, 1);
1331231281abSKevin Wolf     g_assert_cmpint(parent_b->refcnt, ==, 1);
1332231281abSKevin Wolf     g_assert_cmpint(a->refcnt, ==, 3);
1333231281abSKevin Wolf     g_assert_cmpint(b->refcnt, ==, 1);
1334231281abSKevin Wolf     g_assert_cmpint(c->refcnt, ==, 2);
1335231281abSKevin Wolf 
133657320ca9SKevin Wolf     g_assert(QLIST_FIRST(&parent_b->children) == detach_by_parent_data.child_c);
133757320ca9SKevin Wolf     g_assert(QLIST_NEXT(detach_by_parent_data.child_c, next) == child_a);
1338231281abSKevin Wolf     g_assert(QLIST_NEXT(child_a, next) == NULL);
1339231281abSKevin Wolf 
1340231281abSKevin Wolf     g_assert_cmpint(parent_a->quiesce_counter, ==, 1);
1341299403aeSKevin Wolf     g_assert_cmpint(parent_b->quiesce_counter, ==, 3);
1342231281abSKevin Wolf     g_assert_cmpint(a->quiesce_counter, ==, 1);
1343299403aeSKevin Wolf     g_assert_cmpint(b->quiesce_counter, ==, 1);
1344231281abSKevin Wolf     g_assert_cmpint(c->quiesce_counter, ==, 1);
1345231281abSKevin Wolf 
1346299403aeSKevin Wolf     bdrv_drained_end(parent_b);
1347299403aeSKevin Wolf     bdrv_drained_end(a);
1348299403aeSKevin Wolf     bdrv_drained_end(b);
1349299403aeSKevin Wolf     bdrv_drained_end(c);
1350231281abSKevin Wolf 
1351231281abSKevin Wolf     bdrv_unref(parent_b);
1352231281abSKevin Wolf     blk_unref(blk);
1353231281abSKevin Wolf 
1354231281abSKevin Wolf     g_assert_cmpint(a->refcnt, ==, 1);
1355231281abSKevin Wolf     g_assert_cmpint(b->refcnt, ==, 1);
1356231281abSKevin Wolf     g_assert_cmpint(c->refcnt, ==, 1);
1357231281abSKevin Wolf     bdrv_unref(a);
1358231281abSKevin Wolf     bdrv_unref(b);
1359231281abSKevin Wolf     bdrv_unref(c);
1360231281abSKevin Wolf }
1361231281abSKevin Wolf 
136257320ca9SKevin Wolf static void test_detach_by_parent_cb(void)
136357320ca9SKevin Wolf {
136457320ca9SKevin Wolf     test_detach_indirect(true);
136557320ca9SKevin Wolf }
136657320ca9SKevin Wolf 
136757320ca9SKevin Wolf static void test_detach_by_driver_cb(void)
136857320ca9SKevin Wolf {
136957320ca9SKevin Wolf     test_detach_indirect(false);
137057320ca9SKevin Wolf }
1371231281abSKevin Wolf 
1372b994c5bcSKevin Wolf static void test_append_to_drained(void)
1373b994c5bcSKevin Wolf {
1374b994c5bcSKevin Wolf     BlockBackend *blk;
1375b994c5bcSKevin Wolf     BlockDriverState *base, *overlay;
1376b994c5bcSKevin Wolf     BDRVTestState *base_s, *overlay_s;
1377b994c5bcSKevin Wolf 
1378d861ab3aSKevin Wolf     blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
1379b994c5bcSKevin Wolf     base = bdrv_new_open_driver(&bdrv_test, "base", BDRV_O_RDWR, &error_abort);
1380b994c5bcSKevin Wolf     base_s = base->opaque;
1381b994c5bcSKevin Wolf     blk_insert_bs(blk, base, &error_abort);
1382b994c5bcSKevin Wolf 
1383b994c5bcSKevin Wolf     overlay = bdrv_new_open_driver(&bdrv_test, "overlay", BDRV_O_RDWR,
1384b994c5bcSKevin Wolf                                    &error_abort);
1385b994c5bcSKevin Wolf     overlay_s = overlay->opaque;
1386b994c5bcSKevin Wolf 
1387b994c5bcSKevin Wolf     do_drain_begin(BDRV_DRAIN, base);
1388b994c5bcSKevin Wolf     g_assert_cmpint(base->quiesce_counter, ==, 1);
1389b994c5bcSKevin Wolf     g_assert_cmpint(base_s->drain_count, ==, 1);
1390b994c5bcSKevin Wolf     g_assert_cmpint(base->in_flight, ==, 0);
1391b994c5bcSKevin Wolf 
1392487b9187SKevin Wolf     aio_context_acquire(qemu_get_aio_context());
1393b994c5bcSKevin Wolf     bdrv_append(overlay, base, &error_abort);
1394487b9187SKevin Wolf     aio_context_release(qemu_get_aio_context());
1395487b9187SKevin Wolf 
1396b994c5bcSKevin Wolf     g_assert_cmpint(base->in_flight, ==, 0);
1397b994c5bcSKevin Wolf     g_assert_cmpint(overlay->in_flight, ==, 0);
1398b994c5bcSKevin Wolf 
1399b994c5bcSKevin Wolf     g_assert_cmpint(base->quiesce_counter, ==, 1);
1400b994c5bcSKevin Wolf     g_assert_cmpint(base_s->drain_count, ==, 1);
1401b994c5bcSKevin Wolf     g_assert_cmpint(overlay->quiesce_counter, ==, 1);
1402b994c5bcSKevin Wolf     g_assert_cmpint(overlay_s->drain_count, ==, 1);
1403b994c5bcSKevin Wolf 
1404b994c5bcSKevin Wolf     do_drain_end(BDRV_DRAIN, base);
1405b994c5bcSKevin Wolf 
1406b994c5bcSKevin Wolf     g_assert_cmpint(base->quiesce_counter, ==, 0);
1407b994c5bcSKevin Wolf     g_assert_cmpint(base_s->drain_count, ==, 0);
1408b994c5bcSKevin Wolf     g_assert_cmpint(overlay->quiesce_counter, ==, 0);
1409b994c5bcSKevin Wolf     g_assert_cmpint(overlay_s->drain_count, ==, 0);
1410b994c5bcSKevin Wolf 
1411ae9d4417SVladimir Sementsov-Ogievskiy     bdrv_unref(overlay);
1412b994c5bcSKevin Wolf     bdrv_unref(base);
1413b994c5bcSKevin Wolf     blk_unref(blk);
1414b994c5bcSKevin Wolf }
1415b994c5bcSKevin Wolf 
1416247d2737SKevin Wolf static void test_set_aio_context(void)
1417247d2737SKevin Wolf {
1418247d2737SKevin Wolf     BlockDriverState *bs;
1419247d2737SKevin Wolf     IOThread *a = iothread_new();
1420247d2737SKevin Wolf     IOThread *b = iothread_new();
1421247d2737SKevin Wolf     AioContext *ctx_a = iothread_get_aio_context(a);
1422247d2737SKevin Wolf     AioContext *ctx_b = iothread_get_aio_context(b);
1423247d2737SKevin Wolf 
1424247d2737SKevin Wolf     bs = bdrv_new_open_driver(&bdrv_test, "test-node", BDRV_O_RDWR,
1425247d2737SKevin Wolf                               &error_abort);
1426247d2737SKevin Wolf 
1427247d2737SKevin Wolf     bdrv_drained_begin(bs);
1428142e6907SEmanuele Giuseppe Esposito     bdrv_try_change_aio_context(bs, ctx_a, NULL, &error_abort);
1429247d2737SKevin Wolf 
1430247d2737SKevin Wolf     aio_context_acquire(ctx_a);
1431247d2737SKevin Wolf     bdrv_drained_end(bs);
1432247d2737SKevin Wolf 
1433247d2737SKevin Wolf     bdrv_drained_begin(bs);
1434142e6907SEmanuele Giuseppe Esposito     bdrv_try_change_aio_context(bs, ctx_b, NULL, &error_abort);
1435247d2737SKevin Wolf     aio_context_release(ctx_a);
1436247d2737SKevin Wolf     aio_context_acquire(ctx_b);
1437142e6907SEmanuele Giuseppe Esposito     bdrv_try_change_aio_context(bs, qemu_get_aio_context(), NULL, &error_abort);
1438247d2737SKevin Wolf     aio_context_release(ctx_b);
1439247d2737SKevin Wolf     bdrv_drained_end(bs);
1440247d2737SKevin Wolf 
1441247d2737SKevin Wolf     bdrv_unref(bs);
1442247d2737SKevin Wolf     iothread_join(a);
1443247d2737SKevin Wolf     iothread_join(b);
1444247d2737SKevin Wolf }
1445247d2737SKevin Wolf 
14468e442810SMax Reitz 
14478e442810SMax Reitz typedef struct TestDropBackingBlockJob {
14488e442810SMax Reitz     BlockJob common;
14498e442810SMax Reitz     bool should_complete;
14508e442810SMax Reitz     bool *did_complete;
14512afdc790SMax Reitz     BlockDriverState *detach_also;
14521b177bbeSVladimir Sementsov-Ogievskiy     BlockDriverState *bs;
14538e442810SMax Reitz } TestDropBackingBlockJob;
14548e442810SMax Reitz 
14558e442810SMax Reitz static int coroutine_fn test_drop_backing_job_run(Job *job, Error **errp)
14568e442810SMax Reitz {
14578e442810SMax Reitz     TestDropBackingBlockJob *s =
14588e442810SMax Reitz         container_of(job, TestDropBackingBlockJob, common.job);
14598e442810SMax Reitz 
14608e442810SMax Reitz     while (!s->should_complete) {
14618e442810SMax Reitz         job_sleep_ns(job, 0);
14628e442810SMax Reitz     }
14638e442810SMax Reitz 
14648e442810SMax Reitz     return 0;
14658e442810SMax Reitz }
14668e442810SMax Reitz 
14678e442810SMax Reitz static void test_drop_backing_job_commit(Job *job)
14688e442810SMax Reitz {
14698e442810SMax Reitz     TestDropBackingBlockJob *s =
14708e442810SMax Reitz         container_of(job, TestDropBackingBlockJob, common.job);
14718e442810SMax Reitz 
14721b177bbeSVladimir Sementsov-Ogievskiy     bdrv_set_backing_hd(s->bs, NULL, &error_abort);
14732afdc790SMax Reitz     bdrv_set_backing_hd(s->detach_also, NULL, &error_abort);
14748e442810SMax Reitz 
14758e442810SMax Reitz     *s->did_complete = true;
14768e442810SMax Reitz }
14778e442810SMax Reitz 
14788e442810SMax Reitz static const BlockJobDriver test_drop_backing_job_driver = {
14798e442810SMax Reitz     .job_driver = {
14808e442810SMax Reitz         .instance_size  = sizeof(TestDropBackingBlockJob),
14818e442810SMax Reitz         .free           = block_job_free,
14828e442810SMax Reitz         .user_resume    = block_job_user_resume,
14838e442810SMax Reitz         .run            = test_drop_backing_job_run,
14848e442810SMax Reitz         .commit         = test_drop_backing_job_commit,
14858e442810SMax Reitz     }
14868e442810SMax Reitz };
14878e442810SMax Reitz 
14888e442810SMax Reitz /**
14898e442810SMax Reitz  * Creates a child node with three parent nodes on it, and then runs a
14908e442810SMax Reitz  * block job on the final one, parent-node-2.
14918e442810SMax Reitz  *
14928e442810SMax Reitz  * The job is then asked to complete before a section where the child
14938e442810SMax Reitz  * is drained.
14948e442810SMax Reitz  *
14958e442810SMax Reitz  * Ending this section will undrain the child's parents, first
14968e442810SMax Reitz  * parent-node-2, then parent-node-1, then parent-node-0 -- the parent
14978e442810SMax Reitz  * list is in reverse order of how they were added.  Ending the drain
14988e442810SMax Reitz  * on parent-node-2 will resume the job, thus completing it and
14998e442810SMax Reitz  * scheduling job_exit().
15008e442810SMax Reitz  *
15018e442810SMax Reitz  * Ending the drain on parent-node-1 will poll the AioContext, which
15028e442810SMax Reitz  * lets job_exit() and thus test_drop_backing_job_commit() run.  That
15032afdc790SMax Reitz  * function first removes the child as parent-node-2's backing file.
15048e442810SMax Reitz  *
15058e442810SMax Reitz  * In old (and buggy) implementations, there are two problems with
15068e442810SMax Reitz  * that:
15078e442810SMax Reitz  * (A) bdrv_drain_invoke() polls for every node that leaves the
15088e442810SMax Reitz  *     drained section.  This means that job_exit() is scheduled
15098e442810SMax Reitz  *     before the child has left the drained section.  Its
15108e442810SMax Reitz  *     quiesce_counter is therefore still 1 when it is removed from
15118e442810SMax Reitz  *     parent-node-2.
15128e442810SMax Reitz  *
15138e442810SMax Reitz  * (B) bdrv_replace_child_noperm() calls drained_end() on the old
15148e442810SMax Reitz  *     child's parents as many times as the child is quiesced.  This
15158e442810SMax Reitz  *     means it will call drained_end() on parent-node-2 once.
15168e442810SMax Reitz  *     Because parent-node-2 is no longer quiesced at this point, this
15178e442810SMax Reitz  *     will fail.
15188e442810SMax Reitz  *
15198e442810SMax Reitz  * bdrv_replace_child_noperm() therefore must call drained_end() on
15208e442810SMax Reitz  * the parent only if it really is still drained because the child is
15218e442810SMax Reitz  * drained.
15222afdc790SMax Reitz  *
15232afdc790SMax Reitz  * If removing child from parent-node-2 was successful (as it should
15242afdc790SMax Reitz  * be), test_drop_backing_job_commit() will then also remove the child
15252afdc790SMax Reitz  * from parent-node-0.
15262afdc790SMax Reitz  *
15272afdc790SMax Reitz  * With an old version of our drain infrastructure ((A) above), that
15282afdc790SMax Reitz  * resulted in the following flow:
15292afdc790SMax Reitz  *
15302afdc790SMax Reitz  * 1. child attempts to leave its drained section.  The call recurses
15312afdc790SMax Reitz  *    to its parents.
15322afdc790SMax Reitz  *
15332afdc790SMax Reitz  * 2. parent-node-2 leaves the drained section.  Polling in
15342afdc790SMax Reitz  *    bdrv_drain_invoke() will schedule job_exit().
15352afdc790SMax Reitz  *
15362afdc790SMax Reitz  * 3. parent-node-1 leaves the drained section.  Polling in
15372afdc790SMax Reitz  *    bdrv_drain_invoke() will run job_exit(), thus disconnecting
15382afdc790SMax Reitz  *    parent-node-0 from the child node.
15392afdc790SMax Reitz  *
15402afdc790SMax Reitz  * 4. bdrv_parent_drained_end() uses a QLIST_FOREACH_SAFE() loop to
15412afdc790SMax Reitz  *    iterate over the parents.  Thus, it now accesses the BdrvChild
15422afdc790SMax Reitz  *    object that used to connect parent-node-0 and the child node.
15432afdc790SMax Reitz  *    However, that object no longer exists, so it accesses a dangling
15442afdc790SMax Reitz  *    pointer.
15452afdc790SMax Reitz  *
15462afdc790SMax Reitz  * The solution is to only poll once when running a bdrv_drained_end()
15472afdc790SMax Reitz  * operation, specifically at the end when all drained_end()
15482afdc790SMax Reitz  * operations for all involved nodes have been scheduled.
15492afdc790SMax Reitz  * Note that this also solves (A) above, thus hiding (B).
15508e442810SMax Reitz  */
15518e442810SMax Reitz static void test_blockjob_commit_by_drained_end(void)
15528e442810SMax Reitz {
15538e442810SMax Reitz     BlockDriverState *bs_child, *bs_parents[3];
15548e442810SMax Reitz     TestDropBackingBlockJob *job;
15558e442810SMax Reitz     bool job_has_completed = false;
15568e442810SMax Reitz     int i;
15578e442810SMax Reitz 
15588e442810SMax Reitz     bs_child = bdrv_new_open_driver(&bdrv_test, "child-node", BDRV_O_RDWR,
15598e442810SMax Reitz                                     &error_abort);
15608e442810SMax Reitz 
15618e442810SMax Reitz     for (i = 0; i < 3; i++) {
15628e442810SMax Reitz         char name[32];
15638e442810SMax Reitz         snprintf(name, sizeof(name), "parent-node-%i", i);
15648e442810SMax Reitz         bs_parents[i] = bdrv_new_open_driver(&bdrv_test, name, BDRV_O_RDWR,
15658e442810SMax Reitz                                              &error_abort);
15668e442810SMax Reitz         bdrv_set_backing_hd(bs_parents[i], bs_child, &error_abort);
15678e442810SMax Reitz     }
15688e442810SMax Reitz 
15698e442810SMax Reitz     job = block_job_create("job", &test_drop_backing_job_driver, NULL,
15708e442810SMax Reitz                            bs_parents[2], 0, BLK_PERM_ALL, 0, 0, NULL, NULL,
15718e442810SMax Reitz                            &error_abort);
15721b177bbeSVladimir Sementsov-Ogievskiy     job->bs = bs_parents[2];
15738e442810SMax Reitz 
15742afdc790SMax Reitz     job->detach_also = bs_parents[0];
15758e442810SMax Reitz     job->did_complete = &job_has_completed;
15768e442810SMax Reitz 
15778e442810SMax Reitz     job_start(&job->common.job);
15788e442810SMax Reitz 
15798e442810SMax Reitz     job->should_complete = true;
15808e442810SMax Reitz     bdrv_drained_begin(bs_child);
15818e442810SMax Reitz     g_assert(!job_has_completed);
15828e442810SMax Reitz     bdrv_drained_end(bs_child);
15835e8ac217SKevin Wolf     aio_poll(qemu_get_aio_context(), false);
15848e442810SMax Reitz     g_assert(job_has_completed);
15858e442810SMax Reitz 
15868e442810SMax Reitz     bdrv_unref(bs_parents[0]);
15878e442810SMax Reitz     bdrv_unref(bs_parents[1]);
15888e442810SMax Reitz     bdrv_unref(bs_parents[2]);
15898e442810SMax Reitz     bdrv_unref(bs_child);
15908e442810SMax Reitz }
15918e442810SMax Reitz 
15929746b35cSMax Reitz 
15939746b35cSMax Reitz typedef struct TestSimpleBlockJob {
15949746b35cSMax Reitz     BlockJob common;
15959746b35cSMax Reitz     bool should_complete;
15969746b35cSMax Reitz     bool *did_complete;
15979746b35cSMax Reitz } TestSimpleBlockJob;
15989746b35cSMax Reitz 
15999746b35cSMax Reitz static int coroutine_fn test_simple_job_run(Job *job, Error **errp)
16009746b35cSMax Reitz {
16019746b35cSMax Reitz     TestSimpleBlockJob *s = container_of(job, TestSimpleBlockJob, common.job);
16029746b35cSMax Reitz 
16039746b35cSMax Reitz     while (!s->should_complete) {
16049746b35cSMax Reitz         job_sleep_ns(job, 0);
16059746b35cSMax Reitz     }
16069746b35cSMax Reitz 
16079746b35cSMax Reitz     return 0;
16089746b35cSMax Reitz }
16099746b35cSMax Reitz 
16109746b35cSMax Reitz static void test_simple_job_clean(Job *job)
16119746b35cSMax Reitz {
16129746b35cSMax Reitz     TestSimpleBlockJob *s = container_of(job, TestSimpleBlockJob, common.job);
16139746b35cSMax Reitz     *s->did_complete = true;
16149746b35cSMax Reitz }
16159746b35cSMax Reitz 
16169746b35cSMax Reitz static const BlockJobDriver test_simple_job_driver = {
16179746b35cSMax Reitz     .job_driver = {
16189746b35cSMax Reitz         .instance_size  = sizeof(TestSimpleBlockJob),
16199746b35cSMax Reitz         .free           = block_job_free,
16209746b35cSMax Reitz         .user_resume    = block_job_user_resume,
16219746b35cSMax Reitz         .run            = test_simple_job_run,
16229746b35cSMax Reitz         .clean          = test_simple_job_clean,
16239746b35cSMax Reitz     },
16249746b35cSMax Reitz };
16259746b35cSMax Reitz 
16269746b35cSMax Reitz static int drop_intermediate_poll_update_filename(BdrvChild *child,
16279746b35cSMax Reitz                                                   BlockDriverState *new_base,
16289746b35cSMax Reitz                                                   const char *filename,
16299746b35cSMax Reitz                                                   Error **errp)
16309746b35cSMax Reitz {
16319746b35cSMax Reitz     /*
16329746b35cSMax Reitz      * We are free to poll here, which may change the block graph, if
16339746b35cSMax Reitz      * it is not drained.
16349746b35cSMax Reitz      */
16359746b35cSMax Reitz 
16369746b35cSMax Reitz     /* If the job is not drained: Complete it, schedule job_exit() */
16379746b35cSMax Reitz     aio_poll(qemu_get_current_aio_context(), false);
16389746b35cSMax Reitz     /* If the job is not drained: Run job_exit(), finish the job */
16399746b35cSMax Reitz     aio_poll(qemu_get_current_aio_context(), false);
16409746b35cSMax Reitz 
16419746b35cSMax Reitz     return 0;
16429746b35cSMax Reitz }
16439746b35cSMax Reitz 
16449746b35cSMax Reitz /**
16459746b35cSMax Reitz  * Test a poll in the midst of bdrv_drop_intermediate().
16469746b35cSMax Reitz  *
1647bd86fb99SMax Reitz  * bdrv_drop_intermediate() calls BdrvChildClass.update_filename(),
16489746b35cSMax Reitz  * which can yield or poll.  This may lead to graph changes, unless
16499746b35cSMax Reitz  * the whole subtree in question is drained.
16509746b35cSMax Reitz  *
16519746b35cSMax Reitz  * We test this on the following graph:
16529746b35cSMax Reitz  *
16539746b35cSMax Reitz  *                    Job
16549746b35cSMax Reitz  *
16559746b35cSMax Reitz  *                     |
16569746b35cSMax Reitz  *                  job-node
16579746b35cSMax Reitz  *                     |
16589746b35cSMax Reitz  *                     v
16599746b35cSMax Reitz  *
16609746b35cSMax Reitz  *                  job-node
16619746b35cSMax Reitz  *
16629746b35cSMax Reitz  *                     |
16639746b35cSMax Reitz  *                  backing
16649746b35cSMax Reitz  *                     |
16659746b35cSMax Reitz  *                     v
16669746b35cSMax Reitz  *
16679746b35cSMax Reitz  * node-2 --chain--> node-1 --chain--> node-0
16689746b35cSMax Reitz  *
16699746b35cSMax Reitz  * We drop node-1 with bdrv_drop_intermediate(top=node-1, base=node-0).
16709746b35cSMax Reitz  *
16719746b35cSMax Reitz  * This first updates node-2's backing filename by invoking
16729746b35cSMax Reitz  * drop_intermediate_poll_update_filename(), which polls twice.  This
16739746b35cSMax Reitz  * causes the job to finish, which in turns causes the job-node to be
16749746b35cSMax Reitz  * deleted.
16759746b35cSMax Reitz  *
16769746b35cSMax Reitz  * bdrv_drop_intermediate() uses a QLIST_FOREACH_SAFE() loop, so it
16779746b35cSMax Reitz  * already has a pointer to the BdrvChild edge between job-node and
16789746b35cSMax Reitz  * node-1.  When it tries to handle that edge, we probably get a
16799746b35cSMax Reitz  * segmentation fault because the object no longer exists.
16809746b35cSMax Reitz  *
16819746b35cSMax Reitz  *
16829746b35cSMax Reitz  * The solution is for bdrv_drop_intermediate() to drain top's
16839746b35cSMax Reitz  * subtree.  This prevents graph changes from happening just because
1684bd86fb99SMax Reitz  * BdrvChildClass.update_filename() yields or polls.  Thus, the block
16859746b35cSMax Reitz  * job is paused during that drained section and must finish before or
16869746b35cSMax Reitz  * after.
16879746b35cSMax Reitz  *
16889746b35cSMax Reitz  * (In addition, bdrv_replace_child() must keep the job paused.)
16899746b35cSMax Reitz  */
16909746b35cSMax Reitz static void test_drop_intermediate_poll(void)
16919746b35cSMax Reitz {
1692bd86fb99SMax Reitz     static BdrvChildClass chain_child_class;
16939746b35cSMax Reitz     BlockDriverState *chain[3];
16949746b35cSMax Reitz     TestSimpleBlockJob *job;
16959746b35cSMax Reitz     BlockDriverState *job_node;
16969746b35cSMax Reitz     bool job_has_completed = false;
16979746b35cSMax Reitz     int i;
16989746b35cSMax Reitz     int ret;
16999746b35cSMax Reitz 
170025191e5fSMax Reitz     chain_child_class = child_of_bds;
1701bd86fb99SMax Reitz     chain_child_class.update_filename = drop_intermediate_poll_update_filename;
17029746b35cSMax Reitz 
17039746b35cSMax Reitz     for (i = 0; i < 3; i++) {
17049746b35cSMax Reitz         char name[32];
17059746b35cSMax Reitz         snprintf(name, 32, "node-%i", i);
17069746b35cSMax Reitz 
17079746b35cSMax Reitz         chain[i] = bdrv_new_open_driver(&bdrv_test, name, 0, &error_abort);
17089746b35cSMax Reitz     }
17099746b35cSMax Reitz 
17109746b35cSMax Reitz     job_node = bdrv_new_open_driver(&bdrv_test, "job-node", BDRV_O_RDWR,
17119746b35cSMax Reitz                                     &error_abort);
17129746b35cSMax Reitz     bdrv_set_backing_hd(job_node, chain[1], &error_abort);
17139746b35cSMax Reitz 
17149746b35cSMax Reitz     /*
17159746b35cSMax Reitz      * Establish the chain last, so the chain links are the first
17169746b35cSMax Reitz      * elements in the BDS.parents lists
17179746b35cSMax Reitz      */
1718afdaeb9eSKevin Wolf     bdrv_graph_wrlock(NULL);
17199746b35cSMax Reitz     for (i = 0; i < 3; i++) {
17209746b35cSMax Reitz         if (i) {
17219746b35cSMax Reitz             /* Takes the reference to chain[i - 1] */
17225bb04747SVladimir Sementsov-Ogievskiy             bdrv_attach_child(chain[i], chain[i - 1], "chain",
17235bb04747SVladimir Sementsov-Ogievskiy                               &chain_child_class, BDRV_CHILD_COW, &error_abort);
17249746b35cSMax Reitz         }
17259746b35cSMax Reitz     }
1726afdaeb9eSKevin Wolf     bdrv_graph_wrunlock();
17279746b35cSMax Reitz 
17289746b35cSMax Reitz     job = block_job_create("job", &test_simple_job_driver, NULL, job_node,
17299746b35cSMax Reitz                            0, BLK_PERM_ALL, 0, 0, NULL, NULL, &error_abort);
17309746b35cSMax Reitz 
17319746b35cSMax Reitz     /* The job has a reference now */
17329746b35cSMax Reitz     bdrv_unref(job_node);
17339746b35cSMax Reitz 
17349746b35cSMax Reitz     job->did_complete = &job_has_completed;
17359746b35cSMax Reitz 
17369746b35cSMax Reitz     job_start(&job->common.job);
17379746b35cSMax Reitz     job->should_complete = true;
17389746b35cSMax Reitz 
17399746b35cSMax Reitz     g_assert(!job_has_completed);
17409746b35cSMax Reitz     ret = bdrv_drop_intermediate(chain[1], chain[0], NULL);
17415e8ac217SKevin Wolf     aio_poll(qemu_get_aio_context(), false);
17429746b35cSMax Reitz     g_assert(ret == 0);
17439746b35cSMax Reitz     g_assert(job_has_completed);
17449746b35cSMax Reitz 
17459746b35cSMax Reitz     bdrv_unref(chain[2]);
17469746b35cSMax Reitz }
17479746b35cSMax Reitz 
17480513f984SMax Reitz 
17490513f984SMax Reitz typedef struct BDRVReplaceTestState {
175023987471SKevin Wolf     bool setup_completed;
17510513f984SMax Reitz     bool was_drained;
17520513f984SMax Reitz     bool was_undrained;
17530513f984SMax Reitz     bool has_read;
17540513f984SMax Reitz 
17550513f984SMax Reitz     int drain_count;
17560513f984SMax Reitz 
17570513f984SMax Reitz     bool yield_before_read;
17580513f984SMax Reitz     Coroutine *io_co;
17590513f984SMax Reitz     Coroutine *drain_co;
17600513f984SMax Reitz } BDRVReplaceTestState;
17610513f984SMax Reitz 
17620513f984SMax Reitz static void bdrv_replace_test_close(BlockDriverState *bs)
17630513f984SMax Reitz {
17640513f984SMax Reitz }
17650513f984SMax Reitz 
17660513f984SMax Reitz /**
17670513f984SMax Reitz  * If @bs has a backing file:
17680513f984SMax Reitz  *   Yield if .yield_before_read is true (and wait for drain_begin to
17690513f984SMax Reitz  *   wake us up).
17700513f984SMax Reitz  *   Forward the read to bs->backing.  Set .has_read to true.
17710513f984SMax Reitz  *   If drain_begin has woken us, wake it in turn.
17720513f984SMax Reitz  *
17730513f984SMax Reitz  * Otherwise:
17740513f984SMax Reitz  *   Set .has_read to true and return success.
17750513f984SMax Reitz  */
1776b9b10c35SKevin Wolf static int coroutine_fn GRAPH_RDLOCK
1777b9b10c35SKevin Wolf bdrv_replace_test_co_preadv(BlockDriverState *bs, int64_t offset, int64_t bytes,
1778b9b10c35SKevin Wolf                             QEMUIOVector *qiov, BdrvRequestFlags flags)
17790513f984SMax Reitz {
17800513f984SMax Reitz     BDRVReplaceTestState *s = bs->opaque;
17810513f984SMax Reitz 
17820513f984SMax Reitz     if (bs->backing) {
17830513f984SMax Reitz         int ret;
17840513f984SMax Reitz 
17850513f984SMax Reitz         g_assert(!s->drain_count);
17860513f984SMax Reitz 
17870513f984SMax Reitz         s->io_co = qemu_coroutine_self();
17880513f984SMax Reitz         if (s->yield_before_read) {
17890513f984SMax Reitz             s->yield_before_read = false;
17900513f984SMax Reitz             qemu_coroutine_yield();
17910513f984SMax Reitz         }
17920513f984SMax Reitz         s->io_co = NULL;
17930513f984SMax Reitz 
1794fae2681aSVladimir Sementsov-Ogievskiy         ret = bdrv_co_preadv(bs->backing, offset, bytes, qiov, 0);
17950513f984SMax Reitz         s->has_read = true;
17960513f984SMax Reitz 
17970513f984SMax Reitz         /* Wake up drain_co if it runs */
17980513f984SMax Reitz         if (s->drain_co) {
17990513f984SMax Reitz             aio_co_wake(s->drain_co);
18000513f984SMax Reitz         }
18010513f984SMax Reitz 
18020513f984SMax Reitz         return ret;
18030513f984SMax Reitz     }
18040513f984SMax Reitz 
18050513f984SMax Reitz     s->has_read = true;
18060513f984SMax Reitz     return 0;
18070513f984SMax Reitz }
18080513f984SMax Reitz 
18097bce1c29SKevin Wolf static void coroutine_fn bdrv_replace_test_drain_co(void *opaque)
18107bce1c29SKevin Wolf {
18117bce1c29SKevin Wolf     BlockDriverState *bs = opaque;
18127bce1c29SKevin Wolf     BDRVReplaceTestState *s = bs->opaque;
18137bce1c29SKevin Wolf 
18147bce1c29SKevin Wolf     /* Keep waking io_co up until it is done */
18157bce1c29SKevin Wolf     while (s->io_co) {
18167bce1c29SKevin Wolf         aio_co_wake(s->io_co);
18177bce1c29SKevin Wolf         s->io_co = NULL;
18187bce1c29SKevin Wolf         qemu_coroutine_yield();
18197bce1c29SKevin Wolf     }
18207bce1c29SKevin Wolf     s->drain_co = NULL;
18217bce1c29SKevin Wolf     bdrv_dec_in_flight(bs);
18227bce1c29SKevin Wolf }
18237bce1c29SKevin Wolf 
18240513f984SMax Reitz /**
18250513f984SMax Reitz  * If .drain_count is 0, wake up .io_co if there is one; and set
18260513f984SMax Reitz  * .was_drained.
18270513f984SMax Reitz  * Increment .drain_count.
18280513f984SMax Reitz  */
18295e8ac217SKevin Wolf static void bdrv_replace_test_drain_begin(BlockDriverState *bs)
18300513f984SMax Reitz {
18310513f984SMax Reitz     BDRVReplaceTestState *s = bs->opaque;
18320513f984SMax Reitz 
183323987471SKevin Wolf     if (!s->setup_completed) {
183423987471SKevin Wolf         return;
183523987471SKevin Wolf     }
183623987471SKevin Wolf 
18370513f984SMax Reitz     if (!s->drain_count) {
18387bce1c29SKevin Wolf         s->drain_co = qemu_coroutine_create(bdrv_replace_test_drain_co, bs);
18397bce1c29SKevin Wolf         bdrv_inc_in_flight(bs);
18407bce1c29SKevin Wolf         aio_co_enter(bdrv_get_aio_context(bs), s->drain_co);
18410513f984SMax Reitz         s->was_drained = true;
18420513f984SMax Reitz     }
18430513f984SMax Reitz     s->drain_count++;
18440513f984SMax Reitz }
18450513f984SMax Reitz 
18467bce1c29SKevin Wolf static void coroutine_fn bdrv_replace_test_read_entry(void *opaque)
18477bce1c29SKevin Wolf {
18487bce1c29SKevin Wolf     BlockDriverState *bs = opaque;
18497bce1c29SKevin Wolf     char data;
18507bce1c29SKevin Wolf     QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, &data, 1);
18517bce1c29SKevin Wolf     int ret;
18527bce1c29SKevin Wolf 
18537bce1c29SKevin Wolf     /* Queue a read request post-drain */
1854b9b10c35SKevin Wolf     bdrv_graph_co_rdlock();
18557bce1c29SKevin Wolf     ret = bdrv_replace_test_co_preadv(bs, 0, 1, &qiov, 0);
1856b9b10c35SKevin Wolf     bdrv_graph_co_rdunlock();
1857b9b10c35SKevin Wolf 
18587bce1c29SKevin Wolf     g_assert(ret >= 0);
18597bce1c29SKevin Wolf     bdrv_dec_in_flight(bs);
18607bce1c29SKevin Wolf }
18617bce1c29SKevin Wolf 
18620513f984SMax Reitz /**
18630513f984SMax Reitz  * Reduce .drain_count, set .was_undrained once it reaches 0.
18640513f984SMax Reitz  * If .drain_count reaches 0 and the node has a backing file, issue a
18650513f984SMax Reitz  * read request.
18660513f984SMax Reitz  */
18675e8ac217SKevin Wolf static void bdrv_replace_test_drain_end(BlockDriverState *bs)
18680513f984SMax Reitz {
18690513f984SMax Reitz     BDRVReplaceTestState *s = bs->opaque;
18700513f984SMax Reitz 
187123987471SKevin Wolf     if (!s->setup_completed) {
187223987471SKevin Wolf         return;
187323987471SKevin Wolf     }
187423987471SKevin Wolf 
18750513f984SMax Reitz     g_assert(s->drain_count > 0);
18760513f984SMax Reitz     if (!--s->drain_count) {
18770513f984SMax Reitz         s->was_undrained = true;
18780513f984SMax Reitz 
18790513f984SMax Reitz         if (bs->backing) {
18807bce1c29SKevin Wolf             Coroutine *co = qemu_coroutine_create(bdrv_replace_test_read_entry,
18817bce1c29SKevin Wolf                                                   bs);
18827bce1c29SKevin Wolf             bdrv_inc_in_flight(bs);
18837bce1c29SKevin Wolf             aio_co_enter(bdrv_get_aio_context(bs), co);
18840513f984SMax Reitz         }
18850513f984SMax Reitz     }
18860513f984SMax Reitz }
18870513f984SMax Reitz 
18880513f984SMax Reitz static BlockDriver bdrv_replace_test = {
18890513f984SMax Reitz     .format_name            = "replace_test",
18900513f984SMax Reitz     .instance_size          = sizeof(BDRVReplaceTestState),
18919ebfc111SVladimir Sementsov-Ogievskiy     .supports_backing       = true,
18920513f984SMax Reitz 
18930513f984SMax Reitz     .bdrv_close             = bdrv_replace_test_close,
18940513f984SMax Reitz     .bdrv_co_preadv         = bdrv_replace_test_co_preadv,
18950513f984SMax Reitz 
18965e8ac217SKevin Wolf     .bdrv_drain_begin       = bdrv_replace_test_drain_begin,
18975e8ac217SKevin Wolf     .bdrv_drain_end         = bdrv_replace_test_drain_end,
18980513f984SMax Reitz 
189969dca43dSMax Reitz     .bdrv_child_perm        = bdrv_default_perms,
19000513f984SMax Reitz };
19010513f984SMax Reitz 
19020513f984SMax Reitz static void coroutine_fn test_replace_child_mid_drain_read_co(void *opaque)
19030513f984SMax Reitz {
19040513f984SMax Reitz     int ret;
19050513f984SMax Reitz     char data;
19060513f984SMax Reitz 
19070513f984SMax Reitz     ret = blk_co_pread(opaque, 0, 1, &data, 0);
19080513f984SMax Reitz     g_assert(ret >= 0);
19090513f984SMax Reitz }
19100513f984SMax Reitz 
19110513f984SMax Reitz /**
19120513f984SMax Reitz  * We test two things:
19130513f984SMax Reitz  * (1) bdrv_replace_child_noperm() must not undrain the parent if both
19140513f984SMax Reitz  *     children are drained.
19150513f984SMax Reitz  * (2) bdrv_replace_child_noperm() must never flush I/O requests to a
19160513f984SMax Reitz  *     drained child.  If the old child is drained, it must flush I/O
19170513f984SMax Reitz  *     requests after the new one has been attached.  If the new child
19180513f984SMax Reitz  *     is drained, it must flush I/O requests before the old one is
19190513f984SMax Reitz  *     detached.
19200513f984SMax Reitz  *
19210513f984SMax Reitz  * To do so, we create one parent node and two child nodes; then
19220513f984SMax Reitz  * attach one of the children (old_child_bs) to the parent, then
19230513f984SMax Reitz  * drain both old_child_bs and new_child_bs according to
19240513f984SMax Reitz  * old_drain_count and new_drain_count, respectively, and finally
19250513f984SMax Reitz  * we invoke bdrv_replace_node() to replace old_child_bs by
19260513f984SMax Reitz  * new_child_bs.
19270513f984SMax Reitz  *
19280513f984SMax Reitz  * The test block driver we use here (bdrv_replace_test) has a read
19290513f984SMax Reitz  * function that:
19300513f984SMax Reitz  * - For the parent node, can optionally yield, and then forwards the
19310513f984SMax Reitz  *   read to bdrv_preadv(),
19320513f984SMax Reitz  * - For the child node, just returns immediately.
19330513f984SMax Reitz  *
19340513f984SMax Reitz  * If the read yields, the drain_begin function will wake it up.
19350513f984SMax Reitz  *
19360513f984SMax Reitz  * The drain_end function issues a read on the parent once it is fully
19370513f984SMax Reitz  * undrained (which simulates requests starting to come in again).
19380513f984SMax Reitz  */
19390513f984SMax Reitz static void do_test_replace_child_mid_drain(int old_drain_count,
19400513f984SMax Reitz                                             int new_drain_count)
19410513f984SMax Reitz {
19420513f984SMax Reitz     BlockBackend *parent_blk;
19430513f984SMax Reitz     BlockDriverState *parent_bs;
19440513f984SMax Reitz     BlockDriverState *old_child_bs, *new_child_bs;
19450513f984SMax Reitz     BDRVReplaceTestState *parent_s;
19460513f984SMax Reitz     BDRVReplaceTestState *old_child_s, *new_child_s;
19470513f984SMax Reitz     Coroutine *io_co;
19480513f984SMax Reitz     int i;
19490513f984SMax Reitz 
19500513f984SMax Reitz     parent_bs = bdrv_new_open_driver(&bdrv_replace_test, "parent", 0,
19510513f984SMax Reitz                                      &error_abort);
19520513f984SMax Reitz     parent_s = parent_bs->opaque;
19530513f984SMax Reitz 
19540513f984SMax Reitz     parent_blk = blk_new(qemu_get_aio_context(),
19550513f984SMax Reitz                          BLK_PERM_CONSISTENT_READ, BLK_PERM_ALL);
19560513f984SMax Reitz     blk_insert_bs(parent_blk, parent_bs, &error_abort);
19570513f984SMax Reitz 
19580513f984SMax Reitz     old_child_bs = bdrv_new_open_driver(&bdrv_replace_test, "old-child", 0,
19590513f984SMax Reitz                                         &error_abort);
19600513f984SMax Reitz     new_child_bs = bdrv_new_open_driver(&bdrv_replace_test, "new-child", 0,
19610513f984SMax Reitz                                         &error_abort);
19620513f984SMax Reitz     old_child_s = old_child_bs->opaque;
19630513f984SMax Reitz     new_child_s = new_child_bs->opaque;
19640513f984SMax Reitz 
19650513f984SMax Reitz     /* So that we can read something */
19660513f984SMax Reitz     parent_bs->total_sectors = 1;
19670513f984SMax Reitz     old_child_bs->total_sectors = 1;
19680513f984SMax Reitz     new_child_bs->total_sectors = 1;
19690513f984SMax Reitz 
19700513f984SMax Reitz     bdrv_ref(old_child_bs);
1971afdaeb9eSKevin Wolf     bdrv_graph_wrlock(NULL);
19725bb04747SVladimir Sementsov-Ogievskiy     bdrv_attach_child(parent_bs, old_child_bs, "child", &child_of_bds,
19735bb04747SVladimir Sementsov-Ogievskiy                       BDRV_CHILD_COW, &error_abort);
1974afdaeb9eSKevin Wolf     bdrv_graph_wrunlock();
197523987471SKevin Wolf     parent_s->setup_completed = true;
19760513f984SMax Reitz 
19770513f984SMax Reitz     for (i = 0; i < old_drain_count; i++) {
19780513f984SMax Reitz         bdrv_drained_begin(old_child_bs);
19790513f984SMax Reitz     }
19800513f984SMax Reitz     for (i = 0; i < new_drain_count; i++) {
19810513f984SMax Reitz         bdrv_drained_begin(new_child_bs);
19820513f984SMax Reitz     }
19830513f984SMax Reitz 
19840513f984SMax Reitz     if (!old_drain_count) {
19850513f984SMax Reitz         /*
19860513f984SMax Reitz          * Start a read operation that will yield, so it will not
19870513f984SMax Reitz          * complete before the node is drained.
19880513f984SMax Reitz          */
19890513f984SMax Reitz         parent_s->yield_before_read = true;
19900513f984SMax Reitz         io_co = qemu_coroutine_create(test_replace_child_mid_drain_read_co,
19910513f984SMax Reitz                                       parent_blk);
19920513f984SMax Reitz         qemu_coroutine_enter(io_co);
19930513f984SMax Reitz     }
19940513f984SMax Reitz 
19950513f984SMax Reitz     /* If we have started a read operation, it should have yielded */
19960513f984SMax Reitz     g_assert(!parent_s->has_read);
19970513f984SMax Reitz 
19980513f984SMax Reitz     /* Reset drained status so we can see what bdrv_replace_node() does */
19990513f984SMax Reitz     parent_s->was_drained = false;
20000513f984SMax Reitz     parent_s->was_undrained = false;
20010513f984SMax Reitz 
20020513f984SMax Reitz     g_assert(parent_bs->quiesce_counter == old_drain_count);
20030513f984SMax Reitz     bdrv_replace_node(old_child_bs, new_child_bs, &error_abort);
20040513f984SMax Reitz     g_assert(parent_bs->quiesce_counter == new_drain_count);
20050513f984SMax Reitz 
20060513f984SMax Reitz     if (!old_drain_count && !new_drain_count) {
20070513f984SMax Reitz         /*
20080513f984SMax Reitz          * From undrained to undrained drains and undrains the parent,
20090513f984SMax Reitz          * because bdrv_replace_node() contains a drained section for
20100513f984SMax Reitz          * @old_child_bs.
20110513f984SMax Reitz          */
20120513f984SMax Reitz         g_assert(parent_s->was_drained && parent_s->was_undrained);
20130513f984SMax Reitz     } else if (!old_drain_count && new_drain_count) {
20140513f984SMax Reitz         /*
20150513f984SMax Reitz          * From undrained to drained should drain the parent and keep
20160513f984SMax Reitz          * it that way.
20170513f984SMax Reitz          */
20180513f984SMax Reitz         g_assert(parent_s->was_drained && !parent_s->was_undrained);
20190513f984SMax Reitz     } else if (old_drain_count && !new_drain_count) {
20200513f984SMax Reitz         /*
20210513f984SMax Reitz          * From drained to undrained should undrain the parent and
20220513f984SMax Reitz          * keep it that way.
20230513f984SMax Reitz          */
20240513f984SMax Reitz         g_assert(!parent_s->was_drained && parent_s->was_undrained);
20250513f984SMax Reitz     } else /* if (old_drain_count && new_drain_count) */ {
20260513f984SMax Reitz         /*
20270513f984SMax Reitz          * From drained to drained must not undrain the parent at any
20280513f984SMax Reitz          * point
20290513f984SMax Reitz          */
20300513f984SMax Reitz         g_assert(!parent_s->was_drained && !parent_s->was_undrained);
20310513f984SMax Reitz     }
20320513f984SMax Reitz 
20330513f984SMax Reitz     if (!old_drain_count || !new_drain_count) {
20340513f984SMax Reitz         /*
20350513f984SMax Reitz          * If !old_drain_count, we have started a read request before
20360513f984SMax Reitz          * bdrv_replace_node().  If !new_drain_count, the parent must
20370513f984SMax Reitz          * have been undrained at some point, and
20380513f984SMax Reitz          * bdrv_replace_test_co_drain_end() starts a read request
20390513f984SMax Reitz          * then.
20400513f984SMax Reitz          */
20410513f984SMax Reitz         g_assert(parent_s->has_read);
20420513f984SMax Reitz     } else {
20430513f984SMax Reitz         /*
20440513f984SMax Reitz          * If the parent was never undrained, there is no way to start
20450513f984SMax Reitz          * a read request.
20460513f984SMax Reitz          */
20470513f984SMax Reitz         g_assert(!parent_s->has_read);
20480513f984SMax Reitz     }
20490513f984SMax Reitz 
20500513f984SMax Reitz     /* A drained child must have not received any request */
20510513f984SMax Reitz     g_assert(!(old_drain_count && old_child_s->has_read));
20520513f984SMax Reitz     g_assert(!(new_drain_count && new_child_s->has_read));
20530513f984SMax Reitz 
20540513f984SMax Reitz     for (i = 0; i < new_drain_count; i++) {
20550513f984SMax Reitz         bdrv_drained_end(new_child_bs);
20560513f984SMax Reitz     }
20570513f984SMax Reitz     for (i = 0; i < old_drain_count; i++) {
20580513f984SMax Reitz         bdrv_drained_end(old_child_bs);
20590513f984SMax Reitz     }
20600513f984SMax Reitz 
20610513f984SMax Reitz     /*
20620513f984SMax Reitz      * By now, bdrv_replace_test_co_drain_end() must have been called
20630513f984SMax Reitz      * at some point while the new child was attached to the parent.
20640513f984SMax Reitz      */
20650513f984SMax Reitz     g_assert(parent_s->has_read);
20660513f984SMax Reitz     g_assert(new_child_s->has_read);
20670513f984SMax Reitz 
20680513f984SMax Reitz     blk_unref(parent_blk);
20690513f984SMax Reitz     bdrv_unref(parent_bs);
20700513f984SMax Reitz     bdrv_unref(old_child_bs);
20710513f984SMax Reitz     bdrv_unref(new_child_bs);
20720513f984SMax Reitz }
20730513f984SMax Reitz 
20740513f984SMax Reitz static void test_replace_child_mid_drain(void)
20750513f984SMax Reitz {
20760513f984SMax Reitz     int old_drain_count, new_drain_count;
20770513f984SMax Reitz 
20780513f984SMax Reitz     for (old_drain_count = 0; old_drain_count < 2; old_drain_count++) {
20790513f984SMax Reitz         for (new_drain_count = 0; new_drain_count < 2; new_drain_count++) {
20800513f984SMax Reitz             do_test_replace_child_mid_drain(old_drain_count, new_drain_count);
20810513f984SMax Reitz         }
20820513f984SMax Reitz     }
20830513f984SMax Reitz }
20840513f984SMax Reitz 
2085881cfd17SKevin Wolf int main(int argc, char **argv)
2086881cfd17SKevin Wolf {
2087bb675689SKevin Wolf     int ret;
2088bb675689SKevin Wolf 
2089881cfd17SKevin Wolf     bdrv_init();
2090881cfd17SKevin Wolf     qemu_init_main_loop(&error_abort);
2091881cfd17SKevin Wolf 
2092881cfd17SKevin Wolf     g_test_init(&argc, &argv, NULL);
2093bb675689SKevin Wolf     qemu_event_init(&done_event, false);
2094881cfd17SKevin Wolf 
2095881cfd17SKevin Wolf     g_test_add_func("/bdrv-drain/driver-cb/drain_all", test_drv_cb_drain_all);
209686e1c840SKevin Wolf     g_test_add_func("/bdrv-drain/driver-cb/drain", test_drv_cb_drain);
2097881cfd17SKevin Wolf 
20986d0252f2SKevin Wolf     g_test_add_func("/bdrv-drain/driver-cb/co/drain_all",
20996d0252f2SKevin Wolf                     test_drv_cb_co_drain_all);
21000582eb10SKevin Wolf     g_test_add_func("/bdrv-drain/driver-cb/co/drain", test_drv_cb_co_drain);
21010582eb10SKevin Wolf 
210289a6ceabSKevin Wolf     g_test_add_func("/bdrv-drain/quiesce/drain_all", test_quiesce_drain_all);
210389a6ceabSKevin Wolf     g_test_add_func("/bdrv-drain/quiesce/drain", test_quiesce_drain);
210489a6ceabSKevin Wolf 
21056d0252f2SKevin Wolf     g_test_add_func("/bdrv-drain/quiesce/co/drain_all",
21066d0252f2SKevin Wolf                     test_quiesce_co_drain_all);
21070582eb10SKevin Wolf     g_test_add_func("/bdrv-drain/quiesce/co/drain", test_quiesce_co_drain);
21080582eb10SKevin Wolf 
21096c429a6aSKevin Wolf     g_test_add_func("/bdrv-drain/nested", test_nested);
211019f7a7e5SKevin Wolf 
211119f7a7e5SKevin Wolf     g_test_add_func("/bdrv-drain/graph-change/drain_all",
211219f7a7e5SKevin Wolf                     test_graph_change_drain_all);
21136c429a6aSKevin Wolf 
2114bb675689SKevin Wolf     g_test_add_func("/bdrv-drain/iothread/drain_all", test_iothread_drain_all);
2115bb675689SKevin Wolf     g_test_add_func("/bdrv-drain/iothread/drain", test_iothread_drain);
2116bb675689SKevin Wolf 
21177253220dSKevin Wolf     g_test_add_func("/bdrv-drain/blockjob/drain_all", test_blockjob_drain_all);
21187253220dSKevin Wolf     g_test_add_func("/bdrv-drain/blockjob/drain", test_blockjob_drain);
21197253220dSKevin Wolf 
2120d49725afSKevin Wolf     g_test_add_func("/bdrv-drain/blockjob/error/drain_all",
2121d49725afSKevin Wolf                     test_blockjob_error_drain_all);
2122d49725afSKevin Wolf     g_test_add_func("/bdrv-drain/blockjob/error/drain",
2123d49725afSKevin Wolf                     test_blockjob_error_drain);
2124d49725afSKevin Wolf 
2125f62c1729SKevin Wolf     g_test_add_func("/bdrv-drain/blockjob/iothread/drain_all",
2126f62c1729SKevin Wolf                     test_blockjob_iothread_drain_all);
2127f62c1729SKevin Wolf     g_test_add_func("/bdrv-drain/blockjob/iothread/drain",
2128f62c1729SKevin Wolf                     test_blockjob_iothread_drain);
2129f62c1729SKevin Wolf 
2130d49725afSKevin Wolf     g_test_add_func("/bdrv-drain/blockjob/iothread/error/drain_all",
2131d49725afSKevin Wolf                     test_blockjob_iothread_error_drain_all);
2132d49725afSKevin Wolf     g_test_add_func("/bdrv-drain/blockjob/iothread/error/drain",
2133d49725afSKevin Wolf                     test_blockjob_iothread_error_drain);
2134d49725afSKevin Wolf 
2135ebd31837SKevin Wolf     g_test_add_func("/bdrv-drain/deletion/drain", test_delete_by_drain);
213619f7a7e5SKevin Wolf     g_test_add_func("/bdrv-drain/detach/drain_all", test_detach_by_drain_all);
2137ebd31837SKevin Wolf     g_test_add_func("/bdrv-drain/detach/drain", test_detach_by_drain);
2138231281abSKevin Wolf     g_test_add_func("/bdrv-drain/detach/parent_cb", test_detach_by_parent_cb);
213957320ca9SKevin Wolf     g_test_add_func("/bdrv-drain/detach/driver_cb", test_detach_by_driver_cb);
21404c8158e3SMax Reitz 
2141b994c5bcSKevin Wolf     g_test_add_func("/bdrv-drain/attach/drain", test_append_to_drained);
2142b994c5bcSKevin Wolf 
2143247d2737SKevin Wolf     g_test_add_func("/bdrv-drain/set_aio_context", test_set_aio_context);
2144247d2737SKevin Wolf 
21458e442810SMax Reitz     g_test_add_func("/bdrv-drain/blockjob/commit_by_drained_end",
21468e442810SMax Reitz                     test_blockjob_commit_by_drained_end);
21478e442810SMax Reitz 
21489746b35cSMax Reitz     g_test_add_func("/bdrv-drain/bdrv_drop_intermediate/poll",
21499746b35cSMax Reitz                     test_drop_intermediate_poll);
21509746b35cSMax Reitz 
21510513f984SMax Reitz     g_test_add_func("/bdrv-drain/replace_child/mid-drain",
21520513f984SMax Reitz                     test_replace_child_mid_drain);
21530513f984SMax Reitz 
2154bb675689SKevin Wolf     ret = g_test_run();
2155bb675689SKevin Wolf     qemu_event_destroy(&done_event);
2156bb675689SKevin Wolf     return ret;
2157881cfd17SKevin Wolf }
2158