]> git.proxmox.com Git - mirror_qemu.git/blame - async.c
AioContext: avoid leaking BHs on cleanup
[mirror_qemu.git] / async.c
CommitLineData
4f999d05
KW
1/*
2 * QEMU System Emulator
3 *
4 * Copyright (c) 2003-2008 Fabrice Bellard
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-common.h"
737e150e 26#include "block/aio.h"
9b34277d 27#include "block/thread-pool.h"
1de7afc9 28#include "qemu/main-loop.h"
0ceb849b 29#include "qemu/atomic.h"
9a1e9481 30
4f999d05
KW
31/***********************************************************/
32/* bottom halves (can be seen as timers which expire ASAP) */
33
34struct QEMUBH {
2f4dc3c1 35 AioContext *ctx;
4f999d05
KW
36 QEMUBHFunc *cb;
37 void *opaque;
4f999d05 38 QEMUBH *next;
9b47b17e
SW
39 bool scheduled;
40 bool idle;
41 bool deleted;
4f999d05
KW
42};
43
f627aab1 44QEMUBH *aio_bh_new(AioContext *ctx, QEMUBHFunc *cb, void *opaque)
4f999d05
KW
45{
46 QEMUBH *bh;
ee82310f
PB
47 bh = g_new(QEMUBH, 1);
48 *bh = (QEMUBH){
49 .ctx = ctx,
50 .cb = cb,
51 .opaque = opaque,
52 };
dcc772e2 53 qemu_mutex_lock(&ctx->bh_lock);
f627aab1 54 bh->next = ctx->first_bh;
dcc772e2
LPF
55 /* Make sure that the members are ready before putting bh into list */
56 smp_wmb();
f627aab1 57 ctx->first_bh = bh;
dcc772e2 58 qemu_mutex_unlock(&ctx->bh_lock);
4f999d05
KW
59 return bh;
60}
61
dcc772e2 62/* Multiple occurrences of aio_bh_poll cannot be called concurrently */
f627aab1 63int aio_bh_poll(AioContext *ctx)
4f999d05 64{
7887f620 65 QEMUBH *bh, **bhp, *next;
4f999d05 66 int ret;
648fb0ea 67
f627aab1 68 ctx->walking_bh++;
4f999d05
KW
69
70 ret = 0;
f627aab1 71 for (bh = ctx->first_bh; bh; bh = next) {
dcc772e2
LPF
72 /* Make sure that fetching bh happens before accessing its members */
73 smp_read_barrier_depends();
7887f620 74 next = bh->next;
e8d3b1a2
PB
75 /* The atomic_xchg is paired with the one in qemu_bh_schedule. The
76 * implicit memory barrier ensures that the callback sees all writes
77 * done by the scheduling thread. It also ensures that the scheduling
78 * thread sees the zero before bh->cb has run, and thus will call
79 * aio_notify again if necessary.
80 */
81 if (!bh->deleted && atomic_xchg(&bh->scheduled, 0)) {
4f999d05
KW
82 if (!bh->idle)
83 ret = 1;
84 bh->idle = 0;
85 bh->cb(bh->opaque);
86 }
87 }
88
f627aab1 89 ctx->walking_bh--;
648fb0ea 90
4f999d05 91 /* remove deleted bhs */
f627aab1 92 if (!ctx->walking_bh) {
dcc772e2 93 qemu_mutex_lock(&ctx->bh_lock);
f627aab1 94 bhp = &ctx->first_bh;
648fb0ea
KW
95 while (*bhp) {
96 bh = *bhp;
97 if (bh->deleted) {
98 *bhp = bh->next;
99 g_free(bh);
100 } else {
101 bhp = &bh->next;
102 }
103 }
dcc772e2 104 qemu_mutex_unlock(&ctx->bh_lock);
4f999d05
KW
105 }
106
107 return ret;
108}
109
110void qemu_bh_schedule_idle(QEMUBH *bh)
111{
4f999d05 112 bh->idle = 1;
dcc772e2
LPF
113 /* Make sure that idle & any writes needed by the callback are done
114 * before the locations are read in the aio_bh_poll.
115 */
e8d3b1a2 116 atomic_mb_set(&bh->scheduled, 1);
4f999d05
KW
117}
118
119void qemu_bh_schedule(QEMUBH *bh)
120{
924fe129
SH
121 AioContext *ctx;
122
924fe129 123 ctx = bh->ctx;
4f999d05 124 bh->idle = 0;
e8d3b1a2 125 /* The memory barrier implicit in atomic_xchg makes sure that:
924fe129
SH
126 * 1. idle & any writes needed by the callback are done before the
127 * locations are read in the aio_bh_poll.
128 * 2. ctx is loaded before scheduled is set and the callback has a chance
129 * to execute.
dcc772e2 130 */
e8d3b1a2
PB
131 if (atomic_xchg(&bh->scheduled, 1) == 0) {
132 aio_notify(ctx);
133 }
4f999d05
KW
134}
135
dcc772e2
LPF
136
137/* This func is async.
138 */
4f999d05
KW
139void qemu_bh_cancel(QEMUBH *bh)
140{
141 bh->scheduled = 0;
142}
143
dcc772e2
LPF
144/* This func is async.The bottom half will do the delete action at the finial
145 * end.
146 */
4f999d05
KW
147void qemu_bh_delete(QEMUBH *bh)
148{
149 bh->scheduled = 0;
150 bh->deleted = 1;
151}
152
845ca10d
PB
153int64_t
154aio_compute_timeout(AioContext *ctx)
4f999d05 155{
845ca10d
PB
156 int64_t deadline;
157 int timeout = -1;
4f999d05
KW
158 QEMUBH *bh;
159
f627aab1 160 for (bh = ctx->first_bh; bh; bh = bh->next) {
4f999d05
KW
161 if (!bh->deleted && bh->scheduled) {
162 if (bh->idle) {
163 /* idle bottom halves will be polled at least
164 * every 10ms */
845ca10d 165 timeout = 10000000;
4f999d05
KW
166 } else {
167 /* non-idle bottom halves will be executed
168 * immediately */
845ca10d 169 return 0;
4f999d05
KW
170 }
171 }
172 }
e3713e00 173
845ca10d 174 deadline = timerlistgroup_deadline_ns(&ctx->tlg);
533a8cf3 175 if (deadline == 0) {
845ca10d 176 return 0;
533a8cf3 177 } else {
845ca10d 178 return qemu_soonest_timeout(timeout, deadline);
533a8cf3 179 }
845ca10d 180}
533a8cf3 181
845ca10d
PB
182static gboolean
183aio_ctx_prepare(GSource *source, gint *timeout)
184{
185 AioContext *ctx = (AioContext *) source;
186
eabc9779
PB
187 atomic_or(&ctx->notify_me, 1);
188
845ca10d
PB
189 /* We assume there is no timeout already supplied */
190 *timeout = qemu_timeout_ns_to_ms(aio_compute_timeout(ctx));
a3462c65
PB
191
192 if (aio_prepare(ctx)) {
193 *timeout = 0;
194 }
195
845ca10d 196 return *timeout == 0;
e3713e00
PB
197}
198
199static gboolean
200aio_ctx_check(GSource *source)
201{
202 AioContext *ctx = (AioContext *) source;
203 QEMUBH *bh;
204
eabc9779 205 atomic_and(&ctx->notify_me, ~1);
05e514b1 206 aio_notify_accept(ctx);
21a03d17 207
e3713e00
PB
208 for (bh = ctx->first_bh; bh; bh = bh->next) {
209 if (!bh->deleted && bh->scheduled) {
210 return true;
211 }
212 }
533a8cf3 213 return aio_pending(ctx) || (timerlistgroup_deadline_ns(&ctx->tlg) == 0);
e3713e00
PB
214}
215
216static gboolean
217aio_ctx_dispatch(GSource *source,
218 GSourceFunc callback,
219 gpointer user_data)
220{
221 AioContext *ctx = (AioContext *) source;
222
223 assert(callback == NULL);
e4c7e2d1 224 aio_dispatch(ctx);
e3713e00
PB
225 return true;
226}
227
2f4dc3c1
PB
228static void
229aio_ctx_finalize(GSource *source)
230{
231 AioContext *ctx = (AioContext *) source;
232
9b34277d 233 thread_pool_free(ctx->thread_pool);
a076972a
SH
234
235 qemu_mutex_lock(&ctx->bh_lock);
236 while (ctx->first_bh) {
237 QEMUBH *next = ctx->first_bh->next;
238
239 /* qemu_bh_delete() must have been called on BHs in this AioContext */
240 assert(ctx->first_bh->deleted);
241
242 g_free(ctx->first_bh);
243 ctx->first_bh = next;
244 }
245 qemu_mutex_unlock(&ctx->bh_lock);
246
f2e5dca4 247 aio_set_event_notifier(ctx, &ctx->notifier, NULL);
2f4dc3c1 248 event_notifier_cleanup(&ctx->notifier);
98563fc3 249 rfifolock_destroy(&ctx->lock);
dcc772e2 250 qemu_mutex_destroy(&ctx->bh_lock);
dae21b98 251 timerlistgroup_deinit(&ctx->tlg);
2f4dc3c1
PB
252}
253
e3713e00
PB
254static GSourceFuncs aio_source_funcs = {
255 aio_ctx_prepare,
256 aio_ctx_check,
257 aio_ctx_dispatch,
2f4dc3c1 258 aio_ctx_finalize
e3713e00
PB
259};
260
261GSource *aio_get_g_source(AioContext *ctx)
262{
263 g_source_ref(&ctx->source);
264 return &ctx->source;
265}
a915f4bc 266
9b34277d
SH
267ThreadPool *aio_get_thread_pool(AioContext *ctx)
268{
269 if (!ctx->thread_pool) {
270 ctx->thread_pool = thread_pool_new(ctx);
271 }
272 return ctx->thread_pool;
273}
274
2f4dc3c1
PB
275void aio_notify(AioContext *ctx)
276{
eabc9779
PB
277 /* Write e.g. bh->scheduled before reading ctx->notify_me. Pairs
278 * with atomic_or in aio_ctx_prepare or atomic_add in aio_poll.
279 */
0ceb849b 280 smp_mb();
eabc9779 281 if (ctx->notify_me) {
0ceb849b 282 event_notifier_set(&ctx->notifier);
05e514b1
PB
283 atomic_mb_set(&ctx->notified, true);
284 }
285}
286
287void aio_notify_accept(AioContext *ctx)
288{
289 if (atomic_xchg(&ctx->notified, false)) {
290 event_notifier_test_and_clear(&ctx->notifier);
0ceb849b 291 }
2f4dc3c1
PB
292}
293
d5541d86
AB
294static void aio_timerlist_notify(void *opaque)
295{
296 aio_notify(opaque);
297}
298
da5e1de9
SH
299static void aio_rfifolock_cb(void *opaque)
300{
301 /* Kick owner thread in case they are blocked in aio_poll() */
302 aio_notify(opaque);
303}
304
21a03d17
PB
305static void event_notifier_dummy_cb(EventNotifier *e)
306{
307}
308
2f78e491 309AioContext *aio_context_new(Error **errp)
f627aab1 310{
2f78e491 311 int ret;
2f4dc3c1
PB
312 AioContext *ctx;
313 ctx = (AioContext *) g_source_new(&aio_source_funcs, sizeof(AioContext));
2f78e491
CN
314 ret = event_notifier_init(&ctx->notifier, false);
315 if (ret < 0) {
316 g_source_destroy(&ctx->source);
317 error_setg_errno(errp, -ret, "Failed to initialize event notifier");
318 return NULL;
319 }
fcf5def1 320 g_source_set_can_recurse(&ctx->source, true);
2f78e491
CN
321 aio_set_event_notifier(ctx, &ctx->notifier,
322 (EventNotifierHandler *)
21a03d17 323 event_notifier_dummy_cb);
9b34277d 324 ctx->thread_pool = NULL;
dcc772e2 325 qemu_mutex_init(&ctx->bh_lock);
da5e1de9 326 rfifolock_init(&ctx->lock, aio_rfifolock_cb, ctx);
d5541d86 327 timerlistgroup_init(&ctx->tlg, aio_timerlist_notify, ctx);
2f4dc3c1
PB
328
329 return ctx;
e3713e00
PB
330}
331
332void aio_context_ref(AioContext *ctx)
333{
334 g_source_ref(&ctx->source);
335}
336
337void aio_context_unref(AioContext *ctx)
338{
339 g_source_unref(&ctx->source);
f627aab1 340}
98563fc3
SH
341
342void aio_context_acquire(AioContext *ctx)
343{
344 rfifolock_lock(&ctx->lock);
345}
346
347void aio_context_release(AioContext *ctx)
348{
349 rfifolock_unlock(&ctx->lock);
350}