blob: 4732594225478a90bb5f40e0c3f4f7d5bf517693 [file] [log] [blame]
Paul E. McKenneyb5b11892019-01-17 10:05:33 -08001/* SPDX-License-Identifier: GPL-2.0+ */
Paul E. McKenney29c00b42011-06-17 15:53:19 -07002/*
3 * Read-Copy Update definitions shared among RCU implementations.
4 *
Paul E. McKenney29c00b42011-06-17 15:53:19 -07005 * Copyright IBM Corporation, 2011
6 *
Paul E. McKenneyb5b11892019-01-17 10:05:33 -08007 * Author: Paul E. McKenney <paulmck@linux.ibm.com>
Paul E. McKenney29c00b42011-06-17 15:53:19 -07008 */
9
10#ifndef __LINUX_RCU_H
11#define __LINUX_RCU_H
12
Paul Gortmaker5cb5c6e2014-02-19 14:33:27 -050013#include <trace/events/rcu.h>
Paul E. McKenneye99033c2011-06-21 00:13:44 -070014
Paul E. McKenneyc2d80892018-11-28 12:47:23 -080015/* Offset to allow distinguishing irq vs. task-based idle entry/exit. */
Paul E. McKenney84585aa2017-10-04 15:55:16 -070016#define DYNTICK_IRQ_NONIDLE ((LONG_MAX / 2) + 1)
Paul E. McKenney6136d6e2017-10-03 08:28:04 -070017
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080018
19/*
20 * Grace-period counter management.
21 */
22
Paul E. McKenneyf1ec57a2017-03-21 10:35:57 -070023#define RCU_SEQ_CTR_SHIFT 2
Paul E. McKenney031aeee2017-03-21 07:28:14 -070024#define RCU_SEQ_STATE_MASK ((1 << RCU_SEQ_CTR_SHIFT) - 1)
25
26/*
27 * Return the counter portion of a sequence number previously returned
28 * by rcu_seq_snap() or rcu_seq_current().
29 */
30static inline unsigned long rcu_seq_ctr(unsigned long s)
31{
32 return s >> RCU_SEQ_CTR_SHIFT;
33}
34
35/*
36 * Return the state portion of a sequence number previously returned
37 * by rcu_seq_snap() or rcu_seq_current().
38 */
39static inline int rcu_seq_state(unsigned long s)
40{
41 return s & RCU_SEQ_STATE_MASK;
42}
43
Paul E. McKenney80a79562017-03-22 15:26:18 -070044/*
45 * Set the state portion of the pointed-to sequence number.
46 * The caller is responsible for preventing conflicting updates.
47 */
48static inline void rcu_seq_set_state(unsigned long *sp, int newstate)
49{
50 WARN_ON_ONCE(newstate & ~RCU_SEQ_STATE_MASK);
51 WRITE_ONCE(*sp, (*sp & ~RCU_SEQ_STATE_MASK) + newstate);
52}
53
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080054/* Adjust sequence number for start of update-side operation. */
55static inline void rcu_seq_start(unsigned long *sp)
56{
57 WRITE_ONCE(*sp, *sp + 1);
58 smp_mb(); /* Ensure update-side operation after counter increment. */
Paul E. McKenney031aeee2017-03-21 07:28:14 -070059 WARN_ON_ONCE(rcu_seq_state(*sp) != 1);
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080060}
61
Paul E. McKenney9a414202018-01-31 19:23:24 -080062/* Compute the end-of-grace-period value for the specified sequence number. */
63static inline unsigned long rcu_seq_endval(unsigned long *sp)
64{
65 return (*sp | RCU_SEQ_STATE_MASK) + 1;
66}
67
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080068/* Adjust sequence number for end of update-side operation. */
69static inline void rcu_seq_end(unsigned long *sp)
70{
71 smp_mb(); /* Ensure update-side operation before counter increment. */
Paul E. McKenney031aeee2017-03-21 07:28:14 -070072 WARN_ON_ONCE(!rcu_seq_state(*sp));
Paul E. McKenney9a414202018-01-31 19:23:24 -080073 WRITE_ONCE(*sp, rcu_seq_endval(sp));
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080074}
75
Joel Fernandes (Google)0d805a72018-05-22 23:38:13 -070076/*
77 * rcu_seq_snap - Take a snapshot of the update side's sequence number.
78 *
79 * This function returns the earliest value of the grace-period sequence number
80 * that will indicate that a full grace period has elapsed since the current
81 * time. Once the grace-period sequence number has reached this value, it will
82 * be safe to invoke all callbacks that have been registered prior to the
83 * current time. This value is the current grace-period number plus two to the
84 * power of the number of low-order bits reserved for state, then rounded up to
85 * the next value in which the state bits are all zero.
86 */
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080087static inline unsigned long rcu_seq_snap(unsigned long *sp)
88{
89 unsigned long s;
90
Paul E. McKenney031aeee2017-03-21 07:28:14 -070091 s = (READ_ONCE(*sp) + 2 * RCU_SEQ_STATE_MASK + 1) & ~RCU_SEQ_STATE_MASK;
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080092 smp_mb(); /* Above access must not bleed into critical section. */
93 return s;
94}
95
Paul E. McKenney8660b7d2017-03-13 16:48:18 -070096/* Return the current value the update side's sequence number, no ordering. */
97static inline unsigned long rcu_seq_current(unsigned long *sp)
98{
99 return READ_ONCE(*sp);
100}
101
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -0800102/*
Paul E. McKenney2e3e5e52018-05-15 11:53:41 -0700103 * Given a snapshot from rcu_seq_snap(), determine whether or not the
104 * corresponding update-side operation has started.
105 */
106static inline bool rcu_seq_started(unsigned long *sp, unsigned long s)
107{
108 return ULONG_CMP_LT((s - 1) & ~RCU_SEQ_STATE_MASK, READ_ONCE(*sp));
109}
110
111/*
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -0800112 * Given a snapshot from rcu_seq_snap(), determine whether or not a
113 * full update-side operation has occurred.
114 */
115static inline bool rcu_seq_done(unsigned long *sp, unsigned long s)
116{
117 return ULONG_CMP_GE(READ_ONCE(*sp), s);
118}
119
Paul E. McKenney4145fa72011-10-31 15:01:54 -0700120/*
Paul E. McKenney67e14c12018-04-27 16:01:46 -0700121 * Has a grace period completed since the time the old gp_seq was collected?
122 */
123static inline bool rcu_seq_completed_gp(unsigned long old, unsigned long new)
124{
125 return ULONG_CMP_LT(old, new & ~RCU_SEQ_STATE_MASK);
126}
127
128/*
129 * Has a grace period started since the time the old gp_seq was collected?
130 */
131static inline bool rcu_seq_new_gp(unsigned long old, unsigned long new)
132{
133 return ULONG_CMP_LT((old + RCU_SEQ_STATE_MASK) & ~RCU_SEQ_STATE_MASK,
134 new);
135}
136
137/*
Paul E. McKenneyd72193122018-05-15 15:24:41 -0700138 * Roughly how many full grace periods have elapsed between the collection
139 * of the two specified grace periods?
140 */
141static inline unsigned long rcu_seq_diff(unsigned long new, unsigned long old)
142{
Paul E. McKenney2ee5aca2018-06-09 01:22:20 -0700143 unsigned long rnd_diff;
144
145 if (old == new)
146 return 0;
147 /*
148 * Compute the number of grace periods (still shifted up), plus
149 * one if either of new and old is not an exact grace period.
150 */
151 rnd_diff = (new & ~RCU_SEQ_STATE_MASK) -
152 ((old + RCU_SEQ_STATE_MASK) & ~RCU_SEQ_STATE_MASK) +
153 ((new & RCU_SEQ_STATE_MASK) || (old & RCU_SEQ_STATE_MASK));
154 if (ULONG_CMP_GE(RCU_SEQ_STATE_MASK, rnd_diff))
155 return 1; /* Definitely no grace period has elapsed. */
156 return ((rnd_diff - RCU_SEQ_STATE_MASK - 1) >> RCU_SEQ_CTR_SHIFT) + 2;
Paul E. McKenneyd72193122018-05-15 15:24:41 -0700157}
158
159/*
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700160 * debug_rcu_head_queue()/debug_rcu_head_unqueue() are used internally
Paul E. McKenney7f87c032018-07-07 18:12:26 -0700161 * by call_rcu() and rcu callback execution, and are therefore not part
162 * of the RCU API. These are in rcupdate.h because they are used by all
163 * RCU implementations.
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700164 */
165
166#ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
167# define STATE_RCU_HEAD_READY 0
168# define STATE_RCU_HEAD_QUEUED 1
169
170extern struct debug_obj_descr rcuhead_debug_descr;
171
Paul E. McKenneyae150182013-04-23 13:20:57 -0700172static inline int debug_rcu_head_queue(struct rcu_head *head)
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700173{
Paul E. McKenneyae150182013-04-23 13:20:57 -0700174 int r1;
175
176 r1 = debug_object_activate(head, &rcuhead_debug_descr);
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700177 debug_object_active_state(head, &rcuhead_debug_descr,
178 STATE_RCU_HEAD_READY,
179 STATE_RCU_HEAD_QUEUED);
Paul E. McKenneyae150182013-04-23 13:20:57 -0700180 return r1;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700181}
182
183static inline void debug_rcu_head_unqueue(struct rcu_head *head)
184{
185 debug_object_active_state(head, &rcuhead_debug_descr,
186 STATE_RCU_HEAD_QUEUED,
187 STATE_RCU_HEAD_READY);
188 debug_object_deactivate(head, &rcuhead_debug_descr);
189}
190#else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
Paul E. McKenneyae150182013-04-23 13:20:57 -0700191static inline int debug_rcu_head_queue(struct rcu_head *head)
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700192{
Paul E. McKenneyae150182013-04-23 13:20:57 -0700193 return 0;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700194}
195
196static inline void debug_rcu_head_unqueue(struct rcu_head *head)
197{
198}
199#endif /* #else !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
200
Teodora Balutabd73a7f2013-11-11 17:11:24 +0200201void kfree(const void *);
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700202
Paul E. McKenney406e3e52014-06-23 13:48:28 -0700203/*
204 * Reclaim the specified callback, either by invoking it (non-lazy case)
205 * or freeing it directly (lazy case). Return true if lazy, false otherwise.
206 */
Steven Rostedt (Red Hat)e66c33d2013-07-12 16:50:28 -0400207static inline bool __rcu_reclaim(const char *rn, struct rcu_head *head)
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700208{
Paul E. McKenney74de6962018-07-24 15:28:09 -0700209 rcu_callback_t f;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700210 unsigned long offset = (unsigned long)head->func;
211
Paul E. McKenney24ef6592013-10-28 09:22:24 -0700212 rcu_lock_acquire(&rcu_callback_map);
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700213 if (__is_kfree_rcu_offset(offset)) {
Yafang Shao4f5fbd72019-03-26 20:13:11 +0800214 trace_rcu_invoke_kfree_callback(rn, head, offset);
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700215 kfree((void *)head - offset);
Paul E. McKenney24ef6592013-10-28 09:22:24 -0700216 rcu_lock_release(&rcu_callback_map);
Paul E. McKenney406e3e52014-06-23 13:48:28 -0700217 return true;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700218 } else {
Yafang Shao4f5fbd72019-03-26 20:13:11 +0800219 trace_rcu_invoke_callback(rn, head);
Paul E. McKenney74de6962018-07-24 15:28:09 -0700220 f = head->func;
221 WRITE_ONCE(head->func, (rcu_callback_t)0L);
222 f(head);
Paul E. McKenney24ef6592013-10-28 09:22:24 -0700223 rcu_lock_release(&rcu_callback_map);
Paul E. McKenney406e3e52014-06-23 13:48:28 -0700224 return false;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700225 }
226}
227
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700228#ifdef CONFIG_RCU_STALL_COMMON
229
Paul E. McKenneycdc694b2019-06-13 15:30:49 -0700230extern int rcu_cpu_stall_ftrace_dump;
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700231extern int rcu_cpu_stall_suppress;
Paul E. McKenney10462d62019-01-11 16:10:57 -0800232extern int rcu_cpu_stall_timeout;
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700233int rcu_jiffies_till_stall_check(void);
234
Paul E. McKenneyf22ce092017-09-01 14:40:54 -0700235#define rcu_ftrace_dump_stall_suppress() \
236do { \
237 if (!rcu_cpu_stall_suppress) \
238 rcu_cpu_stall_suppress = 3; \
239} while (0)
240
241#define rcu_ftrace_dump_stall_unsuppress() \
242do { \
243 if (rcu_cpu_stall_suppress == 3) \
244 rcu_cpu_stall_suppress = 0; \
245} while (0)
246
247#else /* #endif #ifdef CONFIG_RCU_STALL_COMMON */
248#define rcu_ftrace_dump_stall_suppress()
249#define rcu_ftrace_dump_stall_unsuppress()
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700250#endif /* #ifdef CONFIG_RCU_STALL_COMMON */
251
Paul E. McKenney0d752922013-08-17 18:08:37 -0700252/*
253 * Strings used in tracepoints need to be exported via the
254 * tracing system such that tools like perf and trace-cmd can
255 * translate the string address pointers to actual text.
256 */
257#define TPS(x) tracepoint_string(x)
258
Paul E. McKenneyb8989b72017-05-03 12:28:59 -0700259/*
260 * Dump the ftrace buffer, but only one time per callsite per boot.
261 */
262#define rcu_ftrace_dump(oops_dump_mode) \
263do { \
264 static atomic_t ___rfd_beenhere = ATOMIC_INIT(0); \
265 \
266 if (!atomic_read(&___rfd_beenhere) && \
Paul E. McKenney83b6ca12017-08-31 16:47:08 -0700267 !atomic_xchg(&___rfd_beenhere, 1)) { \
268 tracing_off(); \
Paul E. McKenneyf22ce092017-09-01 14:40:54 -0700269 rcu_ftrace_dump_stall_suppress(); \
Paul E. McKenneyb8989b72017-05-03 12:28:59 -0700270 ftrace_dump(oops_dump_mode); \
Paul E. McKenneyf22ce092017-09-01 14:40:54 -0700271 rcu_ftrace_dump_stall_unsuppress(); \
Paul E. McKenney83b6ca12017-08-31 16:47:08 -0700272 } \
Paul E. McKenneyb8989b72017-05-03 12:28:59 -0700273} while (0)
274
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400275void rcu_early_boot_tests(void);
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800276void rcu_test_sync_prims(void);
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400277
Lai Jiangshan5f6130f2014-12-09 17:53:34 +0800278/*
279 * This function really isn't for public consumption, but RCU is special in
280 * that context switches can allow the state machine to make progress.
281 */
282extern void resched_cpu(int cpu);
283
Lai Jiangshan822175e2019-10-15 10:23:56 +0000284#if defined(CONFIG_SRCU) || !defined(CONFIG_TINY_RCU)
Paul E. McKenney2b34c432017-03-14 14:29:53 -0700285
286#include <linux/rcu_node_tree.h>
287
288extern int rcu_num_lvls;
Paul E. McKenneye95d68d2017-03-15 13:11:11 -0700289extern int num_rcu_lvl[];
Paul E. McKenney2b34c432017-03-14 14:29:53 -0700290extern int rcu_num_nodes;
291static bool rcu_fanout_exact;
292static int rcu_fanout_leaf;
293
294/*
295 * Compute the per-level fanout, either using the exact fanout specified
296 * or balancing the tree, depending on the rcu_fanout_exact boot parameter.
297 */
298static inline void rcu_init_levelspread(int *levelspread, const int *levelcnt)
299{
300 int i;
301
Paul E. McKenney36b5dae2019-09-18 10:10:31 -0700302 for (i = 0; i < RCU_NUM_LVLS; i++)
303 levelspread[i] = INT_MIN;
Paul E. McKenney2b34c432017-03-14 14:29:53 -0700304 if (rcu_fanout_exact) {
305 levelspread[rcu_num_lvls - 1] = rcu_fanout_leaf;
306 for (i = rcu_num_lvls - 2; i >= 0; i--)
307 levelspread[i] = RCU_FANOUT;
308 } else {
309 int ccur;
310 int cprv;
311
312 cprv = nr_cpu_ids;
313 for (i = rcu_num_lvls - 1; i >= 0; i--) {
314 ccur = levelcnt[i];
315 levelspread[i] = (cprv + ccur - 1) / ccur;
316 cprv = ccur;
317 }
318 }
319}
320
Paul E. McKenney7f87c032018-07-07 18:12:26 -0700321/* Returns a pointer to the first leaf rcu_node structure. */
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700322#define rcu_first_leaf_node() (rcu_state.level[rcu_num_lvls - 1])
Paul E. McKenney5b4c11d2018-04-13 17:11:44 -0700323
324/* Is this rcu_node a leaf? */
325#define rcu_is_leaf_node(rnp) ((rnp)->level == rcu_num_lvls - 1)
326
Paul E. McKenney52575142018-04-24 11:03:39 -0700327/* Is this rcu_node the last leaf? */
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700328#define rcu_is_last_leaf_node(rnp) ((rnp) == &rcu_state.node[rcu_num_nodes - 1])
Paul E. McKenney52575142018-04-24 11:03:39 -0700329
Paul E. McKenneyefbe4512017-03-15 13:07:53 -0700330/*
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700331 * Do a full breadth-first scan of the {s,}rcu_node structures for the
Paul E. McKenney7f87c032018-07-07 18:12:26 -0700332 * specified state structure (for SRCU) or the only rcu_state structure
333 * (for RCU).
Paul E. McKenneyefbe4512017-03-15 13:07:53 -0700334 */
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700335#define srcu_for_each_node_breadth_first(sp, rnp) \
336 for ((rnp) = &(sp)->node[0]; \
337 (rnp) < &(sp)->node[rcu_num_nodes]; (rnp)++)
338#define rcu_for_each_node_breadth_first(rnp) \
339 srcu_for_each_node_breadth_first(&rcu_state, rnp)
Paul E. McKenneyefbe4512017-03-15 13:07:53 -0700340
341/*
Paul E. McKenney7f87c032018-07-07 18:12:26 -0700342 * Scan the leaves of the rcu_node hierarchy for the rcu_state structure.
343 * Note that if there is a singleton rcu_node tree with but one rcu_node
344 * structure, this loop -will- visit the rcu_node structure. It is still
345 * a leaf node, even if it is also the root node.
Paul E. McKenneyefbe4512017-03-15 13:07:53 -0700346 */
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700347#define rcu_for_each_leaf_node(rnp) \
348 for ((rnp) = rcu_first_leaf_node(); \
349 (rnp) < &rcu_state.node[rcu_num_nodes]; (rnp)++)
Paul E. McKenneyefbe4512017-03-15 13:07:53 -0700350
351/*
352 * Iterate over all possible CPUs in a leaf RCU node.
353 */
354#define for_each_leaf_node_possible_cpu(rnp, cpu) \
Paul E. McKenney65963d22018-01-31 20:24:15 -0800355 for ((cpu) = cpumask_next((rnp)->grplo - 1, cpu_possible_mask); \
356 (cpu) <= rnp->grphi; \
357 (cpu) = cpumask_next((cpu), cpu_possible_mask))
358
359/*
360 * Iterate over all CPUs in a leaf RCU node's specified mask.
361 */
362#define rcu_find_next_bit(rnp, cpu, mask) \
363 ((rnp)->grplo + find_next_bit(&(mask), BITS_PER_LONG, (cpu)))
364#define for_each_leaf_node_cpu_mask(rnp, cpu, mask) \
365 for ((cpu) = rcu_find_next_bit((rnp), 0, (mask)); \
366 (cpu) <= rnp->grphi; \
367 (cpu) = rcu_find_next_bit((rnp), (cpu) + 1 - (rnp->grplo), (mask)))
Paul E. McKenneyefbe4512017-03-15 13:07:53 -0700368
Paul E. McKenney83d40bd2017-05-09 13:28:51 -0700369/*
370 * Wrappers for the rcu_node::lock acquire and release.
371 *
372 * Because the rcu_nodes form a tree, the tree traversal locking will observe
373 * different lock values, this in turn means that an UNLOCK of one level
374 * followed by a LOCK of another level does not imply a full memory barrier;
375 * and most importantly transitivity is lost.
376 *
377 * In order to restore full ordering between tree levels, augment the regular
378 * lock acquire functions with smp_mb__after_unlock_lock().
379 *
380 * As ->lock of struct rcu_node is a __private field, therefore one should use
381 * these wrappers rather than directly call raw_spin_{lock,unlock}* on ->lock.
382 */
383#define raw_spin_lock_rcu_node(p) \
384do { \
385 raw_spin_lock(&ACCESS_PRIVATE(p, lock)); \
386 smp_mb__after_unlock_lock(); \
387} while (0)
388
389#define raw_spin_unlock_rcu_node(p) raw_spin_unlock(&ACCESS_PRIVATE(p, lock))
390
391#define raw_spin_lock_irq_rcu_node(p) \
392do { \
393 raw_spin_lock_irq(&ACCESS_PRIVATE(p, lock)); \
394 smp_mb__after_unlock_lock(); \
395} while (0)
396
397#define raw_spin_unlock_irq_rcu_node(p) \
398 raw_spin_unlock_irq(&ACCESS_PRIVATE(p, lock))
399
Paul E. McKenney4e4bea72017-05-11 15:33:23 -0700400#define raw_spin_lock_irqsave_rcu_node(p, flags) \
Paul E. McKenney83d40bd2017-05-09 13:28:51 -0700401do { \
Paul E. McKenney4e4bea72017-05-11 15:33:23 -0700402 raw_spin_lock_irqsave(&ACCESS_PRIVATE(p, lock), flags); \
Paul E. McKenney83d40bd2017-05-09 13:28:51 -0700403 smp_mb__after_unlock_lock(); \
404} while (0)
405
Paul E. McKenney4e4bea72017-05-11 15:33:23 -0700406#define raw_spin_unlock_irqrestore_rcu_node(p, flags) \
Matthew Wilcoxa32e01e2018-01-17 06:24:30 -0800407 raw_spin_unlock_irqrestore(&ACCESS_PRIVATE(p, lock), flags)
Paul E. McKenney83d40bd2017-05-09 13:28:51 -0700408
409#define raw_spin_trylock_rcu_node(p) \
410({ \
411 bool ___locked = raw_spin_trylock(&ACCESS_PRIVATE(p, lock)); \
412 \
413 if (___locked) \
414 smp_mb__after_unlock_lock(); \
415 ___locked; \
416})
417
Matthew Wilcoxa32e01e2018-01-17 06:24:30 -0800418#define raw_lockdep_assert_held_rcu_node(p) \
419 lockdep_assert_held(&ACCESS_PRIVATE(p, lock))
420
Lai Jiangshan822175e2019-10-15 10:23:56 +0000421#endif /* #if defined(CONFIG_SRCU) || !defined(CONFIG_TINY_RCU) */
Paul E. McKenney2b34c432017-03-14 14:29:53 -0700422
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700423#ifdef CONFIG_SRCU
424void srcu_init(void);
425#else /* #ifdef CONFIG_SRCU */
426static inline void srcu_init(void) { }
427#endif /* #else #ifdef CONFIG_SRCU */
428
Paul E. McKenney25c36322017-05-03 09:51:55 -0700429#ifdef CONFIG_TINY_RCU
430/* Tiny RCU doesn't expedite, as its purpose in life is instead to be tiny. */
Paul E. McKenney7414fac2017-06-12 16:44:19 -0700431static inline bool rcu_gp_is_normal(void) { return true; }
432static inline bool rcu_gp_is_expedited(void) { return false; }
433static inline void rcu_expedite_gp(void) { }
434static inline void rcu_unexpedite_gp(void) { }
Paul E. McKenneybfbd7672018-01-11 12:58:53 -0800435static inline void rcu_request_urgent_qs_task(struct task_struct *t) { }
Paul E. McKenney25c36322017-05-03 09:51:55 -0700436#else /* #ifdef CONFIG_TINY_RCU */
437bool rcu_gp_is_normal(void); /* Internal RCU use. */
438bool rcu_gp_is_expedited(void); /* Internal RCU use. */
439void rcu_expedite_gp(void);
440void rcu_unexpedite_gp(void);
441void rcupdate_announce_bootup_oddness(void);
Paul E. McKenneybfbd7672018-01-11 12:58:53 -0800442void rcu_request_urgent_qs_task(struct task_struct *t);
Paul E. McKenney25c36322017-05-03 09:51:55 -0700443#endif /* #else #ifdef CONFIG_TINY_RCU */
444
Paul E. McKenney82118242017-05-03 11:13:24 -0700445#define RCU_SCHEDULER_INACTIVE 0
446#define RCU_SCHEDULER_INIT 1
447#define RCU_SCHEDULER_RUNNING 2
448
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700449enum rcutorture_type {
450 RCU_FLAVOR,
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700451 RCU_TASKS_FLAVOR,
Paul E. McKenneyc682db52019-04-19 07:38:27 -0700452 RCU_TRIVIAL_FLAVOR,
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700453 SRCU_FLAVOR,
454 INVALID_RCU_FLAVOR
455};
456
457#if defined(CONFIG_TREE_RCU) || defined(CONFIG_PREEMPT_RCU)
458void rcutorture_get_gp_data(enum rcutorture_type test_type, int *flags,
Paul E. McKenneyaebc8262018-05-01 06:42:51 -0700459 unsigned long *gp_seq);
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700460void do_trace_rcu_torture_read(const char *rcutorturename,
461 struct rcu_head *rhp,
462 unsigned long secs,
463 unsigned long c_old,
464 unsigned long c);
465#else
466static inline void rcutorture_get_gp_data(enum rcutorture_type test_type,
Paul E. McKenneyaebc8262018-05-01 06:42:51 -0700467 int *flags, unsigned long *gp_seq)
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700468{
469 *flags = 0;
Paul E. McKenneyaebc8262018-05-01 06:42:51 -0700470 *gp_seq = 0;
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700471}
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700472#ifdef CONFIG_RCU_TRACE
473void do_trace_rcu_torture_read(const char *rcutorturename,
474 struct rcu_head *rhp,
475 unsigned long secs,
476 unsigned long c_old,
477 unsigned long c);
478#else
479#define do_trace_rcu_torture_read(rcutorturename, rhp, secs, c_old, c) \
480 do { } while (0)
481#endif
482#endif
483
Paul E. McKenneyc682db52019-04-19 07:38:27 -0700484#if IS_ENABLED(CONFIG_RCU_TORTURE_TEST) || IS_MODULE(CONFIG_RCU_TORTURE_TEST)
485long rcutorture_sched_setaffinity(pid_t pid, const struct cpumask *in_mask);
486#endif
487
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700488#ifdef CONFIG_TINY_SRCU
489
490static inline void srcutorture_get_gp_data(enum rcutorture_type test_type,
491 struct srcu_struct *sp, int *flags,
Paul E. McKenneyaebc8262018-05-01 06:42:51 -0700492 unsigned long *gp_seq)
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700493{
494 if (test_type != SRCU_FLAVOR)
495 return;
496 *flags = 0;
Paul E. McKenneyaebc8262018-05-01 06:42:51 -0700497 *gp_seq = sp->srcu_idx;
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700498}
499
500#elif defined(CONFIG_TREE_SRCU)
501
502void srcutorture_get_gp_data(enum rcutorture_type test_type,
503 struct srcu_struct *sp, int *flags,
Paul E. McKenneyaebc8262018-05-01 06:42:51 -0700504 unsigned long *gp_seq);
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700505
Paul E. McKenneycad7b382017-05-03 10:22:57 -0700506#endif
507
Paul E. McKenneye3c8d512017-05-03 13:37:16 -0700508#ifdef CONFIG_TINY_RCU
Paul E. McKenney17ef2fe2018-04-27 11:39:34 -0700509static inline unsigned long rcu_get_gp_seq(void) { return 0; }
Paul E. McKenney7414fac2017-06-12 16:44:19 -0700510static inline unsigned long rcu_exp_batches_completed(void) { return 0; }
Paul E. McKenney7414fac2017-06-12 16:44:19 -0700511static inline unsigned long
512srcu_batches_completed(struct srcu_struct *sp) { return 0; }
513static inline void rcu_force_quiescent_state(void) { }
Paul E. McKenney7414fac2017-06-12 16:44:19 -0700514static inline void show_rcu_gp_kthreads(void) { }
Joel Fernandes (Google)4babd852018-06-19 15:14:18 -0700515static inline int rcu_get_gp_kthreads_prio(void) { return 0; }
Paul E. McKenneye0aff972018-10-01 17:40:54 -0700516static inline void rcu_fwd_progress_check(unsigned long j) { }
Paul E. McKenneye3c8d512017-05-03 13:37:16 -0700517#else /* #ifdef CONFIG_TINY_RCU */
Paul E. McKenney17ef2fe2018-04-27 11:39:34 -0700518unsigned long rcu_get_gp_seq(void);
Paul E. McKenneye3c8d512017-05-03 13:37:16 -0700519unsigned long rcu_exp_batches_completed(void);
Paul E. McKenney5a0465e2017-05-04 11:31:04 -0700520unsigned long srcu_batches_completed(struct srcu_struct *sp);
Paul E. McKenneye3c8d512017-05-03 13:37:16 -0700521void show_rcu_gp_kthreads(void);
Joel Fernandes (Google)4babd852018-06-19 15:14:18 -0700522int rcu_get_gp_kthreads_prio(void);
Paul E. McKenneye0aff972018-10-01 17:40:54 -0700523void rcu_fwd_progress_check(unsigned long j);
Paul E. McKenneye3c8d512017-05-03 13:37:16 -0700524void rcu_force_quiescent_state(void);
Paul E. McKenneyad7c9462018-01-08 14:35:52 -0800525extern struct workqueue_struct *rcu_gp_wq;
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800526extern struct workqueue_struct *rcu_par_gp_wq;
Paul E. McKenneye3c8d512017-05-03 13:37:16 -0700527#endif /* #else #ifdef CONFIG_TINY_RCU */
528
Paul E. McKenney44c65ff2017-05-15 16:26:34 -0700529#ifdef CONFIG_RCU_NOCB_CPU
Paul E. McKenney3d54f792017-05-03 12:25:50 -0700530bool rcu_is_nocb_cpu(int cpu);
Paul E. McKenney5ab7ab82018-09-21 18:08:09 -0700531void rcu_bind_current_to_nocb(void);
Paul E. McKenney3d54f792017-05-03 12:25:50 -0700532#else
533static inline bool rcu_is_nocb_cpu(int cpu) { return false; }
Paul E. McKenney5ab7ab82018-09-21 18:08:09 -0700534static inline void rcu_bind_current_to_nocb(void) { }
Paul E. McKenney3d54f792017-05-03 12:25:50 -0700535#endif
536
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700537#endif /* __LINUX_RCU_H */