Fix: urcu: futex wait: handle spurious futex wakeups
[urcu.git] / src / urcu.c
CommitLineData
b257a10b
MD
1/*
2 * urcu.c
3 *
4 * Userspace RCU library
5 *
6982d6d7 6 * Copyright (c) 2009 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
af02d47e 7 * Copyright (c) 2009 Paul E. McKenney, IBM Corporation.
b257a10b 8 *
af02d47e
MD
9 * This library is free software; you can redistribute it and/or
10 * modify it under the terms of the GNU Lesser General Public
11 * License as published by the Free Software Foundation; either
12 * version 2.1 of the License, or (at your option) any later version.
13 *
14 * This library is distributed in the hope that it will be useful,
15 * but WITHOUT ANY WARRANTY; without even the implied warranty of
16 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17 * Lesser General Public License for more details.
18 *
19 * You should have received a copy of the GNU Lesser General Public
20 * License along with this library; if not, write to the Free Software
21 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
54843abc
PM
22 *
23 * IBM's contributions to this file may be relicensed under LGPLv2 or later.
b257a10b
MD
24 */
25
e37faee1 26#define URCU_NO_COMPAT_IDENTIFIERS
fdf01eed 27#define _BSD_SOURCE
71c811bf 28#define _LGPL_SOURCE
82d50e1a 29#define _DEFAULT_SOURCE
27b012e2
MD
30#include <stdio.h>
31#include <pthread.h>
32#include <signal.h>
f69f195a 33#include <stdlib.h>
6d841bc2 34#include <stdint.h>
f69f195a 35#include <string.h>
09a9f986 36#include <errno.h>
c0bb9f69 37#include <stdbool.h>
e8043c1b 38#include <poll.h>
27b012e2 39
375db287 40#include <urcu/config.h>
01477510 41#include <urcu/assert.h>
4477a870
MD
42#include <urcu/arch.h>
43#include <urcu/wfcqueue.h>
44#include <urcu/map/urcu.h>
45#include <urcu/static/urcu.h>
46#include <urcu/pointer.h>
47#include <urcu/tls-compat.h>
71c811bf 48
4a6d7378 49#include "urcu-die.h"
5bffdd5d 50#include "urcu-wait.h"
4477a870 51#include "urcu-utils.h"
4a6d7378 52
4477a870 53#define URCU_API_MAP
121a5d44 54/* Do not #define _LGPL_SOURCE to ensure we can emit the wrapper symbols */
71c811bf 55#undef _LGPL_SOURCE
4477a870 56#include <urcu/urcu.h>
71c811bf 57#define _LGPL_SOURCE
27b012e2 58
3a71751e
PB
59/*
60 * If a reader is really non-cooperative and refuses to commit its
61 * rcu_active_readers count to memory (there is no barrier in the reader
9340c38d 62 * per-se), kick it after 10 loops waiting for it.
3a71751e 63 */
9340c38d 64#define KICK_READER_LOOPS 10
3a71751e
PB
65
66/*
67 * Active attempts to check for reader Q.S. before calling futex().
68 */
69#define RCU_QS_ACTIVE_ATTEMPTS 100
70
999991c6
MD
71/* If the headers do not support membarrier system call, fall back on RCU_MB */
72#ifdef __NR_membarrier
73# define membarrier(...) syscall(__NR_membarrier, __VA_ARGS__)
553b7eb9
MD
74#else
75# define membarrier(...) -ENOSYS
76#endif
77
64f469e6 78enum membarrier_cmd {
c0bb9f69
MD
79 MEMBARRIER_CMD_QUERY = 0,
80 MEMBARRIER_CMD_SHARED = (1 << 0),
81 /* reserved for MEMBARRIER_CMD_SHARED_EXPEDITED (1 << 1) */
82 /* reserved for MEMBARRIER_CMD_PRIVATE (1 << 2) */
83 MEMBARRIER_CMD_PRIVATE_EXPEDITED = (1 << 3),
84 MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED = (1 << 4),
64f469e6 85};
553b7eb9 86
fdf01eed 87#ifdef RCU_MEMBARRIER
834a45ba 88static int init_done;
4477a870 89static int urcu_memb_has_sys_membarrier_private_expedited;
c0bb9f69 90
d8d9a340 91#ifndef CONFIG_RCU_FORCE_SYS_MEMBARRIER
4477a870
MD
92/*
93 * Explicitly initialize to zero because we can't alias a non-static
94 * uninitialized variable.
95 */
96int urcu_memb_has_sys_membarrier = 0;
d8d9a340 97#endif
834a45ba 98
02be5561 99void __attribute__((constructor)) rcu_init(void);
fdf01eed
MD
100#endif
101
102#ifdef RCU_MB
02be5561 103void rcu_init(void)
e90a6e9c
MD
104{
105}
106#endif
8a5fb4c9 107
fdf01eed
MD
108#ifdef RCU_SIGNAL
109static int init_done;
110
111void __attribute__((constructor)) rcu_init(void);
112void __attribute__((destructor)) rcu_exit(void);
113#endif
114
731ccb96
MD
115/*
116 * rcu_gp_lock ensures mutual exclusion between threads calling
117 * synchronize_rcu().
118 */
6abb4bd5 119static pthread_mutex_t rcu_gp_lock = PTHREAD_MUTEX_INITIALIZER;
731ccb96
MD
120/*
121 * rcu_registry_lock ensures mutual exclusion between threads
122 * registering and unregistering themselves to/from the registry, and
123 * with threads reading that registry from synchronize_rcu(). However,
124 * this lock is not held all the way through the completion of awaiting
125 * for the grace period. It is sporadically released between iterations
126 * on the registry.
127 * rcu_registry_lock may nest inside rcu_gp_lock.
128 */
129static pthread_mutex_t rcu_registry_lock = PTHREAD_MUTEX_INITIALIZER;
4477a870 130struct urcu_gp rcu_gp = { .ctr = URCU_GP_COUNT };
27b012e2 131
b0d5e790
MD
132/*
133 * Written to only by each individual reader. Read by both the reader and the
134 * writers.
135 */
4477a870 136DEFINE_URCU_TLS(struct urcu_reader, rcu_reader);
27b012e2 137
16aa9ee8 138static CDS_LIST_HEAD(registry);
27b012e2 139
5bffdd5d
MD
140/*
141 * Queue keeping threads awaiting to wait for a grace period. Contains
142 * struct gp_waiters_thread objects.
143 */
144static DEFINE_URCU_WAIT_QUEUE(gp_waiters);
145
6abb4bd5 146static void mutex_lock(pthread_mutex_t *mutex)
41718ff9
MD
147{
148 int ret;
09a9f986
PM
149
150#ifndef DISTRUST_SIGNALS_EXTREME
6abb4bd5 151 ret = pthread_mutex_lock(mutex);
4a6d7378
MD
152 if (ret)
153 urcu_die(ret);
09a9f986 154#else /* #ifndef DISTRUST_SIGNALS_EXTREME */
6abb4bd5 155 while ((ret = pthread_mutex_trylock(mutex)) != 0) {
4a6d7378
MD
156 if (ret != EBUSY && ret != EINTR)
157 urcu_die(ret);
bd252a04 158 if (CMM_LOAD_SHARED(URCU_TLS(rcu_reader).need_mb)) {
5481ddb3 159 cmm_smp_mb();
bd252a04 160 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).need_mb, 0);
5481ddb3 161 cmm_smp_mb();
09a9f986 162 }
8999a9ee 163 (void) poll(NULL, 0, 10);
09a9f986
PM
164 }
165#endif /* #else #ifndef DISTRUST_SIGNALS_EXTREME */
41718ff9
MD
166}
167
6abb4bd5 168static void mutex_unlock(pthread_mutex_t *mutex)
41718ff9
MD
169{
170 int ret;
171
6abb4bd5 172 ret = pthread_mutex_unlock(mutex);
4a6d7378
MD
173 if (ret)
174 urcu_die(ret);
41718ff9
MD
175}
176
fdf01eed 177#ifdef RCU_MEMBARRIER
a4922ed9 178static void smp_mb_master(void)
fdf01eed 179{
4477a870
MD
180 if (caa_likely(urcu_memb_has_sys_membarrier)) {
181 if (membarrier(urcu_memb_has_sys_membarrier_private_expedited ?
c0bb9f69
MD
182 MEMBARRIER_CMD_PRIVATE_EXPEDITED :
183 MEMBARRIER_CMD_SHARED, 0))
184 urcu_die(errno);
185 } else {
5481ddb3 186 cmm_smp_mb();
c0bb9f69 187 }
fdf01eed
MD
188}
189#endif
190
02be5561 191#ifdef RCU_MB
a4922ed9 192static void smp_mb_master(void)
40e140c9 193{
5481ddb3 194 cmm_smp_mb();
40e140c9 195}
fdf01eed
MD
196#endif
197
198#ifdef RCU_SIGNAL
78ff9419 199static void force_mb_all_readers(void)
27b012e2 200{
4477a870 201 struct urcu_reader *index;
e3b0cef0 202
27b012e2 203 /*
5481ddb3 204 * Ask for each threads to execute a cmm_smp_mb() so we can consider the
27b012e2
MD
205 * compiler barriers around rcu read lock as real memory barriers.
206 */
16aa9ee8 207 if (cds_list_empty(&registry))
27b012e2 208 return;
3a86deba 209 /*
5481ddb3 210 * pthread_kill has a cmm_smp_mb(). But beware, we assume it performs
157dca95 211 * a cache flush on architectures with non-coherent cache. Let's play
5481ddb3 212 * safe and don't assume anything : we use cmm_smp_mc() to make sure the
157dca95 213 * cache flush is enforced.
3a86deba 214 */
16aa9ee8 215 cds_list_for_each_entry(index, &registry, node) {
6cf3827c 216 CMM_STORE_SHARED(index->need_mb, 1);
02be5561 217 pthread_kill(index->tid, SIGRCU);
09a9f986 218 }
27b012e2
MD
219 /*
220 * Wait for sighandler (and thus mb()) to execute on every thread.
09a9f986
PM
221 *
222 * Note that the pthread_kill() will never be executed on systems
223 * that correctly deliver signals in a timely manner. However, it
224 * is not uncommon for kernels to have bugs that can result in
225 * lost or unduly delayed signals.
226 *
227 * If you are seeing the below pthread_kill() executing much at
228 * all, we suggest testing the underlying kernel and filing the
229 * relevant bug report. For Linux kernels, we recommend getting
230 * the Linux Test Project (LTP).
27b012e2 231 */
16aa9ee8 232 cds_list_for_each_entry(index, &registry, node) {
6cf3827c 233 while (CMM_LOAD_SHARED(index->need_mb)) {
02be5561 234 pthread_kill(index->tid, SIGRCU);
8999a9ee 235 (void) poll(NULL, 0, 1);
09a9f986
PM
236 }
237 }
5481ddb3 238 cmm_smp_mb(); /* read ->need_mb before ending the barrier */
27b012e2 239}
9d7e3f89 240
a4922ed9 241static void smp_mb_master(void)
9d7e3f89
MD
242{
243 force_mb_all_readers();
244}
fdf01eed 245#endif /* #ifdef RCU_SIGNAL */
27b012e2 246
bc6c15bb
MD
247/*
248 * synchronize_rcu() waiting. Single thread.
fca9fb96
MD
249 * Always called with rcu_registry lock held. Releases this lock and
250 * grabs it again. Holds the lock when it returns.
bc6c15bb 251 */
cfe78e25 252static void wait_gp(void)
bc6c15bb 253{
fca9fb96
MD
254 /*
255 * Read reader_gp before read futex. smp_mb_master() needs to
256 * be called with the rcu registry lock held in RCU_SIGNAL
257 * flavor.
258 */
a4922ed9 259 smp_mb_master();
fca9fb96
MD
260 /* Temporarily unlock the registry lock. */
261 mutex_unlock(&rcu_registry_lock);
a18d0428
MD
262 while (uatomic_read(&rcu_gp.futex) == -1) {
263 if (!futex_async(&rcu_gp.futex, FUTEX_WAIT, -1, NULL, NULL, 0)) {
264 /*
265 * Prior queued wakeups queued by unrelated code
266 * using the same address can cause futex wait to
267 * return 0 even through the futex value is still
268 * -1 (spurious wakeups). Check the value again
269 * in user-space to validate whether it really
270 * differs from -1.
271 */
272 continue;
273 }
b0a841b4 274 switch (errno) {
a18d0428 275 case EAGAIN:
b0a841b4 276 /* Value already changed. */
fca9fb96 277 goto end;
b0a841b4
MD
278 case EINTR:
279 /* Retry if interrupted by signal. */
a18d0428 280 break; /* Get out of switch. Check again. */
b0a841b4
MD
281 default:
282 /* Unexpected error. */
283 urcu_die(errno);
284 }
285 }
fca9fb96
MD
286end:
287 /*
288 * Re-lock the registry lock before the next loop.
289 */
290 mutex_lock(&rcu_registry_lock);
bc6c15bb
MD
291}
292
731ccb96
MD
293/*
294 * Always called with rcu_registry lock held. Releases this lock between
295 * iterations and grabs it again. Holds the lock when it returns.
296 */
fd189fa5
MD
297static void wait_for_readers(struct cds_list_head *input_readers,
298 struct cds_list_head *cur_snap_readers,
299 struct cds_list_head *qsreaders)
27b012e2 300{
9340c38d 301 unsigned int wait_loops = 0;
4477a870 302 struct urcu_reader *index, *tmp;
9340c38d
MD
303#ifdef HAS_INCOHERENT_CACHES
304 unsigned int wait_gp_loops = 0;
305#endif /* HAS_INCOHERENT_CACHES */
27b012e2 306
40e140c9 307 /*
c9488684
MD
308 * Wait for each thread URCU_TLS(rcu_reader).ctr to either
309 * indicate quiescence (not nested), or observe the current
ed1b099e 310 * rcu_gp.ctr value.
27b012e2 311 */
cfe78e25 312 for (;;) {
5e81fed7
MD
313 if (wait_loops < RCU_QS_ACTIVE_ATTEMPTS)
314 wait_loops++;
9340c38d 315 if (wait_loops >= RCU_QS_ACTIVE_ATTEMPTS) {
ed1b099e 316 uatomic_dec(&rcu_gp.futex);
cfe78e25 317 /* Write futex before read reader_gp */
a4922ed9 318 smp_mb_master();
cfe78e25
MD
319 }
320
fd189fa5 321 cds_list_for_each_entry_safe(index, tmp, input_readers, node) {
4477a870
MD
322 switch (urcu_common_reader_state(&rcu_gp, &index->ctr)) {
323 case URCU_READER_ACTIVE_CURRENT:
fd189fa5
MD
324 if (cur_snap_readers) {
325 cds_list_move(&index->node,
326 cur_snap_readers);
327 break;
328 }
329 /* Fall-through */
4477a870 330 case URCU_READER_INACTIVE:
fd189fa5
MD
331 cds_list_move(&index->node, qsreaders);
332 break;
4477a870 333 case URCU_READER_ACTIVE_OLD:
fd189fa5
MD
334 /*
335 * Old snapshot. Leaving node in
336 * input_readers will make us busy-loop
337 * until the snapshot becomes current or
338 * the reader becomes inactive.
339 */
340 break;
341 }
cfe78e25
MD
342 }
343
e8043c1b 344#ifndef HAS_INCOHERENT_CACHES
fd189fa5 345 if (cds_list_empty(input_readers)) {
9340c38d 346 if (wait_loops >= RCU_QS_ACTIVE_ATTEMPTS) {
cfe78e25 347 /* Read reader_gp before write futex */
a4922ed9 348 smp_mb_master();
ed1b099e 349 uatomic_set(&rcu_gp.futex, 0);
bc6c15bb 350 }
cfe78e25
MD
351 break;
352 } else {
fca9fb96
MD
353 if (wait_loops >= RCU_QS_ACTIVE_ATTEMPTS) {
354 /* wait_gp unlocks/locks registry lock. */
cfe78e25 355 wait_gp();
fca9fb96
MD
356 } else {
357 /* Temporarily unlock the registry lock. */
358 mutex_unlock(&rcu_registry_lock);
06f22bdb 359 caa_cpu_relax();
fca9fb96
MD
360 /*
361 * Re-lock the registry lock before the
362 * next loop.
363 */
364 mutex_lock(&rcu_registry_lock);
365 }
bc6c15bb 366 }
e8043c1b 367#else /* #ifndef HAS_INCOHERENT_CACHES */
27b012e2 368 /*
40e140c9 369 * BUSY-LOOP. Force the reader thread to commit its
bd252a04
MD
370 * URCU_TLS(rcu_reader).ctr update to memory if we wait
371 * for too long.
27b012e2 372 */
fd189fa5 373 if (cds_list_empty(input_readers)) {
9340c38d 374 if (wait_loops >= RCU_QS_ACTIVE_ATTEMPTS) {
cfe78e25 375 /* Read reader_gp before write futex */
a4922ed9 376 smp_mb_master();
ed1b099e 377 uatomic_set(&rcu_gp.futex, 0);
cfe78e25
MD
378 }
379 break;
380 } else {
9340c38d 381 if (wait_gp_loops == KICK_READER_LOOPS) {
a4922ed9 382 smp_mb_master();
9340c38d
MD
383 wait_gp_loops = 0;
384 }
385 if (wait_loops >= RCU_QS_ACTIVE_ATTEMPTS) {
fca9fb96 386 /* wait_gp unlocks/locks registry lock. */
9340c38d
MD
387 wait_gp();
388 wait_gp_loops++;
389 } else {
fca9fb96
MD
390 /* Temporarily unlock the registry lock. */
391 mutex_unlock(&rcu_registry_lock);
06f22bdb 392 caa_cpu_relax();
fca9fb96
MD
393 /*
394 * Re-lock the registry lock before the
395 * next loop.
396 */
397 mutex_lock(&rcu_registry_lock);
40e140c9
MD
398 }
399 }
e8043c1b 400#endif /* #else #ifndef HAS_INCOHERENT_CACHES */
27b012e2 401 }
27b012e2
MD
402}
403
9598a481 404void synchronize_rcu(void)
2bc59bd7 405{
fd189fa5
MD
406 CDS_LIST_HEAD(cur_snap_readers);
407 CDS_LIST_HEAD(qsreaders);
5bffdd5d
MD
408 DEFINE_URCU_WAIT_NODE(wait, URCU_WAIT_WAITING);
409 struct urcu_waiters waiters;
410
411 /*
412 * Add ourself to gp_waiters queue of threads awaiting to wait
413 * for a grace period. Proceed to perform the grace period only
414 * if we are the first thread added into the queue.
415 * The implicit memory barrier before urcu_wait_add()
416 * orders prior memory accesses of threads put into the wait
417 * queue before their insertion into the wait queue.
418 */
419 if (urcu_wait_add(&gp_waiters, &wait) != 0) {
420 /* Not first in queue: will be awakened by another thread. */
421 urcu_adaptative_busy_wait(&wait);
422 /* Order following memory accesses after grace period. */
423 cmm_smp_mb();
424 return;
425 }
426 /* We won't need to wake ourself up */
427 urcu_wait_set_state(&wait, URCU_WAIT_RUNNING);
fd189fa5 428
6abb4bd5 429 mutex_lock(&rcu_gp_lock);
135530fd 430
5bffdd5d
MD
431 /*
432 * Move all waiters into our local queue.
433 */
434 urcu_move_waiters(&waiters, &gp_waiters);
435
731ccb96
MD
436 mutex_lock(&rcu_registry_lock);
437
16aa9ee8 438 if (cds_list_empty(&registry))
2dfb8b5e
MD
439 goto out;
440
731ccb96
MD
441 /*
442 * All threads should read qparity before accessing data structure
443 * where new ptr points to. Must be done within rcu_registry_lock
444 * because it iterates on reader threads.
445 */
9598a481 446 /* Write new ptr before changing the qparity */
a4922ed9 447 smp_mb_master();
9598a481 448
9598a481 449 /*
c9488684 450 * Wait for readers to observe original parity or be quiescent.
731ccb96 451 * wait_for_readers() can release and grab again rcu_registry_lock
f99c6e92 452 * internally.
9598a481 453 */
fd189fa5 454 wait_for_readers(&registry, &cur_snap_readers, &qsreaders);
9598a481
MD
455
456 /*
c9488684 457 * Must finish waiting for quiescent state for original parity before
ed1b099e 458 * committing next rcu_gp.ctr update to memory. Failure to do so could
d40fde2c
MD
459 * result in the writer waiting forever while new readers are always
460 * accessing data (no progress). Enforce compiler-order of load
ed1b099e 461 * URCU_TLS(rcu_reader).ctr before store to rcu_gp.ctr.
9598a481 462 */
5481ddb3 463 cmm_barrier();
9598a481 464
5dba80f9 465 /*
5481ddb3 466 * Adding a cmm_smp_mb() which is _not_ formally required, but makes the
5dba80f9
MD
467 * model easier to understand. It does not have a big performance impact
468 * anyway, given this is the write-side.
469 */
5481ddb3 470 cmm_smp_mb();
67c2d80b 471
c9488684 472 /* Switch parity: 0 -> 1, 1 -> 0 */
4477a870 473 CMM_STORE_SHARED(rcu_gp.ctr, rcu_gp.ctr ^ URCU_GP_CTR_PHASE);
c9488684
MD
474
475 /*
ed1b099e 476 * Must commit rcu_gp.ctr update to memory before waiting for quiescent
c9488684
MD
477 * state. Failure to do so could result in the writer waiting forever
478 * while new readers are always accessing data (no progress). Enforce
ed1b099e 479 * compiler-order of store to rcu_gp.ctr before load rcu_reader ctr.
c9488684
MD
480 */
481 cmm_barrier();
482
483 /*
484 *
485 * Adding a cmm_smp_mb() which is _not_ formally required, but makes the
486 * model easier to understand. It does not have a big performance impact
487 * anyway, given this is the write-side.
488 */
489 cmm_smp_mb();
490
9598a481 491 /*
c9488684 492 * Wait for readers to observe new parity or be quiescent.
731ccb96 493 * wait_for_readers() can release and grab again rcu_registry_lock
f99c6e92 494 * internally.
9598a481 495 */
fd189fa5
MD
496 wait_for_readers(&cur_snap_readers, NULL, &qsreaders);
497
498 /*
499 * Put quiescent reader list back into registry.
500 */
501 cds_list_splice(&qsreaders, &registry);
9598a481 502
731ccb96
MD
503 /*
504 * Finish waiting for reader threads before letting the old ptr
505 * being freed. Must be done within rcu_registry_lock because it
506 * iterates on reader threads.
507 */
a4922ed9 508 smp_mb_master();
2dfb8b5e 509out:
731ccb96 510 mutex_unlock(&rcu_registry_lock);
6abb4bd5 511 mutex_unlock(&rcu_gp_lock);
5bffdd5d
MD
512
513 /*
514 * Wakeup waiters only after we have completed the grace period
515 * and have ensured the memory barriers at the end of the grace
516 * period have been issued.
517 */
518 urcu_wake_all_waiters(&waiters);
2bc59bd7
PM
519}
520
121a5d44
MD
521/*
522 * library wrappers to be used by non-LGPL compatible source code.
523 */
524
525void rcu_read_lock(void)
526{
527 _rcu_read_lock();
528}
529
530void rcu_read_unlock(void)
531{
532 _rcu_read_unlock();
533}
534
882f3357
MD
535int rcu_read_ongoing(void)
536{
537 return _rcu_read_ongoing();
538}
539
121a5d44 540void rcu_register_thread(void)
27b012e2 541{
bd252a04 542 URCU_TLS(rcu_reader).tid = pthread_self();
01477510
FD
543 urcu_posix_assert(URCU_TLS(rcu_reader).need_mb == 0);
544 urcu_posix_assert(!(URCU_TLS(rcu_reader).ctr & URCU_GP_CTR_NEST_MASK));
02be5561 545
731ccb96 546 mutex_lock(&rcu_registry_lock);
01477510 547 urcu_posix_assert(!URCU_TLS(rcu_reader).registered);
a77f7d82 548 URCU_TLS(rcu_reader).registered = 1;
02be5561 549 rcu_init(); /* In case gcc does not support constructor attribute */
bd252a04 550 cds_list_add(&URCU_TLS(rcu_reader).node, &registry);
731ccb96 551 mutex_unlock(&rcu_registry_lock);
27b012e2
MD
552}
553
121a5d44 554void rcu_unregister_thread(void)
27b012e2 555{
731ccb96 556 mutex_lock(&rcu_registry_lock);
01477510 557 urcu_posix_assert(URCU_TLS(rcu_reader).registered);
a77f7d82 558 URCU_TLS(rcu_reader).registered = 0;
bd252a04 559 cds_list_del(&URCU_TLS(rcu_reader).node);
731ccb96 560 mutex_unlock(&rcu_registry_lock);
27b012e2
MD
561}
562
fdf01eed 563#ifdef RCU_MEMBARRIER
d8d9a340
MD
564
565#ifdef CONFIG_RCU_FORCE_SYS_MEMBARRIER
566static
c0bb9f69 567void rcu_sys_membarrier_status(bool available)
d8d9a340
MD
568{
569 if (!available)
570 abort();
571}
572#else
573static
c0bb9f69 574void rcu_sys_membarrier_status(bool available)
d8d9a340 575{
c0bb9f69
MD
576 if (!available)
577 return;
4477a870 578 urcu_memb_has_sys_membarrier = 1;
d8d9a340
MD
579}
580#endif
581
c0bb9f69
MD
582static
583void rcu_sys_membarrier_init(void)
fdf01eed 584{
c0bb9f69
MD
585 bool available = false;
586 int mask;
587
588 mask = membarrier(MEMBARRIER_CMD_QUERY, 0);
589 if (mask >= 0) {
590 if (mask & MEMBARRIER_CMD_PRIVATE_EXPEDITED) {
591 if (membarrier(MEMBARRIER_CMD_REGISTER_PRIVATE_EXPEDITED, 0))
592 urcu_die(errno);
4477a870 593 urcu_memb_has_sys_membarrier_private_expedited = 1;
c0bb9f69
MD
594 available = true;
595 } else if (mask & MEMBARRIER_CMD_SHARED) {
596 available = true;
597 }
598 }
599 rcu_sys_membarrier_status(available);
600}
64f469e6 601
c0bb9f69
MD
602void rcu_init(void)
603{
fdf01eed
MD
604 if (init_done)
605 return;
606 init_done = 1;
c0bb9f69 607 rcu_sys_membarrier_init();
fdf01eed
MD
608}
609#endif
610
611#ifdef RCU_SIGNAL
70469b43
MJ
612static void sigrcu_handler(int signo __attribute__((unused)),
613 siginfo_t *siginfo __attribute__((unused)),
614 void *context __attribute__((unused)))
27b012e2 615{
40e140c9 616 /*
5481ddb3
DG
617 * Executing this cmm_smp_mb() is the only purpose of this signal handler.
618 * It punctually promotes cmm_barrier() into cmm_smp_mb() on every thread it is
40e140c9
MD
619 * executed on.
620 */
5481ddb3 621 cmm_smp_mb();
bd252a04 622 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).need_mb, 0);
5481ddb3 623 cmm_smp_mb();
27b012e2
MD
624}
625
8a5fb4c9 626/*
02be5561 627 * rcu_init constructor. Called when the library is linked, but also when
8a5fb4c9
MD
628 * reader threads are calling rcu_register_thread().
629 * Should only be called by a single thread at a given time. This is ensured by
731ccb96
MD
630 * holing the rcu_registry_lock from rcu_register_thread() or by running
631 * at library load time, which should not be executed by multiple
632 * threads nor concurrently with rcu_register_thread() anyway.
8a5fb4c9 633 */
02be5561 634void rcu_init(void)
27b012e2
MD
635{
636 struct sigaction act;
637 int ret;
638
8a5fb4c9
MD
639 if (init_done)
640 return;
641 init_done = 1;
642
02be5561 643 act.sa_sigaction = sigrcu_handler;
dd052bd3 644 act.sa_flags = SA_SIGINFO | SA_RESTART;
c297c21c 645 sigemptyset(&act.sa_mask);
02be5561 646 ret = sigaction(SIGRCU, &act, NULL);
4a6d7378
MD
647 if (ret)
648 urcu_die(errno);
27b012e2
MD
649}
650
02be5561 651void rcu_exit(void)
27b012e2 652{
71210954
MD
653 /*
654 * Don't unregister the SIGRCU signal handler anymore, because
655 * call_rcu threads could still be using it shortly before the
656 * application exits.
657 * Assertion disabled because call_rcu threads are now rcu
658 * readers, and left running at exit.
01477510 659 * urcu_posix_assert(cds_list_empty(&registry));
71210954 660 */
27b012e2 661}
5e77fc1f 662
fdf01eed 663#endif /* #ifdef RCU_SIGNAL */
5e77fc1f 664
5e6b23a6 665DEFINE_RCU_FLAVOR(rcu_flavor);
541d828d 666
5e77fc1f 667#include "urcu-call-rcu-impl.h"
0376e7b2 668#include "urcu-defer-impl.h"
This page took 0.083832 seconds and 4 git commands to generate.