blob: b124bc6a75ad352101268e2d17f07cc9c2636dd7 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
Paul E. McKenneya71fca52009-09-18 10:28:19 -07002 * Read-Copy Update mechanism for mutual exclusion
Linus Torvalds1da177e2005-04-16 15:20:36 -07003 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
17 *
Paul E. McKenney01c1c662008-01-25 21:08:24 +010018 * Copyright IBM Corporation, 2001
Linus Torvalds1da177e2005-04-16 15:20:36 -070019 *
20 * Author: Dipankar Sarma <dipankar@in.ibm.com>
Paul E. McKenneya71fca52009-09-18 10:28:19 -070021 *
Josh Triplett595182b2006-10-04 02:17:21 -070022 * Based on the original work by Paul McKenney <paulmck@us.ibm.com>
Linus Torvalds1da177e2005-04-16 15:20:36 -070023 * and inputs from Rusty Russell, Andrea Arcangeli and Andi Kleen.
24 * Papers:
25 * http://www.rdrop.com/users/paulmck/paper/rclockpdcsproof.pdf
26 * http://lse.sourceforge.net/locking/rclock_OLS.2001.05.01c.sc.pdf (OLS2001)
27 *
28 * For detailed explanation of Read-Copy Update mechanism see -
Paul E. McKenneya71fca52009-09-18 10:28:19 -070029 * http://lse.sourceforge.net/locking/rcupdate.html
Linus Torvalds1da177e2005-04-16 15:20:36 -070030 *
31 */
32
33#ifndef __LINUX_RCUPDATE_H
34#define __LINUX_RCUPDATE_H
35
Linus Torvalds1da177e2005-04-16 15:20:36 -070036#include <linux/cache.h>
37#include <linux/spinlock.h>
38#include <linux/threads.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070039#include <linux/cpumask.h>
40#include <linux/seqlock.h>
Peter Zijlstra851a67b2007-10-11 22:11:12 +020041#include <linux/lockdep.h>
Paul E. McKenney4446a362008-05-12 21:21:05 +020042#include <linux/completion.h>
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -040043#include <linux/debugobjects.h>
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -070044#include <linux/compiler.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070045
Dave Younge5ab6772010-03-10 15:24:05 -080046#ifdef CONFIG_RCU_TORTURE_TEST
47extern int rcutorture_runnable; /* for sysctl */
48#endif /* #ifdef CONFIG_RCU_TORTURE_TEST */
49
Linus Torvalds1da177e2005-04-16 15:20:36 -070050/**
51 * struct rcu_head - callback structure for use with RCU
52 * @next: next update requests in a list
53 * @func: actual update function to call after the grace period.
54 */
55struct rcu_head {
56 struct rcu_head *next;
57 void (*func)(struct rcu_head *head);
58};
59
Paul E. McKenney03b042b2009-06-25 09:08:16 -070060/* Exported common interfaces */
Paul E. McKenney03b042b2009-06-25 09:08:16 -070061extern void rcu_barrier(void);
62extern void rcu_barrier_bh(void);
63extern void rcu_barrier_sched(void);
64extern void synchronize_sched_expedited(void);
65extern int sched_expedited_torture_stats(char *page);
66
67/* Internal to kernel */
68extern void rcu_init(void);
Paul E. McKenneya6826042009-02-25 18:03:42 -080069
Paul E. McKenneyf41d9112009-08-22 13:56:52 -070070#if defined(CONFIG_TREE_RCU) || defined(CONFIG_TREE_PREEMPT_RCU)
Paul E. McKenney64db4cf2008-12-18 21:55:32 +010071#include <linux/rcutree.h>
Paul E. McKenney2c28e242009-10-26 13:57:44 -070072#elif defined(CONFIG_TINY_RCU)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070073#include <linux/rcutiny.h>
Paul E. McKenney64db4cf2008-12-18 21:55:32 +010074#else
75#error "Unknown RCU implementation specified to kernel configuration"
Paul E. McKenney6b3ef482009-08-22 13:56:53 -070076#endif
Paul E. McKenney01c1c662008-01-25 21:08:24 +010077
Paul E. McKenney3d76c082009-09-28 07:46:32 -070078#define RCU_HEAD_INIT { .next = NULL, .func = NULL }
Dipankar Sarma8b6490e2005-09-09 13:04:07 -070079#define RCU_HEAD(head) struct rcu_head head = RCU_HEAD_INIT
Linus Torvalds1da177e2005-04-16 15:20:36 -070080#define INIT_RCU_HEAD(ptr) do { \
81 (ptr)->next = NULL; (ptr)->func = NULL; \
82} while (0)
83
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -040084/*
85 * init_rcu_head_on_stack()/destroy_rcu_head_on_stack() are needed for dynamic
86 * initialization and destruction of rcu_head on the stack. rcu_head structures
87 * allocated dynamically in the heap or defined statically don't need any
88 * initialization.
89 */
90#ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
91extern void init_rcu_head_on_stack(struct rcu_head *head);
92extern void destroy_rcu_head_on_stack(struct rcu_head *head);
93#else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
Mathieu Desnoyers43760302010-04-17 08:48:39 -040094static inline void init_rcu_head_on_stack(struct rcu_head *head)
95{
96}
97
98static inline void destroy_rcu_head_on_stack(struct rcu_head *head)
99{
100}
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400101#endif /* #else !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
Mathieu Desnoyers43760302010-04-17 08:48:39 -0400102
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700103#ifdef CONFIG_DEBUG_LOCK_ALLOC
Paul E. McKenney632ee202010-02-22 17:04:45 -0800104
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700105extern struct lockdep_map rcu_lock_map;
Paul E. McKenney632ee202010-02-22 17:04:45 -0800106# define rcu_read_acquire() \
107 lock_acquire(&rcu_lock_map, 0, 0, 2, 1, NULL, _THIS_IP_)
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700108# define rcu_read_release() lock_release(&rcu_lock_map, 1, _THIS_IP_)
Paul E. McKenney632ee202010-02-22 17:04:45 -0800109
110extern struct lockdep_map rcu_bh_lock_map;
111# define rcu_read_acquire_bh() \
112 lock_acquire(&rcu_bh_lock_map, 0, 0, 2, 1, NULL, _THIS_IP_)
113# define rcu_read_release_bh() lock_release(&rcu_bh_lock_map, 1, _THIS_IP_)
114
115extern struct lockdep_map rcu_sched_lock_map;
116# define rcu_read_acquire_sched() \
117 lock_acquire(&rcu_sched_lock_map, 0, 0, 2, 1, NULL, _THIS_IP_)
118# define rcu_read_release_sched() \
119 lock_release(&rcu_sched_lock_map, 1, _THIS_IP_)
120
Paul E. McKenneybc293d62010-04-15 12:50:39 -0700121extern int debug_lockdep_rcu_enabled(void);
Paul E. McKenney54dbf962010-03-03 07:46:57 -0800122
Paul E. McKenney632ee202010-02-22 17:04:45 -0800123/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700124 * rcu_read_lock_held() - might we be in RCU read-side critical section?
Paul E. McKenney632ee202010-02-22 17:04:45 -0800125 *
Paul E. McKenneyd20200b2010-03-30 10:52:21 -0700126 * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an RCU
127 * read-side critical section. In absence of CONFIG_DEBUG_LOCK_ALLOC,
Paul E. McKenney632ee202010-02-22 17:04:45 -0800128 * this assumes we are in an RCU read-side critical section unless it can
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700129 * prove otherwise. This is useful for debug checks in functions that
130 * require that they be called within an RCU read-side critical section.
Paul E. McKenney54dbf962010-03-03 07:46:57 -0800131 *
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700132 * Checks debug_lockdep_rcu_enabled() to prevent false positives during boot
Paul E. McKenney32c141a2010-03-30 10:59:28 -0700133 * and while lockdep is disabled.
Paul E. McKenney632ee202010-02-22 17:04:45 -0800134 */
135static inline int rcu_read_lock_held(void)
136{
Paul E. McKenney54dbf962010-03-03 07:46:57 -0800137 if (!debug_lockdep_rcu_enabled())
138 return 1;
139 return lock_is_held(&rcu_lock_map);
Paul E. McKenney632ee202010-02-22 17:04:45 -0800140}
141
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700142/*
143 * rcu_read_lock_bh_held() is defined out of line to avoid #include-file
144 * hell.
Paul E. McKenney632ee202010-02-22 17:04:45 -0800145 */
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700146extern int rcu_read_lock_bh_held(void);
Paul E. McKenney632ee202010-02-22 17:04:45 -0800147
148/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700149 * rcu_read_lock_sched_held() - might we be in RCU-sched read-side critical section?
Paul E. McKenney632ee202010-02-22 17:04:45 -0800150 *
Paul E. McKenneyd20200b2010-03-30 10:52:21 -0700151 * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an
152 * RCU-sched read-side critical section. In absence of
153 * CONFIG_DEBUG_LOCK_ALLOC, this assumes we are in an RCU-sched read-side
154 * critical section unless it can prove otherwise. Note that disabling
155 * of preemption (including disabling irqs) counts as an RCU-sched
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700156 * read-side critical section. This is useful for debug checks in functions
157 * that required that they be called within an RCU-sched read-side
158 * critical section.
Paul E. McKenney54dbf962010-03-03 07:46:57 -0800159 *
Paul E. McKenney32c141a2010-03-30 10:59:28 -0700160 * Check debug_lockdep_rcu_enabled() to prevent false positives during boot
161 * and while lockdep is disabled.
Paul E. McKenney632ee202010-02-22 17:04:45 -0800162 */
Paul E. McKenneye6033e32010-03-03 17:50:16 -0800163#ifdef CONFIG_PREEMPT
Paul E. McKenney632ee202010-02-22 17:04:45 -0800164static inline int rcu_read_lock_sched_held(void)
165{
166 int lockdep_opinion = 0;
167
Paul E. McKenney54dbf962010-03-03 07:46:57 -0800168 if (!debug_lockdep_rcu_enabled())
169 return 1;
Paul E. McKenney632ee202010-02-22 17:04:45 -0800170 if (debug_locks)
171 lockdep_opinion = lock_is_held(&rcu_sched_lock_map);
Lai Jiangshan0cff8102010-03-18 12:25:33 -0700172 return lockdep_opinion || preempt_count() != 0 || irqs_disabled();
Paul E. McKenney632ee202010-02-22 17:04:45 -0800173}
Paul E. McKenneye6033e32010-03-03 17:50:16 -0800174#else /* #ifdef CONFIG_PREEMPT */
175static inline int rcu_read_lock_sched_held(void)
176{
177 return 1;
178}
179#endif /* #else #ifdef CONFIG_PREEMPT */
Paul E. McKenney632ee202010-02-22 17:04:45 -0800180
181#else /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
182
183# define rcu_read_acquire() do { } while (0)
184# define rcu_read_release() do { } while (0)
185# define rcu_read_acquire_bh() do { } while (0)
186# define rcu_read_release_bh() do { } while (0)
187# define rcu_read_acquire_sched() do { } while (0)
188# define rcu_read_release_sched() do { } while (0)
189
190static inline int rcu_read_lock_held(void)
191{
192 return 1;
193}
194
195static inline int rcu_read_lock_bh_held(void)
196{
197 return 1;
198}
199
Paul E. McKenneye6033e32010-03-03 17:50:16 -0800200#ifdef CONFIG_PREEMPT
Paul E. McKenney632ee202010-02-22 17:04:45 -0800201static inline int rcu_read_lock_sched_held(void)
202{
Paul E. McKenneybbad9372010-04-02 16:17:17 -0700203 return preempt_count() != 0 || irqs_disabled();
Paul E. McKenney632ee202010-02-22 17:04:45 -0800204}
Paul E. McKenneye6033e32010-03-03 17:50:16 -0800205#else /* #ifdef CONFIG_PREEMPT */
206static inline int rcu_read_lock_sched_held(void)
207{
208 return 1;
209}
210#endif /* #else #ifdef CONFIG_PREEMPT */
Paul E. McKenney632ee202010-02-22 17:04:45 -0800211
212#endif /* #else #ifdef CONFIG_DEBUG_LOCK_ALLOC */
213
214#ifdef CONFIG_PROVE_RCU
215
Paul E. McKenneyee84b822010-05-06 09:28:41 -0700216extern int rcu_my_thread_group_empty(void);
217
Tetsuo Handa4221a992010-06-26 01:08:19 +0900218/**
219 * rcu_lockdep_assert - emit lockdep splat if specified condition not met
220 * @c: condition to check
221 */
222#define rcu_lockdep_assert(c) \
Lai Jiangshan2b3fc352010-04-20 16:23:07 +0800223 do { \
224 static bool __warned; \
225 if (debug_lockdep_rcu_enabled() && !__warned && !(c)) { \
226 __warned = true; \
227 lockdep_rcu_dereference(__FILE__, __LINE__); \
228 } \
229 } while (0)
230
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700231#else /* #ifdef CONFIG_PROVE_RCU */
232
Tetsuo Handa4221a992010-06-26 01:08:19 +0900233#define rcu_lockdep_assert(c) do { } while (0)
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700234
235#endif /* #else #ifdef CONFIG_PROVE_RCU */
236
237/*
238 * Helper functions for rcu_dereference_check(), rcu_dereference_protected()
239 * and rcu_assign_pointer(). Some of these could be folded into their
240 * callers, but they are left separate in order to ease introduction of
241 * multiple flavors of pointers to match the multiple flavors of RCU
242 * (e.g., __rcu_bh, * __rcu_sched, and __srcu), should this make sense in
243 * the future.
244 */
245#define __rcu_access_pointer(p, space) \
246 ({ \
247 typeof(*p) *_________p1 = (typeof(*p)*__force )ACCESS_ONCE(p); \
248 (void) (((typeof (*p) space *)p) == p); \
249 ((typeof(*p) __force __kernel *)(_________p1)); \
250 })
251#define __rcu_dereference_check(p, c, space) \
252 ({ \
253 typeof(*p) *_________p1 = (typeof(*p)*__force )ACCESS_ONCE(p); \
Tetsuo Handa4221a992010-06-26 01:08:19 +0900254 rcu_lockdep_assert(c); \
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700255 (void) (((typeof (*p) space *)p) == p); \
256 smp_read_barrier_depends(); \
257 ((typeof(*p) __force __kernel *)(_________p1)); \
258 })
259#define __rcu_dereference_protected(p, c, space) \
260 ({ \
Tetsuo Handa4221a992010-06-26 01:08:19 +0900261 rcu_lockdep_assert(c); \
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700262 (void) (((typeof (*p) space *)p) == p); \
263 ((typeof(*p) __force __kernel *)(p)); \
264 })
265
266#define __rcu_dereference_index_check(p, c) \
267 ({ \
268 typeof(p) _________p1 = ACCESS_ONCE(p); \
Tetsuo Handa4221a992010-06-26 01:08:19 +0900269 rcu_lockdep_assert(c); \
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700270 smp_read_barrier_depends(); \
271 (_________p1); \
272 })
273#define __rcu_assign_pointer(p, v, space) \
274 ({ \
275 if (!__builtin_constant_p(v) || \
276 ((v) != NULL)) \
277 smp_wmb(); \
278 (p) = (typeof(*v) __force space *)(v); \
279 })
280
281
Paul E. McKenney632ee202010-02-22 17:04:45 -0800282/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700283 * rcu_access_pointer() - fetch RCU pointer with no dereferencing
284 * @p: The pointer to read
285 *
286 * Return the value of the specified RCU-protected pointer, but omit the
287 * smp_read_barrier_depends() and keep the ACCESS_ONCE(). This is useful
288 * when the value of this pointer is accessed, but the pointer is not
289 * dereferenced, for example, when testing an RCU-protected pointer against
290 * NULL. Although rcu_access_pointer() may also be used in cases where
291 * update-side locks prevent the value of the pointer from changing, you
292 * should instead use rcu_dereference_protected() for this use case.
293 */
294#define rcu_access_pointer(p) __rcu_access_pointer((p), __rcu)
295
296/**
297 * rcu_dereference_check() - rcu_dereference with debug checking
David Howellsc08c68d2010-04-09 15:39:11 -0700298 * @p: The pointer to read, prior to dereferencing
299 * @c: The conditions under which the dereference will take place
Paul E. McKenney632ee202010-02-22 17:04:45 -0800300 *
David Howellsc08c68d2010-04-09 15:39:11 -0700301 * Do an rcu_dereference(), but check that the conditions under which the
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700302 * dereference will take place are correct. Typically the conditions
303 * indicate the various locking conditions that should be held at that
304 * point. The check should return true if the conditions are satisfied.
305 * An implicit check for being in an RCU read-side critical section
306 * (rcu_read_lock()) is included.
David Howellsc08c68d2010-04-09 15:39:11 -0700307 *
308 * For example:
309 *
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700310 * bar = rcu_dereference_check(foo->bar, lockdep_is_held(&foo->lock));
David Howellsc08c68d2010-04-09 15:39:11 -0700311 *
312 * could be used to indicate to lockdep that foo->bar may only be dereferenced
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700313 * if either rcu_read_lock() is held, or that the lock required to replace
David Howellsc08c68d2010-04-09 15:39:11 -0700314 * the bar struct at foo->bar is held.
315 *
316 * Note that the list of conditions may also include indications of when a lock
317 * need not be held, for example during initialisation or destruction of the
318 * target struct:
319 *
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700320 * bar = rcu_dereference_check(foo->bar, lockdep_is_held(&foo->lock) ||
David Howellsc08c68d2010-04-09 15:39:11 -0700321 * atomic_read(&foo->usage) == 0);
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700322 *
323 * Inserts memory barriers on architectures that require them
324 * (currently only the Alpha), prevents the compiler from refetching
325 * (and from merging fetches), and, more importantly, documents exactly
326 * which pointers are protected by RCU and checks that the pointer is
327 * annotated as __rcu.
Paul E. McKenney632ee202010-02-22 17:04:45 -0800328 */
329#define rcu_dereference_check(p, c) \
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700330 __rcu_dereference_check((p), rcu_read_lock_held() || (c), __rcu)
Paul E. McKenney632ee202010-02-22 17:04:45 -0800331
Paul E. McKenneyb62730b2010-04-09 15:39:10 -0700332/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700333 * rcu_dereference_bh_check() - rcu_dereference_bh with debug checking
334 * @p: The pointer to read, prior to dereferencing
335 * @c: The conditions under which the dereference will take place
336 *
337 * This is the RCU-bh counterpart to rcu_dereference_check().
338 */
339#define rcu_dereference_bh_check(p, c) \
340 __rcu_dereference_check((p), rcu_read_lock_bh_held() || (c), __rcu)
341
342/**
343 * rcu_dereference_sched_check() - rcu_dereference_sched with debug checking
344 * @p: The pointer to read, prior to dereferencing
345 * @c: The conditions under which the dereference will take place
346 *
347 * This is the RCU-sched counterpart to rcu_dereference_check().
348 */
349#define rcu_dereference_sched_check(p, c) \
350 __rcu_dereference_check((p), rcu_read_lock_sched_held() || (c), \
351 __rcu)
352
353#define rcu_dereference_raw(p) rcu_dereference_check(p, 1) /*@@@ needed? @@@*/
354
355/**
356 * rcu_dereference_index_check() - rcu_dereference for indices with debug checking
357 * @p: The pointer to read, prior to dereferencing
358 * @c: The conditions under which the dereference will take place
359 *
360 * Similar to rcu_dereference_check(), but omits the sparse checking.
361 * This allows rcu_dereference_index_check() to be used on integers,
362 * which can then be used as array indices. Attempting to use
363 * rcu_dereference_check() on an integer will give compiler warnings
364 * because the sparse address-space mechanism relies on dereferencing
365 * the RCU-protected pointer. Dereferencing integers is not something
366 * that even gcc will put up with.
367 *
368 * Note that this function does not implicitly check for RCU read-side
369 * critical sections. If this function gains lots of uses, it might
370 * make sense to provide versions for each flavor of RCU, but it does
371 * not make sense as of early 2010.
372 */
373#define rcu_dereference_index_check(p, c) \
374 __rcu_dereference_index_check((p), (c))
375
376/**
377 * rcu_dereference_protected() - fetch RCU pointer when updates prevented
378 * @p: The pointer to read, prior to dereferencing
379 * @c: The conditions under which the dereference will take place
Paul E. McKenneyb62730b2010-04-09 15:39:10 -0700380 *
381 * Return the value of the specified RCU-protected pointer, but omit
382 * both the smp_read_barrier_depends() and the ACCESS_ONCE(). This
383 * is useful in cases where update-side locks prevent the value of the
384 * pointer from changing. Please note that this primitive does -not-
385 * prevent the compiler from repeating this reference or combining it
386 * with other references, so it should not be used without protection
387 * of appropriate locks.
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700388 *
389 * This function is only for update-side use. Using this function
390 * when protected only by rcu_read_lock() will result in infrequent
391 * but very ugly failures.
Paul E. McKenneyb62730b2010-04-09 15:39:10 -0700392 */
393#define rcu_dereference_protected(p, c) \
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700394 __rcu_dereference_protected((p), (c), __rcu)
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700395
Linus Torvalds1da177e2005-04-16 15:20:36 -0700396/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700397 * rcu_dereference_bh_protected() - fetch RCU-bh pointer when updates prevented
398 * @p: The pointer to read, prior to dereferencing
399 * @c: The conditions under which the dereference will take place
Paul E. McKenneyb62730b2010-04-09 15:39:10 -0700400 *
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700401 * This is the RCU-bh counterpart to rcu_dereference_protected().
Paul E. McKenneyb62730b2010-04-09 15:39:10 -0700402 */
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700403#define rcu_dereference_bh_protected(p, c) \
404 __rcu_dereference_protected((p), (c), __rcu)
Paul E. McKenneyb62730b2010-04-09 15:39:10 -0700405
406/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700407 * rcu_dereference_sched_protected() - fetch RCU-sched pointer when updates prevented
408 * @p: The pointer to read, prior to dereferencing
409 * @c: The conditions under which the dereference will take place
410 *
411 * This is the RCU-sched counterpart to rcu_dereference_protected().
412 */
413#define rcu_dereference_sched_protected(p, c) \
414 __rcu_dereference_protected((p), (c), __rcu)
415
416
417/**
418 * rcu_dereference() - fetch RCU-protected pointer for dereferencing
419 * @p: The pointer to read, prior to dereferencing
420 *
421 * This is a simple wrapper around rcu_dereference_check().
422 */
423#define rcu_dereference(p) rcu_dereference_check(p, 0)
424
425/**
426 * rcu_dereference_bh() - fetch an RCU-bh-protected pointer for dereferencing
427 * @p: The pointer to read, prior to dereferencing
428 *
429 * Makes rcu_dereference_check() do the dirty work.
430 */
431#define rcu_dereference_bh(p) rcu_dereference_bh_check(p, 0)
432
433/**
434 * rcu_dereference_sched() - fetch RCU-sched-protected pointer for dereferencing
435 * @p: The pointer to read, prior to dereferencing
436 *
437 * Makes rcu_dereference_check() do the dirty work.
438 */
439#define rcu_dereference_sched(p) rcu_dereference_sched_check(p, 0)
440
441/**
442 * rcu_read_lock() - mark the beginning of an RCU read-side critical section
Linus Torvalds1da177e2005-04-16 15:20:36 -0700443 *
Paul E. McKenney9b06e812005-05-01 08:59:04 -0700444 * When synchronize_rcu() is invoked on one CPU while other CPUs
Linus Torvalds1da177e2005-04-16 15:20:36 -0700445 * are within RCU read-side critical sections, then the
Paul E. McKenney9b06e812005-05-01 08:59:04 -0700446 * synchronize_rcu() is guaranteed to block until after all the other
Linus Torvalds1da177e2005-04-16 15:20:36 -0700447 * CPUs exit their critical sections. Similarly, if call_rcu() is invoked
448 * on one CPU while other CPUs are within RCU read-side critical
449 * sections, invocation of the corresponding RCU callback is deferred
450 * until after the all the other CPUs exit their critical sections.
451 *
452 * Note, however, that RCU callbacks are permitted to run concurrently
453 * with RCU read-side critical sections. One way that this can happen
454 * is via the following sequence of events: (1) CPU 0 enters an RCU
455 * read-side critical section, (2) CPU 1 invokes call_rcu() to register
456 * an RCU callback, (3) CPU 0 exits the RCU read-side critical section,
457 * (4) CPU 2 enters a RCU read-side critical section, (5) the RCU
458 * callback is invoked. This is legal, because the RCU read-side critical
459 * section that was running concurrently with the call_rcu() (and which
460 * therefore might be referencing something that the corresponding RCU
461 * callback would free up) has completed before the corresponding
462 * RCU callback is invoked.
463 *
464 * RCU read-side critical sections may be nested. Any deferred actions
465 * will be deferred until the outermost RCU read-side critical section
466 * completes.
467 *
468 * It is illegal to block while in an RCU read-side critical section.
469 */
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700470static inline void rcu_read_lock(void)
471{
472 __rcu_read_lock();
473 __acquire(RCU);
474 rcu_read_acquire();
475}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700476
Linus Torvalds1da177e2005-04-16 15:20:36 -0700477/*
478 * So where is rcu_write_lock()? It does not exist, as there is no
479 * way for writers to lock out RCU readers. This is a feature, not
480 * a bug -- this property is what provides RCU's performance benefits.
481 * Of course, writers must coordinate with each other. The normal
482 * spinlock primitives work well for this, but any other technique may be
483 * used as well. RCU does not care how the writers keep out of each
484 * others' way, as long as they do so.
485 */
Paul E. McKenney3d76c082009-09-28 07:46:32 -0700486
487/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700488 * rcu_read_unlock() - marks the end of an RCU read-side critical section.
Paul E. McKenney3d76c082009-09-28 07:46:32 -0700489 *
490 * See rcu_read_lock() for more information.
491 */
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700492static inline void rcu_read_unlock(void)
493{
494 rcu_read_release();
495 __release(RCU);
496 __rcu_read_unlock();
497}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700498
499/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700500 * rcu_read_lock_bh() - mark the beginning of an RCU-bh critical section
Linus Torvalds1da177e2005-04-16 15:20:36 -0700501 *
502 * This is equivalent of rcu_read_lock(), but to be used when updates
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700503 * are being done using call_rcu_bh() or synchronize_rcu_bh(). Since
504 * both call_rcu_bh() and synchronize_rcu_bh() consider completion of a
505 * softirq handler to be a quiescent state, a process in RCU read-side
506 * critical section must be protected by disabling softirqs. Read-side
507 * critical sections in interrupt context can use just rcu_read_lock(),
508 * though this should at least be commented to avoid confusing people
509 * reading the code.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700510 */
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700511static inline void rcu_read_lock_bh(void)
512{
513 __rcu_read_lock_bh();
514 __acquire(RCU_BH);
Paul E. McKenney632ee202010-02-22 17:04:45 -0800515 rcu_read_acquire_bh();
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700516}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700517
518/*
519 * rcu_read_unlock_bh - marks the end of a softirq-only RCU critical section
520 *
521 * See rcu_read_lock_bh() for more information.
522 */
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700523static inline void rcu_read_unlock_bh(void)
524{
Paul E. McKenney632ee202010-02-22 17:04:45 -0800525 rcu_read_release_bh();
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700526 __release(RCU_BH);
527 __rcu_read_unlock_bh();
528}
Linus Torvalds1da177e2005-04-16 15:20:36 -0700529
530/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700531 * rcu_read_lock_sched() - mark the beginning of a RCU-sched critical section
Mathieu Desnoyers1c50b722008-09-29 11:06:46 -0400532 *
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700533 * This is equivalent of rcu_read_lock(), but to be used when updates
534 * are being done using call_rcu_sched() or synchronize_rcu_sched().
535 * Read-side critical sections can also be introduced by anything that
536 * disables preemption, including local_irq_disable() and friends.
Mathieu Desnoyers1c50b722008-09-29 11:06:46 -0400537 */
Paul E. McKenneyd6714c22009-08-22 13:56:46 -0700538static inline void rcu_read_lock_sched(void)
539{
540 preempt_disable();
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700541 __acquire(RCU_SCHED);
Paul E. McKenney632ee202010-02-22 17:04:45 -0800542 rcu_read_acquire_sched();
Paul E. McKenneyd6714c22009-08-22 13:56:46 -0700543}
Paul E. McKenney1eba8f82009-09-23 09:50:42 -0700544
545/* Used by lockdep and tracing: cannot be traced, cannot call lockdep. */
Paul E. McKenney7c614d62009-08-24 09:42:00 -0700546static inline notrace void rcu_read_lock_sched_notrace(void)
Paul E. McKenneyd6714c22009-08-22 13:56:46 -0700547{
548 preempt_disable_notrace();
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700549 __acquire(RCU_SCHED);
Paul E. McKenneyd6714c22009-08-22 13:56:46 -0700550}
Mathieu Desnoyers1c50b722008-09-29 11:06:46 -0400551
552/*
553 * rcu_read_unlock_sched - marks the end of a RCU-classic critical section
554 *
555 * See rcu_read_lock_sched for more information.
556 */
Paul E. McKenneyd6714c22009-08-22 13:56:46 -0700557static inline void rcu_read_unlock_sched(void)
558{
Paul E. McKenney632ee202010-02-22 17:04:45 -0800559 rcu_read_release_sched();
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700560 __release(RCU_SCHED);
Paul E. McKenneyd6714c22009-08-22 13:56:46 -0700561 preempt_enable();
562}
Paul E. McKenney1eba8f82009-09-23 09:50:42 -0700563
564/* Used by lockdep and tracing: cannot be traced, cannot call lockdep. */
Paul E. McKenney7c614d62009-08-24 09:42:00 -0700565static inline notrace void rcu_read_unlock_sched_notrace(void)
Paul E. McKenneyd6714c22009-08-22 13:56:46 -0700566{
Paul E. McKenneybc33f242009-08-22 13:56:47 -0700567 __release(RCU_SCHED);
Paul E. McKenneyd6714c22009-08-22 13:56:46 -0700568 preempt_enable_notrace();
569}
Mathieu Desnoyers1c50b722008-09-29 11:06:46 -0400570
Mathieu Desnoyers1c50b722008-09-29 11:06:46 -0400571/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700572 * rcu_assign_pointer() - assign to RCU-protected pointer
573 * @p: pointer to assign to
574 * @v: value to assign (publish)
Paul E. McKenneyc26d34a2010-02-22 17:04:46 -0800575 *
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700576 * Assigns the specified value to the specified RCU-protected
577 * pointer, ensuring that any concurrent RCU readers will see
578 * any prior initialization. Returns the value assigned.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579 *
580 * Inserts memory barriers on architectures that require them
581 * (pretty much all of them other than x86), and also prevents
582 * the compiler from reordering the code that initializes the
583 * structure after the pointer assignment. More importantly, this
584 * call documents which pointers will be dereferenced by RCU read-side
585 * code.
586 */
Paul E. McKenneyd99c4f62008-02-06 01:37:25 -0800587#define rcu_assign_pointer(p, v) \
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700588 __rcu_assign_pointer((p), (v), __rcu)
589
590/**
591 * RCU_INIT_POINTER() - initialize an RCU protected pointer
592 *
593 * Initialize an RCU-protected pointer in such a way to avoid RCU-lockdep
594 * splats.
595 */
596#define RCU_INIT_POINTER(p, v) \
597 p = (typeof(*v) __force __rcu *)(v)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700598
Paul E. McKenney4446a362008-05-12 21:21:05 +0200599/* Infrastructure to implement the synchronize_() primitives. */
600
601struct rcu_synchronize {
602 struct rcu_head head;
603 struct completion completion;
604};
605
606extern void wakeme_after_rcu(struct rcu_head *head);
607
Paul E. McKenney9b06e812005-05-01 08:59:04 -0700608/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700609 * call_rcu() - Queue an RCU callback for invocation after a grace period.
Paul E. McKenney01c1c662008-01-25 21:08:24 +0100610 * @head: structure to be used for queueing the RCU updates.
611 * @func: actual update function to be invoked after the grace period
612 *
613 * The update function will be invoked some time after a full grace
614 * period elapses, in other words after all currently executing RCU
615 * read-side critical sections have completed. RCU read-side critical
616 * sections are delimited by rcu_read_lock() and rcu_read_unlock(),
617 * and may be nested.
618 */
619extern void call_rcu(struct rcu_head *head,
620 void (*func)(struct rcu_head *head));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700621
Paul E. McKenney01c1c662008-01-25 21:08:24 +0100622/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700623 * call_rcu_bh() - Queue an RCU for invocation after a quicker grace period.
Paul E. McKenney01c1c662008-01-25 21:08:24 +0100624 * @head: structure to be used for queueing the RCU updates.
625 * @func: actual update function to be invoked after the grace period
626 *
627 * The update function will be invoked some time after a full grace
628 * period elapses, in other words after all currently executing RCU
629 * read-side critical sections have completed. call_rcu_bh() assumes
630 * that the read-side critical sections end on completion of a softirq
631 * handler. This means that read-side critical sections in process
632 * context must not be interrupted by softirqs. This interface is to be
633 * used when most of the read-side critical sections are in softirq context.
634 * RCU read-side critical sections are delimited by :
635 * - rcu_read_lock() and rcu_read_unlock(), if in interrupt context.
636 * OR
637 * - rcu_read_lock_bh() and rcu_read_unlock_bh(), if in process context.
638 * These may be nested.
639 */
640extern void call_rcu_bh(struct rcu_head *head,
641 void (*func)(struct rcu_head *head));
642
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400643/*
644 * debug_rcu_head_queue()/debug_rcu_head_unqueue() are used internally
645 * by call_rcu() and rcu callback execution, and are therefore not part of the
646 * RCU API. Leaving in rcupdate.h because they are used by all RCU flavors.
647 */
648
649#ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
650# define STATE_RCU_HEAD_READY 0
651# define STATE_RCU_HEAD_QUEUED 1
652
653extern struct debug_obj_descr rcuhead_debug_descr;
654
655static inline void debug_rcu_head_queue(struct rcu_head *head)
656{
657 debug_object_activate(head, &rcuhead_debug_descr);
658 debug_object_active_state(head, &rcuhead_debug_descr,
659 STATE_RCU_HEAD_READY,
660 STATE_RCU_HEAD_QUEUED);
661}
662
663static inline void debug_rcu_head_unqueue(struct rcu_head *head)
664{
665 debug_object_active_state(head, &rcuhead_debug_descr,
666 STATE_RCU_HEAD_QUEUED,
667 STATE_RCU_HEAD_READY);
668 debug_object_deactivate(head, &rcuhead_debug_descr);
669}
670#else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
671static inline void debug_rcu_head_queue(struct rcu_head *head)
672{
673}
674
675static inline void debug_rcu_head_unqueue(struct rcu_head *head)
676{
677}
678#endif /* #else !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
679
Linus Torvalds1da177e2005-04-16 15:20:36 -0700680#endif /* __LINUX_RCUPDATE_H */