xref: /openbmc/qemu/util/async.c (revision fcb7a4a4)
1 /*
2  * Data plane event loop
3  *
4  * Copyright (c) 2003-2008 Fabrice Bellard
5  * Copyright (c) 2009-2017 QEMU contributors
6  *
7  * Permission is hereby granted, free of charge, to any person obtaining a copy
8  * of this software and associated documentation files (the "Software"), to deal
9  * in the Software without restriction, including without limitation the rights
10  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11  * copies of the Software, and to permit persons to whom the Software is
12  * furnished to do so, subject to the following conditions:
13  *
14  * The above copyright notice and this permission notice shall be included in
15  * all copies or substantial portions of the Software.
16  *
17  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
20  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
23  * THE SOFTWARE.
24  */
25 
26 #include "qemu/osdep.h"
27 #include "qapi/error.h"
28 #include "block/aio.h"
29 #include "block/thread-pool.h"
30 #include "qemu/main-loop.h"
31 #include "qemu/atomic.h"
32 #include "block/raw-aio.h"
33 #include "qemu/coroutine_int.h"
34 #include "trace.h"
35 
36 /***********************************************************/
37 /* bottom halves (can be seen as timers which expire ASAP) */
38 
39 struct QEMUBH {
40     AioContext *ctx;
41     QEMUBHFunc *cb;
42     void *opaque;
43     QEMUBH *next;
44     bool scheduled;
45     bool idle;
46     bool deleted;
47 };
48 
49 void aio_bh_schedule_oneshot(AioContext *ctx, QEMUBHFunc *cb, void *opaque)
50 {
51     QEMUBH *bh;
52     bh = g_new(QEMUBH, 1);
53     *bh = (QEMUBH){
54         .ctx = ctx,
55         .cb = cb,
56         .opaque = opaque,
57     };
58     qemu_lockcnt_lock(&ctx->list_lock);
59     bh->next = ctx->first_bh;
60     bh->scheduled = 1;
61     bh->deleted = 1;
62     /* Make sure that the members are ready before putting bh into list */
63     smp_wmb();
64     ctx->first_bh = bh;
65     qemu_lockcnt_unlock(&ctx->list_lock);
66     aio_notify(ctx);
67 }
68 
69 QEMUBH *aio_bh_new(AioContext *ctx, QEMUBHFunc *cb, void *opaque)
70 {
71     QEMUBH *bh;
72     bh = g_new(QEMUBH, 1);
73     *bh = (QEMUBH){
74         .ctx = ctx,
75         .cb = cb,
76         .opaque = opaque,
77     };
78     qemu_lockcnt_lock(&ctx->list_lock);
79     bh->next = ctx->first_bh;
80     /* Make sure that the members are ready before putting bh into list */
81     smp_wmb();
82     ctx->first_bh = bh;
83     qemu_lockcnt_unlock(&ctx->list_lock);
84     return bh;
85 }
86 
87 void aio_bh_call(QEMUBH *bh)
88 {
89     bh->cb(bh->opaque);
90 }
91 
92 /* Multiple occurrences of aio_bh_poll cannot be called concurrently.
93  * The count in ctx->list_lock is incremented before the call, and is
94  * not affected by the call.
95  */
96 int aio_bh_poll(AioContext *ctx)
97 {
98     QEMUBH *bh, **bhp, *next;
99     int ret;
100     bool deleted = false;
101 
102     ret = 0;
103     for (bh = atomic_rcu_read(&ctx->first_bh); bh; bh = next) {
104         next = atomic_rcu_read(&bh->next);
105         /* The atomic_xchg is paired with the one in qemu_bh_schedule.  The
106          * implicit memory barrier ensures that the callback sees all writes
107          * done by the scheduling thread.  It also ensures that the scheduling
108          * thread sees the zero before bh->cb has run, and thus will call
109          * aio_notify again if necessary.
110          */
111         if (atomic_xchg(&bh->scheduled, 0)) {
112             /* Idle BHs don't count as progress */
113             if (!bh->idle) {
114                 ret = 1;
115             }
116             bh->idle = 0;
117             aio_bh_call(bh);
118         }
119         if (bh->deleted) {
120             deleted = true;
121         }
122     }
123 
124     /* remove deleted bhs */
125     if (!deleted) {
126         return ret;
127     }
128 
129     if (qemu_lockcnt_dec_if_lock(&ctx->list_lock)) {
130         bhp = &ctx->first_bh;
131         while (*bhp) {
132             bh = *bhp;
133             if (bh->deleted && !bh->scheduled) {
134                 *bhp = bh->next;
135                 g_free(bh);
136             } else {
137                 bhp = &bh->next;
138             }
139         }
140         qemu_lockcnt_inc_and_unlock(&ctx->list_lock);
141     }
142     return ret;
143 }
144 
145 void qemu_bh_schedule_idle(QEMUBH *bh)
146 {
147     bh->idle = 1;
148     /* Make sure that idle & any writes needed by the callback are done
149      * before the locations are read in the aio_bh_poll.
150      */
151     atomic_mb_set(&bh->scheduled, 1);
152 }
153 
154 void qemu_bh_schedule(QEMUBH *bh)
155 {
156     AioContext *ctx;
157 
158     ctx = bh->ctx;
159     bh->idle = 0;
160     /* The memory barrier implicit in atomic_xchg makes sure that:
161      * 1. idle & any writes needed by the callback are done before the
162      *    locations are read in the aio_bh_poll.
163      * 2. ctx is loaded before scheduled is set and the callback has a chance
164      *    to execute.
165      */
166     if (atomic_xchg(&bh->scheduled, 1) == 0) {
167         aio_notify(ctx);
168     }
169 }
170 
171 
172 /* This func is async.
173  */
174 void qemu_bh_cancel(QEMUBH *bh)
175 {
176     atomic_mb_set(&bh->scheduled, 0);
177 }
178 
179 /* This func is async.The bottom half will do the delete action at the finial
180  * end.
181  */
182 void qemu_bh_delete(QEMUBH *bh)
183 {
184     bh->scheduled = 0;
185     bh->deleted = 1;
186 }
187 
188 int64_t
189 aio_compute_timeout(AioContext *ctx)
190 {
191     int64_t deadline;
192     int timeout = -1;
193     QEMUBH *bh;
194 
195     for (bh = atomic_rcu_read(&ctx->first_bh); bh;
196          bh = atomic_rcu_read(&bh->next)) {
197         if (bh->scheduled) {
198             if (bh->idle) {
199                 /* idle bottom halves will be polled at least
200                  * every 10ms */
201                 timeout = 10000000;
202             } else {
203                 /* non-idle bottom halves will be executed
204                  * immediately */
205                 return 0;
206             }
207         }
208     }
209 
210     deadline = timerlistgroup_deadline_ns(&ctx->tlg);
211     if (deadline == 0) {
212         return 0;
213     } else {
214         return qemu_soonest_timeout(timeout, deadline);
215     }
216 }
217 
218 static gboolean
219 aio_ctx_prepare(GSource *source, gint    *timeout)
220 {
221     AioContext *ctx = (AioContext *) source;
222 
223     atomic_or(&ctx->notify_me, 1);
224 
225     /* We assume there is no timeout already supplied */
226     *timeout = qemu_timeout_ns_to_ms(aio_compute_timeout(ctx));
227 
228     if (aio_prepare(ctx)) {
229         *timeout = 0;
230     }
231 
232     return *timeout == 0;
233 }
234 
235 static gboolean
236 aio_ctx_check(GSource *source)
237 {
238     AioContext *ctx = (AioContext *) source;
239     QEMUBH *bh;
240 
241     atomic_and(&ctx->notify_me, ~1);
242     aio_notify_accept(ctx);
243 
244     for (bh = ctx->first_bh; bh; bh = bh->next) {
245         if (bh->scheduled) {
246             return true;
247         }
248     }
249     return aio_pending(ctx) || (timerlistgroup_deadline_ns(&ctx->tlg) == 0);
250 }
251 
252 static gboolean
253 aio_ctx_dispatch(GSource     *source,
254                  GSourceFunc  callback,
255                  gpointer     user_data)
256 {
257     AioContext *ctx = (AioContext *) source;
258 
259     assert(callback == NULL);
260     aio_dispatch(ctx);
261     return true;
262 }
263 
264 static void
265 aio_ctx_finalize(GSource     *source)
266 {
267     AioContext *ctx = (AioContext *) source;
268 
269     thread_pool_free(ctx->thread_pool);
270 
271 #ifdef CONFIG_LINUX_AIO
272     if (ctx->linux_aio) {
273         laio_detach_aio_context(ctx->linux_aio, ctx);
274         laio_cleanup(ctx->linux_aio);
275         ctx->linux_aio = NULL;
276     }
277 #endif
278 
279 #ifdef CONFIG_LINUX_IO_URING
280     if (ctx->linux_io_uring) {
281         luring_detach_aio_context(ctx->linux_io_uring, ctx);
282         luring_cleanup(ctx->linux_io_uring);
283         ctx->linux_io_uring = NULL;
284     }
285 #endif
286 
287     assert(QSLIST_EMPTY(&ctx->scheduled_coroutines));
288     qemu_bh_delete(ctx->co_schedule_bh);
289 
290     qemu_lockcnt_lock(&ctx->list_lock);
291     assert(!qemu_lockcnt_count(&ctx->list_lock));
292     while (ctx->first_bh) {
293         QEMUBH *next = ctx->first_bh->next;
294 
295         /* qemu_bh_delete() must have been called on BHs in this AioContext */
296         assert(ctx->first_bh->deleted);
297 
298         g_free(ctx->first_bh);
299         ctx->first_bh = next;
300     }
301     qemu_lockcnt_unlock(&ctx->list_lock);
302 
303     aio_set_event_notifier(ctx, &ctx->notifier, false, NULL, NULL);
304     event_notifier_cleanup(&ctx->notifier);
305     qemu_rec_mutex_destroy(&ctx->lock);
306     qemu_lockcnt_destroy(&ctx->list_lock);
307     timerlistgroup_deinit(&ctx->tlg);
308     aio_context_destroy(ctx);
309 }
310 
311 static GSourceFuncs aio_source_funcs = {
312     aio_ctx_prepare,
313     aio_ctx_check,
314     aio_ctx_dispatch,
315     aio_ctx_finalize
316 };
317 
318 GSource *aio_get_g_source(AioContext *ctx)
319 {
320     g_source_ref(&ctx->source);
321     return &ctx->source;
322 }
323 
324 ThreadPool *aio_get_thread_pool(AioContext *ctx)
325 {
326     if (!ctx->thread_pool) {
327         ctx->thread_pool = thread_pool_new(ctx);
328     }
329     return ctx->thread_pool;
330 }
331 
332 #ifdef CONFIG_LINUX_AIO
333 LinuxAioState *aio_setup_linux_aio(AioContext *ctx, Error **errp)
334 {
335     if (!ctx->linux_aio) {
336         ctx->linux_aio = laio_init(errp);
337         if (ctx->linux_aio) {
338             laio_attach_aio_context(ctx->linux_aio, ctx);
339         }
340     }
341     return ctx->linux_aio;
342 }
343 
344 LinuxAioState *aio_get_linux_aio(AioContext *ctx)
345 {
346     assert(ctx->linux_aio);
347     return ctx->linux_aio;
348 }
349 #endif
350 
351 #ifdef CONFIG_LINUX_IO_URING
352 LuringState *aio_setup_linux_io_uring(AioContext *ctx, Error **errp)
353 {
354     if (ctx->linux_io_uring) {
355         return ctx->linux_io_uring;
356     }
357 
358     ctx->linux_io_uring = luring_init(errp);
359     if (!ctx->linux_io_uring) {
360         return NULL;
361     }
362 
363     luring_attach_aio_context(ctx->linux_io_uring, ctx);
364     return ctx->linux_io_uring;
365 }
366 
367 LuringState *aio_get_linux_io_uring(AioContext *ctx)
368 {
369     assert(ctx->linux_io_uring);
370     return ctx->linux_io_uring;
371 }
372 #endif
373 
374 void aio_notify(AioContext *ctx)
375 {
376     /* Write e.g. bh->scheduled before reading ctx->notify_me.  Pairs
377      * with atomic_or in aio_ctx_prepare or atomic_add in aio_poll.
378      */
379     smp_mb();
380     if (ctx->notify_me) {
381         event_notifier_set(&ctx->notifier);
382         atomic_mb_set(&ctx->notified, true);
383     }
384 }
385 
386 void aio_notify_accept(AioContext *ctx)
387 {
388     if (atomic_xchg(&ctx->notified, false)
389 #ifdef WIN32
390         || true
391 #endif
392     ) {
393         event_notifier_test_and_clear(&ctx->notifier);
394     }
395 }
396 
397 static void aio_timerlist_notify(void *opaque, QEMUClockType type)
398 {
399     aio_notify(opaque);
400 }
401 
402 static void event_notifier_dummy_cb(EventNotifier *e)
403 {
404 }
405 
406 /* Returns true if aio_notify() was called (e.g. a BH was scheduled) */
407 static bool event_notifier_poll(void *opaque)
408 {
409     EventNotifier *e = opaque;
410     AioContext *ctx = container_of(e, AioContext, notifier);
411 
412     return atomic_read(&ctx->notified);
413 }
414 
415 static void co_schedule_bh_cb(void *opaque)
416 {
417     AioContext *ctx = opaque;
418     QSLIST_HEAD(, Coroutine) straight, reversed;
419 
420     QSLIST_MOVE_ATOMIC(&reversed, &ctx->scheduled_coroutines);
421     QSLIST_INIT(&straight);
422 
423     while (!QSLIST_EMPTY(&reversed)) {
424         Coroutine *co = QSLIST_FIRST(&reversed);
425         QSLIST_REMOVE_HEAD(&reversed, co_scheduled_next);
426         QSLIST_INSERT_HEAD(&straight, co, co_scheduled_next);
427     }
428 
429     while (!QSLIST_EMPTY(&straight)) {
430         Coroutine *co = QSLIST_FIRST(&straight);
431         QSLIST_REMOVE_HEAD(&straight, co_scheduled_next);
432         trace_aio_co_schedule_bh_cb(ctx, co);
433         aio_context_acquire(ctx);
434 
435         /* Protected by write barrier in qemu_aio_coroutine_enter */
436         atomic_set(&co->scheduled, NULL);
437         qemu_aio_coroutine_enter(ctx, co);
438         aio_context_release(ctx);
439     }
440 }
441 
442 AioContext *aio_context_new(Error **errp)
443 {
444     int ret;
445     AioContext *ctx;
446 
447     ctx = (AioContext *) g_source_new(&aio_source_funcs, sizeof(AioContext));
448     aio_context_setup(ctx);
449 
450     ret = event_notifier_init(&ctx->notifier, false);
451     if (ret < 0) {
452         error_setg_errno(errp, -ret, "Failed to initialize event notifier");
453         goto fail;
454     }
455     g_source_set_can_recurse(&ctx->source, true);
456     qemu_lockcnt_init(&ctx->list_lock);
457 
458     ctx->co_schedule_bh = aio_bh_new(ctx, co_schedule_bh_cb, ctx);
459     QSLIST_INIT(&ctx->scheduled_coroutines);
460 
461     aio_set_event_notifier(ctx, &ctx->notifier,
462                            false,
463                            event_notifier_dummy_cb,
464                            event_notifier_poll);
465 #ifdef CONFIG_LINUX_AIO
466     ctx->linux_aio = NULL;
467 #endif
468 
469 #ifdef CONFIG_LINUX_IO_URING
470     ctx->linux_io_uring = NULL;
471 #endif
472 
473     ctx->thread_pool = NULL;
474     qemu_rec_mutex_init(&ctx->lock);
475     timerlistgroup_init(&ctx->tlg, aio_timerlist_notify, ctx);
476 
477     ctx->poll_ns = 0;
478     ctx->poll_max_ns = 0;
479     ctx->poll_grow = 0;
480     ctx->poll_shrink = 0;
481 
482     return ctx;
483 fail:
484     g_source_destroy(&ctx->source);
485     return NULL;
486 }
487 
488 void aio_co_schedule(AioContext *ctx, Coroutine *co)
489 {
490     trace_aio_co_schedule(ctx, co);
491     const char *scheduled = atomic_cmpxchg(&co->scheduled, NULL,
492                                            __func__);
493 
494     if (scheduled) {
495         fprintf(stderr,
496                 "%s: Co-routine was already scheduled in '%s'\n",
497                 __func__, scheduled);
498         abort();
499     }
500 
501     /* The coroutine might run and release the last ctx reference before we
502      * invoke qemu_bh_schedule().  Take a reference to keep ctx alive until
503      * we're done.
504      */
505     aio_context_ref(ctx);
506 
507     QSLIST_INSERT_HEAD_ATOMIC(&ctx->scheduled_coroutines,
508                               co, co_scheduled_next);
509     qemu_bh_schedule(ctx->co_schedule_bh);
510 
511     aio_context_unref(ctx);
512 }
513 
514 void aio_co_wake(struct Coroutine *co)
515 {
516     AioContext *ctx;
517 
518     /* Read coroutine before co->ctx.  Matches smp_wmb in
519      * qemu_coroutine_enter.
520      */
521     smp_read_barrier_depends();
522     ctx = atomic_read(&co->ctx);
523 
524     aio_co_enter(ctx, co);
525 }
526 
527 void aio_co_enter(AioContext *ctx, struct Coroutine *co)
528 {
529     if (ctx != qemu_get_current_aio_context()) {
530         aio_co_schedule(ctx, co);
531         return;
532     }
533 
534     if (qemu_in_coroutine()) {
535         Coroutine *self = qemu_coroutine_self();
536         assert(self != co);
537         QSIMPLEQ_INSERT_TAIL(&self->co_queue_wakeup, co, co_queue_next);
538     } else {
539         aio_context_acquire(ctx);
540         qemu_aio_coroutine_enter(ctx, co);
541         aio_context_release(ctx);
542     }
543 }
544 
545 void aio_context_ref(AioContext *ctx)
546 {
547     g_source_ref(&ctx->source);
548 }
549 
550 void aio_context_unref(AioContext *ctx)
551 {
552     g_source_unref(&ctx->source);
553 }
554 
555 void aio_context_acquire(AioContext *ctx)
556 {
557     qemu_rec_mutex_lock(&ctx->lock);
558 }
559 
560 void aio_context_release(AioContext *ctx)
561 {
562     qemu_rec_mutex_unlock(&ctx->lock);
563 }
564