blob: 91b4ec552490b0fcca9336d2ed4d766c8d48dffe [file] [log] [blame]
Peter Maydell681c28a2016-02-08 18:08:51 +00001#include "qemu/osdep.h"
Paolo Bonzini74c856e2012-11-23 16:13:24 +01002#include "qemu-common.h"
Paolo Bonzini737e1502012-12-17 18:19:44 +01003#include "block/aio.h"
4#include "block/thread-pool.h"
5#include "block/block.h"
Markus Armbrusterda34e652016-03-14 09:01:28 +01006#include "qapi/error.h"
Alex Blighdae21b92013-08-21 16:02:49 +01007#include "qemu/timer.h"
Chrysostomos Nanakos2f78e492014-09-18 14:30:49 +03008#include "qemu/error-report.h"
Paolo Bonzini934ebf42017-02-13 14:52:21 +01009#include "qemu/main-loop.h"
Paolo Bonzini74c856e2012-11-23 16:13:24 +010010
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +010011static AioContext *ctx;
12static ThreadPool *pool;
Paolo Bonzini74c856e2012-11-23 16:13:24 +010013static int active;
14
15typedef struct {
Markus Armbruster7c84b1b2014-10-07 13:59:14 +020016 BlockAIOCB *aiocb;
Paolo Bonzini74c856e2012-11-23 16:13:24 +010017 int n;
18 int ret;
19} WorkerTestData;
20
21static int worker_cb(void *opaque)
22{
23 WorkerTestData *data = opaque;
Paolo Bonzini5444e762013-05-13 13:29:47 +020024 return atomic_fetch_inc(&data->n);
Paolo Bonzini74c856e2012-11-23 16:13:24 +010025}
26
27static int long_cb(void *opaque)
28{
29 WorkerTestData *data = opaque;
Paolo Bonzini5444e762013-05-13 13:29:47 +020030 atomic_inc(&data->n);
Paolo Bonzini74c856e2012-11-23 16:13:24 +010031 g_usleep(2000000);
Paolo Bonzini5444e762013-05-13 13:29:47 +020032 atomic_inc(&data->n);
Paolo Bonzini74c856e2012-11-23 16:13:24 +010033 return 0;
34}
35
36static void done_cb(void *opaque, int ret)
37{
38 WorkerTestData *data = opaque;
Fam Zheng3391f5e2014-09-11 13:41:12 +080039 g_assert(data->ret == -EINPROGRESS || data->ret == -ECANCELED);
Paolo Bonzini74c856e2012-11-23 16:13:24 +010040 data->ret = ret;
41 data->aiocb = NULL;
42
43 /* Callbacks are serialized, so no need to use atomic ops. */
44 active--;
45}
46
Paolo Bonzini74c856e2012-11-23 16:13:24 +010047static void test_submit(void)
48{
49 WorkerTestData data = { .n = 0 };
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +010050 thread_pool_submit(pool, worker_cb, &data);
Stefan Hajnoczi35ecde22013-04-16 17:49:42 +020051 while (data.n == 0) {
52 aio_poll(ctx, true);
53 }
Paolo Bonzini74c856e2012-11-23 16:13:24 +010054 g_assert_cmpint(data.n, ==, 1);
55}
56
57static void test_submit_aio(void)
58{
59 WorkerTestData data = { .n = 0, .ret = -EINPROGRESS };
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +010060 data.aiocb = thread_pool_submit_aio(pool, worker_cb, &data,
61 done_cb, &data);
Paolo Bonzini74c856e2012-11-23 16:13:24 +010062
63 /* The callbacks are not called until after the first wait. */
64 active = 1;
65 g_assert_cmpint(data.ret, ==, -EINPROGRESS);
Stefan Hajnoczi35ecde22013-04-16 17:49:42 +020066 while (data.ret == -EINPROGRESS) {
67 aio_poll(ctx, true);
68 }
Paolo Bonzini74c856e2012-11-23 16:13:24 +010069 g_assert_cmpint(active, ==, 0);
70 g_assert_cmpint(data.n, ==, 1);
71 g_assert_cmpint(data.ret, ==, 0);
72}
73
74static void co_test_cb(void *opaque)
75{
76 WorkerTestData *data = opaque;
77
78 active = 1;
79 data->n = 0;
80 data->ret = -EINPROGRESS;
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +010081 thread_pool_submit_co(pool, worker_cb, data);
Paolo Bonzini74c856e2012-11-23 16:13:24 +010082
83 /* The test continues in test_submit_co, after qemu_coroutine_enter... */
84
85 g_assert_cmpint(data->n, ==, 1);
86 data->ret = 0;
87 active--;
88
Paolo Bonzini87f68d32014-07-07 15:18:02 +020089 /* The test continues in test_submit_co, after aio_poll... */
Paolo Bonzini74c856e2012-11-23 16:13:24 +010090}
91
92static void test_submit_co(void)
93{
94 WorkerTestData data;
Paolo Bonzini0b8b8752016-07-04 19:10:01 +020095 Coroutine *co = qemu_coroutine_create(co_test_cb, &data);
Paolo Bonzini74c856e2012-11-23 16:13:24 +010096
Paolo Bonzini0b8b8752016-07-04 19:10:01 +020097 qemu_coroutine_enter(co);
Paolo Bonzini74c856e2012-11-23 16:13:24 +010098
99 /* Back here once the worker has started. */
100
101 g_assert_cmpint(active, ==, 1);
102 g_assert_cmpint(data.ret, ==, -EINPROGRESS);
103
Paolo Bonzini87f68d32014-07-07 15:18:02 +0200104 /* aio_poll will execute the rest of the coroutine. */
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100105
Stefan Hajnoczi35ecde22013-04-16 17:49:42 +0200106 while (data.ret == -EINPROGRESS) {
107 aio_poll(ctx, true);
108 }
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100109
110 /* Back here after the coroutine has finished. */
111
112 g_assert_cmpint(active, ==, 0);
113 g_assert_cmpint(data.ret, ==, 0);
114}
115
116static void test_submit_many(void)
117{
118 WorkerTestData data[100];
119 int i;
120
121 /* Start more work items than there will be threads. */
122 for (i = 0; i < 100; i++) {
123 data[i].n = 0;
124 data[i].ret = -EINPROGRESS;
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +0100125 thread_pool_submit_aio(pool, worker_cb, &data[i], done_cb, &data[i]);
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100126 }
127
128 active = 100;
129 while (active > 0) {
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +0100130 aio_poll(ctx, true);
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100131 }
132 for (i = 0; i < 100; i++) {
133 g_assert_cmpint(data[i].n, ==, 1);
134 g_assert_cmpint(data[i].ret, ==, 0);
135 }
136}
137
Fam Zheng3391f5e2014-09-11 13:41:12 +0800138static void do_test_cancel(bool sync)
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100139{
140 WorkerTestData data[100];
Paolo Bonzinid60478c2012-11-27 09:51:48 +0100141 int num_canceled;
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100142 int i;
143
144 /* Start more work items than there will be threads, to ensure
145 * the pool is full.
146 */
147 test_submit_many();
148
149 /* Start long running jobs, to ensure we can cancel some. */
150 for (i = 0; i < 100; i++) {
151 data[i].n = 0;
152 data[i].ret = -EINPROGRESS;
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +0100153 data[i].aiocb = thread_pool_submit_aio(pool, long_cb, &data[i],
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100154 done_cb, &data[i]);
155 }
156
157 /* Starting the threads may be left to a bottom half. Let it
158 * run, but do not waste too much time...
159 */
160 active = 100;
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +0100161 aio_notify(ctx);
162 aio_poll(ctx, false);
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100163
164 /* Wait some time for the threads to start, with some sanity
165 * testing on the behavior of the scheduler...
166 */
167 g_assert_cmpint(active, ==, 100);
168 g_usleep(1000000);
169 g_assert_cmpint(active, >, 50);
170
171 /* Cancel the jobs that haven't been started yet. */
Paolo Bonzinid60478c2012-11-27 09:51:48 +0100172 num_canceled = 0;
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100173 for (i = 0; i < 100; i++) {
Paolo Bonzini5444e762013-05-13 13:29:47 +0200174 if (atomic_cmpxchg(&data[i].n, 0, 3) == 0) {
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100175 data[i].ret = -ECANCELED;
Fam Zheng3391f5e2014-09-11 13:41:12 +0800176 if (sync) {
177 bdrv_aio_cancel(data[i].aiocb);
178 } else {
179 bdrv_aio_cancel_async(data[i].aiocb);
180 }
Paolo Bonzinid60478c2012-11-27 09:51:48 +0100181 num_canceled++;
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100182 }
183 }
Paolo Bonzinid60478c2012-11-27 09:51:48 +0100184 g_assert_cmpint(active, >, 0);
185 g_assert_cmpint(num_canceled, <, 100);
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100186
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100187 for (i = 0; i < 100; i++) {
Fam Zheng271c0f62014-05-21 10:42:13 +0800188 if (data[i].aiocb && data[i].n != 3) {
Fam Zheng3391f5e2014-09-11 13:41:12 +0800189 if (sync) {
190 /* Canceling the others will be a blocking operation. */
191 bdrv_aio_cancel(data[i].aiocb);
192 } else {
193 bdrv_aio_cancel_async(data[i].aiocb);
194 }
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100195 }
196 }
197
198 /* Finish execution and execute any remaining callbacks. */
Stefan Hajnoczi35ecde22013-04-16 17:49:42 +0200199 while (active > 0) {
200 aio_poll(ctx, true);
201 }
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100202 g_assert_cmpint(active, ==, 0);
203 for (i = 0; i < 100; i++) {
204 if (data[i].n == 3) {
205 g_assert_cmpint(data[i].ret, ==, -ECANCELED);
Fam Zheng3391f5e2014-09-11 13:41:12 +0800206 g_assert(data[i].aiocb == NULL);
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100207 } else {
208 g_assert_cmpint(data[i].n, ==, 2);
Fam Zheng3391f5e2014-09-11 13:41:12 +0800209 g_assert(data[i].ret == 0 || data[i].ret == -ECANCELED);
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100210 g_assert(data[i].aiocb == NULL);
211 }
212 }
213}
214
Fam Zheng3391f5e2014-09-11 13:41:12 +0800215static void test_cancel(void)
216{
217 do_test_cancel(true);
218}
219
220static void test_cancel_async(void)
221{
222 do_test_cancel(false);
223}
224
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100225int main(int argc, char **argv)
226{
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +0100227 int ret;
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +0100228
Paolo Bonzini934ebf42017-02-13 14:52:21 +0100229 qemu_init_main_loop(&error_abort);
230 ctx = qemu_get_current_aio_context();
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +0100231 pool = aio_get_thread_pool(ctx);
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100232
233 g_test_init(&argc, &argv, NULL);
234 g_test_add_func("/thread-pool/submit", test_submit);
235 g_test_add_func("/thread-pool/submit-aio", test_submit_aio);
236 g_test_add_func("/thread-pool/submit-co", test_submit_co);
237 g_test_add_func("/thread-pool/submit-many", test_submit_many);
238 g_test_add_func("/thread-pool/cancel", test_cancel);
Fam Zheng3391f5e2014-09-11 13:41:12 +0800239 g_test_add_func("/thread-pool/cancel-async", test_cancel_async);
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +0100240
241 ret = g_test_run();
242
Stefan Hajnoczic4d9d192013-03-07 13:41:49 +0100243 return ret;
Paolo Bonzini74c856e2012-11-23 16:13:24 +0100244}