4 * Userspace RCU library with explicit memory barriers
6 * Copyright (c) 2009 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
7 * Copyright (c) 2009 Paul E. McKenney, IBM Corporation.
8 * Copyright 2015 Red Hat, Inc.
10 * Ported to QEMU by Paolo Bonzini <pbonzini@redhat.com>
12 * This library is free software; you can redistribute it and/or
13 * modify it under the terms of the GNU Lesser General Public
14 * License as published by the Free Software Foundation; either
15 * version 2.1 of the License, or (at your option) any later version.
17 * This library is distributed in the hope that it will be useful,
18 * but WITHOUT ANY WARRANTY; without even the implied warranty of
19 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
20 * Lesser General Public License for more details.
22 * You should have received a copy of the GNU Lesser General Public
23 * License along with this library; if not, write to the Free Software
24 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
26 * IBM's contributions to this file may be relicensed under LGPLv2 or later.
29 #include "qemu/osdep.h"
30 #include "qemu-common.h"
32 #include "qemu/atomic.h"
33 #include "qemu/thread.h"
34 #include "qemu/main-loop.h"
37 * Global grace period counter. Bit 0 is always one in rcu_gp_ctr.
38 * Bits 1 and above are defined in synchronize_rcu.
40 #define RCU_GP_LOCKED (1UL << 0)
41 #define RCU_GP_CTR (1UL << 1)
43 unsigned long rcu_gp_ctr
= RCU_GP_LOCKED
;
45 QemuEvent rcu_gp_event
;
46 static QemuMutex rcu_registry_lock
;
47 static QemuMutex rcu_sync_lock
;
50 * Check whether a quiescent state was crossed between the beginning of
51 * update_counter_and_wait and now.
53 static inline int rcu_gp_ongoing(unsigned long *ctr
)
58 return v
&& (v
!= rcu_gp_ctr
);
61 /* Written to only by each individual reader. Read by both the reader and the
64 __thread
struct rcu_reader_data rcu_reader
;
66 /* Protected by rcu_registry_lock. */
67 typedef QLIST_HEAD(, rcu_reader_data
) ThreadList
;
68 static ThreadList registry
= QLIST_HEAD_INITIALIZER(registry
);
70 /* Wait for previous parity/grace period to be empty of readers. */
71 static void wait_for_readers(void)
73 ThreadList qsreaders
= QLIST_HEAD_INITIALIZER(qsreaders
);
74 struct rcu_reader_data
*index
, *tmp
;
77 /* We want to be notified of changes made to rcu_gp_ongoing
78 * while we walk the list.
80 qemu_event_reset(&rcu_gp_event
);
82 /* Instead of using atomic_mb_set for index->waiting, and
83 * atomic_mb_read for index->ctr, memory barriers are placed
84 * manually since writes to different threads are independent.
85 * atomic_mb_set has a smp_wmb before...
88 QLIST_FOREACH(index
, ®istry
, node
) {
89 atomic_set(&index
->waiting
, true);
92 /* ... and a smp_mb after. */
95 QLIST_FOREACH_SAFE(index
, ®istry
, node
, tmp
) {
96 if (!rcu_gp_ongoing(&index
->ctr
)) {
97 QLIST_REMOVE(index
, node
);
98 QLIST_INSERT_HEAD(&qsreaders
, index
, node
);
100 /* No need for mb_set here, worst of all we
101 * get some extra futex wakeups.
103 atomic_set(&index
->waiting
, false);
107 /* atomic_mb_read has smp_rmb after. */
110 if (QLIST_EMPTY(®istry
)) {
114 /* Wait for one thread to report a quiescent state and try again.
115 * Release rcu_registry_lock, so rcu_(un)register_thread() doesn't
116 * wait too much time.
118 * rcu_register_thread() may add nodes to ®istry; it will not
119 * wake up synchronize_rcu, but that is okay because at least another
120 * thread must exit its RCU read-side critical section before
121 * synchronize_rcu is done. The next iteration of the loop will
122 * move the new thread's rcu_reader from ®istry to &qsreaders,
123 * because rcu_gp_ongoing() will return false.
125 * rcu_unregister_thread() may remove nodes from &qsreaders instead
126 * of ®istry if it runs during qemu_event_wait. That's okay;
127 * the node then will not be added back to ®istry by QLIST_SWAP
128 * below. The invariant is that the node is part of one list when
129 * rcu_registry_lock is released.
131 qemu_mutex_unlock(&rcu_registry_lock
);
132 qemu_event_wait(&rcu_gp_event
);
133 qemu_mutex_lock(&rcu_registry_lock
);
136 /* put back the reader list in the registry */
137 QLIST_SWAP(®istry
, &qsreaders
, node
);
140 void synchronize_rcu(void)
142 qemu_mutex_lock(&rcu_sync_lock
);
143 qemu_mutex_lock(&rcu_registry_lock
);
145 if (!QLIST_EMPTY(®istry
)) {
146 /* In either case, the atomic_mb_set below blocks stores that free
147 * old RCU-protected pointers.
149 if (sizeof(rcu_gp_ctr
) < 8) {
150 /* For architectures with 32-bit longs, a two-subphases algorithm
151 * ensures we do not encounter overflow bugs.
153 * Switch parity: 0 -> 1, 1 -> 0.
155 atomic_mb_set(&rcu_gp_ctr
, rcu_gp_ctr
^ RCU_GP_CTR
);
157 atomic_mb_set(&rcu_gp_ctr
, rcu_gp_ctr
^ RCU_GP_CTR
);
159 /* Increment current grace period. */
160 atomic_mb_set(&rcu_gp_ctr
, rcu_gp_ctr
+ RCU_GP_CTR
);
166 qemu_mutex_unlock(&rcu_registry_lock
);
167 qemu_mutex_unlock(&rcu_sync_lock
);
171 #define RCU_CALL_MIN_SIZE 30
173 /* Multi-producer, single-consumer queue based on urcu/static/wfqueue.h
174 * from liburcu. Note that head is only used by the consumer.
176 static struct rcu_head dummy
;
177 static struct rcu_head
*head
= &dummy
, **tail
= &dummy
.next
;
178 static int rcu_call_count
;
179 static QemuEvent rcu_call_ready_event
;
181 static void enqueue(struct rcu_head
*node
)
183 struct rcu_head
**old_tail
;
186 old_tail
= atomic_xchg(&tail
, &node
->next
);
187 atomic_mb_set(old_tail
, node
);
190 static struct rcu_head
*try_dequeue(void)
192 struct rcu_head
*node
, *next
;
195 /* Test for an empty list, which we do not expect. Note that for
196 * the consumer head and tail are always consistent. The head
197 * is consistent because only the consumer reads/writes it.
198 * The tail, because it is the first step in the enqueuing.
199 * It is only the next pointers that might be inconsistent.
201 if (head
== &dummy
&& atomic_mb_read(&tail
) == &dummy
.next
) {
205 /* If the head node has NULL in its next pointer, the value is
206 * wrong and we need to wait until its enqueuer finishes the update.
209 next
= atomic_mb_read(&head
->next
);
214 /* Since we are the sole consumer, and we excluded the empty case
215 * above, the queue will always have at least two nodes: the
216 * dummy node, and the one being removed. So we do not need to update
221 /* If we dequeued the dummy node, add it back at the end and retry. */
222 if (node
== &dummy
) {
230 static void *call_rcu_thread(void *opaque
)
232 struct rcu_head
*node
;
234 rcu_register_thread();
238 int n
= atomic_read(&rcu_call_count
);
240 /* Heuristically wait for a decent number of callbacks to pile up.
241 * Fetch rcu_call_count now, we only must process elements that were
242 * added before synchronize_rcu() starts.
244 while (n
== 0 || (n
< RCU_CALL_MIN_SIZE
&& ++tries
<= 5)) {
247 qemu_event_reset(&rcu_call_ready_event
);
248 n
= atomic_read(&rcu_call_count
);
250 qemu_event_wait(&rcu_call_ready_event
);
253 n
= atomic_read(&rcu_call_count
);
256 atomic_sub(&rcu_call_count
, n
);
258 qemu_mutex_lock_iothread();
260 node
= try_dequeue();
262 qemu_mutex_unlock_iothread();
263 qemu_event_reset(&rcu_call_ready_event
);
264 node
= try_dequeue();
266 qemu_event_wait(&rcu_call_ready_event
);
267 node
= try_dequeue();
269 qemu_mutex_lock_iothread();
275 qemu_mutex_unlock_iothread();
280 void call_rcu1(struct rcu_head
*node
, void (*func
)(struct rcu_head
*node
))
284 atomic_inc(&rcu_call_count
);
285 qemu_event_set(&rcu_call_ready_event
);
288 void rcu_register_thread(void)
290 assert(rcu_reader
.ctr
== 0);
291 qemu_mutex_lock(&rcu_registry_lock
);
292 QLIST_INSERT_HEAD(®istry
, &rcu_reader
, node
);
293 qemu_mutex_unlock(&rcu_registry_lock
);
296 void rcu_unregister_thread(void)
298 qemu_mutex_lock(&rcu_registry_lock
);
299 QLIST_REMOVE(&rcu_reader
, node
);
300 qemu_mutex_unlock(&rcu_registry_lock
);
303 static void rcu_init_complete(void)
307 qemu_mutex_init(&rcu_registry_lock
);
308 qemu_mutex_init(&rcu_sync_lock
);
309 qemu_event_init(&rcu_gp_event
, true);
311 qemu_event_init(&rcu_call_ready_event
, false);
313 /* The caller is assumed to have iothread lock, so the call_rcu thread
314 * must have been quiescent even after forking, just recreate it.
316 qemu_thread_create(&thread
, "call_rcu", call_rcu_thread
,
317 NULL
, QEMU_THREAD_DETACHED
);
319 rcu_register_thread();
323 static void rcu_init_lock(void)
325 qemu_mutex_lock(&rcu_sync_lock
);
326 qemu_mutex_lock(&rcu_registry_lock
);
329 static void rcu_init_unlock(void)
331 qemu_mutex_unlock(&rcu_registry_lock
);
332 qemu_mutex_unlock(&rcu_sync_lock
);
336 void rcu_after_fork(void)
338 memset(®istry
, 0, sizeof(registry
));
342 static void __attribute__((__constructor__
)) rcu_init(void)
345 pthread_atfork(rcu_init_lock
, rcu_init_unlock
, rcu_init_unlock
);