blob: 34af0b25ca3b10ad741ffb237e349014be87f676 [file] [log] [blame]
Kevin Wolf4f999d02009-10-22 17:54:37 +02001/*
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"
Paolo Bonzini737e1502012-12-17 18:19:44 +010026#include "block/aio.h"
Stefan Hajnoczi9b342772013-03-07 13:41:47 +010027#include "block/thread-pool.h"
Paolo Bonzini1de7afc2012-12-17 18:20:00 +010028#include "qemu/main-loop.h"
Paolo Bonzini0ceb8492014-07-07 15:18:04 +020029#include "qemu/atomic.h"
Kevin Wolf9a1e9482009-10-22 17:54:38 +020030
Kevin Wolf4f999d02009-10-22 17:54:37 +020031/***********************************************************/
32/* bottom halves (can be seen as timers which expire ASAP) */
33
34struct QEMUBH {
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +020035 AioContext *ctx;
Kevin Wolf4f999d02009-10-22 17:54:37 +020036 QEMUBHFunc *cb;
37 void *opaque;
Kevin Wolf4f999d02009-10-22 17:54:37 +020038 QEMUBH *next;
Stefan Weil9b47b172012-04-29 19:08:45 +020039 bool scheduled;
40 bool idle;
41 bool deleted;
Kevin Wolf4f999d02009-10-22 17:54:37 +020042};
43
Paolo Bonzinif627aab2012-10-29 23:45:23 +010044QEMUBH *aio_bh_new(AioContext *ctx, QEMUBHFunc *cb, void *opaque)
Kevin Wolf4f999d02009-10-22 17:54:37 +020045{
46 QEMUBH *bh;
Anthony Liguori7267c092011-08-20 22:09:37 -050047 bh = g_malloc0(sizeof(QEMUBH));
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +020048 bh->ctx = ctx;
Kevin Wolf4f999d02009-10-22 17:54:37 +020049 bh->cb = cb;
50 bh->opaque = opaque;
Liu Ping Fandcc772e2013-07-16 12:28:58 +080051 qemu_mutex_lock(&ctx->bh_lock);
Paolo Bonzinif627aab2012-10-29 23:45:23 +010052 bh->next = ctx->first_bh;
Liu Ping Fandcc772e2013-07-16 12:28:58 +080053 /* Make sure that the members are ready before putting bh into list */
54 smp_wmb();
Paolo Bonzinif627aab2012-10-29 23:45:23 +010055 ctx->first_bh = bh;
Liu Ping Fandcc772e2013-07-16 12:28:58 +080056 qemu_mutex_unlock(&ctx->bh_lock);
Kevin Wolf4f999d02009-10-22 17:54:37 +020057 return bh;
58}
59
Liu Ping Fandcc772e2013-07-16 12:28:58 +080060/* Multiple occurrences of aio_bh_poll cannot be called concurrently */
Paolo Bonzinif627aab2012-10-29 23:45:23 +010061int aio_bh_poll(AioContext *ctx)
Kevin Wolf4f999d02009-10-22 17:54:37 +020062{
Kevin Wolf7887f622011-06-07 17:51:21 +020063 QEMUBH *bh, **bhp, *next;
Kevin Wolf4f999d02009-10-22 17:54:37 +020064 int ret;
Kevin Wolf648fb0e2011-09-01 16:16:10 +020065
Paolo Bonzinif627aab2012-10-29 23:45:23 +010066 ctx->walking_bh++;
Kevin Wolf4f999d02009-10-22 17:54:37 +020067
68 ret = 0;
Paolo Bonzinif627aab2012-10-29 23:45:23 +010069 for (bh = ctx->first_bh; bh; bh = next) {
Liu Ping Fandcc772e2013-07-16 12:28:58 +080070 /* Make sure that fetching bh happens before accessing its members */
71 smp_read_barrier_depends();
Kevin Wolf7887f622011-06-07 17:51:21 +020072 next = bh->next;
Kevin Wolf4f999d02009-10-22 17:54:37 +020073 if (!bh->deleted && bh->scheduled) {
74 bh->scheduled = 0;
Liu Ping Fandcc772e2013-07-16 12:28:58 +080075 /* Paired with write barrier in bh schedule to ensure reading for
76 * idle & callbacks coming after bh's scheduling.
77 */
78 smp_rmb();
Kevin Wolf4f999d02009-10-22 17:54:37 +020079 if (!bh->idle)
80 ret = 1;
81 bh->idle = 0;
82 bh->cb(bh->opaque);
83 }
84 }
85
Paolo Bonzinif627aab2012-10-29 23:45:23 +010086 ctx->walking_bh--;
Kevin Wolf648fb0e2011-09-01 16:16:10 +020087
Kevin Wolf4f999d02009-10-22 17:54:37 +020088 /* remove deleted bhs */
Paolo Bonzinif627aab2012-10-29 23:45:23 +010089 if (!ctx->walking_bh) {
Liu Ping Fandcc772e2013-07-16 12:28:58 +080090 qemu_mutex_lock(&ctx->bh_lock);
Paolo Bonzinif627aab2012-10-29 23:45:23 +010091 bhp = &ctx->first_bh;
Kevin Wolf648fb0e2011-09-01 16:16:10 +020092 while (*bhp) {
93 bh = *bhp;
94 if (bh->deleted) {
95 *bhp = bh->next;
96 g_free(bh);
97 } else {
98 bhp = &bh->next;
99 }
100 }
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800101 qemu_mutex_unlock(&ctx->bh_lock);
Kevin Wolf4f999d02009-10-22 17:54:37 +0200102 }
103
104 return ret;
105}
106
107void qemu_bh_schedule_idle(QEMUBH *bh)
108{
109 if (bh->scheduled)
110 return;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200111 bh->idle = 1;
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800112 /* Make sure that idle & any writes needed by the callback are done
113 * before the locations are read in the aio_bh_poll.
114 */
115 smp_wmb();
116 bh->scheduled = 1;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200117}
118
119void qemu_bh_schedule(QEMUBH *bh)
120{
Stefan Hajnoczi924fe122014-06-03 11:21:01 +0200121 AioContext *ctx;
122
Kevin Wolf4f999d02009-10-22 17:54:37 +0200123 if (bh->scheduled)
124 return;
Stefan Hajnoczi924fe122014-06-03 11:21:01 +0200125 ctx = bh->ctx;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200126 bh->idle = 0;
Stefan Hajnoczi924fe122014-06-03 11:21:01 +0200127 /* Make sure that:
128 * 1. idle & any writes needed by the callback are done before the
129 * locations are read in the aio_bh_poll.
130 * 2. ctx is loaded before scheduled is set and the callback has a chance
131 * to execute.
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800132 */
Stefan Hajnoczi924fe122014-06-03 11:21:01 +0200133 smp_mb();
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800134 bh->scheduled = 1;
Stefan Hajnoczi924fe122014-06-03 11:21:01 +0200135 aio_notify(ctx);
Kevin Wolf4f999d02009-10-22 17:54:37 +0200136}
137
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800138
139/* This func is async.
140 */
Kevin Wolf4f999d02009-10-22 17:54:37 +0200141void qemu_bh_cancel(QEMUBH *bh)
142{
143 bh->scheduled = 0;
144}
145
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800146/* This func is async.The bottom half will do the delete action at the finial
147 * end.
148 */
Kevin Wolf4f999d02009-10-22 17:54:37 +0200149void qemu_bh_delete(QEMUBH *bh)
150{
151 bh->scheduled = 0;
152 bh->deleted = 1;
153}
154
Paolo Bonzini22bfa752012-09-24 15:11:48 +0200155static gboolean
156aio_ctx_prepare(GSource *source, gint *timeout)
Kevin Wolf4f999d02009-10-22 17:54:37 +0200157{
Paolo Bonzini22bfa752012-09-24 15:11:48 +0200158 AioContext *ctx = (AioContext *) source;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200159 QEMUBH *bh;
Alex Bligh533a8cf2013-08-21 16:02:51 +0100160 int deadline;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200161
Alex Bligh533a8cf2013-08-21 16:02:51 +0100162 /* We assume there is no timeout already supplied */
163 *timeout = -1;
Paolo Bonzinif627aab2012-10-29 23:45:23 +0100164 for (bh = ctx->first_bh; bh; bh = bh->next) {
Kevin Wolf4f999d02009-10-22 17:54:37 +0200165 if (!bh->deleted && bh->scheduled) {
166 if (bh->idle) {
167 /* idle bottom halves will be polled at least
168 * every 10ms */
Paolo Bonzini22bfa752012-09-24 15:11:48 +0200169 *timeout = 10;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200170 } else {
171 /* non-idle bottom halves will be executed
172 * immediately */
173 *timeout = 0;
Paolo Bonzinif5022a12012-11-12 13:30:10 +0100174 return true;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200175 }
176 }
177 }
Kevin Wolf4f999d02009-10-22 17:54:37 +0200178
Alex Bligh533a8cf2013-08-21 16:02:51 +0100179 deadline = qemu_timeout_ns_to_ms(timerlistgroup_deadline_ns(&ctx->tlg));
180 if (deadline == 0) {
181 *timeout = 0;
182 return true;
183 } else {
184 *timeout = qemu_soonest_timeout(*timeout, deadline);
185 }
186
Paolo Bonzinif5022a12012-11-12 13:30:10 +0100187 return false;
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200188}
189
190static gboolean
191aio_ctx_check(GSource *source)
192{
193 AioContext *ctx = (AioContext *) source;
194 QEMUBH *bh;
195
196 for (bh = ctx->first_bh; bh; bh = bh->next) {
197 if (!bh->deleted && bh->scheduled) {
198 return true;
199 }
200 }
Alex Bligh533a8cf2013-08-21 16:02:51 +0100201 return aio_pending(ctx) || (timerlistgroup_deadline_ns(&ctx->tlg) == 0);
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200202}
203
204static gboolean
205aio_ctx_dispatch(GSource *source,
206 GSourceFunc callback,
207 gpointer user_data)
208{
209 AioContext *ctx = (AioContext *) source;
210
211 assert(callback == NULL);
212 aio_poll(ctx, false);
213 return true;
214}
215
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200216static void
217aio_ctx_finalize(GSource *source)
218{
219 AioContext *ctx = (AioContext *) source;
220
Stefan Hajnoczi9b342772013-03-07 13:41:47 +0100221 thread_pool_free(ctx->thread_pool);
Stefan Hajnoczif2e5dca2013-04-11 17:26:25 +0200222 aio_set_event_notifier(ctx, &ctx->notifier, NULL);
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200223 event_notifier_cleanup(&ctx->notifier);
Stefan Hajnoczi98563fc2014-03-03 11:30:04 +0100224 rfifolock_destroy(&ctx->lock);
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800225 qemu_mutex_destroy(&ctx->bh_lock);
Stefan Hajnoczi6b5f8762013-02-20 11:28:32 +0100226 g_array_free(ctx->pollfds, TRUE);
Alex Blighdae21b92013-08-21 16:02:49 +0100227 timerlistgroup_deinit(&ctx->tlg);
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200228}
229
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200230static GSourceFuncs aio_source_funcs = {
231 aio_ctx_prepare,
232 aio_ctx_check,
233 aio_ctx_dispatch,
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200234 aio_ctx_finalize
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200235};
236
237GSource *aio_get_g_source(AioContext *ctx)
238{
239 g_source_ref(&ctx->source);
240 return &ctx->source;
241}
Paolo Bonzinia915f4b2012-09-13 12:28:51 +0200242
Stefan Hajnoczi9b342772013-03-07 13:41:47 +0100243ThreadPool *aio_get_thread_pool(AioContext *ctx)
244{
245 if (!ctx->thread_pool) {
246 ctx->thread_pool = thread_pool_new(ctx);
247 }
248 return ctx->thread_pool;
249}
250
Paolo Bonzini0ceb8492014-07-07 15:18:04 +0200251void aio_set_dispatching(AioContext *ctx, bool dispatching)
252{
253 ctx->dispatching = dispatching;
254 if (!dispatching) {
255 /* Write ctx->dispatching before reading e.g. bh->scheduled.
256 * Optimization: this is only needed when we're entering the "unsafe"
257 * phase where other threads must call event_notifier_set.
258 */
259 smp_mb();
260 }
261}
262
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200263void aio_notify(AioContext *ctx)
264{
Paolo Bonzini0ceb8492014-07-07 15:18:04 +0200265 /* Write e.g. bh->scheduled before reading ctx->dispatching. */
266 smp_mb();
267 if (!ctx->dispatching) {
268 event_notifier_set(&ctx->notifier);
269 }
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200270}
271
Alex Blighd5541d82013-08-21 16:02:50 +0100272static void aio_timerlist_notify(void *opaque)
273{
274 aio_notify(opaque);
275}
276
Stefan Hajnoczi98563fc2014-03-03 11:30:04 +0100277static void aio_rfifolock_cb(void *opaque)
278{
279 /* Kick owner thread in case they are blocked in aio_poll() */
280 aio_notify(opaque);
281}
282
Paolo Bonzinif627aab2012-10-29 23:45:23 +0100283AioContext *aio_context_new(void)
284{
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200285 AioContext *ctx;
286 ctx = (AioContext *) g_source_new(&aio_source_funcs, sizeof(AioContext));
Stefan Hajnoczi6b5f8762013-02-20 11:28:32 +0100287 ctx->pollfds = g_array_new(FALSE, FALSE, sizeof(GPollFD));
Stefan Hajnoczi9b342772013-03-07 13:41:47 +0100288 ctx->thread_pool = NULL;
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800289 qemu_mutex_init(&ctx->bh_lock);
Stefan Hajnoczi98563fc2014-03-03 11:30:04 +0100290 rfifolock_init(&ctx->lock, aio_rfifolock_cb, ctx);
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200291 event_notifier_init(&ctx->notifier, false);
292 aio_set_event_notifier(ctx, &ctx->notifier,
293 (EventNotifierHandler *)
Stefan Hajnoczif2e5dca2013-04-11 17:26:25 +0200294 event_notifier_test_and_clear);
Alex Blighd5541d82013-08-21 16:02:50 +0100295 timerlistgroup_init(&ctx->tlg, aio_timerlist_notify, ctx);
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200296
297 return ctx;
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200298}
299
300void aio_context_ref(AioContext *ctx)
301{
302 g_source_ref(&ctx->source);
303}
304
305void aio_context_unref(AioContext *ctx)
306{
307 g_source_unref(&ctx->source);
Paolo Bonzinif627aab2012-10-29 23:45:23 +0100308}
Stefan Hajnoczi98563fc2014-03-03 11:30:04 +0100309
310void aio_context_acquire(AioContext *ctx)
311{
312 rfifolock_lock(&ctx->lock);
313}
314
315void aio_context_release(AioContext *ctx)
316{
317 rfifolock_unlock(&ctx->lock);
318}