blob: 423430d3a032b78bc69cd0032108174b1f9173f7 [file] [log] [blame]
Kevin Wolf00dccaf2011-01-17 16:08:14 +00001/*
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
15#include "trace.h"
16#include "qemu-common.h"
Stefan Hajnoczib84c4582013-05-17 15:51:25 +020017#include "qemu/thread.h"
Paolo Bonzini737e1502012-12-17 18:19:44 +010018#include "block/coroutine.h"
19#include "block/coroutine_int.h"
Kevin Wolf00dccaf2011-01-17 16:08:14 +000020
Paolo Bonzini40239782013-02-19 11:59:09 +010021enum {
22 /* Maximum free pool size prevents holding too many freed coroutines */
23 POOL_MAX_SIZE = 64,
24};
25
26/** Free list to speed up creation */
Stefan Hajnoczib84c4582013-05-17 15:51:25 +020027static QemuMutex pool_lock;
Paolo Bonzini40239782013-02-19 11:59:09 +010028static QSLIST_HEAD(, Coroutine) pool = QSLIST_HEAD_INITIALIZER(pool);
29static unsigned int pool_size;
30
Kevin Wolf00dccaf2011-01-17 16:08:14 +000031Coroutine *qemu_coroutine_create(CoroutineEntry *entry)
32{
Paolo Bonzini40239782013-02-19 11:59:09 +010033 Coroutine *co;
34
Stefan Hajnoczib84c4582013-05-17 15:51:25 +020035 qemu_mutex_lock(&pool_lock);
Paolo Bonzini40239782013-02-19 11:59:09 +010036 co = QSLIST_FIRST(&pool);
37 if (co) {
38 QSLIST_REMOVE_HEAD(&pool, pool_next);
39 pool_size--;
Stefan Hajnoczib84c4582013-05-17 15:51:25 +020040 }
41 qemu_mutex_unlock(&pool_lock);
42
43 if (!co) {
Paolo Bonzini40239782013-02-19 11:59:09 +010044 co = qemu_coroutine_new();
45 }
46
Kevin Wolf00dccaf2011-01-17 16:08:14 +000047 co->entry = entry;
Stefan Hajnoczi02ffb502013-05-17 15:51:26 +020048 QTAILQ_INIT(&co->co_queue_wakeup);
Kevin Wolf00dccaf2011-01-17 16:08:14 +000049 return co;
50}
51
Paolo Bonzini40239782013-02-19 11:59:09 +010052static void coroutine_delete(Coroutine *co)
53{
Stefan Hajnoczib84c4582013-05-17 15:51:25 +020054 qemu_mutex_lock(&pool_lock);
Paolo Bonzini40239782013-02-19 11:59:09 +010055 if (pool_size < POOL_MAX_SIZE) {
56 QSLIST_INSERT_HEAD(&pool, co, pool_next);
57 co->caller = NULL;
58 pool_size++;
Stefan Hajnoczib84c4582013-05-17 15:51:25 +020059 qemu_mutex_unlock(&pool_lock);
Paolo Bonzini40239782013-02-19 11:59:09 +010060 return;
61 }
Stefan Hajnoczib84c4582013-05-17 15:51:25 +020062 qemu_mutex_unlock(&pool_lock);
Paolo Bonzini40239782013-02-19 11:59:09 +010063
64 qemu_coroutine_delete(co);
65}
66
Stefan Hajnoczib84c4582013-05-17 15:51:25 +020067static void __attribute__((constructor)) coroutine_pool_init(void)
68{
69 qemu_mutex_init(&pool_lock);
70}
71
72static void __attribute__((destructor)) coroutine_pool_cleanup(void)
Paolo Bonzini40239782013-02-19 11:59:09 +010073{
74 Coroutine *co;
75 Coroutine *tmp;
76
77 QSLIST_FOREACH_SAFE(co, &pool, pool_next, tmp) {
78 QSLIST_REMOVE_HEAD(&pool, pool_next);
79 qemu_coroutine_delete(co);
80 }
Stefan Hajnoczib84c4582013-05-17 15:51:25 +020081
82 qemu_mutex_destroy(&pool_lock);
Paolo Bonzini40239782013-02-19 11:59:09 +010083}
84
Kevin Wolf00dccaf2011-01-17 16:08:14 +000085static void coroutine_swap(Coroutine *from, Coroutine *to)
86{
87 CoroutineAction ret;
88
89 ret = qemu_coroutine_switch(from, to, COROUTINE_YIELD);
90
Stefan Hajnoczi02ffb502013-05-17 15:51:26 +020091 qemu_co_queue_run_restart(to);
92
Kevin Wolf00dccaf2011-01-17 16:08:14 +000093 switch (ret) {
94 case COROUTINE_YIELD:
95 return;
96 case COROUTINE_TERMINATE:
97 trace_qemu_coroutine_terminate(to);
Paolo Bonzini40239782013-02-19 11:59:09 +010098 coroutine_delete(to);
Kevin Wolf00dccaf2011-01-17 16:08:14 +000099 return;
100 default:
101 abort();
102 }
103}
104
105void qemu_coroutine_enter(Coroutine *co, void *opaque)
106{
107 Coroutine *self = qemu_coroutine_self();
108
109 trace_qemu_coroutine_enter(self, co, opaque);
110
111 if (co->caller) {
112 fprintf(stderr, "Co-routine re-entered recursively\n");
113 abort();
114 }
115
116 co->caller = self;
117 co->entry_arg = opaque;
118 coroutine_swap(self, co);
119}
120
121void coroutine_fn qemu_coroutine_yield(void)
122{
123 Coroutine *self = qemu_coroutine_self();
124 Coroutine *to = self->caller;
125
126 trace_qemu_coroutine_yield(self, to);
127
128 if (!to) {
129 fprintf(stderr, "Co-routine is yielding to no one\n");
130 abort();
131 }
132
133 self->caller = NULL;
134 coroutine_swap(self, to);
135}