]> git.proxmox.com Git - mirror_qemu.git/blob - tests/unit/test-bdrv-drain.c
8d05538bf66ca8fb507ff960612fbecbd0f73fe8
[mirror_qemu.git] / tests / unit / test-bdrv-drain.c
1 /*
2 * Block node draining tests
3 *
4 * Copyright (c) 2017 Kevin Wolf <kwolf@redhat.com>
5 *
6 * Permission is hereby granted, free of charge, to any person obtaining a copy
7 * of this software and associated documentation files (the "Software"), to deal
8 * in the Software without restriction, including without limitation the rights
9 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
10 * copies of the Software, and to permit persons to whom the Software is
11 * furnished to do so, subject to the following conditions:
12 *
13 * The above copyright notice and this permission notice shall be included in
14 * all copies or substantial portions of the Software.
15 *
16 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
17 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
18 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
19 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
20 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
21 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
22 * THE SOFTWARE.
23 */
24
25 #include "qemu/osdep.h"
26 #include "block/block_int.h"
27 #include "block/blockjob_int.h"
28 #include "sysemu/block-backend.h"
29 #include "qapi/error.h"
30 #include "qemu/main-loop.h"
31 #include "iothread.h"
32
33 static QemuEvent done_event;
34
35 typedef struct BDRVTestState {
36 int drain_count;
37 AioContext *bh_indirection_ctx;
38 bool sleep_in_drain_begin;
39 } BDRVTestState;
40
41 static void coroutine_fn sleep_in_drain_begin(void *opaque)
42 {
43 BlockDriverState *bs = opaque;
44
45 qemu_co_sleep_ns(QEMU_CLOCK_REALTIME, 100000);
46 bdrv_dec_in_flight(bs);
47 }
48
49 static void bdrv_test_drain_begin(BlockDriverState *bs)
50 {
51 BDRVTestState *s = bs->opaque;
52 s->drain_count++;
53 if (s->sleep_in_drain_begin) {
54 Coroutine *co = qemu_coroutine_create(sleep_in_drain_begin, bs);
55 bdrv_inc_in_flight(bs);
56 aio_co_enter(bdrv_get_aio_context(bs), co);
57 }
58 }
59
60 static void bdrv_test_drain_end(BlockDriverState *bs)
61 {
62 BDRVTestState *s = bs->opaque;
63 s->drain_count--;
64 }
65
66 static void bdrv_test_close(BlockDriverState *bs)
67 {
68 BDRVTestState *s = bs->opaque;
69 g_assert_cmpint(s->drain_count, >, 0);
70 }
71
72 static void co_reenter_bh(void *opaque)
73 {
74 aio_co_wake(opaque);
75 }
76
77 static int coroutine_fn bdrv_test_co_preadv(BlockDriverState *bs,
78 int64_t offset, int64_t bytes,
79 QEMUIOVector *qiov,
80 BdrvRequestFlags flags)
81 {
82 BDRVTestState *s = bs->opaque;
83
84 /* We want this request to stay until the polling loop in drain waits for
85 * it to complete. We need to sleep a while as bdrv_drain_invoke() comes
86 * first and polls its result, too, but it shouldn't accidentally complete
87 * this request yet. */
88 qemu_co_sleep_ns(QEMU_CLOCK_REALTIME, 100000);
89
90 if (s->bh_indirection_ctx) {
91 aio_bh_schedule_oneshot(s->bh_indirection_ctx, co_reenter_bh,
92 qemu_coroutine_self());
93 qemu_coroutine_yield();
94 }
95
96 return 0;
97 }
98
99 static int bdrv_test_co_change_backing_file(BlockDriverState *bs,
100 const char *backing_file,
101 const char *backing_fmt)
102 {
103 return 0;
104 }
105
106 static BlockDriver bdrv_test = {
107 .format_name = "test",
108 .instance_size = sizeof(BDRVTestState),
109 .supports_backing = true,
110
111 .bdrv_close = bdrv_test_close,
112 .bdrv_co_preadv = bdrv_test_co_preadv,
113
114 .bdrv_drain_begin = bdrv_test_drain_begin,
115 .bdrv_drain_end = bdrv_test_drain_end,
116
117 .bdrv_child_perm = bdrv_default_perms,
118
119 .bdrv_co_change_backing_file = bdrv_test_co_change_backing_file,
120 };
121
122 static void aio_ret_cb(void *opaque, int ret)
123 {
124 int *aio_ret = opaque;
125 *aio_ret = ret;
126 }
127
128 typedef struct CallInCoroutineData {
129 void (*entry)(void);
130 bool done;
131 } CallInCoroutineData;
132
133 static coroutine_fn void call_in_coroutine_entry(void *opaque)
134 {
135 CallInCoroutineData *data = opaque;
136
137 data->entry();
138 data->done = true;
139 }
140
141 static void call_in_coroutine(void (*entry)(void))
142 {
143 Coroutine *co;
144 CallInCoroutineData data = {
145 .entry = entry,
146 .done = false,
147 };
148
149 co = qemu_coroutine_create(call_in_coroutine_entry, &data);
150 qemu_coroutine_enter(co);
151 while (!data.done) {
152 aio_poll(qemu_get_aio_context(), true);
153 }
154 }
155
156 enum drain_type {
157 BDRV_DRAIN_ALL,
158 BDRV_DRAIN,
159 DRAIN_TYPE_MAX,
160 };
161
162 static void do_drain_begin(enum drain_type drain_type, BlockDriverState *bs)
163 {
164 switch (drain_type) {
165 case BDRV_DRAIN_ALL: bdrv_drain_all_begin(); break;
166 case BDRV_DRAIN: bdrv_drained_begin(bs); break;
167 default: g_assert_not_reached();
168 }
169 }
170
171 static void do_drain_end(enum drain_type drain_type, BlockDriverState *bs)
172 {
173 switch (drain_type) {
174 case BDRV_DRAIN_ALL: bdrv_drain_all_end(); break;
175 case BDRV_DRAIN: bdrv_drained_end(bs); break;
176 default: g_assert_not_reached();
177 }
178 }
179
180 static void do_drain_begin_unlocked(enum drain_type drain_type, BlockDriverState *bs)
181 {
182 if (drain_type != BDRV_DRAIN_ALL) {
183 aio_context_acquire(bdrv_get_aio_context(bs));
184 }
185 do_drain_begin(drain_type, bs);
186 if (drain_type != BDRV_DRAIN_ALL) {
187 aio_context_release(bdrv_get_aio_context(bs));
188 }
189 }
190
191 static BlockBackend * no_coroutine_fn test_setup(void)
192 {
193 BlockBackend *blk;
194 BlockDriverState *bs, *backing;
195
196 blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
197 bs = bdrv_new_open_driver(&bdrv_test, "test-node", BDRV_O_RDWR,
198 &error_abort);
199 blk_insert_bs(blk, bs, &error_abort);
200
201 backing = bdrv_new_open_driver(&bdrv_test, "backing", 0, &error_abort);
202 bdrv_set_backing_hd(bs, backing, &error_abort);
203
204 bdrv_unref(backing);
205 bdrv_unref(bs);
206
207 return blk;
208 }
209
210 static void do_drain_end_unlocked(enum drain_type drain_type, BlockDriverState *bs)
211 {
212 if (drain_type != BDRV_DRAIN_ALL) {
213 aio_context_acquire(bdrv_get_aio_context(bs));
214 }
215 do_drain_end(drain_type, bs);
216 if (drain_type != BDRV_DRAIN_ALL) {
217 aio_context_release(bdrv_get_aio_context(bs));
218 }
219 }
220
221 /*
222 * Locking the block graph would be a bit cumbersome here because this function
223 * is called both in coroutine and non-coroutine context. We know this is a test
224 * and nothing else is running, so don't bother with TSA.
225 */
226 static void coroutine_mixed_fn TSA_NO_TSA
227 test_drv_cb_common(BlockBackend *blk, enum drain_type drain_type,
228 bool recursive)
229 {
230 BlockDriverState *bs = blk_bs(blk);
231 BlockDriverState *backing = bs->backing->bs;
232 BDRVTestState *s, *backing_s;
233 BlockAIOCB *acb;
234 int aio_ret;
235
236 QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, NULL, 0);
237
238 s = bs->opaque;
239 backing_s = backing->opaque;
240
241 /* Simple bdrv_drain_all_begin/end pair, check that CBs are called */
242 g_assert_cmpint(s->drain_count, ==, 0);
243 g_assert_cmpint(backing_s->drain_count, ==, 0);
244
245 do_drain_begin(drain_type, bs);
246
247 g_assert_cmpint(s->drain_count, ==, 1);
248 g_assert_cmpint(backing_s->drain_count, ==, !!recursive);
249
250 do_drain_end(drain_type, bs);
251
252 g_assert_cmpint(s->drain_count, ==, 0);
253 g_assert_cmpint(backing_s->drain_count, ==, 0);
254
255 /* Now do the same while a request is pending */
256 aio_ret = -EINPROGRESS;
257 acb = blk_aio_preadv(blk, 0, &qiov, 0, aio_ret_cb, &aio_ret);
258 g_assert(acb != NULL);
259 g_assert_cmpint(aio_ret, ==, -EINPROGRESS);
260
261 g_assert_cmpint(s->drain_count, ==, 0);
262 g_assert_cmpint(backing_s->drain_count, ==, 0);
263
264 do_drain_begin(drain_type, bs);
265
266 g_assert_cmpint(aio_ret, ==, 0);
267 g_assert_cmpint(s->drain_count, ==, 1);
268 g_assert_cmpint(backing_s->drain_count, ==, !!recursive);
269
270 do_drain_end(drain_type, bs);
271
272 g_assert_cmpint(s->drain_count, ==, 0);
273 g_assert_cmpint(backing_s->drain_count, ==, 0);
274 }
275
276 static void test_drv_cb_drain_all(void)
277 {
278 BlockBackend *blk = test_setup();
279 test_drv_cb_common(blk, BDRV_DRAIN_ALL, true);
280 blk_unref(blk);
281 }
282
283 static void test_drv_cb_drain(void)
284 {
285 BlockBackend *blk = test_setup();
286 test_drv_cb_common(blk, BDRV_DRAIN, false);
287 blk_unref(blk);
288 }
289
290 static void coroutine_fn test_drv_cb_co_drain_all_entry(void)
291 {
292 BlockBackend *blk = blk_all_next(NULL);
293 test_drv_cb_common(blk, BDRV_DRAIN_ALL, true);
294 }
295
296 static void test_drv_cb_co_drain_all(void)
297 {
298 BlockBackend *blk = test_setup();
299 call_in_coroutine(test_drv_cb_co_drain_all_entry);
300 blk_unref(blk);
301 }
302
303 static void coroutine_fn test_drv_cb_co_drain_entry(void)
304 {
305 BlockBackend *blk = blk_all_next(NULL);
306 test_drv_cb_common(blk, BDRV_DRAIN, false);
307 }
308
309 static void test_drv_cb_co_drain(void)
310 {
311 BlockBackend *blk = test_setup();
312 call_in_coroutine(test_drv_cb_co_drain_entry);
313 blk_unref(blk);
314 }
315
316 /*
317 * Locking the block graph would be a bit cumbersome here because this function
318 * is called both in coroutine and non-coroutine context. We know this is a test
319 * and nothing else is running, so don't bother with TSA.
320 */
321 static void coroutine_mixed_fn TSA_NO_TSA
322 test_quiesce_common(BlockBackend *blk, enum drain_type drain_type,
323 bool recursive)
324 {
325 BlockDriverState *bs = blk_bs(blk);
326 BlockDriverState *backing = bs->backing->bs;
327
328 g_assert_cmpint(bs->quiesce_counter, ==, 0);
329 g_assert_cmpint(backing->quiesce_counter, ==, 0);
330
331 do_drain_begin(drain_type, bs);
332
333 if (drain_type == BDRV_DRAIN_ALL) {
334 g_assert_cmpint(bs->quiesce_counter, ==, 2);
335 } else {
336 g_assert_cmpint(bs->quiesce_counter, ==, 1);
337 }
338 g_assert_cmpint(backing->quiesce_counter, ==, !!recursive);
339
340 do_drain_end(drain_type, bs);
341
342 g_assert_cmpint(bs->quiesce_counter, ==, 0);
343 g_assert_cmpint(backing->quiesce_counter, ==, 0);
344 }
345
346 static void test_quiesce_drain_all(void)
347 {
348 BlockBackend *blk = test_setup();
349 test_quiesce_common(blk, BDRV_DRAIN_ALL, true);
350 blk_unref(blk);
351 }
352
353 static void test_quiesce_drain(void)
354 {
355 BlockBackend *blk = test_setup();
356 test_quiesce_common(blk, BDRV_DRAIN, false);
357 blk_unref(blk);
358 }
359
360 static void coroutine_fn test_quiesce_co_drain_all_entry(void)
361 {
362 BlockBackend *blk = blk_all_next(NULL);
363 test_quiesce_common(blk, BDRV_DRAIN_ALL, true);
364 }
365
366 static void test_quiesce_co_drain_all(void)
367 {
368 BlockBackend *blk = test_setup();
369 call_in_coroutine(test_quiesce_co_drain_all_entry);
370 blk_unref(blk);
371 }
372
373 static void coroutine_fn test_quiesce_co_drain_entry(void)
374 {
375 BlockBackend *blk = blk_all_next(NULL);
376 test_quiesce_common(blk, BDRV_DRAIN, false);
377 }
378
379 static void test_quiesce_co_drain(void)
380 {
381 BlockBackend *blk = test_setup();
382 call_in_coroutine(test_quiesce_co_drain_entry);
383 blk_unref(blk);
384 }
385
386 static void test_nested(void)
387 {
388 BlockBackend *blk;
389 BlockDriverState *bs, *backing;
390 BDRVTestState *s, *backing_s;
391 enum drain_type outer, inner;
392
393 blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
394 bs = bdrv_new_open_driver(&bdrv_test, "test-node", BDRV_O_RDWR,
395 &error_abort);
396 s = bs->opaque;
397 blk_insert_bs(blk, bs, &error_abort);
398
399 backing = bdrv_new_open_driver(&bdrv_test, "backing", 0, &error_abort);
400 backing_s = backing->opaque;
401 bdrv_set_backing_hd(bs, backing, &error_abort);
402
403 for (outer = 0; outer < DRAIN_TYPE_MAX; outer++) {
404 for (inner = 0; inner < DRAIN_TYPE_MAX; inner++) {
405 int backing_quiesce = (outer == BDRV_DRAIN_ALL) +
406 (inner == BDRV_DRAIN_ALL);
407
408 g_assert_cmpint(bs->quiesce_counter, ==, 0);
409 g_assert_cmpint(backing->quiesce_counter, ==, 0);
410 g_assert_cmpint(s->drain_count, ==, 0);
411 g_assert_cmpint(backing_s->drain_count, ==, 0);
412
413 do_drain_begin(outer, bs);
414 do_drain_begin(inner, bs);
415
416 g_assert_cmpint(bs->quiesce_counter, ==, 2 + !!backing_quiesce);
417 g_assert_cmpint(backing->quiesce_counter, ==, backing_quiesce);
418 g_assert_cmpint(s->drain_count, ==, 1);
419 g_assert_cmpint(backing_s->drain_count, ==, !!backing_quiesce);
420
421 do_drain_end(inner, bs);
422 do_drain_end(outer, bs);
423
424 g_assert_cmpint(bs->quiesce_counter, ==, 0);
425 g_assert_cmpint(backing->quiesce_counter, ==, 0);
426 g_assert_cmpint(s->drain_count, ==, 0);
427 g_assert_cmpint(backing_s->drain_count, ==, 0);
428 }
429 }
430
431 bdrv_unref(backing);
432 bdrv_unref(bs);
433 blk_unref(blk);
434 }
435
436 static void test_graph_change_drain_all(void)
437 {
438 BlockBackend *blk_a, *blk_b;
439 BlockDriverState *bs_a, *bs_b;
440 BDRVTestState *a_s, *b_s;
441
442 /* Create node A with a BlockBackend */
443 blk_a = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
444 bs_a = bdrv_new_open_driver(&bdrv_test, "test-node-a", BDRV_O_RDWR,
445 &error_abort);
446 a_s = bs_a->opaque;
447 blk_insert_bs(blk_a, bs_a, &error_abort);
448
449 g_assert_cmpint(bs_a->quiesce_counter, ==, 0);
450 g_assert_cmpint(a_s->drain_count, ==, 0);
451
452 /* Call bdrv_drain_all_begin() */
453 bdrv_drain_all_begin();
454
455 g_assert_cmpint(bs_a->quiesce_counter, ==, 1);
456 g_assert_cmpint(a_s->drain_count, ==, 1);
457
458 /* Create node B with a BlockBackend */
459 blk_b = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
460 bs_b = bdrv_new_open_driver(&bdrv_test, "test-node-b", BDRV_O_RDWR,
461 &error_abort);
462 b_s = bs_b->opaque;
463 blk_insert_bs(blk_b, bs_b, &error_abort);
464
465 g_assert_cmpint(bs_a->quiesce_counter, ==, 1);
466 g_assert_cmpint(bs_b->quiesce_counter, ==, 1);
467 g_assert_cmpint(a_s->drain_count, ==, 1);
468 g_assert_cmpint(b_s->drain_count, ==, 1);
469
470 /* Unref and finally delete node A */
471 blk_unref(blk_a);
472
473 g_assert_cmpint(bs_a->quiesce_counter, ==, 1);
474 g_assert_cmpint(bs_b->quiesce_counter, ==, 1);
475 g_assert_cmpint(a_s->drain_count, ==, 1);
476 g_assert_cmpint(b_s->drain_count, ==, 1);
477
478 bdrv_unref(bs_a);
479
480 g_assert_cmpint(bs_b->quiesce_counter, ==, 1);
481 g_assert_cmpint(b_s->drain_count, ==, 1);
482
483 /* End the drained section */
484 bdrv_drain_all_end();
485
486 g_assert_cmpint(bs_b->quiesce_counter, ==, 0);
487 g_assert_cmpint(b_s->drain_count, ==, 0);
488
489 bdrv_unref(bs_b);
490 blk_unref(blk_b);
491 }
492
493 struct test_iothread_data {
494 BlockDriverState *bs;
495 enum drain_type drain_type;
496 int *aio_ret;
497 bool co_done;
498 };
499
500 static void coroutine_fn test_iothread_drain_co_entry(void *opaque)
501 {
502 struct test_iothread_data *data = opaque;
503
504 do_drain_begin(data->drain_type, data->bs);
505 g_assert_cmpint(*data->aio_ret, ==, 0);
506 do_drain_end(data->drain_type, data->bs);
507
508 data->co_done = true;
509 aio_wait_kick();
510 }
511
512 static void test_iothread_aio_cb(void *opaque, int ret)
513 {
514 int *aio_ret = opaque;
515 *aio_ret = ret;
516 qemu_event_set(&done_event);
517 }
518
519 static void test_iothread_main_thread_bh(void *opaque)
520 {
521 struct test_iothread_data *data = opaque;
522
523 /* Test that the AioContext is not yet locked in a random BH that is
524 * executed during drain, otherwise this would deadlock. */
525 aio_context_acquire(bdrv_get_aio_context(data->bs));
526 bdrv_flush(data->bs);
527 bdrv_dec_in_flight(data->bs); /* incremented by test_iothread_common() */
528 aio_context_release(bdrv_get_aio_context(data->bs));
529 }
530
531 /*
532 * Starts an AIO request on a BDS that runs in the AioContext of iothread 1.
533 * The request involves a BH on iothread 2 before it can complete.
534 *
535 * @drain_thread = 0 means that do_drain_begin/end are called from the main
536 * thread, @drain_thread = 1 means that they are called from iothread 1. Drain
537 * for this BDS cannot be called from iothread 2 because only the main thread
538 * may do cross-AioContext polling.
539 */
540 static void test_iothread_common(enum drain_type drain_type, int drain_thread)
541 {
542 BlockBackend *blk;
543 BlockDriverState *bs;
544 BDRVTestState *s;
545 BlockAIOCB *acb;
546 Coroutine *co;
547 int aio_ret;
548 struct test_iothread_data data;
549
550 IOThread *a = iothread_new();
551 IOThread *b = iothread_new();
552 AioContext *ctx_a = iothread_get_aio_context(a);
553 AioContext *ctx_b = iothread_get_aio_context(b);
554
555 QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, NULL, 0);
556
557 /* bdrv_drain_all() may only be called from the main loop thread */
558 if (drain_type == BDRV_DRAIN_ALL && drain_thread != 0) {
559 goto out;
560 }
561
562 blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
563 bs = bdrv_new_open_driver(&bdrv_test, "test-node", BDRV_O_RDWR,
564 &error_abort);
565 s = bs->opaque;
566 blk_insert_bs(blk, bs, &error_abort);
567 blk_set_disable_request_queuing(blk, true);
568
569 blk_set_aio_context(blk, ctx_a, &error_abort);
570 aio_context_acquire(ctx_a);
571
572 s->bh_indirection_ctx = ctx_b;
573
574 aio_ret = -EINPROGRESS;
575 qemu_event_reset(&done_event);
576
577 if (drain_thread == 0) {
578 acb = blk_aio_preadv(blk, 0, &qiov, 0, test_iothread_aio_cb, &aio_ret);
579 } else {
580 acb = blk_aio_preadv(blk, 0, &qiov, 0, aio_ret_cb, &aio_ret);
581 }
582 g_assert(acb != NULL);
583 g_assert_cmpint(aio_ret, ==, -EINPROGRESS);
584
585 aio_context_release(ctx_a);
586
587 data = (struct test_iothread_data) {
588 .bs = bs,
589 .drain_type = drain_type,
590 .aio_ret = &aio_ret,
591 };
592
593 switch (drain_thread) {
594 case 0:
595 if (drain_type != BDRV_DRAIN_ALL) {
596 aio_context_acquire(ctx_a);
597 }
598
599 /*
600 * Increment in_flight so that do_drain_begin() waits for
601 * test_iothread_main_thread_bh(). This prevents the race between
602 * test_iothread_main_thread_bh() in IOThread a and do_drain_begin() in
603 * this thread. test_iothread_main_thread_bh() decrements in_flight.
604 */
605 bdrv_inc_in_flight(bs);
606 aio_bh_schedule_oneshot(ctx_a, test_iothread_main_thread_bh, &data);
607
608 /* The request is running on the IOThread a. Draining its block device
609 * will make sure that it has completed as far as the BDS is concerned,
610 * but the drain in this thread can continue immediately after
611 * bdrv_dec_in_flight() and aio_ret might be assigned only slightly
612 * later. */
613 do_drain_begin(drain_type, bs);
614 g_assert_cmpint(bs->in_flight, ==, 0);
615
616 if (drain_type != BDRV_DRAIN_ALL) {
617 aio_context_release(ctx_a);
618 }
619 qemu_event_wait(&done_event);
620 if (drain_type != BDRV_DRAIN_ALL) {
621 aio_context_acquire(ctx_a);
622 }
623
624 g_assert_cmpint(aio_ret, ==, 0);
625 do_drain_end(drain_type, bs);
626
627 if (drain_type != BDRV_DRAIN_ALL) {
628 aio_context_release(ctx_a);
629 }
630 break;
631 case 1:
632 co = qemu_coroutine_create(test_iothread_drain_co_entry, &data);
633 aio_co_enter(ctx_a, co);
634 AIO_WAIT_WHILE_UNLOCKED(NULL, !data.co_done);
635 break;
636 default:
637 g_assert_not_reached();
638 }
639
640 aio_context_acquire(ctx_a);
641 blk_set_aio_context(blk, qemu_get_aio_context(), &error_abort);
642 aio_context_release(ctx_a);
643
644 bdrv_unref(bs);
645 blk_unref(blk);
646
647 out:
648 iothread_join(a);
649 iothread_join(b);
650 }
651
652 static void test_iothread_drain_all(void)
653 {
654 test_iothread_common(BDRV_DRAIN_ALL, 0);
655 test_iothread_common(BDRV_DRAIN_ALL, 1);
656 }
657
658 static void test_iothread_drain(void)
659 {
660 test_iothread_common(BDRV_DRAIN, 0);
661 test_iothread_common(BDRV_DRAIN, 1);
662 }
663
664
665 typedef struct TestBlockJob {
666 BlockJob common;
667 BlockDriverState *bs;
668 int run_ret;
669 int prepare_ret;
670 bool running;
671 bool should_complete;
672 } TestBlockJob;
673
674 static int test_job_prepare(Job *job)
675 {
676 TestBlockJob *s = container_of(job, TestBlockJob, common.job);
677
678 /* Provoke an AIO_WAIT_WHILE() call to verify there is no deadlock */
679 bdrv_flush(s->bs);
680 return s->prepare_ret;
681 }
682
683 static void test_job_commit(Job *job)
684 {
685 TestBlockJob *s = container_of(job, TestBlockJob, common.job);
686
687 /* Provoke an AIO_WAIT_WHILE() call to verify there is no deadlock */
688 bdrv_flush(s->bs);
689 }
690
691 static void test_job_abort(Job *job)
692 {
693 TestBlockJob *s = container_of(job, TestBlockJob, common.job);
694
695 /* Provoke an AIO_WAIT_WHILE() call to verify there is no deadlock */
696 bdrv_flush(s->bs);
697 }
698
699 static int coroutine_fn test_job_run(Job *job, Error **errp)
700 {
701 TestBlockJob *s = container_of(job, TestBlockJob, common.job);
702
703 /* We are running the actual job code past the pause point in
704 * job_co_entry(). */
705 s->running = true;
706
707 job_transition_to_ready(&s->common.job);
708 while (!s->should_complete) {
709 /* Avoid job_sleep_ns() because it marks the job as !busy. We want to
710 * emulate some actual activity (probably some I/O) here so that drain
711 * has to wait for this activity to stop. */
712 qemu_co_sleep_ns(QEMU_CLOCK_REALTIME, 1000000);
713
714 job_pause_point(&s->common.job);
715 }
716
717 return s->run_ret;
718 }
719
720 static void test_job_complete(Job *job, Error **errp)
721 {
722 TestBlockJob *s = container_of(job, TestBlockJob, common.job);
723 s->should_complete = true;
724 }
725
726 BlockJobDriver test_job_driver = {
727 .job_driver = {
728 .instance_size = sizeof(TestBlockJob),
729 .free = block_job_free,
730 .user_resume = block_job_user_resume,
731 .run = test_job_run,
732 .complete = test_job_complete,
733 .prepare = test_job_prepare,
734 .commit = test_job_commit,
735 .abort = test_job_abort,
736 },
737 };
738
739 enum test_job_result {
740 TEST_JOB_SUCCESS,
741 TEST_JOB_FAIL_RUN,
742 TEST_JOB_FAIL_PREPARE,
743 };
744
745 enum test_job_drain_node {
746 TEST_JOB_DRAIN_SRC,
747 TEST_JOB_DRAIN_SRC_CHILD,
748 };
749
750 static void test_blockjob_common_drain_node(enum drain_type drain_type,
751 bool use_iothread,
752 enum test_job_result result,
753 enum test_job_drain_node drain_node)
754 {
755 BlockBackend *blk_src, *blk_target;
756 BlockDriverState *src, *src_backing, *src_overlay, *target, *drain_bs;
757 BlockJob *job;
758 TestBlockJob *tjob;
759 IOThread *iothread = NULL;
760 AioContext *ctx;
761 int ret;
762
763 src = bdrv_new_open_driver(&bdrv_test, "source", BDRV_O_RDWR,
764 &error_abort);
765 src_backing = bdrv_new_open_driver(&bdrv_test, "source-backing",
766 BDRV_O_RDWR, &error_abort);
767 src_overlay = bdrv_new_open_driver(&bdrv_test, "source-overlay",
768 BDRV_O_RDWR, &error_abort);
769
770 bdrv_set_backing_hd(src_overlay, src, &error_abort);
771 bdrv_unref(src);
772 bdrv_set_backing_hd(src, src_backing, &error_abort);
773 bdrv_unref(src_backing);
774
775 blk_src = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
776 blk_insert_bs(blk_src, src_overlay, &error_abort);
777
778 switch (drain_node) {
779 case TEST_JOB_DRAIN_SRC:
780 drain_bs = src;
781 break;
782 case TEST_JOB_DRAIN_SRC_CHILD:
783 drain_bs = src_backing;
784 break;
785 default:
786 g_assert_not_reached();
787 }
788
789 if (use_iothread) {
790 iothread = iothread_new();
791 ctx = iothread_get_aio_context(iothread);
792 blk_set_aio_context(blk_src, ctx, &error_abort);
793 } else {
794 ctx = qemu_get_aio_context();
795 }
796
797 target = bdrv_new_open_driver(&bdrv_test, "target", BDRV_O_RDWR,
798 &error_abort);
799 blk_target = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
800 blk_insert_bs(blk_target, target, &error_abort);
801 blk_set_allow_aio_context_change(blk_target, true);
802
803 aio_context_acquire(ctx);
804 tjob = block_job_create("job0", &test_job_driver, NULL, src,
805 0, BLK_PERM_ALL,
806 0, 0, NULL, NULL, &error_abort);
807 tjob->bs = src;
808 job = &tjob->common;
809
810 bdrv_graph_wrlock(target);
811 block_job_add_bdrv(job, "target", target, 0, BLK_PERM_ALL, &error_abort);
812 bdrv_graph_wrunlock();
813
814 switch (result) {
815 case TEST_JOB_SUCCESS:
816 break;
817 case TEST_JOB_FAIL_RUN:
818 tjob->run_ret = -EIO;
819 break;
820 case TEST_JOB_FAIL_PREPARE:
821 tjob->prepare_ret = -EIO;
822 break;
823 }
824 aio_context_release(ctx);
825
826 job_start(&job->job);
827
828 if (use_iothread) {
829 /* job_co_entry() is run in the I/O thread, wait for the actual job
830 * code to start (we don't want to catch the job in the pause point in
831 * job_co_entry(). */
832 while (!tjob->running) {
833 aio_poll(qemu_get_aio_context(), false);
834 }
835 }
836
837 WITH_JOB_LOCK_GUARD() {
838 g_assert_cmpint(job->job.pause_count, ==, 0);
839 g_assert_false(job->job.paused);
840 g_assert_true(tjob->running);
841 g_assert_true(job->job.busy); /* We're in qemu_co_sleep_ns() */
842 }
843
844 do_drain_begin_unlocked(drain_type, drain_bs);
845
846 WITH_JOB_LOCK_GUARD() {
847 if (drain_type == BDRV_DRAIN_ALL) {
848 /* bdrv_drain_all() drains both src and target */
849 g_assert_cmpint(job->job.pause_count, ==, 2);
850 } else {
851 g_assert_cmpint(job->job.pause_count, ==, 1);
852 }
853 g_assert_true(job->job.paused);
854 g_assert_false(job->job.busy); /* The job is paused */
855 }
856
857 do_drain_end_unlocked(drain_type, drain_bs);
858
859 if (use_iothread) {
860 /*
861 * Here we are waiting for the paused status to change,
862 * so don't bother protecting the read every time.
863 *
864 * paused is reset in the I/O thread, wait for it
865 */
866 while (job->job.paused) {
867 aio_poll(qemu_get_aio_context(), false);
868 }
869 }
870
871 WITH_JOB_LOCK_GUARD() {
872 g_assert_cmpint(job->job.pause_count, ==, 0);
873 g_assert_false(job->job.paused);
874 g_assert_true(job->job.busy); /* We're in qemu_co_sleep_ns() */
875 }
876
877 do_drain_begin_unlocked(drain_type, target);
878
879 WITH_JOB_LOCK_GUARD() {
880 if (drain_type == BDRV_DRAIN_ALL) {
881 /* bdrv_drain_all() drains both src and target */
882 g_assert_cmpint(job->job.pause_count, ==, 2);
883 } else {
884 g_assert_cmpint(job->job.pause_count, ==, 1);
885 }
886 g_assert_true(job->job.paused);
887 g_assert_false(job->job.busy); /* The job is paused */
888 }
889
890 do_drain_end_unlocked(drain_type, target);
891
892 if (use_iothread) {
893 /*
894 * Here we are waiting for the paused status to change,
895 * so don't bother protecting the read every time.
896 *
897 * paused is reset in the I/O thread, wait for it
898 */
899 while (job->job.paused) {
900 aio_poll(qemu_get_aio_context(), false);
901 }
902 }
903
904 WITH_JOB_LOCK_GUARD() {
905 g_assert_cmpint(job->job.pause_count, ==, 0);
906 g_assert_false(job->job.paused);
907 g_assert_true(job->job.busy); /* We're in qemu_co_sleep_ns() */
908 }
909
910 WITH_JOB_LOCK_GUARD() {
911 ret = job_complete_sync_locked(&job->job, &error_abort);
912 }
913 g_assert_cmpint(ret, ==, (result == TEST_JOB_SUCCESS ? 0 : -EIO));
914
915 aio_context_acquire(ctx);
916 if (use_iothread) {
917 blk_set_aio_context(blk_src, qemu_get_aio_context(), &error_abort);
918 assert(blk_get_aio_context(blk_target) == qemu_get_aio_context());
919 }
920 aio_context_release(ctx);
921
922 blk_unref(blk_src);
923 blk_unref(blk_target);
924 bdrv_unref(src_overlay);
925 bdrv_unref(target);
926
927 if (iothread) {
928 iothread_join(iothread);
929 }
930 }
931
932 static void test_blockjob_common(enum drain_type drain_type, bool use_iothread,
933 enum test_job_result result)
934 {
935 test_blockjob_common_drain_node(drain_type, use_iothread, result,
936 TEST_JOB_DRAIN_SRC);
937 test_blockjob_common_drain_node(drain_type, use_iothread, result,
938 TEST_JOB_DRAIN_SRC_CHILD);
939 }
940
941 static void test_blockjob_drain_all(void)
942 {
943 test_blockjob_common(BDRV_DRAIN_ALL, false, TEST_JOB_SUCCESS);
944 }
945
946 static void test_blockjob_drain(void)
947 {
948 test_blockjob_common(BDRV_DRAIN, false, TEST_JOB_SUCCESS);
949 }
950
951 static void test_blockjob_error_drain_all(void)
952 {
953 test_blockjob_common(BDRV_DRAIN_ALL, false, TEST_JOB_FAIL_RUN);
954 test_blockjob_common(BDRV_DRAIN_ALL, false, TEST_JOB_FAIL_PREPARE);
955 }
956
957 static void test_blockjob_error_drain(void)
958 {
959 test_blockjob_common(BDRV_DRAIN, false, TEST_JOB_FAIL_RUN);
960 test_blockjob_common(BDRV_DRAIN, false, TEST_JOB_FAIL_PREPARE);
961 }
962
963 static void test_blockjob_iothread_drain_all(void)
964 {
965 test_blockjob_common(BDRV_DRAIN_ALL, true, TEST_JOB_SUCCESS);
966 }
967
968 static void test_blockjob_iothread_drain(void)
969 {
970 test_blockjob_common(BDRV_DRAIN, true, TEST_JOB_SUCCESS);
971 }
972
973 static void test_blockjob_iothread_error_drain_all(void)
974 {
975 test_blockjob_common(BDRV_DRAIN_ALL, true, TEST_JOB_FAIL_RUN);
976 test_blockjob_common(BDRV_DRAIN_ALL, true, TEST_JOB_FAIL_PREPARE);
977 }
978
979 static void test_blockjob_iothread_error_drain(void)
980 {
981 test_blockjob_common(BDRV_DRAIN, true, TEST_JOB_FAIL_RUN);
982 test_blockjob_common(BDRV_DRAIN, true, TEST_JOB_FAIL_PREPARE);
983 }
984
985
986 typedef struct BDRVTestTopState {
987 BdrvChild *wait_child;
988 } BDRVTestTopState;
989
990 static void bdrv_test_top_close(BlockDriverState *bs)
991 {
992 BdrvChild *c, *next_c;
993
994 bdrv_graph_wrlock(NULL);
995 QLIST_FOREACH_SAFE(c, &bs->children, next, next_c) {
996 bdrv_unref_child(bs, c);
997 }
998 bdrv_graph_wrunlock();
999 }
1000
1001 static int coroutine_fn GRAPH_RDLOCK
1002 bdrv_test_top_co_preadv(BlockDriverState *bs, int64_t offset, int64_t bytes,
1003 QEMUIOVector *qiov, BdrvRequestFlags flags)
1004 {
1005 BDRVTestTopState *tts = bs->opaque;
1006 return bdrv_co_preadv(tts->wait_child, offset, bytes, qiov, flags);
1007 }
1008
1009 static BlockDriver bdrv_test_top_driver = {
1010 .format_name = "test_top_driver",
1011 .instance_size = sizeof(BDRVTestTopState),
1012
1013 .bdrv_close = bdrv_test_top_close,
1014 .bdrv_co_preadv = bdrv_test_top_co_preadv,
1015
1016 .bdrv_child_perm = bdrv_default_perms,
1017 };
1018
1019 typedef struct TestCoDeleteByDrainData {
1020 BlockBackend *blk;
1021 bool detach_instead_of_delete;
1022 bool done;
1023 } TestCoDeleteByDrainData;
1024
1025 static void coroutine_fn test_co_delete_by_drain(void *opaque)
1026 {
1027 TestCoDeleteByDrainData *dbdd = opaque;
1028 BlockBackend *blk = dbdd->blk;
1029 BlockDriverState *bs = blk_bs(blk);
1030 BDRVTestTopState *tts = bs->opaque;
1031 void *buffer = g_malloc(65536);
1032 QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, buffer, 65536);
1033
1034 /* Pretend some internal write operation from parent to child.
1035 * Important: We have to read from the child, not from the parent!
1036 * Draining works by first propagating it all up the tree to the
1037 * root and then waiting for drainage from root to the leaves
1038 * (protocol nodes). If we have a request waiting on the root,
1039 * everything will be drained before we go back down the tree, but
1040 * we do not want that. We want to be in the middle of draining
1041 * when this following requests returns. */
1042 bdrv_graph_co_rdlock();
1043 bdrv_co_preadv(tts->wait_child, 0, 65536, &qiov, 0);
1044 bdrv_graph_co_rdunlock();
1045
1046 g_assert_cmpint(bs->refcnt, ==, 1);
1047
1048 if (!dbdd->detach_instead_of_delete) {
1049 blk_co_unref(blk);
1050 } else {
1051 BdrvChild *c, *next_c;
1052 bdrv_graph_co_rdlock();
1053 QLIST_FOREACH_SAFE(c, &bs->children, next, next_c) {
1054 bdrv_graph_co_rdunlock();
1055 bdrv_co_unref_child(bs, c);
1056 bdrv_graph_co_rdlock();
1057 }
1058 bdrv_graph_co_rdunlock();
1059 }
1060
1061 dbdd->done = true;
1062 g_free(buffer);
1063 }
1064
1065 /**
1066 * Test what happens when some BDS has some children, you drain one of
1067 * them and this results in the BDS being deleted.
1068 *
1069 * If @detach_instead_of_delete is set, the BDS is not going to be
1070 * deleted but will only detach all of its children.
1071 */
1072 static void do_test_delete_by_drain(bool detach_instead_of_delete,
1073 enum drain_type drain_type)
1074 {
1075 BlockBackend *blk;
1076 BlockDriverState *bs, *child_bs, *null_bs;
1077 BDRVTestTopState *tts;
1078 TestCoDeleteByDrainData dbdd;
1079 Coroutine *co;
1080
1081 bs = bdrv_new_open_driver(&bdrv_test_top_driver, "top", BDRV_O_RDWR,
1082 &error_abort);
1083 bs->total_sectors = 65536 >> BDRV_SECTOR_BITS;
1084 tts = bs->opaque;
1085
1086 null_bs = bdrv_open("null-co://", NULL, NULL, BDRV_O_RDWR | BDRV_O_PROTOCOL,
1087 &error_abort);
1088 bdrv_graph_wrlock(NULL);
1089 bdrv_attach_child(bs, null_bs, "null-child", &child_of_bds,
1090 BDRV_CHILD_DATA, &error_abort);
1091 bdrv_graph_wrunlock();
1092
1093 /* This child will be the one to pass to requests through to, and
1094 * it will stall until a drain occurs */
1095 child_bs = bdrv_new_open_driver(&bdrv_test, "child", BDRV_O_RDWR,
1096 &error_abort);
1097 child_bs->total_sectors = 65536 >> BDRV_SECTOR_BITS;
1098 /* Takes our reference to child_bs */
1099 bdrv_graph_wrlock(NULL);
1100 tts->wait_child = bdrv_attach_child(bs, child_bs, "wait-child",
1101 &child_of_bds,
1102 BDRV_CHILD_DATA | BDRV_CHILD_PRIMARY,
1103 &error_abort);
1104 bdrv_graph_wrunlock();
1105
1106 /* This child is just there to be deleted
1107 * (for detach_instead_of_delete == true) */
1108 null_bs = bdrv_open("null-co://", NULL, NULL, BDRV_O_RDWR | BDRV_O_PROTOCOL,
1109 &error_abort);
1110 bdrv_graph_wrlock(NULL);
1111 bdrv_attach_child(bs, null_bs, "null-child", &child_of_bds, BDRV_CHILD_DATA,
1112 &error_abort);
1113 bdrv_graph_wrunlock();
1114
1115 blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
1116 blk_insert_bs(blk, bs, &error_abort);
1117
1118 /* Referenced by blk now */
1119 bdrv_unref(bs);
1120
1121 g_assert_cmpint(bs->refcnt, ==, 1);
1122 g_assert_cmpint(child_bs->refcnt, ==, 1);
1123 g_assert_cmpint(null_bs->refcnt, ==, 1);
1124
1125
1126 dbdd = (TestCoDeleteByDrainData){
1127 .blk = blk,
1128 .detach_instead_of_delete = detach_instead_of_delete,
1129 .done = false,
1130 };
1131 co = qemu_coroutine_create(test_co_delete_by_drain, &dbdd);
1132 qemu_coroutine_enter(co);
1133
1134 /* Drain the child while the read operation is still pending.
1135 * This should result in the operation finishing and
1136 * test_co_delete_by_drain() resuming. Thus, @bs will be deleted
1137 * and the coroutine will exit while this drain operation is still
1138 * in progress. */
1139 switch (drain_type) {
1140 case BDRV_DRAIN:
1141 bdrv_ref(child_bs);
1142 bdrv_drain(child_bs);
1143 bdrv_unref(child_bs);
1144 break;
1145 case BDRV_DRAIN_ALL:
1146 bdrv_drain_all_begin();
1147 bdrv_drain_all_end();
1148 break;
1149 default:
1150 g_assert_not_reached();
1151 }
1152
1153 while (!dbdd.done) {
1154 aio_poll(qemu_get_aio_context(), true);
1155 }
1156
1157 if (detach_instead_of_delete) {
1158 /* Here, the reference has not passed over to the coroutine,
1159 * so we have to delete the BB ourselves */
1160 blk_unref(blk);
1161 }
1162 }
1163
1164 static void test_delete_by_drain(void)
1165 {
1166 do_test_delete_by_drain(false, BDRV_DRAIN);
1167 }
1168
1169 static void test_detach_by_drain_all(void)
1170 {
1171 do_test_delete_by_drain(true, BDRV_DRAIN_ALL);
1172 }
1173
1174 static void test_detach_by_drain(void)
1175 {
1176 do_test_delete_by_drain(true, BDRV_DRAIN);
1177 }
1178
1179
1180 struct detach_by_parent_data {
1181 BlockDriverState *parent_b;
1182 BdrvChild *child_b;
1183 BlockDriverState *c;
1184 BdrvChild *child_c;
1185 bool by_parent_cb;
1186 bool detach_on_drain;
1187 };
1188 static struct detach_by_parent_data detach_by_parent_data;
1189
1190 static void no_coroutine_fn detach_indirect_bh(void *opaque)
1191 {
1192 struct detach_by_parent_data *data = opaque;
1193
1194 bdrv_dec_in_flight(data->child_b->bs);
1195
1196 bdrv_graph_wrlock(NULL);
1197 bdrv_unref_child(data->parent_b, data->child_b);
1198
1199 bdrv_ref(data->c);
1200 data->child_c = bdrv_attach_child(data->parent_b, data->c, "PB-C",
1201 &child_of_bds, BDRV_CHILD_DATA,
1202 &error_abort);
1203 bdrv_graph_wrunlock();
1204 }
1205
1206 static void coroutine_mixed_fn detach_by_parent_aio_cb(void *opaque, int ret)
1207 {
1208 struct detach_by_parent_data *data = &detach_by_parent_data;
1209
1210 g_assert_cmpint(ret, ==, 0);
1211 if (data->by_parent_cb) {
1212 bdrv_inc_in_flight(data->child_b->bs);
1213 aio_bh_schedule_oneshot(qemu_get_current_aio_context(),
1214 detach_indirect_bh, &detach_by_parent_data);
1215 }
1216 }
1217
1218 static void GRAPH_RDLOCK detach_by_driver_cb_drained_begin(BdrvChild *child)
1219 {
1220 struct detach_by_parent_data *data = &detach_by_parent_data;
1221
1222 if (!data->detach_on_drain) {
1223 return;
1224 }
1225 data->detach_on_drain = false;
1226
1227 bdrv_inc_in_flight(data->child_b->bs);
1228 aio_bh_schedule_oneshot(qemu_get_current_aio_context(),
1229 detach_indirect_bh, &detach_by_parent_data);
1230 child_of_bds.drained_begin(child);
1231 }
1232
1233 static BdrvChildClass detach_by_driver_cb_class;
1234
1235 /*
1236 * Initial graph:
1237 *
1238 * PA PB
1239 * \ / \
1240 * A B C
1241 *
1242 * by_parent_cb == true: Test that parent callbacks don't poll
1243 *
1244 * PA has a pending write request whose callback changes the child nodes of
1245 * PB: It removes B and adds C instead. The subtree of PB is drained, which
1246 * will indirectly drain the write request, too.
1247 *
1248 * by_parent_cb == false: Test that bdrv_drain_invoke() doesn't poll
1249 *
1250 * PA's BdrvChildClass has a .drained_begin callback that schedules a BH
1251 * that does the same graph change. If bdrv_drain_invoke() calls it, the
1252 * state is messed up, but if it is only polled in the single
1253 * BDRV_POLL_WHILE() at the end of the drain, this should work fine.
1254 */
1255 static void TSA_NO_TSA test_detach_indirect(bool by_parent_cb)
1256 {
1257 BlockBackend *blk;
1258 BlockDriverState *parent_a, *parent_b, *a, *b, *c;
1259 BdrvChild *child_a, *child_b;
1260 BlockAIOCB *acb;
1261
1262 QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, NULL, 0);
1263
1264 if (!by_parent_cb) {
1265 detach_by_driver_cb_class = child_of_bds;
1266 detach_by_driver_cb_class.drained_begin =
1267 detach_by_driver_cb_drained_begin;
1268 detach_by_driver_cb_class.drained_end = NULL;
1269 detach_by_driver_cb_class.drained_poll = NULL;
1270 }
1271
1272 detach_by_parent_data = (struct detach_by_parent_data) {
1273 .detach_on_drain = false,
1274 };
1275
1276 /* Create all involved nodes */
1277 parent_a = bdrv_new_open_driver(&bdrv_test, "parent-a", BDRV_O_RDWR,
1278 &error_abort);
1279 parent_b = bdrv_new_open_driver(&bdrv_test, "parent-b", 0,
1280 &error_abort);
1281
1282 a = bdrv_new_open_driver(&bdrv_test, "a", BDRV_O_RDWR, &error_abort);
1283 b = bdrv_new_open_driver(&bdrv_test, "b", BDRV_O_RDWR, &error_abort);
1284 c = bdrv_new_open_driver(&bdrv_test, "c", BDRV_O_RDWR, &error_abort);
1285
1286 /* blk is a BB for parent-a */
1287 blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
1288 blk_insert_bs(blk, parent_a, &error_abort);
1289 bdrv_unref(parent_a);
1290
1291 /* If we want to get bdrv_drain_invoke() to call aio_poll(), the driver
1292 * callback must not return immediately. */
1293 if (!by_parent_cb) {
1294 BDRVTestState *s = parent_a->opaque;
1295 s->sleep_in_drain_begin = true;
1296 }
1297
1298 /* Set child relationships */
1299 bdrv_ref(b);
1300 bdrv_ref(a);
1301 bdrv_graph_wrlock(NULL);
1302 child_b = bdrv_attach_child(parent_b, b, "PB-B", &child_of_bds,
1303 BDRV_CHILD_DATA, &error_abort);
1304 child_a = bdrv_attach_child(parent_b, a, "PB-A", &child_of_bds,
1305 BDRV_CHILD_COW, &error_abort);
1306
1307 bdrv_ref(a);
1308 bdrv_attach_child(parent_a, a, "PA-A",
1309 by_parent_cb ? &child_of_bds : &detach_by_driver_cb_class,
1310 BDRV_CHILD_DATA, &error_abort);
1311 bdrv_graph_wrunlock();
1312
1313 g_assert_cmpint(parent_a->refcnt, ==, 1);
1314 g_assert_cmpint(parent_b->refcnt, ==, 1);
1315 g_assert_cmpint(a->refcnt, ==, 3);
1316 g_assert_cmpint(b->refcnt, ==, 2);
1317 g_assert_cmpint(c->refcnt, ==, 1);
1318
1319 g_assert(QLIST_FIRST(&parent_b->children) == child_a);
1320 g_assert(QLIST_NEXT(child_a, next) == child_b);
1321 g_assert(QLIST_NEXT(child_b, next) == NULL);
1322
1323 /* Start the evil write request */
1324 detach_by_parent_data = (struct detach_by_parent_data) {
1325 .parent_b = parent_b,
1326 .child_b = child_b,
1327 .c = c,
1328 .by_parent_cb = by_parent_cb,
1329 .detach_on_drain = true,
1330 };
1331 acb = blk_aio_preadv(blk, 0, &qiov, 0, detach_by_parent_aio_cb, NULL);
1332 g_assert(acb != NULL);
1333
1334 /* Drain and check the expected result */
1335 bdrv_drained_begin(parent_b);
1336 bdrv_drained_begin(a);
1337 bdrv_drained_begin(b);
1338 bdrv_drained_begin(c);
1339
1340 g_assert(detach_by_parent_data.child_c != NULL);
1341
1342 g_assert_cmpint(parent_a->refcnt, ==, 1);
1343 g_assert_cmpint(parent_b->refcnt, ==, 1);
1344 g_assert_cmpint(a->refcnt, ==, 3);
1345 g_assert_cmpint(b->refcnt, ==, 1);
1346 g_assert_cmpint(c->refcnt, ==, 2);
1347
1348 g_assert(QLIST_FIRST(&parent_b->children) == detach_by_parent_data.child_c);
1349 g_assert(QLIST_NEXT(detach_by_parent_data.child_c, next) == child_a);
1350 g_assert(QLIST_NEXT(child_a, next) == NULL);
1351
1352 g_assert_cmpint(parent_a->quiesce_counter, ==, 1);
1353 g_assert_cmpint(parent_b->quiesce_counter, ==, 3);
1354 g_assert_cmpint(a->quiesce_counter, ==, 1);
1355 g_assert_cmpint(b->quiesce_counter, ==, 1);
1356 g_assert_cmpint(c->quiesce_counter, ==, 1);
1357
1358 bdrv_drained_end(parent_b);
1359 bdrv_drained_end(a);
1360 bdrv_drained_end(b);
1361 bdrv_drained_end(c);
1362
1363 bdrv_unref(parent_b);
1364 blk_unref(blk);
1365
1366 g_assert_cmpint(a->refcnt, ==, 1);
1367 g_assert_cmpint(b->refcnt, ==, 1);
1368 g_assert_cmpint(c->refcnt, ==, 1);
1369 bdrv_unref(a);
1370 bdrv_unref(b);
1371 bdrv_unref(c);
1372 }
1373
1374 static void test_detach_by_parent_cb(void)
1375 {
1376 test_detach_indirect(true);
1377 }
1378
1379 static void test_detach_by_driver_cb(void)
1380 {
1381 test_detach_indirect(false);
1382 }
1383
1384 static void test_append_to_drained(void)
1385 {
1386 BlockBackend *blk;
1387 BlockDriverState *base, *overlay;
1388 BDRVTestState *base_s, *overlay_s;
1389
1390 blk = blk_new(qemu_get_aio_context(), BLK_PERM_ALL, BLK_PERM_ALL);
1391 base = bdrv_new_open_driver(&bdrv_test, "base", BDRV_O_RDWR, &error_abort);
1392 base_s = base->opaque;
1393 blk_insert_bs(blk, base, &error_abort);
1394
1395 overlay = bdrv_new_open_driver(&bdrv_test, "overlay", BDRV_O_RDWR,
1396 &error_abort);
1397 overlay_s = overlay->opaque;
1398
1399 do_drain_begin(BDRV_DRAIN, base);
1400 g_assert_cmpint(base->quiesce_counter, ==, 1);
1401 g_assert_cmpint(base_s->drain_count, ==, 1);
1402 g_assert_cmpint(base->in_flight, ==, 0);
1403
1404 aio_context_acquire(qemu_get_aio_context());
1405 bdrv_append(overlay, base, &error_abort);
1406 aio_context_release(qemu_get_aio_context());
1407
1408 g_assert_cmpint(base->in_flight, ==, 0);
1409 g_assert_cmpint(overlay->in_flight, ==, 0);
1410
1411 g_assert_cmpint(base->quiesce_counter, ==, 1);
1412 g_assert_cmpint(base_s->drain_count, ==, 1);
1413 g_assert_cmpint(overlay->quiesce_counter, ==, 1);
1414 g_assert_cmpint(overlay_s->drain_count, ==, 1);
1415
1416 do_drain_end(BDRV_DRAIN, base);
1417
1418 g_assert_cmpint(base->quiesce_counter, ==, 0);
1419 g_assert_cmpint(base_s->drain_count, ==, 0);
1420 g_assert_cmpint(overlay->quiesce_counter, ==, 0);
1421 g_assert_cmpint(overlay_s->drain_count, ==, 0);
1422
1423 bdrv_unref(overlay);
1424 bdrv_unref(base);
1425 blk_unref(blk);
1426 }
1427
1428 static void test_set_aio_context(void)
1429 {
1430 BlockDriverState *bs;
1431 IOThread *a = iothread_new();
1432 IOThread *b = iothread_new();
1433 AioContext *ctx_a = iothread_get_aio_context(a);
1434 AioContext *ctx_b = iothread_get_aio_context(b);
1435
1436 bs = bdrv_new_open_driver(&bdrv_test, "test-node", BDRV_O_RDWR,
1437 &error_abort);
1438
1439 bdrv_drained_begin(bs);
1440 bdrv_try_change_aio_context(bs, ctx_a, NULL, &error_abort);
1441
1442 aio_context_acquire(ctx_a);
1443 bdrv_drained_end(bs);
1444
1445 bdrv_drained_begin(bs);
1446 bdrv_try_change_aio_context(bs, ctx_b, NULL, &error_abort);
1447 aio_context_release(ctx_a);
1448 aio_context_acquire(ctx_b);
1449 bdrv_try_change_aio_context(bs, qemu_get_aio_context(), NULL, &error_abort);
1450 aio_context_release(ctx_b);
1451 bdrv_drained_end(bs);
1452
1453 bdrv_unref(bs);
1454 iothread_join(a);
1455 iothread_join(b);
1456 }
1457
1458
1459 typedef struct TestDropBackingBlockJob {
1460 BlockJob common;
1461 bool should_complete;
1462 bool *did_complete;
1463 BlockDriverState *detach_also;
1464 BlockDriverState *bs;
1465 } TestDropBackingBlockJob;
1466
1467 static int coroutine_fn test_drop_backing_job_run(Job *job, Error **errp)
1468 {
1469 TestDropBackingBlockJob *s =
1470 container_of(job, TestDropBackingBlockJob, common.job);
1471
1472 while (!s->should_complete) {
1473 job_sleep_ns(job, 0);
1474 }
1475
1476 return 0;
1477 }
1478
1479 static void test_drop_backing_job_commit(Job *job)
1480 {
1481 TestDropBackingBlockJob *s =
1482 container_of(job, TestDropBackingBlockJob, common.job);
1483
1484 bdrv_set_backing_hd(s->bs, NULL, &error_abort);
1485 bdrv_set_backing_hd(s->detach_also, NULL, &error_abort);
1486
1487 *s->did_complete = true;
1488 }
1489
1490 static const BlockJobDriver test_drop_backing_job_driver = {
1491 .job_driver = {
1492 .instance_size = sizeof(TestDropBackingBlockJob),
1493 .free = block_job_free,
1494 .user_resume = block_job_user_resume,
1495 .run = test_drop_backing_job_run,
1496 .commit = test_drop_backing_job_commit,
1497 }
1498 };
1499
1500 /**
1501 * Creates a child node with three parent nodes on it, and then runs a
1502 * block job on the final one, parent-node-2.
1503 *
1504 * The job is then asked to complete before a section where the child
1505 * is drained.
1506 *
1507 * Ending this section will undrain the child's parents, first
1508 * parent-node-2, then parent-node-1, then parent-node-0 -- the parent
1509 * list is in reverse order of how they were added. Ending the drain
1510 * on parent-node-2 will resume the job, thus completing it and
1511 * scheduling job_exit().
1512 *
1513 * Ending the drain on parent-node-1 will poll the AioContext, which
1514 * lets job_exit() and thus test_drop_backing_job_commit() run. That
1515 * function first removes the child as parent-node-2's backing file.
1516 *
1517 * In old (and buggy) implementations, there are two problems with
1518 * that:
1519 * (A) bdrv_drain_invoke() polls for every node that leaves the
1520 * drained section. This means that job_exit() is scheduled
1521 * before the child has left the drained section. Its
1522 * quiesce_counter is therefore still 1 when it is removed from
1523 * parent-node-2.
1524 *
1525 * (B) bdrv_replace_child_noperm() calls drained_end() on the old
1526 * child's parents as many times as the child is quiesced. This
1527 * means it will call drained_end() on parent-node-2 once.
1528 * Because parent-node-2 is no longer quiesced at this point, this
1529 * will fail.
1530 *
1531 * bdrv_replace_child_noperm() therefore must call drained_end() on
1532 * the parent only if it really is still drained because the child is
1533 * drained.
1534 *
1535 * If removing child from parent-node-2 was successful (as it should
1536 * be), test_drop_backing_job_commit() will then also remove the child
1537 * from parent-node-0.
1538 *
1539 * With an old version of our drain infrastructure ((A) above), that
1540 * resulted in the following flow:
1541 *
1542 * 1. child attempts to leave its drained section. The call recurses
1543 * to its parents.
1544 *
1545 * 2. parent-node-2 leaves the drained section. Polling in
1546 * bdrv_drain_invoke() will schedule job_exit().
1547 *
1548 * 3. parent-node-1 leaves the drained section. Polling in
1549 * bdrv_drain_invoke() will run job_exit(), thus disconnecting
1550 * parent-node-0 from the child node.
1551 *
1552 * 4. bdrv_parent_drained_end() uses a QLIST_FOREACH_SAFE() loop to
1553 * iterate over the parents. Thus, it now accesses the BdrvChild
1554 * object that used to connect parent-node-0 and the child node.
1555 * However, that object no longer exists, so it accesses a dangling
1556 * pointer.
1557 *
1558 * The solution is to only poll once when running a bdrv_drained_end()
1559 * operation, specifically at the end when all drained_end()
1560 * operations for all involved nodes have been scheduled.
1561 * Note that this also solves (A) above, thus hiding (B).
1562 */
1563 static void test_blockjob_commit_by_drained_end(void)
1564 {
1565 BlockDriverState *bs_child, *bs_parents[3];
1566 TestDropBackingBlockJob *job;
1567 bool job_has_completed = false;
1568 int i;
1569
1570 bs_child = bdrv_new_open_driver(&bdrv_test, "child-node", BDRV_O_RDWR,
1571 &error_abort);
1572
1573 for (i = 0; i < 3; i++) {
1574 char name[32];
1575 snprintf(name, sizeof(name), "parent-node-%i", i);
1576 bs_parents[i] = bdrv_new_open_driver(&bdrv_test, name, BDRV_O_RDWR,
1577 &error_abort);
1578 bdrv_set_backing_hd(bs_parents[i], bs_child, &error_abort);
1579 }
1580
1581 job = block_job_create("job", &test_drop_backing_job_driver, NULL,
1582 bs_parents[2], 0, BLK_PERM_ALL, 0, 0, NULL, NULL,
1583 &error_abort);
1584 job->bs = bs_parents[2];
1585
1586 job->detach_also = bs_parents[0];
1587 job->did_complete = &job_has_completed;
1588
1589 job_start(&job->common.job);
1590
1591 job->should_complete = true;
1592 bdrv_drained_begin(bs_child);
1593 g_assert(!job_has_completed);
1594 bdrv_drained_end(bs_child);
1595 aio_poll(qemu_get_aio_context(), false);
1596 g_assert(job_has_completed);
1597
1598 bdrv_unref(bs_parents[0]);
1599 bdrv_unref(bs_parents[1]);
1600 bdrv_unref(bs_parents[2]);
1601 bdrv_unref(bs_child);
1602 }
1603
1604
1605 typedef struct TestSimpleBlockJob {
1606 BlockJob common;
1607 bool should_complete;
1608 bool *did_complete;
1609 } TestSimpleBlockJob;
1610
1611 static int coroutine_fn test_simple_job_run(Job *job, Error **errp)
1612 {
1613 TestSimpleBlockJob *s = container_of(job, TestSimpleBlockJob, common.job);
1614
1615 while (!s->should_complete) {
1616 job_sleep_ns(job, 0);
1617 }
1618
1619 return 0;
1620 }
1621
1622 static void test_simple_job_clean(Job *job)
1623 {
1624 TestSimpleBlockJob *s = container_of(job, TestSimpleBlockJob, common.job);
1625 *s->did_complete = true;
1626 }
1627
1628 static const BlockJobDriver test_simple_job_driver = {
1629 .job_driver = {
1630 .instance_size = sizeof(TestSimpleBlockJob),
1631 .free = block_job_free,
1632 .user_resume = block_job_user_resume,
1633 .run = test_simple_job_run,
1634 .clean = test_simple_job_clean,
1635 },
1636 };
1637
1638 static int drop_intermediate_poll_update_filename(BdrvChild *child,
1639 BlockDriverState *new_base,
1640 const char *filename,
1641 Error **errp)
1642 {
1643 /*
1644 * We are free to poll here, which may change the block graph, if
1645 * it is not drained.
1646 */
1647
1648 /* If the job is not drained: Complete it, schedule job_exit() */
1649 aio_poll(qemu_get_current_aio_context(), false);
1650 /* If the job is not drained: Run job_exit(), finish the job */
1651 aio_poll(qemu_get_current_aio_context(), false);
1652
1653 return 0;
1654 }
1655
1656 /**
1657 * Test a poll in the midst of bdrv_drop_intermediate().
1658 *
1659 * bdrv_drop_intermediate() calls BdrvChildClass.update_filename(),
1660 * which can yield or poll. This may lead to graph changes, unless
1661 * the whole subtree in question is drained.
1662 *
1663 * We test this on the following graph:
1664 *
1665 * Job
1666 *
1667 * |
1668 * job-node
1669 * |
1670 * v
1671 *
1672 * job-node
1673 *
1674 * |
1675 * backing
1676 * |
1677 * v
1678 *
1679 * node-2 --chain--> node-1 --chain--> node-0
1680 *
1681 * We drop node-1 with bdrv_drop_intermediate(top=node-1, base=node-0).
1682 *
1683 * This first updates node-2's backing filename by invoking
1684 * drop_intermediate_poll_update_filename(), which polls twice. This
1685 * causes the job to finish, which in turns causes the job-node to be
1686 * deleted.
1687 *
1688 * bdrv_drop_intermediate() uses a QLIST_FOREACH_SAFE() loop, so it
1689 * already has a pointer to the BdrvChild edge between job-node and
1690 * node-1. When it tries to handle that edge, we probably get a
1691 * segmentation fault because the object no longer exists.
1692 *
1693 *
1694 * The solution is for bdrv_drop_intermediate() to drain top's
1695 * subtree. This prevents graph changes from happening just because
1696 * BdrvChildClass.update_filename() yields or polls. Thus, the block
1697 * job is paused during that drained section and must finish before or
1698 * after.
1699 *
1700 * (In addition, bdrv_replace_child() must keep the job paused.)
1701 */
1702 static void test_drop_intermediate_poll(void)
1703 {
1704 static BdrvChildClass chain_child_class;
1705 BlockDriverState *chain[3];
1706 TestSimpleBlockJob *job;
1707 BlockDriverState *job_node;
1708 bool job_has_completed = false;
1709 int i;
1710 int ret;
1711
1712 chain_child_class = child_of_bds;
1713 chain_child_class.update_filename = drop_intermediate_poll_update_filename;
1714
1715 for (i = 0; i < 3; i++) {
1716 char name[32];
1717 snprintf(name, 32, "node-%i", i);
1718
1719 chain[i] = bdrv_new_open_driver(&bdrv_test, name, 0, &error_abort);
1720 }
1721
1722 job_node = bdrv_new_open_driver(&bdrv_test, "job-node", BDRV_O_RDWR,
1723 &error_abort);
1724 bdrv_set_backing_hd(job_node, chain[1], &error_abort);
1725
1726 /*
1727 * Establish the chain last, so the chain links are the first
1728 * elements in the BDS.parents lists
1729 */
1730 bdrv_graph_wrlock(NULL);
1731 for (i = 0; i < 3; i++) {
1732 if (i) {
1733 /* Takes the reference to chain[i - 1] */
1734 bdrv_attach_child(chain[i], chain[i - 1], "chain",
1735 &chain_child_class, BDRV_CHILD_COW, &error_abort);
1736 }
1737 }
1738 bdrv_graph_wrunlock();
1739
1740 job = block_job_create("job", &test_simple_job_driver, NULL, job_node,
1741 0, BLK_PERM_ALL, 0, 0, NULL, NULL, &error_abort);
1742
1743 /* The job has a reference now */
1744 bdrv_unref(job_node);
1745
1746 job->did_complete = &job_has_completed;
1747
1748 job_start(&job->common.job);
1749 job->should_complete = true;
1750
1751 g_assert(!job_has_completed);
1752 ret = bdrv_drop_intermediate(chain[1], chain[0], NULL);
1753 aio_poll(qemu_get_aio_context(), false);
1754 g_assert(ret == 0);
1755 g_assert(job_has_completed);
1756
1757 bdrv_unref(chain[2]);
1758 }
1759
1760
1761 typedef struct BDRVReplaceTestState {
1762 bool setup_completed;
1763 bool was_drained;
1764 bool was_undrained;
1765 bool has_read;
1766
1767 int drain_count;
1768
1769 bool yield_before_read;
1770 Coroutine *io_co;
1771 Coroutine *drain_co;
1772 } BDRVReplaceTestState;
1773
1774 static void bdrv_replace_test_close(BlockDriverState *bs)
1775 {
1776 }
1777
1778 /**
1779 * If @bs has a backing file:
1780 * Yield if .yield_before_read is true (and wait for drain_begin to
1781 * wake us up).
1782 * Forward the read to bs->backing. Set .has_read to true.
1783 * If drain_begin has woken us, wake it in turn.
1784 *
1785 * Otherwise:
1786 * Set .has_read to true and return success.
1787 */
1788 static int coroutine_fn GRAPH_RDLOCK
1789 bdrv_replace_test_co_preadv(BlockDriverState *bs, int64_t offset, int64_t bytes,
1790 QEMUIOVector *qiov, BdrvRequestFlags flags)
1791 {
1792 BDRVReplaceTestState *s = bs->opaque;
1793
1794 if (bs->backing) {
1795 int ret;
1796
1797 g_assert(!s->drain_count);
1798
1799 s->io_co = qemu_coroutine_self();
1800 if (s->yield_before_read) {
1801 s->yield_before_read = false;
1802 qemu_coroutine_yield();
1803 }
1804 s->io_co = NULL;
1805
1806 ret = bdrv_co_preadv(bs->backing, offset, bytes, qiov, 0);
1807 s->has_read = true;
1808
1809 /* Wake up drain_co if it runs */
1810 if (s->drain_co) {
1811 aio_co_wake(s->drain_co);
1812 }
1813
1814 return ret;
1815 }
1816
1817 s->has_read = true;
1818 return 0;
1819 }
1820
1821 static void coroutine_fn bdrv_replace_test_drain_co(void *opaque)
1822 {
1823 BlockDriverState *bs = opaque;
1824 BDRVReplaceTestState *s = bs->opaque;
1825
1826 /* Keep waking io_co up until it is done */
1827 while (s->io_co) {
1828 aio_co_wake(s->io_co);
1829 s->io_co = NULL;
1830 qemu_coroutine_yield();
1831 }
1832 s->drain_co = NULL;
1833 bdrv_dec_in_flight(bs);
1834 }
1835
1836 /**
1837 * If .drain_count is 0, wake up .io_co if there is one; and set
1838 * .was_drained.
1839 * Increment .drain_count.
1840 */
1841 static void bdrv_replace_test_drain_begin(BlockDriverState *bs)
1842 {
1843 BDRVReplaceTestState *s = bs->opaque;
1844
1845 if (!s->setup_completed) {
1846 return;
1847 }
1848
1849 if (!s->drain_count) {
1850 s->drain_co = qemu_coroutine_create(bdrv_replace_test_drain_co, bs);
1851 bdrv_inc_in_flight(bs);
1852 aio_co_enter(bdrv_get_aio_context(bs), s->drain_co);
1853 s->was_drained = true;
1854 }
1855 s->drain_count++;
1856 }
1857
1858 static void coroutine_fn bdrv_replace_test_read_entry(void *opaque)
1859 {
1860 BlockDriverState *bs = opaque;
1861 char data;
1862 QEMUIOVector qiov = QEMU_IOVEC_INIT_BUF(qiov, &data, 1);
1863 int ret;
1864
1865 /* Queue a read request post-drain */
1866 bdrv_graph_co_rdlock();
1867 ret = bdrv_replace_test_co_preadv(bs, 0, 1, &qiov, 0);
1868 bdrv_graph_co_rdunlock();
1869
1870 g_assert(ret >= 0);
1871 bdrv_dec_in_flight(bs);
1872 }
1873
1874 /**
1875 * Reduce .drain_count, set .was_undrained once it reaches 0.
1876 * If .drain_count reaches 0 and the node has a backing file, issue a
1877 * read request.
1878 */
1879 static void bdrv_replace_test_drain_end(BlockDriverState *bs)
1880 {
1881 BDRVReplaceTestState *s = bs->opaque;
1882
1883 GRAPH_RDLOCK_GUARD_MAINLOOP();
1884
1885 if (!s->setup_completed) {
1886 return;
1887 }
1888
1889 g_assert(s->drain_count > 0);
1890 if (!--s->drain_count) {
1891 s->was_undrained = true;
1892
1893 if (bs->backing) {
1894 Coroutine *co = qemu_coroutine_create(bdrv_replace_test_read_entry,
1895 bs);
1896 bdrv_inc_in_flight(bs);
1897 aio_co_enter(bdrv_get_aio_context(bs), co);
1898 }
1899 }
1900 }
1901
1902 static BlockDriver bdrv_replace_test = {
1903 .format_name = "replace_test",
1904 .instance_size = sizeof(BDRVReplaceTestState),
1905 .supports_backing = true,
1906
1907 .bdrv_close = bdrv_replace_test_close,
1908 .bdrv_co_preadv = bdrv_replace_test_co_preadv,
1909
1910 .bdrv_drain_begin = bdrv_replace_test_drain_begin,
1911 .bdrv_drain_end = bdrv_replace_test_drain_end,
1912
1913 .bdrv_child_perm = bdrv_default_perms,
1914 };
1915
1916 static void coroutine_fn test_replace_child_mid_drain_read_co(void *opaque)
1917 {
1918 int ret;
1919 char data;
1920
1921 ret = blk_co_pread(opaque, 0, 1, &data, 0);
1922 g_assert(ret >= 0);
1923 }
1924
1925 /**
1926 * We test two things:
1927 * (1) bdrv_replace_child_noperm() must not undrain the parent if both
1928 * children are drained.
1929 * (2) bdrv_replace_child_noperm() must never flush I/O requests to a
1930 * drained child. If the old child is drained, it must flush I/O
1931 * requests after the new one has been attached. If the new child
1932 * is drained, it must flush I/O requests before the old one is
1933 * detached.
1934 *
1935 * To do so, we create one parent node and two child nodes; then
1936 * attach one of the children (old_child_bs) to the parent, then
1937 * drain both old_child_bs and new_child_bs according to
1938 * old_drain_count and new_drain_count, respectively, and finally
1939 * we invoke bdrv_replace_node() to replace old_child_bs by
1940 * new_child_bs.
1941 *
1942 * The test block driver we use here (bdrv_replace_test) has a read
1943 * function that:
1944 * - For the parent node, can optionally yield, and then forwards the
1945 * read to bdrv_preadv(),
1946 * - For the child node, just returns immediately.
1947 *
1948 * If the read yields, the drain_begin function will wake it up.
1949 *
1950 * The drain_end function issues a read on the parent once it is fully
1951 * undrained (which simulates requests starting to come in again).
1952 */
1953 static void do_test_replace_child_mid_drain(int old_drain_count,
1954 int new_drain_count)
1955 {
1956 BlockBackend *parent_blk;
1957 BlockDriverState *parent_bs;
1958 BlockDriverState *old_child_bs, *new_child_bs;
1959 BDRVReplaceTestState *parent_s;
1960 BDRVReplaceTestState *old_child_s, *new_child_s;
1961 Coroutine *io_co;
1962 int i;
1963
1964 parent_bs = bdrv_new_open_driver(&bdrv_replace_test, "parent", 0,
1965 &error_abort);
1966 parent_s = parent_bs->opaque;
1967
1968 parent_blk = blk_new(qemu_get_aio_context(),
1969 BLK_PERM_CONSISTENT_READ, BLK_PERM_ALL);
1970 blk_insert_bs(parent_blk, parent_bs, &error_abort);
1971
1972 old_child_bs = bdrv_new_open_driver(&bdrv_replace_test, "old-child", 0,
1973 &error_abort);
1974 new_child_bs = bdrv_new_open_driver(&bdrv_replace_test, "new-child", 0,
1975 &error_abort);
1976 old_child_s = old_child_bs->opaque;
1977 new_child_s = new_child_bs->opaque;
1978
1979 /* So that we can read something */
1980 parent_bs->total_sectors = 1;
1981 old_child_bs->total_sectors = 1;
1982 new_child_bs->total_sectors = 1;
1983
1984 bdrv_ref(old_child_bs);
1985 bdrv_graph_wrlock(NULL);
1986 bdrv_attach_child(parent_bs, old_child_bs, "child", &child_of_bds,
1987 BDRV_CHILD_COW, &error_abort);
1988 bdrv_graph_wrunlock();
1989 parent_s->setup_completed = true;
1990
1991 for (i = 0; i < old_drain_count; i++) {
1992 bdrv_drained_begin(old_child_bs);
1993 }
1994 for (i = 0; i < new_drain_count; i++) {
1995 bdrv_drained_begin(new_child_bs);
1996 }
1997
1998 if (!old_drain_count) {
1999 /*
2000 * Start a read operation that will yield, so it will not
2001 * complete before the node is drained.
2002 */
2003 parent_s->yield_before_read = true;
2004 io_co = qemu_coroutine_create(test_replace_child_mid_drain_read_co,
2005 parent_blk);
2006 qemu_coroutine_enter(io_co);
2007 }
2008
2009 /* If we have started a read operation, it should have yielded */
2010 g_assert(!parent_s->has_read);
2011
2012 /* Reset drained status so we can see what bdrv_replace_node() does */
2013 parent_s->was_drained = false;
2014 parent_s->was_undrained = false;
2015
2016 g_assert(parent_bs->quiesce_counter == old_drain_count);
2017 bdrv_drained_begin(old_child_bs);
2018 bdrv_drained_begin(new_child_bs);
2019 bdrv_graph_wrlock(NULL);
2020 bdrv_replace_node(old_child_bs, new_child_bs, &error_abort);
2021 bdrv_graph_wrunlock();
2022 bdrv_drained_end(new_child_bs);
2023 bdrv_drained_end(old_child_bs);
2024 g_assert(parent_bs->quiesce_counter == new_drain_count);
2025
2026 if (!old_drain_count && !new_drain_count) {
2027 /*
2028 * From undrained to undrained drains and undrains the parent,
2029 * because bdrv_replace_node() contains a drained section for
2030 * @old_child_bs.
2031 */
2032 g_assert(parent_s->was_drained && parent_s->was_undrained);
2033 } else if (!old_drain_count && new_drain_count) {
2034 /*
2035 * From undrained to drained should drain the parent and keep
2036 * it that way.
2037 */
2038 g_assert(parent_s->was_drained && !parent_s->was_undrained);
2039 } else if (old_drain_count && !new_drain_count) {
2040 /*
2041 * From drained to undrained should undrain the parent and
2042 * keep it that way.
2043 */
2044 g_assert(!parent_s->was_drained && parent_s->was_undrained);
2045 } else /* if (old_drain_count && new_drain_count) */ {
2046 /*
2047 * From drained to drained must not undrain the parent at any
2048 * point
2049 */
2050 g_assert(!parent_s->was_drained && !parent_s->was_undrained);
2051 }
2052
2053 if (!old_drain_count || !new_drain_count) {
2054 /*
2055 * If !old_drain_count, we have started a read request before
2056 * bdrv_replace_node(). If !new_drain_count, the parent must
2057 * have been undrained at some point, and
2058 * bdrv_replace_test_co_drain_end() starts a read request
2059 * then.
2060 */
2061 g_assert(parent_s->has_read);
2062 } else {
2063 /*
2064 * If the parent was never undrained, there is no way to start
2065 * a read request.
2066 */
2067 g_assert(!parent_s->has_read);
2068 }
2069
2070 /* A drained child must have not received any request */
2071 g_assert(!(old_drain_count && old_child_s->has_read));
2072 g_assert(!(new_drain_count && new_child_s->has_read));
2073
2074 for (i = 0; i < new_drain_count; i++) {
2075 bdrv_drained_end(new_child_bs);
2076 }
2077 for (i = 0; i < old_drain_count; i++) {
2078 bdrv_drained_end(old_child_bs);
2079 }
2080
2081 /*
2082 * By now, bdrv_replace_test_co_drain_end() must have been called
2083 * at some point while the new child was attached to the parent.
2084 */
2085 g_assert(parent_s->has_read);
2086 g_assert(new_child_s->has_read);
2087
2088 blk_unref(parent_blk);
2089 bdrv_unref(parent_bs);
2090 bdrv_unref(old_child_bs);
2091 bdrv_unref(new_child_bs);
2092 }
2093
2094 static void test_replace_child_mid_drain(void)
2095 {
2096 int old_drain_count, new_drain_count;
2097
2098 for (old_drain_count = 0; old_drain_count < 2; old_drain_count++) {
2099 for (new_drain_count = 0; new_drain_count < 2; new_drain_count++) {
2100 do_test_replace_child_mid_drain(old_drain_count, new_drain_count);
2101 }
2102 }
2103 }
2104
2105 int main(int argc, char **argv)
2106 {
2107 int ret;
2108
2109 bdrv_init();
2110 qemu_init_main_loop(&error_abort);
2111
2112 g_test_init(&argc, &argv, NULL);
2113 qemu_event_init(&done_event, false);
2114
2115 g_test_add_func("/bdrv-drain/driver-cb/drain_all", test_drv_cb_drain_all);
2116 g_test_add_func("/bdrv-drain/driver-cb/drain", test_drv_cb_drain);
2117
2118 g_test_add_func("/bdrv-drain/driver-cb/co/drain_all",
2119 test_drv_cb_co_drain_all);
2120 g_test_add_func("/bdrv-drain/driver-cb/co/drain", test_drv_cb_co_drain);
2121
2122 g_test_add_func("/bdrv-drain/quiesce/drain_all", test_quiesce_drain_all);
2123 g_test_add_func("/bdrv-drain/quiesce/drain", test_quiesce_drain);
2124
2125 g_test_add_func("/bdrv-drain/quiesce/co/drain_all",
2126 test_quiesce_co_drain_all);
2127 g_test_add_func("/bdrv-drain/quiesce/co/drain", test_quiesce_co_drain);
2128
2129 g_test_add_func("/bdrv-drain/nested", test_nested);
2130
2131 g_test_add_func("/bdrv-drain/graph-change/drain_all",
2132 test_graph_change_drain_all);
2133
2134 g_test_add_func("/bdrv-drain/iothread/drain_all", test_iothread_drain_all);
2135 g_test_add_func("/bdrv-drain/iothread/drain", test_iothread_drain);
2136
2137 g_test_add_func("/bdrv-drain/blockjob/drain_all", test_blockjob_drain_all);
2138 g_test_add_func("/bdrv-drain/blockjob/drain", test_blockjob_drain);
2139
2140 g_test_add_func("/bdrv-drain/blockjob/error/drain_all",
2141 test_blockjob_error_drain_all);
2142 g_test_add_func("/bdrv-drain/blockjob/error/drain",
2143 test_blockjob_error_drain);
2144
2145 g_test_add_func("/bdrv-drain/blockjob/iothread/drain_all",
2146 test_blockjob_iothread_drain_all);
2147 g_test_add_func("/bdrv-drain/blockjob/iothread/drain",
2148 test_blockjob_iothread_drain);
2149
2150 g_test_add_func("/bdrv-drain/blockjob/iothread/error/drain_all",
2151 test_blockjob_iothread_error_drain_all);
2152 g_test_add_func("/bdrv-drain/blockjob/iothread/error/drain",
2153 test_blockjob_iothread_error_drain);
2154
2155 g_test_add_func("/bdrv-drain/deletion/drain", test_delete_by_drain);
2156 g_test_add_func("/bdrv-drain/detach/drain_all", test_detach_by_drain_all);
2157 g_test_add_func("/bdrv-drain/detach/drain", test_detach_by_drain);
2158 g_test_add_func("/bdrv-drain/detach/parent_cb", test_detach_by_parent_cb);
2159 g_test_add_func("/bdrv-drain/detach/driver_cb", test_detach_by_driver_cb);
2160
2161 g_test_add_func("/bdrv-drain/attach/drain", test_append_to_drained);
2162
2163 g_test_add_func("/bdrv-drain/set_aio_context", test_set_aio_context);
2164
2165 g_test_add_func("/bdrv-drain/blockjob/commit_by_drained_end",
2166 test_blockjob_commit_by_drained_end);
2167
2168 g_test_add_func("/bdrv-drain/bdrv_drop_intermediate/poll",
2169 test_drop_intermediate_poll);
2170
2171 g_test_add_func("/bdrv-drain/replace_child/mid-drain",
2172 test_replace_child_mid_drain);
2173
2174 ret = g_test_run();
2175 qemu_event_destroy(&done_event);
2176 return ret;
2177 }