blob: 46d9e639d7c9b371989d8b7cc409d1491a97964d [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;
Paolo Bonziniee823102014-12-17 16:10:00 +010047 bh = g_new(QEMUBH, 1);
48 *bh = (QEMUBH){
49 .ctx = ctx,
50 .cb = cb,
51 .opaque = opaque,
52 };
Liu Ping Fandcc772e2013-07-16 12:28:58 +080053 qemu_mutex_lock(&ctx->bh_lock);
Paolo Bonzinif627aab2012-10-29 23:45:23 +010054 bh->next = ctx->first_bh;
Liu Ping Fandcc772e2013-07-16 12:28:58 +080055 /* Make sure that the members are ready before putting bh into list */
56 smp_wmb();
Paolo Bonzinif627aab2012-10-29 23:45:23 +010057 ctx->first_bh = bh;
Liu Ping Fandcc772e2013-07-16 12:28:58 +080058 qemu_mutex_unlock(&ctx->bh_lock);
Kevin Wolf4f999d02009-10-22 17:54:37 +020059 return bh;
60}
61
Liu Ping Fandcc772e2013-07-16 12:28:58 +080062/* Multiple occurrences of aio_bh_poll cannot be called concurrently */
Paolo Bonzinif627aab2012-10-29 23:45:23 +010063int aio_bh_poll(AioContext *ctx)
Kevin Wolf4f999d02009-10-22 17:54:37 +020064{
Kevin Wolf7887f622011-06-07 17:51:21 +020065 QEMUBH *bh, **bhp, *next;
Kevin Wolf4f999d02009-10-22 17:54:37 +020066 int ret;
Kevin Wolf648fb0e2011-09-01 16:16:10 +020067
Paolo Bonzinif627aab2012-10-29 23:45:23 +010068 ctx->walking_bh++;
Kevin Wolf4f999d02009-10-22 17:54:37 +020069
70 ret = 0;
Paolo Bonzinif627aab2012-10-29 23:45:23 +010071 for (bh = ctx->first_bh; bh; bh = next) {
Liu Ping Fandcc772e2013-07-16 12:28:58 +080072 /* Make sure that fetching bh happens before accessing its members */
73 smp_read_barrier_depends();
Kevin Wolf7887f622011-06-07 17:51:21 +020074 next = bh->next;
Paolo Bonzinie8d3b1a2015-04-07 17:16:19 +020075 /* 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)) {
Kevin Wolf4f999d02009-10-22 17:54:37 +020082 if (!bh->idle)
83 ret = 1;
84 bh->idle = 0;
85 bh->cb(bh->opaque);
86 }
87 }
88
Paolo Bonzinif627aab2012-10-29 23:45:23 +010089 ctx->walking_bh--;
Kevin Wolf648fb0e2011-09-01 16:16:10 +020090
Kevin Wolf4f999d02009-10-22 17:54:37 +020091 /* remove deleted bhs */
Paolo Bonzinif627aab2012-10-29 23:45:23 +010092 if (!ctx->walking_bh) {
Liu Ping Fandcc772e2013-07-16 12:28:58 +080093 qemu_mutex_lock(&ctx->bh_lock);
Paolo Bonzinif627aab2012-10-29 23:45:23 +010094 bhp = &ctx->first_bh;
Kevin Wolf648fb0e2011-09-01 16:16:10 +020095 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 }
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800104 qemu_mutex_unlock(&ctx->bh_lock);
Kevin Wolf4f999d02009-10-22 17:54:37 +0200105 }
106
107 return ret;
108}
109
110void qemu_bh_schedule_idle(QEMUBH *bh)
111{
Kevin Wolf4f999d02009-10-22 17:54:37 +0200112 bh->idle = 1;
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800113 /* Make sure that idle & any writes needed by the callback are done
114 * before the locations are read in the aio_bh_poll.
115 */
Paolo Bonzinie8d3b1a2015-04-07 17:16:19 +0200116 atomic_mb_set(&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
Stefan Hajnoczi924fe122014-06-03 11:21:01 +0200123 ctx = bh->ctx;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200124 bh->idle = 0;
Paolo Bonzinie8d3b1a2015-04-07 17:16:19 +0200125 /* The memory barrier implicit in atomic_xchg makes sure that:
Stefan Hajnoczi924fe122014-06-03 11:21:01 +0200126 * 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.
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800130 */
Paolo Bonzinie8d3b1a2015-04-07 17:16:19 +0200131 if (atomic_xchg(&bh->scheduled, 1) == 0) {
132 aio_notify(ctx);
133 }
Kevin Wolf4f999d02009-10-22 17:54:37 +0200134}
135
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800136
137/* This func is async.
138 */
Kevin Wolf4f999d02009-10-22 17:54:37 +0200139void qemu_bh_cancel(QEMUBH *bh)
140{
141 bh->scheduled = 0;
142}
143
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800144/* This func is async.The bottom half will do the delete action at the finial
145 * end.
146 */
Kevin Wolf4f999d02009-10-22 17:54:37 +0200147void qemu_bh_delete(QEMUBH *bh)
148{
149 bh->scheduled = 0;
150 bh->deleted = 1;
151}
152
Paolo Bonzini845ca102014-07-09 11:53:01 +0200153int64_t
154aio_compute_timeout(AioContext *ctx)
Kevin Wolf4f999d02009-10-22 17:54:37 +0200155{
Paolo Bonzini845ca102014-07-09 11:53:01 +0200156 int64_t deadline;
157 int timeout = -1;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200158 QEMUBH *bh;
159
Paolo Bonzinif627aab2012-10-29 23:45:23 +0100160 for (bh = ctx->first_bh; bh; bh = bh->next) {
Kevin Wolf4f999d02009-10-22 17:54:37 +0200161 if (!bh->deleted && bh->scheduled) {
162 if (bh->idle) {
163 /* idle bottom halves will be polled at least
164 * every 10ms */
Paolo Bonzini845ca102014-07-09 11:53:01 +0200165 timeout = 10000000;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200166 } else {
167 /* non-idle bottom halves will be executed
168 * immediately */
Paolo Bonzini845ca102014-07-09 11:53:01 +0200169 return 0;
Kevin Wolf4f999d02009-10-22 17:54:37 +0200170 }
171 }
172 }
Kevin Wolf4f999d02009-10-22 17:54:37 +0200173
Paolo Bonzini845ca102014-07-09 11:53:01 +0200174 deadline = timerlistgroup_deadline_ns(&ctx->tlg);
Alex Bligh533a8cf2013-08-21 16:02:51 +0100175 if (deadline == 0) {
Paolo Bonzini845ca102014-07-09 11:53:01 +0200176 return 0;
Alex Bligh533a8cf2013-08-21 16:02:51 +0100177 } else {
Paolo Bonzini845ca102014-07-09 11:53:01 +0200178 return qemu_soonest_timeout(timeout, deadline);
Alex Bligh533a8cf2013-08-21 16:02:51 +0100179 }
Paolo Bonzini845ca102014-07-09 11:53:01 +0200180}
Alex Bligh533a8cf2013-08-21 16:02:51 +0100181
Paolo Bonzini845ca102014-07-09 11:53:01 +0200182static gboolean
183aio_ctx_prepare(GSource *source, gint *timeout)
184{
185 AioContext *ctx = (AioContext *) source;
186
187 /* We assume there is no timeout already supplied */
188 *timeout = qemu_timeout_ns_to_ms(aio_compute_timeout(ctx));
Paolo Bonzinia3462c62014-07-09 11:53:08 +0200189
190 if (aio_prepare(ctx)) {
191 *timeout = 0;
192 }
193
Paolo Bonzini845ca102014-07-09 11:53:01 +0200194 return *timeout == 0;
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200195}
196
197static gboolean
198aio_ctx_check(GSource *source)
199{
200 AioContext *ctx = (AioContext *) source;
201 QEMUBH *bh;
202
203 for (bh = ctx->first_bh; bh; bh = bh->next) {
204 if (!bh->deleted && bh->scheduled) {
205 return true;
206 }
207 }
Alex Bligh533a8cf2013-08-21 16:02:51 +0100208 return aio_pending(ctx) || (timerlistgroup_deadline_ns(&ctx->tlg) == 0);
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200209}
210
211static gboolean
212aio_ctx_dispatch(GSource *source,
213 GSourceFunc callback,
214 gpointer user_data)
215{
216 AioContext *ctx = (AioContext *) source;
217
218 assert(callback == NULL);
Paolo Bonzinie4c7e2d2014-07-09 11:53:05 +0200219 aio_dispatch(ctx);
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200220 return true;
221}
222
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200223static void
224aio_ctx_finalize(GSource *source)
225{
226 AioContext *ctx = (AioContext *) source;
227
Stefan Hajnoczi9b342772013-03-07 13:41:47 +0100228 thread_pool_free(ctx->thread_pool);
Stefan Hajnoczif2e5dca2013-04-11 17:26:25 +0200229 aio_set_event_notifier(ctx, &ctx->notifier, NULL);
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200230 event_notifier_cleanup(&ctx->notifier);
Stefan Hajnoczi98563fc2014-03-03 11:30:04 +0100231 rfifolock_destroy(&ctx->lock);
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800232 qemu_mutex_destroy(&ctx->bh_lock);
Alex Blighdae21b92013-08-21 16:02:49 +0100233 timerlistgroup_deinit(&ctx->tlg);
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200234}
235
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200236static GSourceFuncs aio_source_funcs = {
237 aio_ctx_prepare,
238 aio_ctx_check,
239 aio_ctx_dispatch,
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200240 aio_ctx_finalize
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200241};
242
243GSource *aio_get_g_source(AioContext *ctx)
244{
245 g_source_ref(&ctx->source);
246 return &ctx->source;
247}
Paolo Bonzinia915f4b2012-09-13 12:28:51 +0200248
Stefan Hajnoczi9b342772013-03-07 13:41:47 +0100249ThreadPool *aio_get_thread_pool(AioContext *ctx)
250{
251 if (!ctx->thread_pool) {
252 ctx->thread_pool = thread_pool_new(ctx);
253 }
254 return ctx->thread_pool;
255}
256
Paolo Bonzini0ceb8492014-07-07 15:18:04 +0200257void aio_set_dispatching(AioContext *ctx, bool dispatching)
258{
259 ctx->dispatching = dispatching;
260 if (!dispatching) {
261 /* Write ctx->dispatching before reading e.g. bh->scheduled.
262 * Optimization: this is only needed when we're entering the "unsafe"
263 * phase where other threads must call event_notifier_set.
264 */
265 smp_mb();
266 }
267}
268
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200269void aio_notify(AioContext *ctx)
270{
Paolo Bonzini0ceb8492014-07-07 15:18:04 +0200271 /* Write e.g. bh->scheduled before reading ctx->dispatching. */
272 smp_mb();
273 if (!ctx->dispatching) {
274 event_notifier_set(&ctx->notifier);
275 }
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200276}
277
Alex Blighd5541d82013-08-21 16:02:50 +0100278static void aio_timerlist_notify(void *opaque)
279{
280 aio_notify(opaque);
281}
282
Chrysostomos Nanakos2f78e492014-09-18 14:30:49 +0300283AioContext *aio_context_new(Error **errp)
Paolo Bonzinif627aab2012-10-29 23:45:23 +0100284{
Chrysostomos Nanakos2f78e492014-09-18 14:30:49 +0300285 int ret;
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200286 AioContext *ctx;
287 ctx = (AioContext *) g_source_new(&aio_source_funcs, sizeof(AioContext));
Chrysostomos Nanakos2f78e492014-09-18 14:30:49 +0300288 ret = event_notifier_init(&ctx->notifier, false);
289 if (ret < 0) {
290 g_source_destroy(&ctx->source);
291 error_setg_errno(errp, -ret, "Failed to initialize event notifier");
292 return NULL;
293 }
Paolo Bonzinifcf5def2014-12-17 16:09:58 +0100294 g_source_set_can_recurse(&ctx->source, true);
Chrysostomos Nanakos2f78e492014-09-18 14:30:49 +0300295 aio_set_event_notifier(ctx, &ctx->notifier,
296 (EventNotifierHandler *)
297 event_notifier_test_and_clear);
Stefan Hajnoczi9b342772013-03-07 13:41:47 +0100298 ctx->thread_pool = NULL;
Liu Ping Fandcc772e2013-07-16 12:28:58 +0800299 qemu_mutex_init(&ctx->bh_lock);
Paolo Bonzinia0710f72015-02-20 17:26:52 +0100300 rfifolock_init(&ctx->lock, NULL, NULL);
Alex Blighd5541d82013-08-21 16:02:50 +0100301 timerlistgroup_init(&ctx->tlg, aio_timerlist_notify, ctx);
Paolo Bonzini2f4dc3c2012-09-24 18:44:14 +0200302
303 return ctx;
Paolo Bonzinie3713e02012-09-24 14:57:41 +0200304}
305
306void aio_context_ref(AioContext *ctx)
307{
308 g_source_ref(&ctx->source);
309}
310
311void aio_context_unref(AioContext *ctx)
312{
313 g_source_unref(&ctx->source);
Paolo Bonzinif627aab2012-10-29 23:45:23 +0100314}
Stefan Hajnoczi98563fc2014-03-03 11:30:04 +0100315
316void aio_context_acquire(AioContext *ctx)
317{
318 rfifolock_lock(&ctx->lock);
319}
320
321void aio_context_release(AioContext *ctx)
322{
323 rfifolock_unlock(&ctx->lock);
324}