Fix: handle sys_futex() FUTEX_WAIT interrupted by signal
[urcu.git] / urcu / static / urcu.h
CommitLineData
adcfce54
MD
1#ifndef _URCU_STATIC_H
2#define _URCU_STATIC_H
3
4/*
5 * urcu-static.h
6 *
d2d23035 7 * Userspace RCU header.
adcfce54 8 *
a5a9f428
PM
9 * TO BE INCLUDED ONLY IN CODE THAT IS TO BE RECOMPILED ON EACH LIBURCU
10 * RELEASE. See urcu.h for linking dynamically with the userspace rcu library.
adcfce54 11 *
6982d6d7 12 * Copyright (c) 2009 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
d2d23035 13 * Copyright (c) 2009 Paul E. McKenney, IBM Corporation.
adcfce54 14 *
d2d23035
MD
15 * This library is free software; you can redistribute it and/or
16 * modify it under the terms of the GNU Lesser General Public
17 * License as published by the Free Software Foundation; either
18 * version 2.1 of the License, or (at your option) any later version.
19 *
20 * This library is distributed in the hope that it will be useful,
21 * but WITHOUT ANY WARRANTY; without even the implied warranty of
22 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
23 * Lesser General Public License for more details.
24 *
25 * You should have received a copy of the GNU Lesser General Public
26 * License along with this library; if not, write to the Free Software
27 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
adcfce54
MD
28 *
29 * IBM's contributions to this file may be relicensed under LGPLv2 or later.
30 */
31
32#include <stdlib.h>
33#include <pthread.h>
bc6c15bb 34#include <unistd.h>
6d841bc2 35#include <stdint.h>
adcfce54 36
ec4e58a3
MD
37#include <urcu/compiler.h>
38#include <urcu/arch.h>
7e30abe3 39#include <urcu/system.h>
a2e7bf9c 40#include <urcu/uatomic.h>
e3b0cef0 41#include <urcu/list.h>
41849996 42#include <urcu/futex.h>
bd252a04 43#include <urcu/tls-compat.h>
e1c0b55c 44#include <urcu/rand-compat.h>
bc6c15bb 45
36bc70a8
MD
46#ifdef __cplusplus
47extern "C" {
48#endif
49
65f1e634 50/* Default is RCU_MEMBARRIER */
fdf01eed 51#if !defined(RCU_MEMBARRIER) && !defined(RCU_MB) && !defined(RCU_SIGNAL)
65f1e634
MD
52#define RCU_MEMBARRIER
53#endif
54
adcfce54
MD
55/*
56 * This code section can only be included in LGPL 2.1 compatible source code.
57 * See below for the function call wrappers which can be used in code meant to
58 * be only linked with the Userspace RCU library. This comes with a small
59 * performance degradation on the read-side due to the added function calls.
60 * This is required to permit relinking with newer versions of the library.
61 */
62
63/*
64 * The signal number used by the RCU library can be overridden with
02be5561 65 * -DSIGRCU= when compiling the library.
ddf7eefb 66 * Provide backward compatibility for liburcu 0.3.x SIGURCU.
adcfce54 67 */
ddf7eefb
MD
68#ifdef SIGURCU
69#define SIGRCU SIGURCU
70#endif
71
02be5561
MD
72#ifndef SIGRCU
73#define SIGRCU SIGUSR1
adcfce54
MD
74#endif
75
fd189fa5
MD
76enum rcu_state {
77 RCU_READER_ACTIVE_CURRENT,
78 RCU_READER_ACTIVE_OLD,
79 RCU_READER_INACTIVE,
80};
81
7ac06cef
MD
82#ifdef DEBUG_RCU
83#define rcu_assert(args...) assert(args)
84#else
85#define rcu_assert(args...)
86#endif
87
25cc6d18
MD
88/*
89 * RCU memory barrier broadcast group. Currently, only broadcast to all process
90 * threads is supported (group 0).
91 *
92 * Slave barriers are only guaranteed to be ordered wrt master barriers.
93 *
94 * The pair ordering is detailed as (O: ordered, X: not ordered) :
95 * slave master
96 * slave X O
97 * master O O
98 */
99
100#define MB_GROUP_ALL 0
101#define RCU_MB_GROUP MB_GROUP_ALL
102
fdf01eed 103#ifdef RCU_MEMBARRIER
1de4df4b 104extern int rcu_has_sys_membarrier;
fdf01eed 105
25cc6d18 106static inline void smp_mb_slave(int group)
fdf01eed 107{
1de4df4b 108 if (caa_likely(rcu_has_sys_membarrier))
5481ddb3 109 cmm_barrier();
fdf01eed 110 else
5481ddb3 111 cmm_smp_mb();
fdf01eed
MD
112}
113#endif
114
02be5561 115#ifdef RCU_MB
25cc6d18 116static inline void smp_mb_slave(int group)
adcfce54 117{
5481ddb3 118 cmm_smp_mb();
adcfce54 119}
fdf01eed
MD
120#endif
121
122#ifdef RCU_SIGNAL
25cc6d18 123static inline void smp_mb_slave(int group)
adcfce54 124{
5481ddb3 125 cmm_barrier();
adcfce54
MD
126}
127#endif
128
129/*
02be5561
MD
130 * The trick here is that RCU_GP_CTR_PHASE must be a multiple of 8 so we can use
131 * a full 8-bits, 16-bits or 32-bits bitmask for the lower order bits.
adcfce54
MD
132 */
133#define RCU_GP_COUNT (1UL << 0)
134/* Use the amount of bits equal to half of the architecture long size */
27d65bc5 135#define RCU_GP_CTR_PHASE (1UL << (sizeof(unsigned long) << 2))
02be5561 136#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_PHASE - 1)
adcfce54 137
4de0cd31 138struct rcu_gp {
ed1b099e
LJ
139 /*
140 * Global grace period counter.
141 * Contains the current RCU_GP_CTR_PHASE.
142 * Also has a RCU_GP_COUNT of 1, to accelerate the reader fast path.
143 * Written to only by writer with mutex taken.
144 * Read by both writer and readers.
145 */
146 unsigned long ctr;
147
148 int32_t futex;
149} __attribute__((aligned(CAA_CACHE_LINE_SIZE)));
150
4de0cd31 151extern struct rcu_gp rcu_gp;
adcfce54 152
02be5561 153struct rcu_reader {
bd1a5e15 154 /* Data used by both reader and synchronize_rcu() */
27d65bc5 155 unsigned long ctr;
e3b0cef0 156 char need_mb;
bd1a5e15 157 /* Data used for registry */
16aa9ee8 158 struct cds_list_head node __attribute__((aligned(CAA_CACHE_LINE_SIZE)));
bd1a5e15 159 pthread_t tid;
e3b0cef0
MD
160};
161
bd252a04 162extern DECLARE_URCU_TLS(struct rcu_reader, rcu_reader);
adcfce54 163
bc6c15bb
MD
164/*
165 * Wake-up waiting synchronize_rcu(). Called from many concurrent threads.
166 */
167static inline void wake_up_gp(void)
168{
ed1b099e
LJ
169 if (caa_unlikely(uatomic_read(&rcu_gp.futex) == -1)) {
170 uatomic_set(&rcu_gp.futex, 0);
b0a841b4
MD
171 /*
172 * Ignoring return value until we can make this function
173 * return something (because urcu_die() is not publicly
174 * exposed).
175 */
176 (void) futex_async(&rcu_gp.futex, FUTEX_WAKE, 1,
177 NULL, NULL, 0);
bc6c15bb
MD
178 }
179}
180
fd189fa5 181static inline enum rcu_state rcu_reader_state(unsigned long *ctr)
adcfce54 182{
27d65bc5 183 unsigned long v;
adcfce54 184
adcfce54
MD
185 /*
186 * Make sure both tests below are done on the same version of *value
187 * to insure consistency.
188 */
6cf3827c 189 v = CMM_LOAD_SHARED(*ctr);
fd189fa5
MD
190 if (!(v & RCU_GP_CTR_NEST_MASK))
191 return RCU_READER_INACTIVE;
ed1b099e 192 if (!((v ^ rcu_gp.ctr) & RCU_GP_CTR_PHASE))
fd189fa5
MD
193 return RCU_READER_ACTIVE_CURRENT;
194 return RCU_READER_ACTIVE_OLD;
adcfce54
MD
195}
196
a5a9f428 197/*
ed1b099e 198 * Helper for _rcu_read_lock(). The format of rcu_gp.ctr (as well as
a5a9f428
PM
199 * the per-thread rcu_reader.ctr) has the upper bits containing a count of
200 * _rcu_read_lock() nesting, and a lower-order bit that contains either zero
201 * or RCU_GP_CTR_PHASE. The smp_mb_slave() ensures that the accesses in
202 * _rcu_read_lock() happen before the subsequent read-side critical section.
203 */
204static inline void _rcu_read_lock_update(unsigned long tmp)
adcfce54 205{
a0b7f7ea 206 if (caa_likely(!(tmp & RCU_GP_CTR_NEST_MASK))) {
ed1b099e 207 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, _CMM_LOAD_SHARED(rcu_gp.ctr));
25cc6d18 208 smp_mb_slave(RCU_MB_GROUP);
a5a9f428 209 } else
bd252a04 210 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, tmp + RCU_GP_COUNT);
adcfce54
MD
211}
212
a5a9f428
PM
213/*
214 * Enter an RCU read-side critical section.
215 *
216 * The first cmm_barrier() call ensures that the compiler does not reorder
217 * the body of _rcu_read_lock() with a mutex.
218 *
219 * This function and its helper are both less than 10 lines long. The
220 * intent is that this function meets the 10-line criterion in LGPL,
221 * allowing this function to be invoked directly from non-LGPL code.
222 */
223static inline void _rcu_read_lock(void)
adcfce54 224{
27d65bc5 225 unsigned long tmp;
bc6c15bb 226
a5a9f428 227 cmm_barrier();
bd252a04 228 tmp = URCU_TLS(rcu_reader).ctr;
a5a9f428
PM
229 _rcu_read_lock_update(tmp);
230}
231
232/*
233 * This is a helper function for _rcu_read_unlock().
234 *
235 * The first smp_mb_slave() call ensures that the critical section is
236 * seen to precede the store to rcu_reader.ctr.
237 * The second smp_mb_slave() call ensures that we write to rcu_reader.ctr
238 * before reading the update-side futex.
239 */
240static inline void _rcu_read_unlock_update_and_wakeup(unsigned long tmp)
241{
a0b7f7ea 242 if (caa_likely((tmp & RCU_GP_CTR_NEST_MASK) == RCU_GP_COUNT)) {
25cc6d18 243 smp_mb_slave(RCU_MB_GROUP);
bd252a04 244 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, URCU_TLS(rcu_reader).ctr - RCU_GP_COUNT);
25cc6d18 245 smp_mb_slave(RCU_MB_GROUP);
bc6c15bb 246 wake_up_gp();
a5a9f428 247 } else
bd252a04 248 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, URCU_TLS(rcu_reader).ctr - RCU_GP_COUNT);
a5a9f428
PM
249}
250
251/*
252 * Exit an RCU read-side crtical section. Both this function and its
253 * helper are smaller than 10 lines of code, and are intended to be
254 * usable by non-LGPL code, as called out in LGPL.
255 */
256static inline void _rcu_read_unlock(void)
257{
258 unsigned long tmp;
259
260 tmp = URCU_TLS(rcu_reader).ctr;
261 _rcu_read_unlock_update_and_wakeup(tmp);
5481ddb3 262 cmm_barrier(); /* Ensure the compiler does not reorder us with mutex */
adcfce54
MD
263}
264
882f3357
MD
265/*
266 * Returns whether within a RCU read-side critical section.
267 *
268 * This function is less than 10 lines long. The intent is that this
269 * function meets the 10-line criterion for LGPL, allowing this function
270 * to be invoked directly from non-LGPL code.
271 */
272static inline int _rcu_read_ongoing(void)
273{
274 return URCU_TLS(rcu_reader).ctr & RCU_GP_CTR_NEST_MASK;
275}
276
ad918eeb 277#ifdef __cplusplus
36bc70a8
MD
278}
279#endif
280
adcfce54 281#endif /* _URCU_STATIC_H */
This page took 0.04583 seconds and 4 git commands to generate.