]> git.proxmox.com Git - mirror_qemu.git/blame - util/qemu-coroutine.c
tests: Make check-block a phony target
[mirror_qemu.git] / util / qemu-coroutine.c
CommitLineData
00dccaf1
KW
1/*
2 * QEMU coroutines
3 *
4 * Copyright IBM, Corp. 2011
5 *
6 * Authors:
7 * Stefan Hajnoczi <stefanha@linux.vnet.ibm.com>
8 * Kevin Wolf <kwolf@redhat.com>
9 *
10 * This work is licensed under the terms of the GNU LGPL, version 2 or later.
11 * See the COPYING.LIB file in the top-level directory.
12 *
13 */
14
aafd7584 15#include "qemu/osdep.h"
00dccaf1
KW
16#include "trace.h"
17#include "qemu-common.h"
b84c4586 18#include "qemu/thread.h"
4d68e86b 19#include "qemu/atomic.h"
10817bf0
DB
20#include "qemu/coroutine.h"
21#include "qemu/coroutine_int.h"
0c330a73 22#include "block/aio.h"
00dccaf1 23
40239784 24enum {
4d68e86b 25 POOL_BATCH_SIZE = 64,
40239784
PB
26};
27
28/** Free list to speed up creation */
4d68e86b
PB
29static QSLIST_HEAD(, Coroutine) release_pool = QSLIST_HEAD_INITIALIZER(pool);
30static unsigned int release_pool_size;
31static __thread QSLIST_HEAD(, Coroutine) alloc_pool = QSLIST_HEAD_INITIALIZER(pool);
51a2219b 32static __thread unsigned int alloc_pool_size;
4d68e86b
PB
33static __thread Notifier coroutine_pool_cleanup_notifier;
34
35static void coroutine_pool_cleanup(Notifier *n, void *value)
36{
37 Coroutine *co;
38 Coroutine *tmp;
39
40 QSLIST_FOREACH_SAFE(co, &alloc_pool, pool_next, tmp) {
41 QSLIST_REMOVE_HEAD(&alloc_pool, pool_next);
42 qemu_coroutine_delete(co);
43 }
44}
40239784 45
0b8b8753 46Coroutine *qemu_coroutine_create(CoroutineEntry *entry, void *opaque)
00dccaf1 47{
70c60c08 48 Coroutine *co = NULL;
40239784 49
70c60c08 50 if (CONFIG_COROUTINE_POOL) {
4d68e86b
PB
51 co = QSLIST_FIRST(&alloc_pool);
52 if (!co) {
53 if (release_pool_size > POOL_BATCH_SIZE) {
54 /* Slow path; a good place to register the destructor, too. */
55 if (!coroutine_pool_cleanup_notifier.notify) {
56 coroutine_pool_cleanup_notifier.notify = coroutine_pool_cleanup;
57 qemu_thread_atexit_add(&coroutine_pool_cleanup_notifier);
58 }
59
60 /* This is not exact; there could be a little skew between
61 * release_pool_size and the actual size of release_pool. But
62 * it is just a heuristic, it does not need to be perfect.
63 */
51a2219b 64 alloc_pool_size = atomic_xchg(&release_pool_size, 0);
4d68e86b
PB
65 QSLIST_MOVE_ATOMIC(&alloc_pool, &release_pool);
66 co = QSLIST_FIRST(&alloc_pool);
67 }
68 }
70c60c08 69 if (co) {
4d68e86b 70 QSLIST_REMOVE_HEAD(&alloc_pool, pool_next);
51a2219b 71 alloc_pool_size--;
70c60c08 72 }
b84c4586 73 }
b84c4586
SH
74
75 if (!co) {
40239784
PB
76 co = qemu_coroutine_new();
77 }
78
00dccaf1 79 co->entry = entry;
0b8b8753 80 co->entry_arg = opaque;
7d9c8581 81 QSIMPLEQ_INIT(&co->co_queue_wakeup);
00dccaf1
KW
82 return co;
83}
84
40239784
PB
85static void coroutine_delete(Coroutine *co)
86{
4d68e86b
PB
87 co->caller = NULL;
88
70c60c08 89 if (CONFIG_COROUTINE_POOL) {
4d68e86b
PB
90 if (release_pool_size < POOL_BATCH_SIZE * 2) {
91 QSLIST_INSERT_HEAD_ATOMIC(&release_pool, co, pool_next);
92 atomic_inc(&release_pool_size);
70c60c08
SH
93 return;
94 }
51a2219b
PL
95 if (alloc_pool_size < POOL_BATCH_SIZE) {
96 QSLIST_INSERT_HEAD(&alloc_pool, co, pool_next);
97 alloc_pool_size++;
98 return;
99 }
40239784
PB
100 }
101
102 qemu_coroutine_delete(co);
103}
104
ba9e75ce 105void qemu_aio_coroutine_enter(AioContext *ctx, Coroutine *co)
00dccaf1 106{
c40a2545
SH
107 QSIMPLEQ_HEAD(, Coroutine) pending = QSIMPLEQ_HEAD_INITIALIZER(pending);
108 Coroutine *from = qemu_coroutine_self();
6133b39f 109
c40a2545 110 QSIMPLEQ_INSERT_TAIL(&pending, co, co_queue_next);
00dccaf1 111
c40a2545
SH
112 /* Run co and any queued coroutines */
113 while (!QSIMPLEQ_EMPTY(&pending)) {
114 Coroutine *to = QSIMPLEQ_FIRST(&pending);
115 CoroutineAction ret;
6133b39f 116
c40a2545
SH
117 /* Cannot rely on the read barrier for to in aio_co_wake(), as there are
118 * callers outside of aio_co_wake() */
119 const char *scheduled = atomic_mb_read(&to->scheduled);
00dccaf1 120
c40a2545 121 QSIMPLEQ_REMOVE_HEAD(&pending, co_queue_next);
0c330a73 122
c40a2545 123 trace_qemu_aio_coroutine_enter(ctx, from, to, to->entry_arg);
0c330a73 124
c40a2545
SH
125 /* if the Coroutine has already been scheduled, entering it again will
126 * cause us to enter it twice, potentially even after the coroutine has
127 * been deleted */
128 if (scheduled) {
129 fprintf(stderr,
130 "%s: Co-routine was already scheduled in '%s'\n",
131 __func__, scheduled);
132 abort();
133 }
cd12bb56 134
c40a2545
SH
135 if (to->caller) {
136 fprintf(stderr, "Co-routine re-entered recursively\n");
137 abort();
138 }
528f449f 139
c40a2545
SH
140 to->caller = from;
141 to->ctx = ctx;
142
143 /* Store to->ctx before anything that stores to. Matches
144 * barrier in aio_co_wake and qemu_co_mutex_wake.
145 */
146 smp_wmb();
147
148 ret = qemu_coroutine_switch(from, to, COROUTINE_ENTER);
149
150 /* Queued coroutines are run depth-first; previously pending coroutines
151 * run after those queued more recently.
152 */
153 QSIMPLEQ_PREPEND(&pending, &to->co_queue_wakeup);
154
155 switch (ret) {
156 case COROUTINE_YIELD:
157 break;
158 case COROUTINE_TERMINATE:
159 assert(!to->locks_held);
160 trace_qemu_coroutine_terminate(to);
161 coroutine_delete(to);
162 break;
163 default:
164 abort();
165 }
cd12bb56 166 }
00dccaf1
KW
167}
168
ba9e75ce
FZ
169void qemu_coroutine_enter(Coroutine *co)
170{
171 qemu_aio_coroutine_enter(qemu_get_current_aio_context(), co);
172}
173
536fca7f
KW
174void qemu_coroutine_enter_if_inactive(Coroutine *co)
175{
176 if (!qemu_coroutine_entered(co)) {
177 qemu_coroutine_enter(co);
178 }
179}
180
00dccaf1
KW
181void coroutine_fn qemu_coroutine_yield(void)
182{
183 Coroutine *self = qemu_coroutine_self();
184 Coroutine *to = self->caller;
185
186 trace_qemu_coroutine_yield(self, to);
187
188 if (!to) {
189 fprintf(stderr, "Co-routine is yielding to no one\n");
190 abort();
191 }
192
193 self->caller = NULL;
315a1309 194 qemu_coroutine_switch(self, to, COROUTINE_YIELD);
00dccaf1 195}
f643e469
SH
196
197bool qemu_coroutine_entered(Coroutine *co)
198{
199 return co->caller;
200}
aa1361d5
KW
201
202AioContext *coroutine_fn qemu_coroutine_get_aio_context(Coroutine *co)
203{
204 return co->ctx;
205}