RCU dereference check if within read-side critical section
[userspace-rcu.git] / urcu / static / urcu-qsbr.h
CommitLineData
7ac06cef
MD
1#ifndef _URCU_QSBR_STATIC_H
2#define _URCU_QSBR_STATIC_H
3
4/*
5 * urcu-qsbr-static.h
6 *
7 * Userspace RCU QSBR header.
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.
7ac06cef 11 *
6982d6d7 12 * Copyright (c) 2009 Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
7ac06cef
MD
13 * Copyright (c) 2009 Paul E. McKenney, IBM Corporation.
14 *
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
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>
34#include <assert.h>
f0f7dbdd 35#include <limits.h>
bc6c15bb 36#include <unistd.h>
6d841bc2 37#include <stdint.h>
7ac06cef 38
ec4e58a3
MD
39#include <urcu/compiler.h>
40#include <urcu/arch.h>
7e30abe3 41#include <urcu/system.h>
a2e7bf9c 42#include <urcu/uatomic.h>
4f8e3380 43#include <urcu/list.h>
41849996 44#include <urcu/futex.h>
bd252a04 45#include <urcu/tls-compat.h>
791151d0 46#include <urcu/urcu-checker.h>
bc6c15bb 47
36bc70a8
MD
48#ifdef __cplusplus
49extern "C" {
50#endif
51
7ac06cef
MD
52/*
53 * This code section can only be included in LGPL 2.1 compatible source code.
54 * See below for the function call wrappers which can be used in code meant to
55 * be only linked with the Userspace RCU library. This comes with a small
56 * performance degradation on the read-side due to the added function calls.
57 * This is required to permit relinking with newer versions of the library.
58 */
59
7ac06cef
MD
60#ifdef DEBUG_RCU
61#define rcu_assert(args...) assert(args)
62#else
63#define rcu_assert(args...)
64#endif
65
708d89f0
MD
66enum rcu_state {
67 RCU_READER_ACTIVE_CURRENT,
68 RCU_READER_ACTIVE_OLD,
69 RCU_READER_INACTIVE,
70};
71
ac258107 72#define RCU_GP_ONLINE (1UL << 0)
55570466 73#define RCU_GP_CTR (1UL << 1)
ac258107 74
4de0cd31 75struct rcu_gp {
15302e28
LJ
76 /*
77 * Global quiescent period counter with low-order bits unused.
78 * Using a int rather than a char to eliminate false register
79 * dependencies causing stalls on some architectures.
80 */
81 unsigned long ctr;
82
83 int32_t futex;
84} __attribute__((aligned(CAA_CACHE_LINE_SIZE)));
85
4de0cd31 86extern struct rcu_gp rcu_gp;
7ac06cef 87
02be5561 88struct rcu_reader {
bd1a5e15 89 /* Data used by both reader and synchronize_rcu() */
4f8e3380 90 unsigned long ctr;
bd1a5e15 91 /* Data used for registry */
16aa9ee8 92 struct cds_list_head node __attribute__((aligned(CAA_CACHE_LINE_SIZE)));
83a2c421 93 int waiting;
4f8e3380
MD
94 pthread_t tid;
95};
96
bd252a04 97extern DECLARE_URCU_TLS(struct rcu_reader, rcu_reader);
7ac06cef 98
bc6c15bb
MD
99/*
100 * Wake-up waiting synchronize_rcu(). Called from many concurrent threads.
101 */
102static inline void wake_up_gp(void)
103{
bd252a04
MD
104 if (caa_unlikely(_CMM_LOAD_SHARED(URCU_TLS(rcu_reader).waiting))) {
105 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).waiting, 0);
83a2c421 106 cmm_smp_mb();
15302e28 107 if (uatomic_read(&rcu_gp.futex) != -1)
83a2c421 108 return;
15302e28
LJ
109 uatomic_set(&rcu_gp.futex, 0);
110 futex_noasync(&rcu_gp.futex, FUTEX_WAKE, 1,
bc6c15bb
MD
111 NULL, NULL, 0);
112 }
113}
114
708d89f0 115static inline enum rcu_state rcu_reader_state(unsigned long *ctr)
7ac06cef 116{
e26fa029 117 unsigned long v;
4e560c17 118
6cf3827c 119 v = CMM_LOAD_SHARED(*ctr);
708d89f0
MD
120 if (!v)
121 return RCU_READER_INACTIVE;
15302e28 122 if (v == rcu_gp.ctr)
708d89f0
MD
123 return RCU_READER_ACTIVE_CURRENT;
124 return RCU_READER_ACTIVE_OLD;
7ac06cef
MD
125}
126
a5a9f428
PM
127/*
128 * Enter an RCU read-side critical section.
129 *
130 * This function is less than 10 lines long. The intent is that this
131 * function meets the 10-line criterion for LGPL, allowing this function
132 * to be invoked directly from non-LGPL code.
133 */
7ac06cef
MD
134static inline void _rcu_read_lock(void)
135{
791151d0 136 rcu_read_lock_debug();
bd252a04 137 rcu_assert(URCU_TLS(rcu_reader).ctr);
7ac06cef
MD
138}
139
a5a9f428
PM
140/*
141 * Exit an RCU read-side critical section.
142 *
143 * This function is less than 10 lines long. The intent is that this
144 * function meets the 10-line criterion for LGPL, allowing this function
145 * to be invoked directly from non-LGPL code.
146 */
7ac06cef
MD
147static inline void _rcu_read_unlock(void)
148{
791151d0 149 rcu_read_unlock_debug();
7ac06cef
MD
150}
151
882f3357
MD
152/*
153 * Returns whether within a RCU read-side critical section.
154 *
155 * This function is less than 10 lines long. The intent is that this
156 * function meets the 10-line criterion for LGPL, allowing this function
157 * to be invoked directly from non-LGPL code.
158 */
159static inline int _rcu_read_ongoing(void)
160{
161 return URCU_TLS(rcu_reader).ctr;
162}
163
f864c15d
MD
164/*
165 * This is a helper function for _rcu_quiescent_state().
166 * The first cmm_smp_mb() ensures memory accesses in the prior read-side
167 * critical sections are not reordered with store to
168 * URCU_TLS(rcu_reader).ctr, and ensures that mutexes held within an
169 * offline section that would happen to end with this
170 * rcu_quiescent_state() call are not reordered with
171 * store to URCU_TLS(rcu_reader).ctr.
172 */
173static inline void _rcu_quiescent_state_update_and_wakeup(unsigned long gp_ctr)
174{
175 cmm_smp_mb();
176 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, gp_ctr);
177 cmm_smp_mb(); /* write URCU_TLS(rcu_reader).ctr before read futex */
178 wake_up_gp();
179 cmm_smp_mb();
180}
181
a5a9f428
PM
182/*
183 * Inform RCU of a quiescent state.
184 *
185 * This function is less than 10 lines long. The intent is that this
186 * function meets the 10-line criterion for LGPL, allowing this function
187 * to be invoked directly from non-LGPL code.
f864c15d
MD
188 *
189 * We skip the memory barriers and gp store if our local ctr already
15302e28 190 * matches the global rcu_gp.ctr value: this is OK because a prior
f864c15d
MD
191 * _rcu_quiescent_state() or _rcu_thread_online() already updated it
192 * within our thread, so we have no quiescent state to report.
a5a9f428 193 */
7ac06cef
MD
194static inline void _rcu_quiescent_state(void)
195{
f864c15d
MD
196 unsigned long gp_ctr;
197
15302e28 198 if ((gp_ctr = CMM_LOAD_SHARED(rcu_gp.ctr)) == URCU_TLS(rcu_reader).ctr)
f864c15d
MD
199 return;
200 _rcu_quiescent_state_update_and_wakeup(gp_ctr);
7ac06cef
MD
201}
202
a5a9f428
PM
203/*
204 * Take a thread offline, prohibiting it from entering further RCU
205 * read-side critical sections.
206 *
207 * This function is less than 10 lines long. The intent is that this
208 * function meets the 10-line criterion for LGPL, allowing this function
209 * to be invoked directly from non-LGPL code.
210 */
7ac06cef
MD
211static inline void _rcu_thread_offline(void)
212{
5481ddb3 213 cmm_smp_mb();
bd252a04
MD
214 CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, 0);
215 cmm_smp_mb(); /* write URCU_TLS(rcu_reader).ctr before read futex */
bc6c15bb 216 wake_up_gp();
5481ddb3 217 cmm_barrier(); /* Ensure the compiler does not reorder us with mutex */
7ac06cef
MD
218}
219
a5a9f428
PM
220/*
221 * Bring a thread online, allowing it to once again enter RCU
222 * read-side critical sections.
223 *
224 * This function is less than 10 lines long. The intent is that this
225 * function meets the 10-line criterion for LGPL, allowing this function
226 * to be invoked directly from non-LGPL code.
227 */
7ac06cef
MD
228static inline void _rcu_thread_online(void)
229{
5481ddb3 230 cmm_barrier(); /* Ensure the compiler does not reorder us with mutex */
15302e28 231 _CMM_STORE_SHARED(URCU_TLS(rcu_reader).ctr, CMM_LOAD_SHARED(rcu_gp.ctr));
5481ddb3 232 cmm_smp_mb();
7ac06cef
MD
233}
234
36bc70a8
MD
235#ifdef __cplusplus
236}
237#endif
238
7ac06cef 239#endif /* _URCU_QSBR_STATIC_H */
This page took 0.041231 seconds and 4 git commands to generate.