4 * Userspace RCU library
6 * Copyright February 2009 - Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
8 * Distributed under GPLv2
20 pthread_mutex_t urcu_mutex
= PTHREAD_MUTEX_INITIALIZER
;
23 * Global grace period counter.
24 * Contains the current RCU_GP_CTR_BIT.
25 * Also has a RCU_GP_CTR_BIT of 1, to accelerate the reader fast path.
27 long urcu_gp_ctr
= RCU_GP_COUNT
;
29 long __thread urcu_active_readers
;
31 /* Thread IDs of registered readers */
32 #define INIT_NUM_THREADS 4
36 long *urcu_active_readers
;
40 unsigned int yield_active
;
41 unsigned int __thread rand_yield
;
44 static struct reader_data
*reader_data
;
45 static int num_readers
, alloc_readers
;
50 void internal_urcu_lock(void)
53 ret
= pthread_mutex_lock(&urcu_mutex
);
55 perror("Error in pthread mutex lock");
60 void internal_urcu_unlock(void)
64 ret
= pthread_mutex_unlock(&urcu_mutex
);
66 perror("Error in pthread mutex unlock");
72 * called with urcu_mutex held.
74 static void switch_next_urcu_qparity(void)
76 urcu_gp_ctr
^= RCU_GP_CTR_BIT
;
80 static void force_mb_single_thread(pthread_t tid
)
85 static void force_mb_all_threads(void)
91 static void force_mb_single_thread(pthread_t tid
)
95 smp_mb(); /* write sig_done before sending the signals */
96 pthread_kill(tid
, SIGURCU
);
98 * Wait for sighandler (and thus mb()) to execute on every thread.
102 smp_rmb(); /* ensure we re-read sig-done */
103 smp_mb(); /* read sig_done before ending the barrier */
106 static void force_mb_all_threads(void)
108 struct reader_data
*index
;
110 * Ask for each threads to execute a smp_mb() so we can consider the
111 * compiler barriers around rcu read lock as real memory barriers.
116 smp_mb(); /* write sig_done before sending the signals */
117 for (index
= reader_data
; index
< reader_data
+ num_readers
; index
++)
118 pthread_kill(index
->tid
, SIGURCU
);
120 * Wait for sighandler (and thus mb()) to execute on every thread.
123 while (sig_done
< num_readers
)
124 smp_rmb(); /* ensure we re-read sig-done */
125 smp_mb(); /* read sig_done before ending the barrier */
129 void wait_for_quiescent_state(void)
131 struct reader_data
*index
;
136 * Wait for each thread urcu_active_readers count to become 0.
138 for (index
= reader_data
; index
< reader_data
+ num_readers
; index
++) {
141 * BUSY-LOOP. Force the reader thread to commit its
142 * urcu_active_readers update to memory if we wait for too long.
144 while (rcu_old_gp_ongoing(index
->urcu_active_readers
)) {
145 if (wait_loops
++ == KICK_READER_LOOPS
) {
146 force_mb_single_thread(index
->tid
);
153 void synchronize_rcu(void)
155 internal_urcu_lock();
157 /* All threads should read qparity before accessing data structure
158 * where new ptr points to. Must be done within internal_urcu_lock
159 * because it iterates on reader threads.*/
160 /* Write new ptr before changing the qparity */
161 force_mb_all_threads();
163 switch_next_urcu_qparity(); /* 0 -> 1 */
166 * Must commit qparity update to memory before waiting for parity
167 * 0 quiescent state. Failure to do so could result in the writer
168 * waiting forever while new readers are always accessing data (no
174 * Wait for previous parity to be empty of readers.
176 wait_for_quiescent_state(); /* Wait readers in parity 0 */
179 * Must finish waiting for quiescent state for parity 0 before
180 * committing qparity update to memory. Failure to do so could result in
181 * the writer waiting forever while new readers are always accessing
182 * data (no progress).
186 switch_next_urcu_qparity(); /* 1 -> 0 */
189 * Must commit qparity update to memory before waiting for parity
190 * 1 quiescent state. Failure to do so could result in the writer
191 * waiting forever while new readers are always accessing data (no
197 * Wait for previous parity to be empty of readers.
199 wait_for_quiescent_state(); /* Wait readers in parity 1 */
201 /* Finish waiting for reader threads before letting the old ptr being
202 * freed. Must be done within internal_urcu_lock because it iterates on
204 force_mb_all_threads();
206 internal_urcu_unlock();
209 void urcu_add_reader(pthread_t id
)
211 struct reader_data
*oldarray
;
214 alloc_readers
= INIT_NUM_THREADS
;
217 malloc(sizeof(struct reader_data
) * alloc_readers
);
219 if (alloc_readers
< num_readers
+ 1) {
220 oldarray
= reader_data
;
221 reader_data
= malloc(sizeof(struct reader_data
)
222 * (alloc_readers
<< 1));
223 memcpy(reader_data
, oldarray
,
224 sizeof(struct reader_data
) * alloc_readers
);
228 reader_data
[num_readers
].tid
= id
;
229 /* reference to the TLS of _this_ reader thread. */
230 reader_data
[num_readers
].urcu_active_readers
= &urcu_active_readers
;
235 * Never shrink (implementation limitation).
236 * This is O(nb threads). Eventually use a hash table.
238 void urcu_remove_reader(pthread_t id
)
240 struct reader_data
*index
;
242 assert(reader_data
!= NULL
);
243 for (index
= reader_data
; index
< reader_data
+ num_readers
; index
++) {
244 if (pthread_equal(index
->tid
, id
)) {
245 memcpy(index
, &reader_data
[num_readers
- 1],
246 sizeof(struct reader_data
));
247 reader_data
[num_readers
- 1].tid
= 0;
248 reader_data
[num_readers
- 1].urcu_active_readers
= NULL
;
253 /* Hrm not found, forgot to register ? */
257 void urcu_register_thread(void)
259 internal_urcu_lock();
260 urcu_add_reader(pthread_self());
261 internal_urcu_unlock();
264 void urcu_unregister_thread(void)
266 internal_urcu_lock();
267 urcu_remove_reader(pthread_self());
268 internal_urcu_unlock();
271 #ifndef DEBUG_FULL_MB
272 void sigurcu_handler(int signo
, siginfo_t
*siginfo
, void *context
)
275 * Executing this smp_mb() is the only purpose of this signal handler.
276 * It punctually promotes barrier() into smp_mb() on every thread it is
280 atomic_inc(&sig_done
);
283 void __attribute__((constructor
)) urcu_init(void)
285 struct sigaction act
;
288 act
.sa_sigaction
= sigurcu_handler
;
289 ret
= sigaction(SIGURCU
, &act
, NULL
);
291 perror("Error in sigaction");
296 void __attribute__((destructor
)) urcu_exit(void)
298 struct sigaction act
;
301 ret
= sigaction(SIGURCU
, NULL
, &act
);
303 perror("Error in sigaction");
306 assert(act
.sa_sigaction
== sigurcu_handler
);