X-Git-Url: https://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=urcu-qsbr-static.h;h=87305cb694a9bcc4e175f37829736fcdb81d9686;hp=8d8aa3f8f60519620dbcfb78aef1b007c6183e5c;hb=2f873279bc92fac32e6549d6eb72f3197c7048ac;hpb=ab179a1705ee5d662c6a7964645077980096e134 diff --git a/urcu-qsbr-static.h b/urcu-qsbr-static.h index 8d8aa3f..87305cb 100644 --- a/urcu-qsbr-static.h +++ b/urcu-qsbr-static.h @@ -32,6 +32,9 @@ #include #include #include +#include +#include +#include #include #include @@ -86,6 +89,10 @@ (_________p1); \ }) +#define futex(...) syscall(__NR_futex, __VA_ARGS__) +#define FUTEX_WAIT 0 +#define FUTEX_WAKE 1 + /* * This code section can only be included in LGPL 2.1 compatible source code. * See below for the function call wrappers which can be used in code meant to @@ -101,6 +108,11 @@ */ #define KICK_READER_LOOPS 10000 +/* + * Active attempts to check for reader Q.S. before calling futex(). + */ +#define RCU_QS_ACTIVE_ATTEMPTS 100 + #ifdef DEBUG_RCU #define rcu_assert(args...) assert(args) #else @@ -160,28 +172,57 @@ static inline void reader_barrier() smp_mb(); } +#define RCU_GP_ONLINE (1UL << 0) +#define RCU_GP_CTR (1UL << 1) + /* * Global quiescent period counter with low-order bits unused. * Using a int rather than a char to eliminate false register dependencies * causing stalls on some architectures. */ -extern long urcu_gp_ctr; +extern unsigned long urcu_gp_ctr; + +extern unsigned long __thread rcu_reader_qs_gp; -extern long __thread rcu_reader_qs_gp; +extern int gp_futex; -static inline int rcu_gp_ongoing(long *value) +/* + * Wake-up waiting synchronize_rcu(). Called from many concurrent threads. + */ +static inline void wake_up_gp(void) +{ + if (unlikely(atomic_read(&gp_futex) == -1)) { + atomic_set(&gp_futex, 0); + futex(&gp_futex, FUTEX_WAKE, 1, + NULL, NULL, 0); + } +} + +#if (BITS_PER_LONG < 64) +static inline int rcu_gp_ongoing(unsigned long *value) { - long reader_gp; + unsigned long reader_gp; if (value == NULL) return 0; reader_gp = LOAD_SHARED(*value); - return reader_gp && (reader_gp - urcu_gp_ctr < 0); + return reader_gp && ((reader_gp ^ urcu_gp_ctr) & RCU_GP_CTR); } +#else /* !(BITS_PER_LONG < 64) */ +static inline int rcu_gp_ongoing(unsigned long *value) +{ + unsigned long reader_gp; + + if (value == NULL) + return 0; + reader_gp = LOAD_SHARED(*value); + return reader_gp && (reader_gp - urcu_gp_ctr > ULONG_MAX / 2); +} +#endif /* !(BITS_PER_LONG < 64) */ static inline void _rcu_read_lock(void) { - rcu_assert(rcu_reader_qs_gp & 1); + rcu_assert(rcu_reader_qs_gp); } static inline void _rcu_read_unlock(void) @@ -192,6 +233,8 @@ static inline void _rcu_quiescent_state(void) { smp_mb(); _STORE_SHARED(rcu_reader_qs_gp, _LOAD_SHARED(urcu_gp_ctr)); + smp_mb(); /* write rcu_reader_qs_gp before read futex */ + wake_up_gp(); smp_mb(); } @@ -199,6 +242,8 @@ static inline void _rcu_thread_offline(void) { smp_mb(); STORE_SHARED(rcu_reader_qs_gp, 0); + smp_mb(); /* write rcu_reader_qs_gp before read futex */ + wake_up_gp(); } static inline void _rcu_thread_online(void) @@ -228,6 +273,22 @@ static inline void _rcu_thread_online(void) STORE_SHARED(p, v); \ }) +/** + * _rcu_cmpxchg_pointer - same as rcu_assign_pointer, but tests if the pointer + * is as expected by "old". If succeeds, returns the previous pointer to the + * data structure, which can be safely freed after waiting for a quiescent state + * using synchronize_rcu(). If fails (unexpected value), returns old (which + * should not be freed !). + */ + +#define _rcu_cmpxchg_pointer(p, old, _new) \ + ({ \ + if (!__builtin_constant_p(_new) || \ + ((_new) != NULL)) \ + wmb(); \ + cmpxchg(p, old, _new); \ + }) + /** * _rcu_xchg_pointer - same as rcu_assign_pointer, but returns the previous * pointer to the data structure, which can be safely freed after waiting for a