xref: /openbmc/qemu/util/qemu-coroutine-lock.c (revision 06831001)
110817bf0SDaniel P. Berrange /*
210817bf0SDaniel P. Berrange  * coroutine queues and locks
310817bf0SDaniel P. Berrange  *
410817bf0SDaniel P. Berrange  * Copyright (c) 2011 Kevin Wolf <kwolf@redhat.com>
510817bf0SDaniel P. Berrange  *
610817bf0SDaniel P. Berrange  * Permission is hereby granted, free of charge, to any person obtaining a copy
710817bf0SDaniel P. Berrange  * of this software and associated documentation files (the "Software"), to deal
810817bf0SDaniel P. Berrange  * in the Software without restriction, including without limitation the rights
910817bf0SDaniel P. Berrange  * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
1010817bf0SDaniel P. Berrange  * copies of the Software, and to permit persons to whom the Software is
1110817bf0SDaniel P. Berrange  * furnished to do so, subject to the following conditions:
1210817bf0SDaniel P. Berrange  *
1310817bf0SDaniel P. Berrange  * The above copyright notice and this permission notice shall be included in
1410817bf0SDaniel P. Berrange  * all copies or substantial portions of the Software.
1510817bf0SDaniel P. Berrange  *
1610817bf0SDaniel P. Berrange  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
1710817bf0SDaniel P. Berrange  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
1810817bf0SDaniel P. Berrange  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
1910817bf0SDaniel P. Berrange  * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
2010817bf0SDaniel P. Berrange  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
2110817bf0SDaniel P. Berrange  * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
2210817bf0SDaniel P. Berrange  * THE SOFTWARE.
23fed20a70SPaolo Bonzini  *
24fed20a70SPaolo Bonzini  * The lock-free mutex implementation is based on OSv
25fed20a70SPaolo Bonzini  * (core/lfmutex.cc, include/lockfree/mutex.hh).
26fed20a70SPaolo Bonzini  * Copyright (C) 2013 Cloudius Systems, Ltd.
2710817bf0SDaniel P. Berrange  */
2810817bf0SDaniel P. Berrange 
29aafd7584SPeter Maydell #include "qemu/osdep.h"
3010817bf0SDaniel P. Berrange #include "qemu/coroutine_int.h"
31480cff63SPaolo Bonzini #include "qemu/processor.h"
3210817bf0SDaniel P. Berrange #include "qemu/queue.h"
33a9d92355SPaolo Bonzini #include "block/aio.h"
3410817bf0SDaniel P. Berrange #include "trace.h"
3510817bf0SDaniel P. Berrange 
qemu_co_queue_init(CoQueue * queue)3610817bf0SDaniel P. Berrange void qemu_co_queue_init(CoQueue *queue)
3710817bf0SDaniel P. Berrange {
387d9c8581SPaolo Bonzini     QSIMPLEQ_INIT(&queue->entries);
3910817bf0SDaniel P. Berrange }
4010817bf0SDaniel P. Berrange 
qemu_co_queue_wait_impl(CoQueue * queue,QemuLockable * lock,CoQueueWaitFlags flags)410421b563SStefan Hajnoczi void coroutine_fn qemu_co_queue_wait_impl(CoQueue *queue, QemuLockable *lock,
420421b563SStefan Hajnoczi                                           CoQueueWaitFlags flags)
4310817bf0SDaniel P. Berrange {
4410817bf0SDaniel P. Berrange     Coroutine *self = qemu_coroutine_self();
450421b563SStefan Hajnoczi     if (flags & CO_QUEUE_WAIT_FRONT) {
460421b563SStefan Hajnoczi         QSIMPLEQ_INSERT_HEAD(&queue->entries, self, co_queue_next);
470421b563SStefan Hajnoczi     } else {
487d9c8581SPaolo Bonzini         QSIMPLEQ_INSERT_TAIL(&queue->entries, self, co_queue_next);
490421b563SStefan Hajnoczi     }
501ace7ceaSPaolo Bonzini 
511a957cf9SPaolo Bonzini     if (lock) {
521a957cf9SPaolo Bonzini         qemu_lockable_unlock(lock);
531ace7ceaSPaolo Bonzini     }
541ace7ceaSPaolo Bonzini 
551ace7ceaSPaolo Bonzini     /* There is no race condition here.  Other threads will call
561ace7ceaSPaolo Bonzini      * aio_co_schedule on our AioContext, which can reenter this
571ace7ceaSPaolo Bonzini      * coroutine but only after this yield and after the main loop
581ace7ceaSPaolo Bonzini      * has gone through the next iteration.
591ace7ceaSPaolo Bonzini      */
6010817bf0SDaniel P. Berrange     qemu_coroutine_yield();
6110817bf0SDaniel P. Berrange     assert(qemu_in_coroutine());
621ace7ceaSPaolo Bonzini 
631ace7ceaSPaolo Bonzini     /* TODO: OSv implements wait morphing here, where the wakeup
641ace7ceaSPaolo Bonzini      * primitive automatically places the woken coroutine on the
651ace7ceaSPaolo Bonzini      * mutex's queue.  This avoids the thundering herd effect.
661a957cf9SPaolo Bonzini      * This could be implemented for CoMutexes, but not really for
671a957cf9SPaolo Bonzini      * other cases of QemuLockable.
681ace7ceaSPaolo Bonzini      */
691a957cf9SPaolo Bonzini     if (lock) {
701a957cf9SPaolo Bonzini         qemu_lockable_lock(lock);
711ace7ceaSPaolo Bonzini     }
7210817bf0SDaniel P. Berrange }
7310817bf0SDaniel P. Berrange 
qemu_co_enter_next_impl(CoQueue * queue,QemuLockable * lock)745261dd7bSPaolo Bonzini bool qemu_co_enter_next_impl(CoQueue *queue, QemuLockable *lock)
7510817bf0SDaniel P. Berrange {
7610817bf0SDaniel P. Berrange     Coroutine *next;
7710817bf0SDaniel P. Berrange 
787d9c8581SPaolo Bonzini     next = QSIMPLEQ_FIRST(&queue->entries);
7910817bf0SDaniel P. Berrange     if (!next) {
8010817bf0SDaniel P. Berrange         return false;
8110817bf0SDaniel P. Berrange     }
8210817bf0SDaniel P. Berrange 
837d9c8581SPaolo Bonzini     QSIMPLEQ_REMOVE_HEAD(&queue->entries, co_queue_next);
845261dd7bSPaolo Bonzini     if (lock) {
855261dd7bSPaolo Bonzini         qemu_lockable_unlock(lock);
865261dd7bSPaolo Bonzini     }
875261dd7bSPaolo Bonzini     aio_co_wake(next);
885261dd7bSPaolo Bonzini     if (lock) {
895261dd7bSPaolo Bonzini         qemu_lockable_lock(lock);
905261dd7bSPaolo Bonzini     }
9110817bf0SDaniel P. Berrange     return true;
9210817bf0SDaniel P. Berrange }
9310817bf0SDaniel P. Berrange 
qemu_co_queue_next(CoQueue * queue)94248af9e8SPaolo Bonzini bool coroutine_fn qemu_co_queue_next(CoQueue *queue)
95248af9e8SPaolo Bonzini {
96248af9e8SPaolo Bonzini     /* No unlock/lock needed in coroutine context.  */
97248af9e8SPaolo Bonzini     return qemu_co_enter_next_impl(queue, NULL);
98248af9e8SPaolo Bonzini }
99248af9e8SPaolo Bonzini 
qemu_co_enter_all_impl(CoQueue * queue,QemuLockable * lock)100d6ee15adSPaolo Bonzini void qemu_co_enter_all_impl(CoQueue *queue, QemuLockable *lock)
101d6ee15adSPaolo Bonzini {
102d6ee15adSPaolo Bonzini     while (qemu_co_enter_next_impl(queue, lock)) {
103d6ee15adSPaolo Bonzini         /* just loop */
104d6ee15adSPaolo Bonzini     }
105d6ee15adSPaolo Bonzini }
106d6ee15adSPaolo Bonzini 
qemu_co_queue_restart_all(CoQueue * queue)107f0d43b1eSPaolo Bonzini void coroutine_fn qemu_co_queue_restart_all(CoQueue *queue)
108f0d43b1eSPaolo Bonzini {
109f0d43b1eSPaolo Bonzini     /* No unlock/lock needed in coroutine context.  */
110f0d43b1eSPaolo Bonzini     qemu_co_enter_all_impl(queue, NULL);
111f0d43b1eSPaolo Bonzini }
112f0d43b1eSPaolo Bonzini 
qemu_co_queue_empty(CoQueue * queue)11310817bf0SDaniel P. Berrange bool qemu_co_queue_empty(CoQueue *queue)
11410817bf0SDaniel P. Berrange {
1157d9c8581SPaolo Bonzini     return QSIMPLEQ_FIRST(&queue->entries) == NULL;
11610817bf0SDaniel P. Berrange }
11710817bf0SDaniel P. Berrange 
118fed20a70SPaolo Bonzini /* The wait records are handled with a multiple-producer, single-consumer
119fed20a70SPaolo Bonzini  * lock-free queue.  There cannot be two concurrent pop_waiter() calls
120fed20a70SPaolo Bonzini  * because pop_waiter() can only be called while mutex->handoff is zero.
121fed20a70SPaolo Bonzini  * This can happen in three cases:
122fed20a70SPaolo Bonzini  * - in qemu_co_mutex_unlock, before the hand-off protocol has started.
123fed20a70SPaolo Bonzini  *   In this case, qemu_co_mutex_lock will see mutex->handoff == 0 and
124fed20a70SPaolo Bonzini  *   not take part in the handoff.
125fed20a70SPaolo Bonzini  * - in qemu_co_mutex_lock, if it steals the hand-off responsibility from
126fed20a70SPaolo Bonzini  *   qemu_co_mutex_unlock.  In this case, qemu_co_mutex_unlock will fail
127fed20a70SPaolo Bonzini  *   the cmpxchg (it will see either 0 or the next sequence value) and
128fed20a70SPaolo Bonzini  *   exit.  The next hand-off cannot begin until qemu_co_mutex_lock has
129fed20a70SPaolo Bonzini  *   woken up someone.
130fed20a70SPaolo Bonzini  * - in qemu_co_mutex_unlock, if it takes the hand-off token itself.
131fed20a70SPaolo Bonzini  *   In this case another iteration starts with mutex->handoff == 0;
132fed20a70SPaolo Bonzini  *   a concurrent qemu_co_mutex_lock will fail the cmpxchg, and
133fed20a70SPaolo Bonzini  *   qemu_co_mutex_unlock will go back to case (1).
134fed20a70SPaolo Bonzini  *
135fed20a70SPaolo Bonzini  * The following functions manage this queue.
136fed20a70SPaolo Bonzini  */
137fed20a70SPaolo Bonzini typedef struct CoWaitRecord {
138fed20a70SPaolo Bonzini     Coroutine *co;
139fed20a70SPaolo Bonzini     QSLIST_ENTRY(CoWaitRecord) next;
140fed20a70SPaolo Bonzini } CoWaitRecord;
141fed20a70SPaolo Bonzini 
push_waiter(CoMutex * mutex,CoWaitRecord * w)14246cd09deSPaolo Bonzini static void coroutine_fn push_waiter(CoMutex *mutex, CoWaitRecord *w)
143fed20a70SPaolo Bonzini {
144fed20a70SPaolo Bonzini     w->co = qemu_coroutine_self();
145fed20a70SPaolo Bonzini     QSLIST_INSERT_HEAD_ATOMIC(&mutex->from_push, w, next);
146fed20a70SPaolo Bonzini }
147fed20a70SPaolo Bonzini 
move_waiters(CoMutex * mutex)148fed20a70SPaolo Bonzini static void move_waiters(CoMutex *mutex)
149fed20a70SPaolo Bonzini {
150fed20a70SPaolo Bonzini     QSLIST_HEAD(, CoWaitRecord) reversed;
151fed20a70SPaolo Bonzini     QSLIST_MOVE_ATOMIC(&reversed, &mutex->from_push);
152fed20a70SPaolo Bonzini     while (!QSLIST_EMPTY(&reversed)) {
153fed20a70SPaolo Bonzini         CoWaitRecord *w = QSLIST_FIRST(&reversed);
154fed20a70SPaolo Bonzini         QSLIST_REMOVE_HEAD(&reversed, next);
155fed20a70SPaolo Bonzini         QSLIST_INSERT_HEAD(&mutex->to_pop, w, next);
156fed20a70SPaolo Bonzini     }
157fed20a70SPaolo Bonzini }
158fed20a70SPaolo Bonzini 
pop_waiter(CoMutex * mutex)159fed20a70SPaolo Bonzini static CoWaitRecord *pop_waiter(CoMutex *mutex)
160fed20a70SPaolo Bonzini {
161fed20a70SPaolo Bonzini     CoWaitRecord *w;
162fed20a70SPaolo Bonzini 
163fed20a70SPaolo Bonzini     if (QSLIST_EMPTY(&mutex->to_pop)) {
164fed20a70SPaolo Bonzini         move_waiters(mutex);
165fed20a70SPaolo Bonzini         if (QSLIST_EMPTY(&mutex->to_pop)) {
166fed20a70SPaolo Bonzini             return NULL;
167fed20a70SPaolo Bonzini         }
168fed20a70SPaolo Bonzini     }
169fed20a70SPaolo Bonzini     w = QSLIST_FIRST(&mutex->to_pop);
170fed20a70SPaolo Bonzini     QSLIST_REMOVE_HEAD(&mutex->to_pop, next);
171fed20a70SPaolo Bonzini     return w;
172fed20a70SPaolo Bonzini }
173fed20a70SPaolo Bonzini 
has_waiters(CoMutex * mutex)174fed20a70SPaolo Bonzini static bool has_waiters(CoMutex *mutex)
175fed20a70SPaolo Bonzini {
176fed20a70SPaolo Bonzini     return QSLIST_EMPTY(&mutex->to_pop) || QSLIST_EMPTY(&mutex->from_push);
177fed20a70SPaolo Bonzini }
178fed20a70SPaolo Bonzini 
qemu_co_mutex_init(CoMutex * mutex)17910817bf0SDaniel P. Berrange void qemu_co_mutex_init(CoMutex *mutex)
18010817bf0SDaniel P. Berrange {
18110817bf0SDaniel P. Berrange     memset(mutex, 0, sizeof(*mutex));
182fed20a70SPaolo Bonzini }
183fed20a70SPaolo Bonzini 
qemu_co_mutex_wake(CoMutex * mutex,Coroutine * co)184480cff63SPaolo Bonzini static void coroutine_fn qemu_co_mutex_wake(CoMutex *mutex, Coroutine *co)
185480cff63SPaolo Bonzini {
186480cff63SPaolo Bonzini     /* Read co before co->ctx; pairs with smp_wmb() in
187480cff63SPaolo Bonzini      * qemu_coroutine_enter().
188480cff63SPaolo Bonzini      */
189480cff63SPaolo Bonzini     smp_read_barrier_depends();
190480cff63SPaolo Bonzini     mutex->ctx = co->ctx;
191480cff63SPaolo Bonzini     aio_co_wake(co);
192480cff63SPaolo Bonzini }
193480cff63SPaolo Bonzini 
qemu_co_mutex_lock_slowpath(AioContext * ctx,CoMutex * mutex)194480cff63SPaolo Bonzini static void coroutine_fn qemu_co_mutex_lock_slowpath(AioContext *ctx,
195480cff63SPaolo Bonzini                                                      CoMutex *mutex)
196fed20a70SPaolo Bonzini {
197fed20a70SPaolo Bonzini     Coroutine *self = qemu_coroutine_self();
198fed20a70SPaolo Bonzini     CoWaitRecord w;
199fed20a70SPaolo Bonzini     unsigned old_handoff;
200fed20a70SPaolo Bonzini 
201fed20a70SPaolo Bonzini     trace_qemu_co_mutex_lock_entry(mutex, self);
202fed20a70SPaolo Bonzini     push_waiter(mutex, &w);
203fed20a70SPaolo Bonzini 
204e3a3b6ecSPaolo Bonzini     /*
205*06831001SPaolo Bonzini      * Add waiter before reading mutex->handoff.  Pairs with qatomic_set_mb
206e3a3b6ecSPaolo Bonzini      * in qemu_co_mutex_unlock.
207e3a3b6ecSPaolo Bonzini      */
208e3a3b6ecSPaolo Bonzini     smp_mb__after_rmw();
209e3a3b6ecSPaolo Bonzini 
210fed20a70SPaolo Bonzini     /* This is the "Responsibility Hand-Off" protocol; a lock() picks from
211fed20a70SPaolo Bonzini      * a concurrent unlock() the responsibility of waking somebody up.
212fed20a70SPaolo Bonzini      */
213e3a3b6ecSPaolo Bonzini     old_handoff = qatomic_read(&mutex->handoff);
214fed20a70SPaolo Bonzini     if (old_handoff &&
215fed20a70SPaolo Bonzini         has_waiters(mutex) &&
216d73415a3SStefan Hajnoczi         qatomic_cmpxchg(&mutex->handoff, old_handoff, 0) == old_handoff) {
217fed20a70SPaolo Bonzini         /* There can be no concurrent pops, because there can be only
218fed20a70SPaolo Bonzini          * one active handoff at a time.
219fed20a70SPaolo Bonzini          */
220fed20a70SPaolo Bonzini         CoWaitRecord *to_wake = pop_waiter(mutex);
221fed20a70SPaolo Bonzini         Coroutine *co = to_wake->co;
222fed20a70SPaolo Bonzini         if (co == self) {
223fed20a70SPaolo Bonzini             /* We got the lock ourselves!  */
224fed20a70SPaolo Bonzini             assert(to_wake == &w);
225480cff63SPaolo Bonzini             mutex->ctx = ctx;
226fed20a70SPaolo Bonzini             return;
227fed20a70SPaolo Bonzini         }
228fed20a70SPaolo Bonzini 
229480cff63SPaolo Bonzini         qemu_co_mutex_wake(mutex, co);
230fed20a70SPaolo Bonzini     }
231fed20a70SPaolo Bonzini 
232fed20a70SPaolo Bonzini     qemu_coroutine_yield();
233fed20a70SPaolo Bonzini     trace_qemu_co_mutex_lock_return(mutex, self);
23410817bf0SDaniel P. Berrange }
23510817bf0SDaniel P. Berrange 
qemu_co_mutex_lock(CoMutex * mutex)23610817bf0SDaniel P. Berrange void coroutine_fn qemu_co_mutex_lock(CoMutex *mutex)
23710817bf0SDaniel P. Berrange {
238480cff63SPaolo Bonzini     AioContext *ctx = qemu_get_current_aio_context();
23910817bf0SDaniel P. Berrange     Coroutine *self = qemu_coroutine_self();
240480cff63SPaolo Bonzini     int waiters, i;
24110817bf0SDaniel P. Berrange 
242480cff63SPaolo Bonzini     /* Running a very small critical section on pthread_mutex_t and CoMutex
243480cff63SPaolo Bonzini      * shows that pthread_mutex_t is much faster because it doesn't actually
244480cff63SPaolo Bonzini      * go to sleep.  What happens is that the critical section is shorter
245480cff63SPaolo Bonzini      * than the latency of entering the kernel and thus FUTEX_WAIT always
246480cff63SPaolo Bonzini      * fails.  With CoMutex there is no such latency but you still want to
247480cff63SPaolo Bonzini      * avoid wait and wakeup.  So introduce it artificially.
248480cff63SPaolo Bonzini      */
249480cff63SPaolo Bonzini     i = 0;
250480cff63SPaolo Bonzini retry_fast_path:
251d73415a3SStefan Hajnoczi     waiters = qatomic_cmpxchg(&mutex->locked, 0, 1);
252480cff63SPaolo Bonzini     if (waiters != 0) {
253480cff63SPaolo Bonzini         while (waiters == 1 && ++i < 1000) {
254d73415a3SStefan Hajnoczi             if (qatomic_read(&mutex->ctx) == ctx) {
255480cff63SPaolo Bonzini                 break;
256480cff63SPaolo Bonzini             }
257d73415a3SStefan Hajnoczi             if (qatomic_read(&mutex->locked) == 0) {
258480cff63SPaolo Bonzini                 goto retry_fast_path;
259480cff63SPaolo Bonzini             }
260480cff63SPaolo Bonzini             cpu_relax();
261480cff63SPaolo Bonzini         }
262d73415a3SStefan Hajnoczi         waiters = qatomic_fetch_inc(&mutex->locked);
263480cff63SPaolo Bonzini     }
264480cff63SPaolo Bonzini 
265480cff63SPaolo Bonzini     if (waiters == 0) {
266fed20a70SPaolo Bonzini         /* Uncontended.  */
267fed20a70SPaolo Bonzini         trace_qemu_co_mutex_lock_uncontended(mutex, self);
268480cff63SPaolo Bonzini         mutex->ctx = ctx;
269fed20a70SPaolo Bonzini     } else {
270480cff63SPaolo Bonzini         qemu_co_mutex_lock_slowpath(ctx, mutex);
27110817bf0SDaniel P. Berrange     }
2720e438cdcSKevin Wolf     mutex->holder = self;
2731b7f01d9SKevin Wolf     self->locks_held++;
27410817bf0SDaniel P. Berrange }
27510817bf0SDaniel P. Berrange 
qemu_co_mutex_unlock(CoMutex * mutex)27610817bf0SDaniel P. Berrange void coroutine_fn qemu_co_mutex_unlock(CoMutex *mutex)
27710817bf0SDaniel P. Berrange {
27810817bf0SDaniel P. Berrange     Coroutine *self = qemu_coroutine_self();
27910817bf0SDaniel P. Berrange 
28010817bf0SDaniel P. Berrange     trace_qemu_co_mutex_unlock_entry(mutex, self);
28110817bf0SDaniel P. Berrange 
282fed20a70SPaolo Bonzini     assert(mutex->locked);
2830e438cdcSKevin Wolf     assert(mutex->holder == self);
28410817bf0SDaniel P. Berrange     assert(qemu_in_coroutine());
28510817bf0SDaniel P. Berrange 
286480cff63SPaolo Bonzini     mutex->ctx = NULL;
2870e438cdcSKevin Wolf     mutex->holder = NULL;
2881b7f01d9SKevin Wolf     self->locks_held--;
289d73415a3SStefan Hajnoczi     if (qatomic_fetch_dec(&mutex->locked) == 1) {
290fed20a70SPaolo Bonzini         /* No waiting qemu_co_mutex_lock().  Pfew, that was easy!  */
291fed20a70SPaolo Bonzini         return;
292fed20a70SPaolo Bonzini     }
293fed20a70SPaolo Bonzini 
294fed20a70SPaolo Bonzini     for (;;) {
295fed20a70SPaolo Bonzini         CoWaitRecord *to_wake = pop_waiter(mutex);
296fed20a70SPaolo Bonzini         unsigned our_handoff;
297fed20a70SPaolo Bonzini 
298fed20a70SPaolo Bonzini         if (to_wake) {
299480cff63SPaolo Bonzini             qemu_co_mutex_wake(mutex, to_wake->co);
300fed20a70SPaolo Bonzini             break;
301fed20a70SPaolo Bonzini         }
302fed20a70SPaolo Bonzini 
303fed20a70SPaolo Bonzini         /* Some concurrent lock() is in progress (we know this because
304fed20a70SPaolo Bonzini          * mutex->locked was >1) but it hasn't yet put itself on the wait
305fed20a70SPaolo Bonzini          * queue.  Pick a sequence number for the handoff protocol (not 0).
306fed20a70SPaolo Bonzini          */
307fed20a70SPaolo Bonzini         if (++mutex->sequence == 0) {
308fed20a70SPaolo Bonzini             mutex->sequence = 1;
309fed20a70SPaolo Bonzini         }
310fed20a70SPaolo Bonzini 
311fed20a70SPaolo Bonzini         our_handoff = mutex->sequence;
312e3a3b6ecSPaolo Bonzini         /* Set handoff before checking for waiters.  */
313*06831001SPaolo Bonzini         qatomic_set_mb(&mutex->handoff, our_handoff);
314fed20a70SPaolo Bonzini         if (!has_waiters(mutex)) {
315fed20a70SPaolo Bonzini             /* The concurrent lock has not added itself yet, so it
316fed20a70SPaolo Bonzini              * will be able to pick our handoff.
317fed20a70SPaolo Bonzini              */
318fed20a70SPaolo Bonzini             break;
319fed20a70SPaolo Bonzini         }
320fed20a70SPaolo Bonzini 
321fed20a70SPaolo Bonzini         /* Try to do the handoff protocol ourselves; if somebody else has
322fed20a70SPaolo Bonzini          * already taken it, however, we're done and they're responsible.
323fed20a70SPaolo Bonzini          */
324d73415a3SStefan Hajnoczi         if (qatomic_cmpxchg(&mutex->handoff, our_handoff, 0) != our_handoff) {
325fed20a70SPaolo Bonzini             break;
326fed20a70SPaolo Bonzini         }
327fed20a70SPaolo Bonzini     }
32810817bf0SDaniel P. Berrange 
32910817bf0SDaniel P. Berrange     trace_qemu_co_mutex_unlock_return(mutex, self);
33010817bf0SDaniel P. Berrange }
33110817bf0SDaniel P. Berrange 
332050de36bSPaolo Bonzini struct CoRwTicket {
333050de36bSPaolo Bonzini     bool read;
334050de36bSPaolo Bonzini     Coroutine *co;
335050de36bSPaolo Bonzini     QSIMPLEQ_ENTRY(CoRwTicket) next;
336050de36bSPaolo Bonzini };
337050de36bSPaolo Bonzini 
qemu_co_rwlock_init(CoRwlock * lock)33810817bf0SDaniel P. Berrange void qemu_co_rwlock_init(CoRwlock *lock)
33910817bf0SDaniel P. Berrange {
340a7b91d35SPaolo Bonzini     qemu_co_mutex_init(&lock->mutex);
341050de36bSPaolo Bonzini     lock->owners = 0;
342050de36bSPaolo Bonzini     QSIMPLEQ_INIT(&lock->tickets);
343050de36bSPaolo Bonzini }
344050de36bSPaolo Bonzini 
345050de36bSPaolo Bonzini /* Releases the internal CoMutex.  */
qemu_co_rwlock_maybe_wake_one(CoRwlock * lock)34646cd09deSPaolo Bonzini static void coroutine_fn qemu_co_rwlock_maybe_wake_one(CoRwlock *lock)
347050de36bSPaolo Bonzini {
348050de36bSPaolo Bonzini     CoRwTicket *tkt = QSIMPLEQ_FIRST(&lock->tickets);
349050de36bSPaolo Bonzini     Coroutine *co = NULL;
350050de36bSPaolo Bonzini 
351050de36bSPaolo Bonzini     /*
352050de36bSPaolo Bonzini      * Setting lock->owners here prevents rdlock and wrlock from
353050de36bSPaolo Bonzini      * sneaking in between unlock and wake.
354050de36bSPaolo Bonzini      */
355050de36bSPaolo Bonzini 
356050de36bSPaolo Bonzini     if (tkt) {
357050de36bSPaolo Bonzini         if (tkt->read) {
358050de36bSPaolo Bonzini             if (lock->owners >= 0) {
359050de36bSPaolo Bonzini                 lock->owners++;
360050de36bSPaolo Bonzini                 co = tkt->co;
361050de36bSPaolo Bonzini             }
362050de36bSPaolo Bonzini         } else {
363050de36bSPaolo Bonzini             if (lock->owners == 0) {
364050de36bSPaolo Bonzini                 lock->owners = -1;
365050de36bSPaolo Bonzini                 co = tkt->co;
366050de36bSPaolo Bonzini             }
367050de36bSPaolo Bonzini         }
368050de36bSPaolo Bonzini     }
369050de36bSPaolo Bonzini 
370050de36bSPaolo Bonzini     if (co) {
371050de36bSPaolo Bonzini         QSIMPLEQ_REMOVE_HEAD(&lock->tickets, next);
372050de36bSPaolo Bonzini         qemu_co_mutex_unlock(&lock->mutex);
373050de36bSPaolo Bonzini         aio_co_wake(co);
374050de36bSPaolo Bonzini     } else {
375050de36bSPaolo Bonzini         qemu_co_mutex_unlock(&lock->mutex);
376050de36bSPaolo Bonzini     }
37710817bf0SDaniel P. Berrange }
37810817bf0SDaniel P. Berrange 
qemu_co_rwlock_rdlock(CoRwlock * lock)37946cd09deSPaolo Bonzini void coroutine_fn qemu_co_rwlock_rdlock(CoRwlock *lock)
38010817bf0SDaniel P. Berrange {
3811b7f01d9SKevin Wolf     Coroutine *self = qemu_coroutine_self();
3821b7f01d9SKevin Wolf 
383a7b91d35SPaolo Bonzini     qemu_co_mutex_lock(&lock->mutex);
384a7b91d35SPaolo Bonzini     /* For fairness, wait if a writer is in line.  */
385050de36bSPaolo Bonzini     if (lock->owners == 0 || (lock->owners > 0 && QSIMPLEQ_EMPTY(&lock->tickets))) {
386050de36bSPaolo Bonzini         lock->owners++;
387a7b91d35SPaolo Bonzini         qemu_co_mutex_unlock(&lock->mutex);
388050de36bSPaolo Bonzini     } else {
389050de36bSPaolo Bonzini         CoRwTicket my_ticket = { true, self };
390a7b91d35SPaolo Bonzini 
391050de36bSPaolo Bonzini         QSIMPLEQ_INSERT_TAIL(&lock->tickets, &my_ticket, next);
392050de36bSPaolo Bonzini         qemu_co_mutex_unlock(&lock->mutex);
393050de36bSPaolo Bonzini         qemu_coroutine_yield();
394050de36bSPaolo Bonzini         assert(lock->owners >= 1);
395050de36bSPaolo Bonzini 
396050de36bSPaolo Bonzini         /* Possibly wake another reader, which will wake the next in line.  */
397050de36bSPaolo Bonzini         qemu_co_mutex_lock(&lock->mutex);
398050de36bSPaolo Bonzini         qemu_co_rwlock_maybe_wake_one(lock);
399050de36bSPaolo Bonzini     }
400050de36bSPaolo Bonzini 
4011b7f01d9SKevin Wolf     self->locks_held++;
40210817bf0SDaniel P. Berrange }
40310817bf0SDaniel P. Berrange 
qemu_co_rwlock_unlock(CoRwlock * lock)40446cd09deSPaolo Bonzini void coroutine_fn qemu_co_rwlock_unlock(CoRwlock *lock)
40510817bf0SDaniel P. Berrange {
4061b7f01d9SKevin Wolf     Coroutine *self = qemu_coroutine_self();
4071b7f01d9SKevin Wolf 
40810817bf0SDaniel P. Berrange     assert(qemu_in_coroutine());
409a7b91d35SPaolo Bonzini     self->locks_held--;
410a7b91d35SPaolo Bonzini 
411a7b91d35SPaolo Bonzini     qemu_co_mutex_lock(&lock->mutex);
412050de36bSPaolo Bonzini     if (lock->owners > 0) {
413050de36bSPaolo Bonzini         lock->owners--;
414050de36bSPaolo Bonzini     } else {
415050de36bSPaolo Bonzini         assert(lock->owners == -1);
416050de36bSPaolo Bonzini         lock->owners = 0;
41710817bf0SDaniel P. Berrange     }
418050de36bSPaolo Bonzini 
419050de36bSPaolo Bonzini     qemu_co_rwlock_maybe_wake_one(lock);
42010817bf0SDaniel P. Berrange }
42110817bf0SDaniel P. Berrange 
qemu_co_rwlock_downgrade(CoRwlock * lock)42246cd09deSPaolo Bonzini void coroutine_fn qemu_co_rwlock_downgrade(CoRwlock *lock)
423667221c1SPaolo Bonzini {
424050de36bSPaolo Bonzini     qemu_co_mutex_lock(&lock->mutex);
425050de36bSPaolo Bonzini     assert(lock->owners == -1);
426050de36bSPaolo Bonzini     lock->owners = 1;
427667221c1SPaolo Bonzini 
428050de36bSPaolo Bonzini     /* Possibly wake another reader, which will wake the next in line.  */
429050de36bSPaolo Bonzini     qemu_co_rwlock_maybe_wake_one(lock);
430667221c1SPaolo Bonzini }
431667221c1SPaolo Bonzini 
qemu_co_rwlock_wrlock(CoRwlock * lock)43246cd09deSPaolo Bonzini void coroutine_fn qemu_co_rwlock_wrlock(CoRwlock *lock)
43310817bf0SDaniel P. Berrange {
434050de36bSPaolo Bonzini     Coroutine *self = qemu_coroutine_self();
435a7b91d35SPaolo Bonzini 
436050de36bSPaolo Bonzini     qemu_co_mutex_lock(&lock->mutex);
437050de36bSPaolo Bonzini     if (lock->owners == 0) {
438050de36bSPaolo Bonzini         lock->owners = -1;
439050de36bSPaolo Bonzini         qemu_co_mutex_unlock(&lock->mutex);
440050de36bSPaolo Bonzini     } else {
441050de36bSPaolo Bonzini         CoRwTicket my_ticket = { false, qemu_coroutine_self() };
442050de36bSPaolo Bonzini 
443050de36bSPaolo Bonzini         QSIMPLEQ_INSERT_TAIL(&lock->tickets, &my_ticket, next);
444050de36bSPaolo Bonzini         qemu_co_mutex_unlock(&lock->mutex);
445050de36bSPaolo Bonzini         qemu_coroutine_yield();
446050de36bSPaolo Bonzini         assert(lock->owners == -1);
447050de36bSPaolo Bonzini     }
448050de36bSPaolo Bonzini 
449050de36bSPaolo Bonzini     self->locks_held++;
45010817bf0SDaniel P. Berrange }
451667221c1SPaolo Bonzini 
qemu_co_rwlock_upgrade(CoRwlock * lock)45246cd09deSPaolo Bonzini void coroutine_fn qemu_co_rwlock_upgrade(CoRwlock *lock)
453667221c1SPaolo Bonzini {
454667221c1SPaolo Bonzini     qemu_co_mutex_lock(&lock->mutex);
455050de36bSPaolo Bonzini     assert(lock->owners > 0);
456050de36bSPaolo Bonzini     /* For fairness, wait if a writer is in line.  */
457050de36bSPaolo Bonzini     if (lock->owners == 1 && QSIMPLEQ_EMPTY(&lock->tickets)) {
458050de36bSPaolo Bonzini         lock->owners = -1;
459050de36bSPaolo Bonzini         qemu_co_mutex_unlock(&lock->mutex);
460050de36bSPaolo Bonzini     } else {
461050de36bSPaolo Bonzini         CoRwTicket my_ticket = { false, qemu_coroutine_self() };
462667221c1SPaolo Bonzini 
463050de36bSPaolo Bonzini         lock->owners--;
464050de36bSPaolo Bonzini         QSIMPLEQ_INSERT_TAIL(&lock->tickets, &my_ticket, next);
465050de36bSPaolo Bonzini         qemu_co_rwlock_maybe_wake_one(lock);
466050de36bSPaolo Bonzini         qemu_coroutine_yield();
467050de36bSPaolo Bonzini         assert(lock->owners == -1);
468050de36bSPaolo Bonzini     }
469667221c1SPaolo Bonzini }
470