2 * Blockjob transactions tests
4 * Copyright Red Hat, Inc. 2015
9 * This work is licensed under the terms of the GNU LGPL, version 2 or later.
10 * See the COPYING.LIB file in the top-level directory.
13 #include "qemu/osdep.h"
14 #include "qapi/error.h"
15 #include "qemu/main-loop.h"
16 #include "block/blockjob_int.h"
17 #include "sysemu/block-backend.h"
21 unsigned int iterations;
27 static void test_block_job_complete(BlockJob *job, void *opaque)
29 BlockDriverState *bs = blk_bs(job->blk);
30 int rc = (intptr_t)opaque;
32 if (block_job_is_cancelled(job)) {
36 block_job_completed(job, rc);
40 static void coroutine_fn test_block_job_run(void *opaque)
42 TestBlockJob *s = opaque;
43 BlockJob *job = &s->common;
45 while (s->iterations--) {
47 block_job_sleep_ns(job, QEMU_CLOCK_REALTIME, 0);
52 if (block_job_is_cancelled(job)) {
57 block_job_defer_to_main_loop(job, test_block_job_complete,
58 (void *)(intptr_t)s->rc);
66 static void test_block_job_cb(void *opaque, int ret)
68 TestBlockJobCBData *data = opaque;
69 if (!ret && block_job_is_cancelled(&data->job->common)) {
76 static const BlockJobDriver test_block_job_driver = {
77 .instance_size = sizeof(TestBlockJob),
78 .start = test_block_job_run,
81 /* Create a block job that completes with a given return code after a given
82 * number of event loop iterations. The return code is stored in the given
85 * The event loop iterations can either be handled automatically with a 0 delay
86 * timer, or they can be stepped manually by entering the coroutine.
88 static BlockJob *test_block_job_start(unsigned int iterations,
94 TestBlockJobCBData *data;
95 static unsigned counter;
98 data = g_new0(TestBlockJobCBData, 1);
100 bs = bdrv_open("null-co://", NULL, NULL, 0, &error_abort);
101 g_assert_nonnull(bs);
103 snprintf(job_id, sizeof(job_id), "job%u", counter++);
104 s = block_job_create(job_id, &test_block_job_driver, bs,
105 0, BLK_PERM_ALL, 0, BLOCK_JOB_DEFAULT,
106 test_block_job_cb, data, &error_abort);
107 s->iterations = iterations;
108 s->use_timer = use_timer;
112 data->result = result;
113 block_job_start(&s->common);
117 static void test_single_job(int expected)
121 int result = -EINPROGRESS;
123 txn = block_job_txn_new();
124 job = test_block_job_start(1, true, expected, &result);
125 block_job_txn_add_job(txn, job);
127 if (expected == -ECANCELED) {
128 block_job_cancel(job);
131 while (result == -EINPROGRESS) {
132 aio_poll(qemu_get_aio_context(), true);
134 g_assert_cmpint(result, ==, expected);
136 block_job_txn_unref(txn);
139 static void test_single_job_success(void)
144 static void test_single_job_failure(void)
146 test_single_job(-EIO);
149 static void test_single_job_cancel(void)
151 test_single_job(-ECANCELED);
154 static void test_pair_jobs(int expected1, int expected2)
159 int result1 = -EINPROGRESS;
160 int result2 = -EINPROGRESS;
162 txn = block_job_txn_new();
163 job1 = test_block_job_start(1, true, expected1, &result1);
164 block_job_txn_add_job(txn, job1);
165 job2 = test_block_job_start(2, true, expected2, &result2);
166 block_job_txn_add_job(txn, job2);
168 if (expected1 == -ECANCELED) {
169 block_job_cancel(job1);
171 if (expected2 == -ECANCELED) {
172 block_job_cancel(job2);
175 while (result1 == -EINPROGRESS || result2 == -EINPROGRESS) {
176 aio_poll(qemu_get_aio_context(), true);
179 /* Failure or cancellation of one job cancels the other job */
180 if (expected1 != 0) {
181 expected2 = -ECANCELED;
182 } else if (expected2 != 0) {
183 expected1 = -ECANCELED;
186 g_assert_cmpint(result1, ==, expected1);
187 g_assert_cmpint(result2, ==, expected2);
189 block_job_txn_unref(txn);
192 static void test_pair_jobs_success(void)
194 test_pair_jobs(0, 0);
197 static void test_pair_jobs_failure(void)
199 /* Test both orderings. The two jobs run for a different number of
200 * iterations so the code path is different depending on which job fails
203 test_pair_jobs(-EIO, 0);
204 test_pair_jobs(0, -EIO);
207 static void test_pair_jobs_cancel(void)
209 test_pair_jobs(-ECANCELED, 0);
210 test_pair_jobs(0, -ECANCELED);
213 static void test_pair_jobs_fail_cancel_race(void)
218 int result1 = -EINPROGRESS;
219 int result2 = -EINPROGRESS;
221 txn = block_job_txn_new();
222 job1 = test_block_job_start(1, true, -ECANCELED, &result1);
223 block_job_txn_add_job(txn, job1);
224 job2 = test_block_job_start(2, false, 0, &result2);
225 block_job_txn_add_job(txn, job2);
227 block_job_cancel(job1);
229 /* Now make job2 finish before the main loop kicks jobs. This simulates
230 * the race between a pending kick and another job completing.
232 block_job_enter(job2);
233 block_job_enter(job2);
235 while (result1 == -EINPROGRESS || result2 == -EINPROGRESS) {
236 aio_poll(qemu_get_aio_context(), true);
239 g_assert_cmpint(result1, ==, -ECANCELED);
240 g_assert_cmpint(result2, ==, -ECANCELED);
242 block_job_txn_unref(txn);
245 int main(int argc, char **argv)
247 qemu_init_main_loop(&error_abort);
250 g_test_init(&argc, &argv, NULL);
251 g_test_add_func("/single/success", test_single_job_success);
252 g_test_add_func("/single/failure", test_single_job_failure);
253 g_test_add_func("/single/cancel", test_single_job_cancel);
254 g_test_add_func("/pair/success", test_pair_jobs_success);
255 g_test_add_func("/pair/failure", test_pair_jobs_failure);
256 g_test_add_func("/pair/cancel", test_pair_jobs_cancel);
257 g_test_add_func("/pair/fail-cancel-race", test_pair_jobs_fail_cancel_race);