Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 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 | |
Peter Maydell | d38ea87 | 2016-01-29 17:50:05 +0000 | [diff] [blame] | 25 | #include "qemu/osdep.h" |
Markus Armbruster | da34e65 | 2016-03-14 09:01:28 +0100 | [diff] [blame] | 26 | #include "qapi/error.h" |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 27 | #include "qemu-common.h" |
Paolo Bonzini | 737e150 | 2012-12-17 18:19:44 +0100 | [diff] [blame] | 28 | #include "block/aio.h" |
Stefan Hajnoczi | 9b34277 | 2013-03-07 13:41:47 +0100 | [diff] [blame] | 29 | #include "block/thread-pool.h" |
Paolo Bonzini | 1de7afc | 2012-12-17 18:20:00 +0100 | [diff] [blame] | 30 | #include "qemu/main-loop.h" |
Paolo Bonzini | 0ceb849 | 2014-07-07 15:18:04 +0200 | [diff] [blame] | 31 | #include "qemu/atomic.h" |
Paolo Bonzini | 0187f5c | 2016-07-04 18:33:20 +0200 | [diff] [blame] | 32 | #include "block/raw-aio.h" |
Kevin Wolf | 9a1e948 | 2009-10-22 17:54:38 +0200 | [diff] [blame] | 33 | |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 34 | /***********************************************************/ |
| 35 | /* bottom halves (can be seen as timers which expire ASAP) */ |
| 36 | |
| 37 | struct QEMUBH { |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 38 | AioContext *ctx; |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 39 | QEMUBHFunc *cb; |
| 40 | void *opaque; |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 41 | QEMUBH *next; |
Stefan Weil | 9b47b17 | 2012-04-29 19:08:45 +0200 | [diff] [blame] | 42 | bool scheduled; |
| 43 | bool idle; |
| 44 | bool deleted; |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 45 | }; |
| 46 | |
Paolo Bonzini | 5b8bb35 | 2016-10-03 18:14:15 +0200 | [diff] [blame] | 47 | void aio_bh_schedule_oneshot(AioContext *ctx, QEMUBHFunc *cb, void *opaque) |
| 48 | { |
| 49 | QEMUBH *bh; |
| 50 | bh = g_new(QEMUBH, 1); |
| 51 | *bh = (QEMUBH){ |
| 52 | .ctx = ctx, |
| 53 | .cb = cb, |
| 54 | .opaque = opaque, |
| 55 | }; |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 56 | qemu_lockcnt_lock(&ctx->list_lock); |
Paolo Bonzini | 5b8bb35 | 2016-10-03 18:14:15 +0200 | [diff] [blame] | 57 | bh->next = ctx->first_bh; |
| 58 | bh->scheduled = 1; |
| 59 | bh->deleted = 1; |
| 60 | /* Make sure that the members are ready before putting bh into list */ |
| 61 | smp_wmb(); |
| 62 | ctx->first_bh = bh; |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 63 | qemu_lockcnt_unlock(&ctx->list_lock); |
Paolo Bonzini | c9d1a56 | 2016-10-27 12:49:05 +0200 | [diff] [blame] | 64 | aio_notify(ctx); |
Paolo Bonzini | 5b8bb35 | 2016-10-03 18:14:15 +0200 | [diff] [blame] | 65 | } |
| 66 | |
Paolo Bonzini | f627aab | 2012-10-29 23:45:23 +0100 | [diff] [blame] | 67 | QEMUBH *aio_bh_new(AioContext *ctx, QEMUBHFunc *cb, void *opaque) |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 68 | { |
| 69 | QEMUBH *bh; |
Paolo Bonzini | ee82310 | 2014-12-17 16:10:00 +0100 | [diff] [blame] | 70 | bh = g_new(QEMUBH, 1); |
| 71 | *bh = (QEMUBH){ |
| 72 | .ctx = ctx, |
| 73 | .cb = cb, |
| 74 | .opaque = opaque, |
| 75 | }; |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 76 | qemu_lockcnt_lock(&ctx->list_lock); |
Paolo Bonzini | f627aab | 2012-10-29 23:45:23 +0100 | [diff] [blame] | 77 | bh->next = ctx->first_bh; |
Liu Ping Fan | dcc772e | 2013-07-16 12:28:58 +0800 | [diff] [blame] | 78 | /* Make sure that the members are ready before putting bh into list */ |
| 79 | smp_wmb(); |
Paolo Bonzini | f627aab | 2012-10-29 23:45:23 +0100 | [diff] [blame] | 80 | ctx->first_bh = bh; |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 81 | qemu_lockcnt_unlock(&ctx->list_lock); |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 82 | return bh; |
| 83 | } |
| 84 | |
Pavel Dovgalyuk | df281b8 | 2015-09-17 19:24:50 +0300 | [diff] [blame] | 85 | void aio_bh_call(QEMUBH *bh) |
| 86 | { |
| 87 | bh->cb(bh->opaque); |
| 88 | } |
| 89 | |
Liu Ping Fan | dcc772e | 2013-07-16 12:28:58 +0800 | [diff] [blame] | 90 | /* Multiple occurrences of aio_bh_poll cannot be called concurrently */ |
Paolo Bonzini | f627aab | 2012-10-29 23:45:23 +0100 | [diff] [blame] | 91 | int aio_bh_poll(AioContext *ctx) |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 92 | { |
Kevin Wolf | 7887f62 | 2011-06-07 17:51:21 +0200 | [diff] [blame] | 93 | QEMUBH *bh, **bhp, *next; |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 94 | int ret; |
Paolo Bonzini | 7d506c9 | 2017-01-12 19:08:00 +0100 | [diff] [blame] | 95 | bool deleted = false; |
Kevin Wolf | 648fb0e | 2011-09-01 16:16:10 +0200 | [diff] [blame] | 96 | |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 97 | qemu_lockcnt_inc(&ctx->list_lock); |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 98 | |
| 99 | ret = 0; |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 100 | for (bh = atomic_rcu_read(&ctx->first_bh); bh; bh = next) { |
| 101 | next = atomic_rcu_read(&bh->next); |
Paolo Bonzini | e8d3b1a | 2015-04-07 17:16:19 +0200 | [diff] [blame] | 102 | /* The atomic_xchg is paired with the one in qemu_bh_schedule. The |
| 103 | * implicit memory barrier ensures that the callback sees all writes |
| 104 | * done by the scheduling thread. It also ensures that the scheduling |
| 105 | * thread sees the zero before bh->cb has run, and thus will call |
| 106 | * aio_notify again if necessary. |
| 107 | */ |
Paolo Bonzini | 5b8bb35 | 2016-10-03 18:14:15 +0200 | [diff] [blame] | 108 | if (atomic_xchg(&bh->scheduled, 0)) { |
Paolo Bonzini | 65c1b5b | 2016-10-27 12:49:06 +0200 | [diff] [blame] | 109 | /* Idle BHs don't count as progress */ |
| 110 | if (!bh->idle) { |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 111 | ret = 1; |
Stefan Hajnoczi | ca96ac4 | 2015-07-28 18:34:09 +0200 | [diff] [blame] | 112 | } |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 113 | bh->idle = 0; |
Pavel Dovgalyuk | df281b8 | 2015-09-17 19:24:50 +0300 | [diff] [blame] | 114 | aio_bh_call(bh); |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 115 | } |
Paolo Bonzini | 7d506c9 | 2017-01-12 19:08:00 +0100 | [diff] [blame] | 116 | if (bh->deleted) { |
| 117 | deleted = true; |
| 118 | } |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 119 | } |
| 120 | |
| 121 | /* remove deleted bhs */ |
Paolo Bonzini | 7d506c9 | 2017-01-12 19:08:00 +0100 | [diff] [blame] | 122 | if (!deleted) { |
| 123 | qemu_lockcnt_dec(&ctx->list_lock); |
| 124 | return ret; |
| 125 | } |
| 126 | |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 127 | if (qemu_lockcnt_dec_and_lock(&ctx->list_lock)) { |
Paolo Bonzini | f627aab | 2012-10-29 23:45:23 +0100 | [diff] [blame] | 128 | bhp = &ctx->first_bh; |
Kevin Wolf | 648fb0e | 2011-09-01 16:16:10 +0200 | [diff] [blame] | 129 | while (*bhp) { |
| 130 | bh = *bhp; |
Paolo Bonzini | 5b8bb35 | 2016-10-03 18:14:15 +0200 | [diff] [blame] | 131 | if (bh->deleted && !bh->scheduled) { |
Kevin Wolf | 648fb0e | 2011-09-01 16:16:10 +0200 | [diff] [blame] | 132 | *bhp = bh->next; |
| 133 | g_free(bh); |
| 134 | } else { |
| 135 | bhp = &bh->next; |
| 136 | } |
| 137 | } |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 138 | qemu_lockcnt_unlock(&ctx->list_lock); |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 139 | } |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 140 | return ret; |
| 141 | } |
| 142 | |
| 143 | void qemu_bh_schedule_idle(QEMUBH *bh) |
| 144 | { |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 145 | bh->idle = 1; |
Liu Ping Fan | dcc772e | 2013-07-16 12:28:58 +0800 | [diff] [blame] | 146 | /* Make sure that idle & any writes needed by the callback are done |
| 147 | * before the locations are read in the aio_bh_poll. |
| 148 | */ |
Paolo Bonzini | e8d3b1a | 2015-04-07 17:16:19 +0200 | [diff] [blame] | 149 | atomic_mb_set(&bh->scheduled, 1); |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 150 | } |
| 151 | |
| 152 | void qemu_bh_schedule(QEMUBH *bh) |
| 153 | { |
Stefan Hajnoczi | 924fe12 | 2014-06-03 11:21:01 +0200 | [diff] [blame] | 154 | AioContext *ctx; |
| 155 | |
Stefan Hajnoczi | 924fe12 | 2014-06-03 11:21:01 +0200 | [diff] [blame] | 156 | ctx = bh->ctx; |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 157 | bh->idle = 0; |
Paolo Bonzini | e8d3b1a | 2015-04-07 17:16:19 +0200 | [diff] [blame] | 158 | /* The memory barrier implicit in atomic_xchg makes sure that: |
Stefan Hajnoczi | 924fe12 | 2014-06-03 11:21:01 +0200 | [diff] [blame] | 159 | * 1. idle & any writes needed by the callback are done before the |
| 160 | * locations are read in the aio_bh_poll. |
| 161 | * 2. ctx is loaded before scheduled is set and the callback has a chance |
| 162 | * to execute. |
Liu Ping Fan | dcc772e | 2013-07-16 12:28:58 +0800 | [diff] [blame] | 163 | */ |
Paolo Bonzini | e8d3b1a | 2015-04-07 17:16:19 +0200 | [diff] [blame] | 164 | if (atomic_xchg(&bh->scheduled, 1) == 0) { |
| 165 | aio_notify(ctx); |
| 166 | } |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 167 | } |
| 168 | |
Liu Ping Fan | dcc772e | 2013-07-16 12:28:58 +0800 | [diff] [blame] | 169 | |
| 170 | /* This func is async. |
| 171 | */ |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 172 | void qemu_bh_cancel(QEMUBH *bh) |
| 173 | { |
| 174 | bh->scheduled = 0; |
| 175 | } |
| 176 | |
Liu Ping Fan | dcc772e | 2013-07-16 12:28:58 +0800 | [diff] [blame] | 177 | /* This func is async.The bottom half will do the delete action at the finial |
| 178 | * end. |
| 179 | */ |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 180 | void qemu_bh_delete(QEMUBH *bh) |
| 181 | { |
| 182 | bh->scheduled = 0; |
| 183 | bh->deleted = 1; |
| 184 | } |
| 185 | |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 186 | int64_t |
| 187 | aio_compute_timeout(AioContext *ctx) |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 188 | { |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 189 | int64_t deadline; |
| 190 | int timeout = -1; |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 191 | QEMUBH *bh; |
| 192 | |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 193 | for (bh = atomic_rcu_read(&ctx->first_bh); bh; |
| 194 | bh = atomic_rcu_read(&bh->next)) { |
Paolo Bonzini | 5b8bb35 | 2016-10-03 18:14:15 +0200 | [diff] [blame] | 195 | if (bh->scheduled) { |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 196 | if (bh->idle) { |
| 197 | /* idle bottom halves will be polled at least |
| 198 | * every 10ms */ |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 199 | timeout = 10000000; |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 200 | } else { |
| 201 | /* non-idle bottom halves will be executed |
| 202 | * immediately */ |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 203 | return 0; |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 204 | } |
| 205 | } |
| 206 | } |
Kevin Wolf | 4f999d0 | 2009-10-22 17:54:37 +0200 | [diff] [blame] | 207 | |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 208 | deadline = timerlistgroup_deadline_ns(&ctx->tlg); |
Alex Bligh | 533a8cf | 2013-08-21 16:02:51 +0100 | [diff] [blame] | 209 | if (deadline == 0) { |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 210 | return 0; |
Alex Bligh | 533a8cf | 2013-08-21 16:02:51 +0100 | [diff] [blame] | 211 | } else { |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 212 | return qemu_soonest_timeout(timeout, deadline); |
Alex Bligh | 533a8cf | 2013-08-21 16:02:51 +0100 | [diff] [blame] | 213 | } |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 214 | } |
Alex Bligh | 533a8cf | 2013-08-21 16:02:51 +0100 | [diff] [blame] | 215 | |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 216 | static gboolean |
| 217 | aio_ctx_prepare(GSource *source, gint *timeout) |
| 218 | { |
| 219 | AioContext *ctx = (AioContext *) source; |
| 220 | |
Paolo Bonzini | eabc977 | 2015-07-21 16:07:51 +0200 | [diff] [blame] | 221 | atomic_or(&ctx->notify_me, 1); |
| 222 | |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 223 | /* We assume there is no timeout already supplied */ |
| 224 | *timeout = qemu_timeout_ns_to_ms(aio_compute_timeout(ctx)); |
Paolo Bonzini | a3462c6 | 2014-07-09 11:53:08 +0200 | [diff] [blame] | 225 | |
| 226 | if (aio_prepare(ctx)) { |
| 227 | *timeout = 0; |
| 228 | } |
| 229 | |
Paolo Bonzini | 845ca10 | 2014-07-09 11:53:01 +0200 | [diff] [blame] | 230 | return *timeout == 0; |
Paolo Bonzini | e3713e0 | 2012-09-24 14:57:41 +0200 | [diff] [blame] | 231 | } |
| 232 | |
| 233 | static gboolean |
| 234 | aio_ctx_check(GSource *source) |
| 235 | { |
| 236 | AioContext *ctx = (AioContext *) source; |
| 237 | QEMUBH *bh; |
| 238 | |
Paolo Bonzini | eabc977 | 2015-07-21 16:07:51 +0200 | [diff] [blame] | 239 | atomic_and(&ctx->notify_me, ~1); |
Paolo Bonzini | 05e514b | 2015-07-21 16:07:53 +0200 | [diff] [blame] | 240 | aio_notify_accept(ctx); |
Paolo Bonzini | 21a03d1 | 2015-07-21 16:07:52 +0200 | [diff] [blame] | 241 | |
Paolo Bonzini | e3713e0 | 2012-09-24 14:57:41 +0200 | [diff] [blame] | 242 | for (bh = ctx->first_bh; bh; bh = bh->next) { |
Paolo Bonzini | 5b8bb35 | 2016-10-03 18:14:15 +0200 | [diff] [blame] | 243 | if (bh->scheduled) { |
Paolo Bonzini | e3713e0 | 2012-09-24 14:57:41 +0200 | [diff] [blame] | 244 | return true; |
Cao jin | 6977d90 | 2016-07-14 21:10:43 +0800 | [diff] [blame] | 245 | } |
Paolo Bonzini | e3713e0 | 2012-09-24 14:57:41 +0200 | [diff] [blame] | 246 | } |
Alex Bligh | 533a8cf | 2013-08-21 16:02:51 +0100 | [diff] [blame] | 247 | return aio_pending(ctx) || (timerlistgroup_deadline_ns(&ctx->tlg) == 0); |
Paolo Bonzini | e3713e0 | 2012-09-24 14:57:41 +0200 | [diff] [blame] | 248 | } |
| 249 | |
| 250 | static gboolean |
| 251 | aio_ctx_dispatch(GSource *source, |
| 252 | GSourceFunc callback, |
| 253 | gpointer user_data) |
| 254 | { |
| 255 | AioContext *ctx = (AioContext *) source; |
| 256 | |
| 257 | assert(callback == NULL); |
Stefan Hajnoczi | 721671a | 2016-12-01 19:26:40 +0000 | [diff] [blame] | 258 | aio_dispatch(ctx, true); |
Paolo Bonzini | e3713e0 | 2012-09-24 14:57:41 +0200 | [diff] [blame] | 259 | return true; |
| 260 | } |
| 261 | |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 262 | static void |
| 263 | aio_ctx_finalize(GSource *source) |
| 264 | { |
| 265 | AioContext *ctx = (AioContext *) source; |
| 266 | |
Stefan Hajnoczi | 9b34277 | 2013-03-07 13:41:47 +0100 | [diff] [blame] | 267 | thread_pool_free(ctx->thread_pool); |
Stefan Hajnoczi | a076972 | 2015-07-28 18:34:08 +0200 | [diff] [blame] | 268 | |
Paolo Bonzini | 0187f5c | 2016-07-04 18:33:20 +0200 | [diff] [blame] | 269 | #ifdef CONFIG_LINUX_AIO |
| 270 | if (ctx->linux_aio) { |
| 271 | laio_detach_aio_context(ctx->linux_aio, ctx); |
| 272 | laio_cleanup(ctx->linux_aio); |
| 273 | ctx->linux_aio = NULL; |
| 274 | } |
| 275 | #endif |
| 276 | |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 277 | qemu_lockcnt_lock(&ctx->list_lock); |
| 278 | assert(!qemu_lockcnt_count(&ctx->list_lock)); |
Stefan Hajnoczi | a076972 | 2015-07-28 18:34:08 +0200 | [diff] [blame] | 279 | while (ctx->first_bh) { |
| 280 | QEMUBH *next = ctx->first_bh->next; |
| 281 | |
| 282 | /* qemu_bh_delete() must have been called on BHs in this AioContext */ |
| 283 | assert(ctx->first_bh->deleted); |
| 284 | |
| 285 | g_free(ctx->first_bh); |
| 286 | ctx->first_bh = next; |
| 287 | } |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 288 | qemu_lockcnt_unlock(&ctx->list_lock); |
Stefan Hajnoczi | a076972 | 2015-07-28 18:34:08 +0200 | [diff] [blame] | 289 | |
Stefan Hajnoczi | f6a51c8 | 2016-12-01 19:26:41 +0000 | [diff] [blame] | 290 | aio_set_event_notifier(ctx, &ctx->notifier, false, NULL, NULL); |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 291 | event_notifier_cleanup(&ctx->notifier); |
Paolo Bonzini | 3fe7122 | 2016-10-27 12:49:08 +0200 | [diff] [blame] | 292 | qemu_rec_mutex_destroy(&ctx->lock); |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 293 | qemu_lockcnt_destroy(&ctx->list_lock); |
Alex Bligh | dae21b9 | 2013-08-21 16:02:49 +0100 | [diff] [blame] | 294 | timerlistgroup_deinit(&ctx->tlg); |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 295 | } |
| 296 | |
Paolo Bonzini | e3713e0 | 2012-09-24 14:57:41 +0200 | [diff] [blame] | 297 | static GSourceFuncs aio_source_funcs = { |
| 298 | aio_ctx_prepare, |
| 299 | aio_ctx_check, |
| 300 | aio_ctx_dispatch, |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 301 | aio_ctx_finalize |
Paolo Bonzini | e3713e0 | 2012-09-24 14:57:41 +0200 | [diff] [blame] | 302 | }; |
| 303 | |
| 304 | GSource *aio_get_g_source(AioContext *ctx) |
| 305 | { |
| 306 | g_source_ref(&ctx->source); |
| 307 | return &ctx->source; |
| 308 | } |
Paolo Bonzini | a915f4b | 2012-09-13 12:28:51 +0200 | [diff] [blame] | 309 | |
Stefan Hajnoczi | 9b34277 | 2013-03-07 13:41:47 +0100 | [diff] [blame] | 310 | ThreadPool *aio_get_thread_pool(AioContext *ctx) |
| 311 | { |
| 312 | if (!ctx->thread_pool) { |
| 313 | ctx->thread_pool = thread_pool_new(ctx); |
| 314 | } |
| 315 | return ctx->thread_pool; |
| 316 | } |
| 317 | |
Paolo Bonzini | 0187f5c | 2016-07-04 18:33:20 +0200 | [diff] [blame] | 318 | #ifdef CONFIG_LINUX_AIO |
| 319 | LinuxAioState *aio_get_linux_aio(AioContext *ctx) |
| 320 | { |
| 321 | if (!ctx->linux_aio) { |
| 322 | ctx->linux_aio = laio_init(); |
| 323 | laio_attach_aio_context(ctx->linux_aio, ctx); |
| 324 | } |
| 325 | return ctx->linux_aio; |
| 326 | } |
| 327 | #endif |
| 328 | |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 329 | void aio_notify(AioContext *ctx) |
| 330 | { |
Paolo Bonzini | eabc977 | 2015-07-21 16:07:51 +0200 | [diff] [blame] | 331 | /* Write e.g. bh->scheduled before reading ctx->notify_me. Pairs |
| 332 | * with atomic_or in aio_ctx_prepare or atomic_add in aio_poll. |
| 333 | */ |
Paolo Bonzini | 0ceb849 | 2014-07-07 15:18:04 +0200 | [diff] [blame] | 334 | smp_mb(); |
Paolo Bonzini | eabc977 | 2015-07-21 16:07:51 +0200 | [diff] [blame] | 335 | if (ctx->notify_me) { |
Paolo Bonzini | 0ceb849 | 2014-07-07 15:18:04 +0200 | [diff] [blame] | 336 | event_notifier_set(&ctx->notifier); |
Paolo Bonzini | 05e514b | 2015-07-21 16:07:53 +0200 | [diff] [blame] | 337 | atomic_mb_set(&ctx->notified, true); |
| 338 | } |
| 339 | } |
| 340 | |
| 341 | void aio_notify_accept(AioContext *ctx) |
| 342 | { |
| 343 | if (atomic_xchg(&ctx->notified, false)) { |
| 344 | event_notifier_test_and_clear(&ctx->notifier); |
Paolo Bonzini | 0ceb849 | 2014-07-07 15:18:04 +0200 | [diff] [blame] | 345 | } |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 346 | } |
| 347 | |
Alex Bligh | d5541d8 | 2013-08-21 16:02:50 +0100 | [diff] [blame] | 348 | static void aio_timerlist_notify(void *opaque) |
| 349 | { |
| 350 | aio_notify(opaque); |
| 351 | } |
| 352 | |
Paolo Bonzini | 21a03d1 | 2015-07-21 16:07:52 +0200 | [diff] [blame] | 353 | static void event_notifier_dummy_cb(EventNotifier *e) |
| 354 | { |
| 355 | } |
| 356 | |
Stefan Hajnoczi | 4a1cba3 | 2016-12-01 19:26:42 +0000 | [diff] [blame] | 357 | /* Returns true if aio_notify() was called (e.g. a BH was scheduled) */ |
| 358 | static bool event_notifier_poll(void *opaque) |
| 359 | { |
| 360 | EventNotifier *e = opaque; |
| 361 | AioContext *ctx = container_of(e, AioContext, notifier); |
| 362 | |
| 363 | return atomic_read(&ctx->notified); |
| 364 | } |
| 365 | |
Chrysostomos Nanakos | 2f78e49 | 2014-09-18 14:30:49 +0300 | [diff] [blame] | 366 | AioContext *aio_context_new(Error **errp) |
Paolo Bonzini | f627aab | 2012-10-29 23:45:23 +0100 | [diff] [blame] | 367 | { |
Chrysostomos Nanakos | 2f78e49 | 2014-09-18 14:30:49 +0300 | [diff] [blame] | 368 | int ret; |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 369 | AioContext *ctx; |
Fam Zheng | 37fcee5 | 2015-10-30 12:06:28 +0800 | [diff] [blame] | 370 | |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 371 | ctx = (AioContext *) g_source_new(&aio_source_funcs, sizeof(AioContext)); |
Cao jin | 7e00346 | 2016-07-15 18:28:44 +0800 | [diff] [blame] | 372 | aio_context_setup(ctx); |
| 373 | |
Chrysostomos Nanakos | 2f78e49 | 2014-09-18 14:30:49 +0300 | [diff] [blame] | 374 | ret = event_notifier_init(&ctx->notifier, false); |
| 375 | if (ret < 0) { |
Chrysostomos Nanakos | 2f78e49 | 2014-09-18 14:30:49 +0300 | [diff] [blame] | 376 | error_setg_errno(errp, -ret, "Failed to initialize event notifier"); |
Fam Zheng | 37fcee5 | 2015-10-30 12:06:28 +0800 | [diff] [blame] | 377 | goto fail; |
Chrysostomos Nanakos | 2f78e49 | 2014-09-18 14:30:49 +0300 | [diff] [blame] | 378 | } |
Paolo Bonzini | fcf5def | 2014-12-17 16:09:58 +0100 | [diff] [blame] | 379 | g_source_set_can_recurse(&ctx->source, true); |
Paolo Bonzini | d7c99a1 | 2017-01-12 19:07:53 +0100 | [diff] [blame] | 380 | qemu_lockcnt_init(&ctx->list_lock); |
Chrysostomos Nanakos | 2f78e49 | 2014-09-18 14:30:49 +0300 | [diff] [blame] | 381 | aio_set_event_notifier(ctx, &ctx->notifier, |
Fam Zheng | dca21ef | 2015-10-23 11:08:05 +0800 | [diff] [blame] | 382 | false, |
Chrysostomos Nanakos | 2f78e49 | 2014-09-18 14:30:49 +0300 | [diff] [blame] | 383 | (EventNotifierHandler *) |
Stefan Hajnoczi | f6a51c8 | 2016-12-01 19:26:41 +0000 | [diff] [blame] | 384 | event_notifier_dummy_cb, |
Stefan Hajnoczi | 4a1cba3 | 2016-12-01 19:26:42 +0000 | [diff] [blame] | 385 | event_notifier_poll); |
Paolo Bonzini | 0187f5c | 2016-07-04 18:33:20 +0200 | [diff] [blame] | 386 | #ifdef CONFIG_LINUX_AIO |
| 387 | ctx->linux_aio = NULL; |
| 388 | #endif |
Stefan Hajnoczi | 9b34277 | 2013-03-07 13:41:47 +0100 | [diff] [blame] | 389 | ctx->thread_pool = NULL; |
Paolo Bonzini | 3fe7122 | 2016-10-27 12:49:08 +0200 | [diff] [blame] | 390 | qemu_rec_mutex_init(&ctx->lock); |
Alex Bligh | d5541d8 | 2013-08-21 16:02:50 +0100 | [diff] [blame] | 391 | timerlistgroup_init(&ctx->tlg, aio_timerlist_notify, ctx); |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 392 | |
Stefan Hajnoczi | 82a4118 | 2016-12-01 19:26:51 +0000 | [diff] [blame] | 393 | ctx->poll_ns = 0; |
Stefan Hajnoczi | 4a1cba3 | 2016-12-01 19:26:42 +0000 | [diff] [blame] | 394 | ctx->poll_max_ns = 0; |
Stefan Hajnoczi | 82a4118 | 2016-12-01 19:26:51 +0000 | [diff] [blame] | 395 | ctx->poll_grow = 0; |
| 396 | ctx->poll_shrink = 0; |
Stefan Hajnoczi | 4a1cba3 | 2016-12-01 19:26:42 +0000 | [diff] [blame] | 397 | |
Paolo Bonzini | 2f4dc3c | 2012-09-24 18:44:14 +0200 | [diff] [blame] | 398 | return ctx; |
Fam Zheng | 37fcee5 | 2015-10-30 12:06:28 +0800 | [diff] [blame] | 399 | fail: |
| 400 | g_source_destroy(&ctx->source); |
| 401 | return NULL; |
Paolo Bonzini | e3713e0 | 2012-09-24 14:57:41 +0200 | [diff] [blame] | 402 | } |
| 403 | |
| 404 | void aio_context_ref(AioContext *ctx) |
| 405 | { |
| 406 | g_source_ref(&ctx->source); |
| 407 | } |
| 408 | |
| 409 | void aio_context_unref(AioContext *ctx) |
| 410 | { |
| 411 | g_source_unref(&ctx->source); |
Paolo Bonzini | f627aab | 2012-10-29 23:45:23 +0100 | [diff] [blame] | 412 | } |
Stefan Hajnoczi | 98563fc | 2014-03-03 11:30:04 +0100 | [diff] [blame] | 413 | |
| 414 | void aio_context_acquire(AioContext *ctx) |
| 415 | { |
Paolo Bonzini | 3fe7122 | 2016-10-27 12:49:08 +0200 | [diff] [blame] | 416 | qemu_rec_mutex_lock(&ctx->lock); |
Stefan Hajnoczi | 98563fc | 2014-03-03 11:30:04 +0100 | [diff] [blame] | 417 | } |
| 418 | |
| 419 | void aio_context_release(AioContext *ctx) |
| 420 | { |
Paolo Bonzini | 3fe7122 | 2016-10-27 12:49:08 +0200 | [diff] [blame] | 421 | qemu_rec_mutex_unlock(&ctx->lock); |
Stefan Hajnoczi | 98563fc | 2014-03-03 11:30:04 +0100 | [diff] [blame] | 422 | } |