Allow forcing the use of sys membarrier
[urcu.git] / include / 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
d8d9a340 37#include <urcu/config.h>
ec4e58a3
MD
38#include <urcu/compiler.h>
39#include <urcu/arch.h>
7e30abe3 40#include <urcu/system.h>
a2e7bf9c 41#include <urcu/uatomic.h>
e3b0cef0 42#include <urcu/list.h>
41849996 43#include <urcu/futex.h>
bd252a04 44#include <urcu/tls-compat.h>
a77f7d82 45#include <urcu/debug.h>
bc6c15bb 46
36bc70a8
MD
47#ifdef __cplusplus
48extern "C" {
67ecffc0 49#endif
36bc70a8 50
65f1e634 51/* Default is RCU_MEMBARRIER */
fdf01eed 52#if !defined(RCU_MEMBARRIER) && !defined(RCU_MB) && !defined(RCU_SIGNAL)
65f1e634
MD
53#define RCU_MEMBARRIER
54#endif
55
adcfce54
MD
56/*
57 * This code section can only be included in LGPL 2.1 compatible source code.
58 * See below for the function call wrappers which can be used in code meant to
59 * be only linked with the Userspace RCU library. This comes with a small
60 * performance degradation on the read-side due to the added function calls.
61 * This is required to permit relinking with newer versions of the library.
62 */
63
64/*
65 * The signal number used by the RCU library can be overridden with
02be5561 66 * -DSIGRCU= when compiling the library.
ddf7eefb 67 * Provide backward compatibility for liburcu 0.3.x SIGURCU.
adcfce54 68 */
ddf7eefb
MD
69#ifdef SIGURCU
70#define SIGRCU SIGURCU
71#endif
72
02be5561
MD
73#ifndef SIGRCU
74#define SIGRCU SIGUSR1
adcfce54
MD
75#endif
76
fd189fa5
MD
77enum rcu_state {
78 RCU_READER_ACTIVE_CURRENT,
79 RCU_READER_ACTIVE_OLD,
80 RCU_READER_INACTIVE,
81};
82
25cc6d18 83/*
25cc6d18
MD
84 * Slave barriers are only guaranteed to be ordered wrt master barriers.
85 *
86 * The pair ordering is detailed as (O: ordered, X: not ordered) :
87 * slave master
88 * slave X O
89 * master O O
90 */
91
fdf01eed 92#ifdef RCU_MEMBARRIER
d8d9a340
MD
93#ifdef CONFIG_RCU_FORCE_SYS_MEMBARRIER
94#define rcu_has_sys_membarrier_memb 1
95#else
96extern int rcu_has_sys_membarrier_memb;
97#endif
fdf01eed 98
a4922ed9 99static inline void smp_mb_slave(void)
fdf01eed 100{
d8d9a340 101 if (caa_likely(rcu_has_sys_membarrier_memb))
5481ddb3 102 cmm_barrier();
fdf01eed 103 else
5481ddb3 104 cmm_smp_mb();
fdf01eed
MD
105}
106#endif
107
02be5561 108#ifdef RCU_MB
a4922ed9 109static inline void smp_mb_slave(void)
adcfce54 110{
5481ddb3 111 cmm_smp_mb();
adcfce54 112}
fdf01eed
MD
113#endif
114
115#ifdef RCU_SIGNAL
a4922ed9 116static inline void smp_mb_slave(void)
adcfce54 117{
5481ddb3 118 cmm_barrier();
adcfce54
MD
119}
120#endif
121
122/*
02be5561
MD
123 * The trick here is that RCU_GP_CTR_PHASE must be a multiple of 8 so we can use
124 * a full 8-bits, 16-bits or 32-bits bitmask for the lower order bits.
adcfce54
MD
125 */
126#define RCU_GP_COUNT (1UL << 0)
127/* Use the amount of bits equal to half of the architecture long size */
27d65bc5 128#define RCU_GP_CTR_PHASE (1UL << (sizeof(unsigned long) << 2))
02be5561 129#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_PHASE - 1)
adcfce54 130
4de0cd31 131struct rcu_gp {
ed1b099e
LJ
132 /*
133 * Global grace period counter.
134 * Contains the current RCU_GP_CTR_PHASE.
135 * Also has a RCU_GP_COUNT of 1, to accelerate the reader fast path.
136 * Written to only by writer with mutex taken.
137 * Read by both writer and readers.
138 */
139 unsigned long ctr;
140
141 int32_t futex;
142} __attribute__((aligned(CAA_CACHE_LINE_SIZE)));
143
4de0cd31 144extern struct rcu_gp rcu_gp;
adcfce54 145
02be5561 146struct rcu_reader {
bd1a5e15 147 /* Data used by both reader and synchronize_rcu() */
27d65bc5 148 unsigned long ctr;
e3b0cef0 149 char need_mb;
bd1a5e15 150 /* Data used for registry */
16aa9ee8 151 struct cds_list_head node __attribute__((aligned(CAA_CACHE_LINE_SIZE)));
bd1a5e15 152 pthread_t tid;
a77f7d82
MD
153 /* Reader registered flag, for internal checks. */
154 unsigned int registered:1;
e3b0cef0
MD
155};
156
bd252a04 157extern DECLARE_URCU_TLS(struct rcu_reader, rcu_reader);
adcfce54 158
bc6c15bb
MD
159/*
160 * Wake-up waiting synchronize_rcu(). Called from many concurrent threads.
161 */
162static inline void wake_up_gp(void)
163{
ed1b099e
LJ
164 if (caa_unlikely(uatomic_read(&rcu_gp.futex) == -1)) {
165 uatomic_set(&rcu_gp.futex, 0);
b0a841b4
MD
166 /*
167 * Ignoring return value until we can make this function
168 * return something (because urcu_die() is not publicly
169 * exposed).
170 */
171 (void) futex_async(&rcu_gp.futex, FUTEX_WAKE, 1,
172 NULL, NULL, 0);
bc6c15bb
MD
173 }
174}
175
fd189fa5 176static inline enum rcu_state rcu_reader_state(unsigned long *ctr)
adcfce54 177{
27d65bc5 178 unsigned long v;
adcfce54 179
adcfce54
MD
180 /*
181 * Make sure both tests below are done on the same version of *value
182 * to insure consistency.
183 */
6cf3827c 184 v = CMM_LOAD_SHARED(*ctr);
fd189fa5
MD
185 if (!(v & RCU_GP_CTR_NEST_MASK))
186 return RCU_READER_INACTIVE;
ed1b099e 187 if (!((v ^ rcu_gp.ctr) & RCU_GP_CTR_PHASE))
fd189fa5
MD
188 return RCU_READER_ACTIVE_CURRENT;
189 return RCU_READER_ACTIVE_OLD;
adcfce54
MD
190}
191
a5a9f428 192/*
ed1b099e 193 * Helper for _rcu_read_lock(). The format of rcu_gp.ctr (as well as
a5a9f428
PM
194 * the per-thread rcu_reader.ctr) has the upper bits containing a count of
195 * _rcu_read_lock() nesting, and a lower-order bit that contains either zero
196 * or RCU_GP_CTR_PHASE. The smp_mb_slave() ensures that the accesses in
197 * _rcu_read_lock() happen before the subsequent read-side critical section.
198 */
199static inline void _rcu_read_lock_update(unsigned long tmp)
adcfce54 200{
a0b7f7ea 201 if (caa_likely(!(tmp & RCU_GP_CTR_NEST_MASK))) {
ed1b099e 202 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, _CMM_LOAD_SHARED(rcu_gp.ctr));
a4922ed9 203 smp_mb_slave();
a5a9f428 204 } else
bd252a04 205 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, tmp + RCU_GP_COUNT);
adcfce54
MD
206}
207
a5a9f428
PM
208/*
209 * Enter an RCU read-side critical section.
210 *
211 * The first cmm_barrier() call ensures that the compiler does not reorder
212 * the body of _rcu_read_lock() with a mutex.
213 *
214 * This function and its helper are both less than 10 lines long. The
215 * intent is that this function meets the 10-line criterion in LGPL,
216 * allowing this function to be invoked directly from non-LGPL code.
217 */
218static inline void _rcu_read_lock(void)
adcfce54 219{
27d65bc5 220 unsigned long tmp;
bc6c15bb 221
a77f7d82 222 urcu_assert(URCU_TLS(rcu_reader).registered);
a5a9f428 223 cmm_barrier();
bd252a04 224 tmp = URCU_TLS(rcu_reader).ctr;
6ef5ddc9 225 urcu_assert((tmp & RCU_GP_CTR_NEST_MASK) != RCU_GP_CTR_NEST_MASK);
a5a9f428
PM
226 _rcu_read_lock_update(tmp);
227}
228
229/*
230 * This is a helper function for _rcu_read_unlock().
231 *
232 * The first smp_mb_slave() call ensures that the critical section is
233 * seen to precede the store to rcu_reader.ctr.
234 * The second smp_mb_slave() call ensures that we write to rcu_reader.ctr
235 * before reading the update-side futex.
236 */
237static inline void _rcu_read_unlock_update_and_wakeup(unsigned long tmp)
238{
a0b7f7ea 239 if (caa_likely((tmp & RCU_GP_CTR_NEST_MASK) == RCU_GP_COUNT)) {
a4922ed9 240 smp_mb_slave();
343c8b13 241 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, tmp - RCU_GP_COUNT);
a4922ed9 242 smp_mb_slave();
bc6c15bb 243 wake_up_gp();
a5a9f428 244 } else
343c8b13 245 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, tmp - RCU_GP_COUNT);
a5a9f428
PM
246}
247
248/*
249 * Exit an RCU read-side crtical section. Both this function and its
250 * helper are smaller than 10 lines of code, and are intended to be
251 * usable by non-LGPL code, as called out in LGPL.
252 */
253static inline void _rcu_read_unlock(void)
254{
255 unsigned long tmp;
256
a77f7d82 257 urcu_assert(URCU_TLS(rcu_reader).registered);
a5a9f428 258 tmp = URCU_TLS(rcu_reader).ctr;
343c8b13 259 urcu_assert(tmp & RCU_GP_CTR_NEST_MASK);
a5a9f428 260 _rcu_read_unlock_update_and_wakeup(tmp);
5481ddb3 261 cmm_barrier(); /* Ensure the compiler does not reorder us with mutex */
adcfce54
MD
262}
263
882f3357
MD
264/*
265 * Returns whether within a RCU read-side critical section.
266 *
267 * This function is less than 10 lines long. The intent is that this
268 * function meets the 10-line criterion for LGPL, allowing this function
269 * to be invoked directly from non-LGPL code.
270 */
271static inline int _rcu_read_ongoing(void)
272{
273 return URCU_TLS(rcu_reader).ctr & RCU_GP_CTR_NEST_MASK;
274}
275
ad918eeb 276#ifdef __cplusplus
36bc70a8
MD
277}
278#endif
279
adcfce54 280#endif /* _URCU_STATIC_H */
This page took 0.052628 seconds and 4 git commands to generate.