Add `urcu_posix_assert()` as `assert()` replacement
[urcu.git] / include / 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>
f0f7dbdd 34#include <limits.h>
bc6c15bb 35#include <unistd.h>
6d841bc2 36#include <stdint.h>
7ac06cef 37
01477510 38#include <urcu/debug.h>
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>
4477a870 46#include <urcu/static/urcu-common.h>
bc6c15bb 47
36bc70a8
MD
48#ifdef __cplusplus
49extern "C" {
67ecffc0 50#endif
36bc70a8 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
4477a870
MD
60#define URCU_QSBR_GP_ONLINE (1UL << 0)
61#define URCU_QSBR_GP_CTR (1UL << 1)
15302e28 62
4477a870 63extern struct urcu_gp urcu_qsbr_gp;
7ac06cef 64
4477a870 65struct urcu_qsbr_reader {
bd1a5e15 66 /* Data used by both reader and synchronize_rcu() */
4f8e3380 67 unsigned long ctr;
bd1a5e15 68 /* Data used for registry */
16aa9ee8 69 struct cds_list_head node __attribute__((aligned(CAA_CACHE_LINE_SIZE)));
83a2c421 70 int waiting;
4f8e3380 71 pthread_t tid;
a77f7d82
MD
72 /* Reader registered flag, for internal checks. */
73 unsigned int registered:1;
4f8e3380
MD
74};
75
4477a870 76extern DECLARE_URCU_TLS(struct urcu_qsbr_reader, urcu_qsbr_reader);
7ac06cef 77
bc6c15bb
MD
78/*
79 * Wake-up waiting synchronize_rcu(). Called from many concurrent threads.
80 */
4477a870 81static inline void urcu_qsbr_wake_up_gp(void)
bc6c15bb 82{
4477a870
MD
83 if (caa_unlikely(_CMM_LOAD_SHARED(URCU_TLS(urcu_qsbr_reader).waiting))) {
84 _CMM_STORE_SHARED(URCU_TLS(urcu_qsbr_reader).waiting, 0);
83a2c421 85 cmm_smp_mb();
4477a870 86 if (uatomic_read(&urcu_qsbr_gp.futex) != -1)
83a2c421 87 return;
4477a870 88 uatomic_set(&urcu_qsbr_gp.futex, 0);
b0a841b4
MD
89 /*
90 * Ignoring return value until we can make this function
91 * return something (because urcu_die() is not publicly
92 * exposed).
93 */
4477a870 94 (void) futex_noasync(&urcu_qsbr_gp.futex, FUTEX_WAKE, 1,
b0a841b4 95 NULL, NULL, 0);
bc6c15bb
MD
96 }
97}
98
4477a870 99static inline enum urcu_state urcu_qsbr_reader_state(unsigned long *ctr)
7ac06cef 100{
e26fa029 101 unsigned long v;
4e560c17 102
6cf3827c 103 v = CMM_LOAD_SHARED(*ctr);
708d89f0 104 if (!v)
4477a870
MD
105 return URCU_READER_INACTIVE;
106 if (v == urcu_qsbr_gp.ctr)
107 return URCU_READER_ACTIVE_CURRENT;
108 return URCU_READER_ACTIVE_OLD;
7ac06cef
MD
109}
110
a5a9f428
PM
111/*
112 * Enter an RCU read-side critical section.
113 *
114 * This function is less than 10 lines long. The intent is that this
115 * function meets the 10-line criterion for LGPL, allowing this function
116 * to be invoked directly from non-LGPL code.
117 */
4477a870 118static inline void _urcu_qsbr_read_lock(void)
7ac06cef 119{
2a27e931 120 urcu_assert_debug(URCU_TLS(urcu_qsbr_reader).ctr);
7ac06cef
MD
121}
122
a5a9f428
PM
123/*
124 * Exit an RCU read-side critical section.
125 *
126 * This function is less than 10 lines long. The intent is that this
127 * function meets the 10-line criterion for LGPL, allowing this function
128 * to be invoked directly from non-LGPL code.
129 */
4477a870 130static inline void _urcu_qsbr_read_unlock(void)
7ac06cef 131{
2a27e931 132 urcu_assert_debug(URCU_TLS(urcu_qsbr_reader).ctr);
7ac06cef
MD
133}
134
882f3357
MD
135/*
136 * Returns whether within a RCU read-side critical section.
137 *
138 * This function is less than 10 lines long. The intent is that this
139 * function meets the 10-line criterion for LGPL, allowing this function
140 * to be invoked directly from non-LGPL code.
141 */
4477a870 142static inline int _urcu_qsbr_read_ongoing(void)
882f3357 143{
4477a870 144 return URCU_TLS(urcu_qsbr_reader).ctr;
882f3357
MD
145}
146
f864c15d
MD
147/*
148 * This is a helper function for _rcu_quiescent_state().
149 * The first cmm_smp_mb() ensures memory accesses in the prior read-side
150 * critical sections are not reordered with store to
4477a870 151 * URCU_TLS(urcu_qsbr_reader).ctr, and ensures that mutexes held within an
f864c15d 152 * offline section that would happen to end with this
4477a870
MD
153 * urcu_qsbr_quiescent_state() call are not reordered with
154 * store to URCU_TLS(urcu_qsbr_reader).ctr.
f864c15d 155 */
4477a870 156static inline void _urcu_qsbr_quiescent_state_update_and_wakeup(unsigned long gp_ctr)
f864c15d
MD
157{
158 cmm_smp_mb();
4477a870
MD
159 _CMM_STORE_SHARED(URCU_TLS(urcu_qsbr_reader).ctr, gp_ctr);
160 cmm_smp_mb(); /* write URCU_TLS(urcu_qsbr_reader).ctr before read futex */
161 urcu_qsbr_wake_up_gp();
f864c15d
MD
162 cmm_smp_mb();
163}
164
a5a9f428
PM
165/*
166 * Inform RCU of a quiescent state.
167 *
168 * This function is less than 10 lines long. The intent is that this
169 * function meets the 10-line criterion for LGPL, allowing this function
170 * to be invoked directly from non-LGPL code.
f864c15d
MD
171 *
172 * We skip the memory barriers and gp store if our local ctr already
4477a870 173 * matches the global urcu_qsbr_gp.ctr value: this is OK because a prior
f864c15d
MD
174 * _rcu_quiescent_state() or _rcu_thread_online() already updated it
175 * within our thread, so we have no quiescent state to report.
a5a9f428 176 */
4477a870 177static inline void _urcu_qsbr_quiescent_state(void)
7ac06cef 178{
f864c15d
MD
179 unsigned long gp_ctr;
180
2a27e931 181 urcu_assert_debug(URCU_TLS(urcu_qsbr_reader).registered);
4477a870 182 if ((gp_ctr = CMM_LOAD_SHARED(urcu_qsbr_gp.ctr)) == URCU_TLS(urcu_qsbr_reader).ctr)
f864c15d 183 return;
4477a870 184 _urcu_qsbr_quiescent_state_update_and_wakeup(gp_ctr);
7ac06cef
MD
185}
186
a5a9f428
PM
187/*
188 * Take a thread offline, prohibiting it from entering further RCU
189 * read-side critical sections.
190 *
191 * This function is less than 10 lines long. The intent is that this
192 * function meets the 10-line criterion for LGPL, allowing this function
193 * to be invoked directly from non-LGPL code.
194 */
4477a870 195static inline void _urcu_qsbr_thread_offline(void)
7ac06cef 196{
2a27e931 197 urcu_assert_debug(URCU_TLS(urcu_qsbr_reader).registered);
5481ddb3 198 cmm_smp_mb();
4477a870
MD
199 CMM_STORE_SHARED(URCU_TLS(urcu_qsbr_reader).ctr, 0);
200 cmm_smp_mb(); /* write URCU_TLS(urcu_qsbr_reader).ctr before read futex */
201 urcu_qsbr_wake_up_gp();
5481ddb3 202 cmm_barrier(); /* Ensure the compiler does not reorder us with mutex */
7ac06cef
MD
203}
204
a5a9f428
PM
205/*
206 * Bring a thread online, allowing it to once again enter RCU
207 * read-side critical sections.
208 *
209 * This function is less than 10 lines long. The intent is that this
210 * function meets the 10-line criterion for LGPL, allowing this function
211 * to be invoked directly from non-LGPL code.
212 */
4477a870 213static inline void _urcu_qsbr_thread_online(void)
7ac06cef 214{
2a27e931 215 urcu_assert_debug(URCU_TLS(urcu_qsbr_reader).registered);
5481ddb3 216 cmm_barrier(); /* Ensure the compiler does not reorder us with mutex */
4477a870 217 _CMM_STORE_SHARED(URCU_TLS(urcu_qsbr_reader).ctr, CMM_LOAD_SHARED(urcu_qsbr_gp.ctr));
5481ddb3 218 cmm_smp_mb();
7ac06cef
MD
219}
220
67ecffc0 221#ifdef __cplusplus
36bc70a8
MD
222}
223#endif
224
7ac06cef 225#endif /* _URCU_QSBR_STATIC_H */
This page took 0.054601 seconds and 4 git commands to generate.