blob: c21b38cc25e929ac1f5549fc8c6ffd8fda753c14 [file] [log] [blame]
Paul E. McKenney38b4df62019-01-17 10:25:18 -08001// SPDX-License-Identifier: GPL-2.0+
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * Read-Copy Update mechanism for mutual exclusion
4 *
Paul E. McKenney01c1c662008-01-25 21:08:24 +01005 * Copyright IBM Corporation, 2001
Linus Torvalds1da177e2005-04-16 15:20:36 -07006 *
7 * Authors: Dipankar Sarma <dipankar@in.ibm.com>
8 * Manfred Spraul <manfred@colorfullife.com>
Paul E. McKenneya71fca52009-09-18 10:28:19 -07009 *
Paul E. McKenney38b4df62019-01-17 10:25:18 -080010 * Based on the original work by Paul McKenney <paulmck@linux.ibm.com>
Linus Torvalds1da177e2005-04-16 15:20:36 -070011 * and inputs from Rusty Russell, Andrea Arcangeli and Andi Kleen.
12 * Papers:
13 * http://www.rdrop.com/users/paulmck/paper/rclockpdcsproof.pdf
14 * http://lse.sourceforge.net/locking/rclock_OLS.2001.05.01c.sc.pdf (OLS2001)
15 *
16 * For detailed explanation of Read-Copy Update mechanism see -
Paul E. McKenneya71fca52009-09-18 10:28:19 -070017 * http://lse.sourceforge.net/locking/rcupdate.html
Linus Torvalds1da177e2005-04-16 15:20:36 -070018 *
19 */
20#include <linux/types.h>
21#include <linux/kernel.h>
22#include <linux/init.h>
23#include <linux/spinlock.h>
24#include <linux/smp.h>
25#include <linux/interrupt.h>
Ingo Molnar3f07c012017-02-08 18:51:30 +010026#include <linux/sched/signal.h>
Ingo Molnarb17b0152017-02-08 18:51:35 +010027#include <linux/sched/debug.h>
Arun Sharma600634972011-07-26 16:09:06 -070028#include <linux/atomic.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070029#include <linux/bitops.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070030#include <linux/percpu.h>
31#include <linux/notifier.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070032#include <linux/cpu.h>
Ingo Molnar9331b312006-03-23 03:00:19 -080033#include <linux/mutex.h>
Paul Gortmaker9984de12011-05-23 14:51:41 -040034#include <linux/export.h>
Paul E. McKenneye3818b82010-03-15 17:03:43 -070035#include <linux/hardirq.h>
Paul E. McKenneye3ebfb92012-07-02 14:42:01 -070036#include <linux/delay.h>
Paul Gortmakere77b7042016-07-15 12:19:41 -040037#include <linux/moduleparam.h>
Paul E. McKenney8315f422014-06-27 13:42:20 -070038#include <linux/kthread.h>
Paul E. McKenney4ff475e2014-08-10 19:47:12 -070039#include <linux/tick.h>
Ingo Molnarf9411eb2017-02-06 09:50:49 +010040#include <linux/rcupdate_wait.h>
Frederic Weisbecker78634062017-10-27 04:42:28 +020041#include <linux/sched/isolation.h>
Masami Hiramatsua39f15b2019-02-13 01:14:37 +090042#include <linux/kprobes.h>
Byungchul Parka35d1692019-08-05 18:22:27 -040043#include <linux/slab.h>
Paul E. McKenneyb38f57c2020-03-20 14:29:08 -070044#include <linux/irq_work.h>
Paul E. McKenney5b3cc992020-05-28 19:33:47 -070045#include <linux/rcupdate_trace.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070046
Paul E. McKenney29c00b42011-06-17 15:53:19 -070047#define CREATE_TRACE_POINTS
Paul E. McKenney29c00b42011-06-17 15:53:19 -070048
49#include "rcu.h"
50
Paul E. McKenney4102ada2013-10-08 20:23:47 -070051#ifdef MODULE_PARAM_PREFIX
52#undef MODULE_PARAM_PREFIX
53#endif
54#define MODULE_PARAM_PREFIX "rcupdate."
55
Paul E. McKenney79cfea022015-12-07 13:09:52 -080056#ifndef CONFIG_TINY_RCU
Antti P Miettinen3705b882012-10-05 09:59:15 +030057module_param(rcu_expedited, int, 0);
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -080058module_param(rcu_normal, int, 0);
Julia Cartwright36221e12020-12-15 15:16:47 +010059static int rcu_normal_after_boot = IS_ENABLED(CONFIG_PREEMPT_RT);
60#ifndef CONFIG_PREEMPT_RT
Paul E. McKenney3e42ec12015-11-25 18:56:00 -080061module_param(rcu_normal_after_boot, int, 0);
Julia Cartwright36221e12020-12-15 15:16:47 +010062#endif
Paul E. McKenney79cfea022015-12-07 13:09:52 -080063#endif /* #ifndef CONFIG_TINY_RCU */
Paul E. McKenney3e42ec12015-11-25 18:56:00 -080064
Boqun Feng293e2422016-03-23 23:11:48 +080065#ifdef CONFIG_DEBUG_LOCK_ALLOC
Denys Vlasenkod5671f62015-05-26 17:48:34 +020066/**
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040067 * rcu_read_lock_held_common() - might we be in RCU-sched read-side critical section?
68 * @ret: Best guess answer if lockdep cannot be relied on
Denys Vlasenkod5671f62015-05-26 17:48:34 +020069 *
Mauro Carvalho Chehabc28d5c02020-03-17 15:54:18 +010070 * Returns true if lockdep must be ignored, in which case ``*ret`` contains
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040071 * the best guess described below. Otherwise returns false, in which
Mauro Carvalho Chehabc28d5c02020-03-17 15:54:18 +010072 * case ``*ret`` tells the caller nothing and the caller should instead
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040073 * consult lockdep.
74 *
Mauro Carvalho Chehabc28d5c02020-03-17 15:54:18 +010075 * If CONFIG_DEBUG_LOCK_ALLOC is selected, set ``*ret`` to nonzero iff in an
Denys Vlasenkod5671f62015-05-26 17:48:34 +020076 * RCU-sched read-side critical section. In absence of
77 * CONFIG_DEBUG_LOCK_ALLOC, this assumes we are in an RCU-sched read-side
78 * critical section unless it can prove otherwise. Note that disabling
79 * of preemption (including disabling irqs) counts as an RCU-sched
80 * read-side critical section. This is useful for debug checks in functions
81 * that required that they be called within an RCU-sched read-side
82 * critical section.
83 *
84 * Check debug_lockdep_rcu_enabled() to prevent false positives during boot
85 * and while lockdep is disabled.
86 *
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040087 * Note that if the CPU is in the idle loop from an RCU point of view (ie:
88 * that we are in the section between rcu_idle_enter() and rcu_idle_exit())
Mauro Carvalho Chehabc28d5c02020-03-17 15:54:18 +010089 * then rcu_read_lock_held() sets ``*ret`` to false even if the CPU did an
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040090 * rcu_read_lock(). The reason for this is that RCU ignores CPUs that are
91 * in such a section, considering these as in extended quiescent state,
92 * so such a CPU is effectively never in an RCU read-side critical section
93 * regardless of what RCU primitives it invokes. This state of affairs is
94 * required --- we need to keep an RCU-free window in idle where the CPU may
95 * possibly enter into low power mode. This way we can notice an extended
96 * quiescent state to other CPUs that started a grace period. Otherwise
97 * we would delay any grace period as long as we run in the idle task.
Denys Vlasenkod5671f62015-05-26 17:48:34 +020098 *
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040099 * Similarly, we avoid claiming an RCU read lock held if the current
Denys Vlasenkod5671f62015-05-26 17:48:34 +0200100 * CPU is offline.
101 */
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400102static bool rcu_read_lock_held_common(bool *ret)
103{
104 if (!debug_lockdep_rcu_enabled()) {
Jules Irengea66dbda2020-03-27 21:23:53 +0000105 *ret = true;
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400106 return true;
107 }
108 if (!rcu_is_watching()) {
Jules Irengea66dbda2020-03-27 21:23:53 +0000109 *ret = false;
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400110 return true;
111 }
112 if (!rcu_lockdep_current_cpu_online()) {
Jules Irengea66dbda2020-03-27 21:23:53 +0000113 *ret = false;
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400114 return true;
115 }
116 return false;
117}
118
Denys Vlasenkod5671f62015-05-26 17:48:34 +0200119int rcu_read_lock_sched_held(void)
120{
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400121 bool ret;
Denys Vlasenkod5671f62015-05-26 17:48:34 +0200122
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400123 if (rcu_read_lock_held_common(&ret))
124 return ret;
Joel Fernandes (Google)91470892019-07-16 18:12:21 -0400125 return lock_is_held(&rcu_sched_lock_map) || !preemptible();
Denys Vlasenkod5671f62015-05-26 17:48:34 +0200126}
127EXPORT_SYMBOL(rcu_read_lock_sched_held);
128#endif
129
Paul E. McKenney0d394822015-02-18 12:24:30 -0800130#ifndef CONFIG_TINY_RCU
131
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -0800132/*
133 * Should expedited grace-period primitives always fall back to their
134 * non-expedited counterparts? Intended for use within RCU. Note
135 * that if the user specifies both rcu_expedited and rcu_normal, then
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800136 * rcu_normal wins. (Except during the time period during boot from
Paul E. McKenney900b1022017-02-10 14:32:54 -0800137 * when the first task is spawned until the rcu_set_runtime_mode()
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800138 * core_initcall() is invoked, at which point everything is expedited.)
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -0800139 */
140bool rcu_gp_is_normal(void)
141{
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800142 return READ_ONCE(rcu_normal) &&
143 rcu_scheduler_active != RCU_SCHEDULER_INIT;
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -0800144}
Paul E. McKenney4f2a8482016-01-01 13:38:12 -0800145EXPORT_SYMBOL_GPL(rcu_gp_is_normal);
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -0800146
Sebastian Andrzej Siewior7c6094d2016-11-02 17:30:02 +0100147static atomic_t rcu_expedited_nesting = ATOMIC_INIT(1);
Paul E. McKenney0d394822015-02-18 12:24:30 -0800148
149/*
150 * Should normal grace-period primitives be expedited? Intended for
151 * use within RCU. Note that this function takes the rcu_expedited
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800152 * sysfs/boot variable and rcu_scheduler_active into account as well
153 * as the rcu_expedite_gp() nesting. So looping on rcu_unexpedite_gp()
154 * until rcu_gp_is_expedited() returns false is a -really- bad idea.
Paul E. McKenney0d394822015-02-18 12:24:30 -0800155 */
156bool rcu_gp_is_expedited(void)
157{
Paul E. McKenneyb823caf2019-07-05 08:05:10 -0700158 return rcu_expedited || atomic_read(&rcu_expedited_nesting);
Paul E. McKenney0d394822015-02-18 12:24:30 -0800159}
160EXPORT_SYMBOL_GPL(rcu_gp_is_expedited);
161
162/**
163 * rcu_expedite_gp - Expedite future RCU grace periods
164 *
165 * After a call to this function, future calls to synchronize_rcu() and
166 * friends act as the corresponding synchronize_rcu_expedited() function
167 * had instead been called.
168 */
169void rcu_expedite_gp(void)
170{
171 atomic_inc(&rcu_expedited_nesting);
172}
173EXPORT_SYMBOL_GPL(rcu_expedite_gp);
174
175/**
176 * rcu_unexpedite_gp - Cancel prior rcu_expedite_gp() invocation
177 *
178 * Undo a prior call to rcu_expedite_gp(). If all prior calls to
179 * rcu_expedite_gp() are undone by a subsequent call to rcu_unexpedite_gp(),
180 * and if the rcu_expedited sysfs/boot parameter is not set, then all
181 * subsequent calls to synchronize_rcu() and friends will return to
182 * their normal non-expedited behavior.
183 */
184void rcu_unexpedite_gp(void)
185{
186 atomic_dec(&rcu_expedited_nesting);
187}
188EXPORT_SYMBOL_GPL(rcu_unexpedite_gp);
189
Paul E. McKenney59ee0322019-11-28 18:54:06 -0800190static bool rcu_boot_ended __read_mostly;
191
Paul E. McKenneyee425712015-02-19 10:51:32 -0800192/*
193 * Inform RCU of the end of the in-kernel boot sequence.
194 */
195void rcu_end_inkernel_boot(void)
196{
Sebastian Andrzej Siewior7c6094d2016-11-02 17:30:02 +0100197 rcu_unexpedite_gp();
Paul E. McKenney3e42ec12015-11-25 18:56:00 -0800198 if (rcu_normal_after_boot)
199 WRITE_ONCE(rcu_normal, 1);
Jules Irengee40bb922020-06-01 19:45:49 +0100200 rcu_boot_ended = true;
Paul E. McKenneyee425712015-02-19 10:51:32 -0800201}
Paul E. McKenney0d394822015-02-18 12:24:30 -0800202
Paul E. McKenney59ee0322019-11-28 18:54:06 -0800203/*
204 * Let rcutorture know when it is OK to turn it up to eleven.
205 */
206bool rcu_inkernel_boot_has_ended(void)
207{
208 return rcu_boot_ended;
209}
210EXPORT_SYMBOL_GPL(rcu_inkernel_boot_has_ended);
211
Paul E. McKenney79cfea022015-12-07 13:09:52 -0800212#endif /* #ifndef CONFIG_TINY_RCU */
213
Paul E. McKenney900b1022017-02-10 14:32:54 -0800214/*
215 * Test each non-SRCU synchronous grace-period wait API. This is
216 * useful just after a change in mode for these primitives, and
217 * during early boot.
218 */
219void rcu_test_sync_prims(void)
220{
221 if (!IS_ENABLED(CONFIG_PROVE_RCU))
222 return;
223 synchronize_rcu();
Paul E. McKenney900b1022017-02-10 14:32:54 -0800224 synchronize_rcu_expedited();
Paul E. McKenney900b1022017-02-10 14:32:54 -0800225}
226
227#if !defined(CONFIG_TINY_RCU) || defined(CONFIG_SRCU)
228
229/*
230 * Switch to run-time mode once RCU has fully initialized.
231 */
232static int __init rcu_set_runtime_mode(void)
233{
234 rcu_test_sync_prims();
235 rcu_scheduler_active = RCU_SCHEDULER_RUNNING;
Byungchul Parka35d1692019-08-05 18:22:27 -0400236 kfree_rcu_scheduler_running();
Paul E. McKenney900b1022017-02-10 14:32:54 -0800237 rcu_test_sync_prims();
238 return 0;
239}
240core_initcall(rcu_set_runtime_mode);
241
242#endif /* #if !defined(CONFIG_TINY_RCU) || defined(CONFIG_SRCU) */
243
Paul E. McKenney162cc272009-09-23 16:18:13 -0700244#ifdef CONFIG_DEBUG_LOCK_ALLOC
245static struct lock_class_key rcu_lock_key;
Peter Zijlstrade8f5e42020-03-21 12:26:01 +0100246struct lockdep_map rcu_lock_map = {
247 .name = "rcu_read_lock",
248 .key = &rcu_lock_key,
249 .wait_type_outer = LD_WAIT_FREE,
250 .wait_type_inner = LD_WAIT_CONFIG, /* XXX PREEMPT_RCU ? */
251};
Paul E. McKenney162cc272009-09-23 16:18:13 -0700252EXPORT_SYMBOL_GPL(rcu_lock_map);
Paul E. McKenney632ee202010-02-22 17:04:45 -0800253
254static struct lock_class_key rcu_bh_lock_key;
Peter Zijlstrade8f5e42020-03-21 12:26:01 +0100255struct lockdep_map rcu_bh_lock_map = {
256 .name = "rcu_read_lock_bh",
257 .key = &rcu_bh_lock_key,
258 .wait_type_outer = LD_WAIT_FREE,
259 .wait_type_inner = LD_WAIT_CONFIG, /* PREEMPT_LOCK also makes BH preemptible */
260};
Paul E. McKenney632ee202010-02-22 17:04:45 -0800261EXPORT_SYMBOL_GPL(rcu_bh_lock_map);
262
263static struct lock_class_key rcu_sched_lock_key;
Peter Zijlstrade8f5e42020-03-21 12:26:01 +0100264struct lockdep_map rcu_sched_lock_map = {
265 .name = "rcu_read_lock_sched",
266 .key = &rcu_sched_lock_key,
267 .wait_type_outer = LD_WAIT_FREE,
268 .wait_type_inner = LD_WAIT_SPIN,
269};
Paul E. McKenney632ee202010-02-22 17:04:45 -0800270EXPORT_SYMBOL_GPL(rcu_sched_lock_map);
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700271
Paul E. McKenneyf8466f92020-05-03 19:16:09 -0700272// Tell lockdep when RCU callbacks are being invoked.
Paul E. McKenney24ef6592013-10-28 09:22:24 -0700273static struct lock_class_key rcu_callback_key;
274struct lockdep_map rcu_callback_map =
275 STATIC_LOCKDEP_MAP_INIT("rcu_callback", &rcu_callback_key);
276EXPORT_SYMBOL_GPL(rcu_callback_map);
277
Thomas Gleixnerff5c4f52020-03-13 17:32:17 +0100278noinstr int notrace debug_lockdep_rcu_enabled(void)
Paul E. McKenneybc293d62010-04-15 12:50:39 -0700279{
Paul E. McKenney30668202021-04-05 09:51:05 -0700280 return rcu_scheduler_active != RCU_SCHEDULER_INACTIVE && READ_ONCE(debug_locks) &&
Paul E. McKenneybc293d62010-04-15 12:50:39 -0700281 current->lockdep_recursion == 0;
282}
283EXPORT_SYMBOL_GPL(debug_lockdep_rcu_enabled);
284
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700285/**
Oleg Nesterov85b39d32014-07-08 15:17:59 -0700286 * rcu_read_lock_held() - might we be in RCU read-side critical section?
287 *
288 * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an RCU
289 * read-side critical section. In absence of CONFIG_DEBUG_LOCK_ALLOC,
290 * this assumes we are in an RCU read-side critical section unless it can
291 * prove otherwise. This is useful for debug checks in functions that
292 * require that they be called within an RCU read-side critical section.
293 *
294 * Checks debug_lockdep_rcu_enabled() to prevent false positives during boot
295 * and while lockdep is disabled.
296 *
297 * Note that rcu_read_lock() and the matching rcu_read_unlock() must
298 * occur in the same context, for example, it is illegal to invoke
299 * rcu_read_unlock() in process context if the matching rcu_read_lock()
300 * was invoked from within an irq handler.
301 *
302 * Note that rcu_read_lock() is disallowed if the CPU is either idle or
303 * offline from an RCU perspective, so check for those as well.
304 */
305int rcu_read_lock_held(void)
306{
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400307 bool ret;
308
309 if (rcu_read_lock_held_common(&ret))
310 return ret;
Oleg Nesterov85b39d32014-07-08 15:17:59 -0700311 return lock_is_held(&rcu_lock_map);
312}
313EXPORT_SYMBOL_GPL(rcu_read_lock_held);
314
315/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700316 * rcu_read_lock_bh_held() - might we be in RCU-bh read-side critical section?
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700317 *
318 * Check for bottom half being disabled, which covers both the
319 * CONFIG_PROVE_RCU and not cases. Note that if someone uses
320 * rcu_read_lock_bh(), but then later enables BH, lockdep (if enabled)
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700321 * will show the situation. This is useful for debug checks in functions
322 * that require that they be called within an RCU read-side critical
323 * section.
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700324 *
325 * Check debug_lockdep_rcu_enabled() to prevent false positives during boot.
Paul E. McKenneyc0d6d012012-01-23 12:41:26 -0800326 *
Paul E. McKenney82fcecf2018-07-02 09:04:27 -0700327 * Note that rcu_read_lock_bh() is disallowed if the CPU is either idle or
Paul E. McKenneyc0d6d012012-01-23 12:41:26 -0800328 * offline from an RCU perspective, so check for those as well.
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700329 */
330int rcu_read_lock_bh_held(void)
331{
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400332 bool ret;
333
334 if (rcu_read_lock_held_common(&ret))
335 return ret;
Paul E. McKenney773e3f92010-10-05 14:03:02 -0700336 return in_softirq() || irqs_disabled();
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700337}
338EXPORT_SYMBOL_GPL(rcu_read_lock_bh_held);
339
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400340int rcu_read_lock_any_held(void)
341{
342 bool ret;
343
344 if (rcu_read_lock_held_common(&ret))
345 return ret;
346 if (lock_is_held(&rcu_lock_map) ||
347 lock_is_held(&rcu_bh_lock_map) ||
348 lock_is_held(&rcu_sched_lock_map))
349 return 1;
350 return !preemptible();
351}
352EXPORT_SYMBOL_GPL(rcu_read_lock_any_held);
353
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700354#endif /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
355
Paul E. McKenneyee376db2015-01-10 19:47:10 -0800356/**
357 * wakeme_after_rcu() - Callback function to awaken a task after grace period
358 * @head: Pointer to rcu_head member within rcu_synchronize structure
359 *
360 * Awaken the corresponding task now that a grace period has elapsed.
Paul E. McKenneyfbf6bfc2008-02-13 15:03:15 -0800361 */
Paul E. McKenneyee376db2015-01-10 19:47:10 -0800362void wakeme_after_rcu(struct rcu_head *head)
Dipankar Sarma21a1ea92006-03-07 21:55:33 -0800363{
Paul E. McKenney01c1c662008-01-25 21:08:24 +0100364 struct rcu_synchronize *rcu;
365
366 rcu = container_of(head, struct rcu_synchronize, head);
367 complete(&rcu->completion);
Dipankar Sarma21a1ea92006-03-07 21:55:33 -0800368}
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700369EXPORT_SYMBOL_GPL(wakeme_after_rcu);
Paul E. McKenneyee84b822010-05-06 09:28:41 -0700370
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700371void __wait_rcu_gp(bool checktiny, int n, call_rcu_func_t *crcu_array,
372 struct rcu_synchronize *rs_array)
Paul E. McKenney2c428182011-05-26 22:14:36 -0700373{
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700374 int i;
Paul E. McKenney68ab0b42017-04-28 16:19:07 -0700375 int j;
Paul E. McKenney2c428182011-05-26 22:14:36 -0700376
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700377 /* Initialize and register callbacks for each crcu_array element. */
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700378 for (i = 0; i < n; i++) {
379 if (checktiny &&
Paul E. McKenney309ba852018-07-11 14:36:49 -0700380 (crcu_array[i] == call_rcu)) {
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700381 might_sleep();
382 continue;
383 }
Paul E. McKenney68ab0b42017-04-28 16:19:07 -0700384 for (j = 0; j < i; j++)
385 if (crcu_array[j] == crcu_array[i])
386 break;
Wei Yang7ee880b2020-04-15 22:26:55 +0000387 if (j == i) {
388 init_rcu_head_on_stack(&rs_array[i].head);
389 init_completion(&rs_array[i].completion);
Paul E. McKenney68ab0b42017-04-28 16:19:07 -0700390 (crcu_array[i])(&rs_array[i].head, wakeme_after_rcu);
Wei Yang7ee880b2020-04-15 22:26:55 +0000391 }
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700392 }
393
394 /* Wait for all callbacks to be invoked. */
395 for (i = 0; i < n; i++) {
396 if (checktiny &&
Paul E. McKenney309ba852018-07-11 14:36:49 -0700397 (crcu_array[i] == call_rcu))
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700398 continue;
Paul E. McKenney68ab0b42017-04-28 16:19:07 -0700399 for (j = 0; j < i; j++)
400 if (crcu_array[j] == crcu_array[i])
401 break;
Wei Yang7ee880b2020-04-15 22:26:55 +0000402 if (j == i) {
Paul E. McKenney68ab0b42017-04-28 16:19:07 -0700403 wait_for_completion(&rs_array[i].completion);
Wei Yang7ee880b2020-04-15 22:26:55 +0000404 destroy_rcu_head_on_stack(&rs_array[i].head);
405 }
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700406 }
Paul E. McKenney2c428182011-05-26 22:14:36 -0700407}
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700408EXPORT_SYMBOL_GPL(__wait_rcu_gp);
Paul E. McKenney2c428182011-05-26 22:14:36 -0700409
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400410#ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
Paul E. McKenney546a9d82014-06-19 14:57:10 -0700411void init_rcu_head(struct rcu_head *head)
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400412{
413 debug_object_init(head, &rcuhead_debug_descr);
414}
Paul E. McKenney156baec2017-12-07 09:40:38 -0800415EXPORT_SYMBOL_GPL(init_rcu_head);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400416
Paul E. McKenney546a9d82014-06-19 14:57:10 -0700417void destroy_rcu_head(struct rcu_head *head)
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400418{
419 debug_object_free(head, &rcuhead_debug_descr);
420}
Paul E. McKenney156baec2017-12-07 09:40:38 -0800421EXPORT_SYMBOL_GPL(destroy_rcu_head);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400422
Du, Changbinb9fdac7f2016-05-19 17:09:41 -0700423static bool rcuhead_is_static_object(void *addr)
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400424{
Du, Changbinb9fdac7f2016-05-19 17:09:41 -0700425 return true;
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400426}
427
428/**
429 * init_rcu_head_on_stack() - initialize on-stack rcu_head for debugobjects
430 * @head: pointer to rcu_head structure to be initialized
431 *
432 * This function informs debugobjects of a new rcu_head structure that
433 * has been allocated as an auto variable on the stack. This function
434 * is not required for rcu_head structures that are statically defined or
435 * that are dynamically allocated on the heap. This function has no
436 * effect for !CONFIG_DEBUG_OBJECTS_RCU_HEAD kernel builds.
437 */
438void init_rcu_head_on_stack(struct rcu_head *head)
439{
440 debug_object_init_on_stack(head, &rcuhead_debug_descr);
441}
442EXPORT_SYMBOL_GPL(init_rcu_head_on_stack);
443
444/**
445 * destroy_rcu_head_on_stack() - destroy on-stack rcu_head for debugobjects
446 * @head: pointer to rcu_head structure to be initialized
447 *
448 * This function informs debugobjects that an on-stack rcu_head structure
449 * is about to go out of scope. As with init_rcu_head_on_stack(), this
450 * function is not required for rcu_head structures that are statically
451 * defined or that are dynamically allocated on the heap. Also as with
452 * init_rcu_head_on_stack(), this function has no effect for
453 * !CONFIG_DEBUG_OBJECTS_RCU_HEAD kernel builds.
454 */
455void destroy_rcu_head_on_stack(struct rcu_head *head)
456{
457 debug_object_free(head, &rcuhead_debug_descr);
458}
459EXPORT_SYMBOL_GPL(destroy_rcu_head_on_stack);
460
Stephen Boydf9e62f32020-08-14 17:40:27 -0700461const struct debug_obj_descr rcuhead_debug_descr = {
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400462 .name = "rcu_head",
Du, Changbinb9fdac7f2016-05-19 17:09:41 -0700463 .is_static_object = rcuhead_is_static_object,
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400464};
465EXPORT_SYMBOL_GPL(rcuhead_debug_descr);
466#endif /* #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD */
Paul E. McKenney91afaf32011-10-02 07:44:32 -0700467
Lai Jiangshanb3e627d2019-10-15 02:55:57 +0000468#if defined(CONFIG_TREE_RCU) || defined(CONFIG_RCU_TRACE)
Steven Rostedt (Red Hat)e66c33d2013-07-12 16:50:28 -0400469void do_trace_rcu_torture_read(const char *rcutorturename, struct rcu_head *rhp,
Paul E. McKenney52494532012-11-14 16:26:40 -0800470 unsigned long secs,
471 unsigned long c_old, unsigned long c)
Paul E. McKenney91afaf32011-10-02 07:44:32 -0700472{
Paul E. McKenney52494532012-11-14 16:26:40 -0800473 trace_rcu_torture_read(rcutorturename, rhp, secs, c_old, c);
Paul E. McKenney91afaf32011-10-02 07:44:32 -0700474}
475EXPORT_SYMBOL_GPL(do_trace_rcu_torture_read);
476#else
Paul E. McKenney52494532012-11-14 16:26:40 -0800477#define do_trace_rcu_torture_read(rcutorturename, rhp, secs, c_old, c) \
478 do { } while (0)
Paul E. McKenney91afaf32011-10-02 07:44:32 -0700479#endif
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700480
Paul E. McKenneyc682db52019-04-19 07:38:27 -0700481#if IS_ENABLED(CONFIG_RCU_TORTURE_TEST) || IS_MODULE(CONFIG_RCU_TORTURE_TEST)
482/* Get rcutorture access to sched_setaffinity(). */
483long rcutorture_sched_setaffinity(pid_t pid, const struct cpumask *in_mask)
484{
485 int ret;
486
487 ret = sched_setaffinity(pid, in_mask);
488 WARN_ONCE(ret, "%s: sched_setaffinity() returned %d\n", __func__, ret);
489 return ret;
490}
491EXPORT_SYMBOL_GPL(rcutorture_sched_setaffinity);
492#endif
493
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700494#ifdef CONFIG_RCU_STALL_COMMON
Paul E. McKenneycdc694b2019-06-13 15:30:49 -0700495int rcu_cpu_stall_ftrace_dump __read_mostly;
496module_param(rcu_cpu_stall_ftrace_dump, int, 0644);
Paul E. McKenney58c53362019-12-05 11:29:01 -0800497int rcu_cpu_stall_suppress __read_mostly; // !0 = suppress stall warnings.
Paul E. McKenneyf22ce092017-09-01 14:40:54 -0700498EXPORT_SYMBOL_GPL(rcu_cpu_stall_suppress);
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700499module_param(rcu_cpu_stall_suppress, int, 0644);
Paul E. McKenney10462d62019-01-11 16:10:57 -0800500int rcu_cpu_stall_timeout __read_mostly = CONFIG_RCU_CPU_STALL_TIMEOUT;
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700501module_param(rcu_cpu_stall_timeout, int, 0644);
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700502#endif /* #ifdef CONFIG_RCU_STALL_COMMON */
Paul E. McKenney8315f422014-06-27 13:42:20 -0700503
Paul E. McKenney58c53362019-12-05 11:29:01 -0800504// Suppress boot-time RCU CPU stall warnings and rcutorture writer stall
505// warnings. Also used by rcutorture even if stall warnings are excluded.
506int rcu_cpu_stall_suppress_at_boot __read_mostly; // !0 = suppress boot stalls.
507EXPORT_SYMBOL_GPL(rcu_cpu_stall_suppress_at_boot);
508module_param(rcu_cpu_stall_suppress_at_boot, int, 0444);
509
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400510#ifdef CONFIG_PROVE_RCU
511
512/*
Paul E. McKenney72ce30d2018-07-07 10:24:23 -0700513 * Early boot self test parameters.
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400514 */
515static bool rcu_self_test;
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400516module_param(rcu_self_test, bool, 0444);
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400517
518static int rcu_self_test_counter;
519
520static void test_callback(struct rcu_head *r)
521{
522 rcu_self_test_counter++;
523 pr_info("RCU test callback executed %d\n", rcu_self_test_counter);
524}
525
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700526DEFINE_STATIC_SRCU(early_srcu);
Frederic Weisbecker0a580fa2021-04-14 15:24:13 +0200527static unsigned long early_srcu_cookie;
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700528
Byungchul Parka35d1692019-08-05 18:22:27 -0400529struct early_boot_kfree_rcu {
530 struct rcu_head rh;
531};
532
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400533static void early_boot_test_call_rcu(void)
534{
535 static struct rcu_head head;
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700536 static struct rcu_head shead;
Byungchul Parka35d1692019-08-05 18:22:27 -0400537 struct early_boot_kfree_rcu *rhp;
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400538
539 call_rcu(&head, test_callback);
Frederic Weisbecker0a580fa2021-04-14 15:24:13 +0200540 if (IS_ENABLED(CONFIG_SRCU)) {
541 early_srcu_cookie = start_poll_synchronize_srcu(&early_srcu);
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700542 call_srcu(&early_srcu, &shead, test_callback);
Frederic Weisbecker0a580fa2021-04-14 15:24:13 +0200543 }
Byungchul Parka35d1692019-08-05 18:22:27 -0400544 rhp = kmalloc(sizeof(*rhp), GFP_KERNEL);
545 if (!WARN_ON_ONCE(!rhp))
546 kfree_rcu(rhp, rh);
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400547}
548
549void rcu_early_boot_tests(void)
550{
551 pr_info("Running RCU self tests\n");
552
553 if (rcu_self_test)
554 early_boot_test_call_rcu();
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800555 rcu_test_sync_prims();
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400556}
557
558static int rcu_verify_early_boot_tests(void)
559{
560 int ret = 0;
561 int early_boot_test_counter = 0;
562
563 if (rcu_self_test) {
564 early_boot_test_counter++;
565 rcu_barrier();
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700566 if (IS_ENABLED(CONFIG_SRCU)) {
567 early_boot_test_counter++;
568 srcu_barrier(&early_srcu);
Frederic Weisbecker0a580fa2021-04-14 15:24:13 +0200569 WARN_ON_ONCE(!poll_state_synchronize_srcu(&early_srcu, early_srcu_cookie));
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700570 }
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400571 }
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400572 if (rcu_self_test_counter != early_boot_test_counter) {
573 WARN_ON(1);
574 ret = -1;
575 }
576
577 return ret;
578}
579late_initcall(rcu_verify_early_boot_tests);
580#else
581void rcu_early_boot_tests(void) {}
582#endif /* CONFIG_PROVE_RCU */
Paul E. McKenney59d80fd2017-04-28 10:20:28 -0700583
Paul E. McKenneyeacd6f02020-03-02 11:59:20 -0800584#include "tasks.h"
585
Paul E. McKenney59d80fd2017-04-28 10:20:28 -0700586#ifndef CONFIG_TINY_RCU
587
588/*
589 * Print any significant non-default boot-time settings.
590 */
591void __init rcupdate_announce_bootup_oddness(void)
592{
593 if (rcu_normal)
594 pr_info("\tNo expedited grace period (rcu_normal).\n");
595 else if (rcu_normal_after_boot)
596 pr_info("\tNo expedited grace period (rcu_normal_after_boot).\n");
597 else if (rcu_expedited)
598 pr_info("\tAll grace periods are expedited (rcu_expedited).\n");
599 if (rcu_cpu_stall_suppress)
600 pr_info("\tRCU CPU stall warnings suppressed (rcu_cpu_stall_suppress).\n");
601 if (rcu_cpu_stall_timeout != CONFIG_RCU_CPU_STALL_TIMEOUT)
602 pr_info("\tRCU CPU stall warnings timeout set to %d (rcu_cpu_stall_timeout).\n", rcu_cpu_stall_timeout);
603 rcu_tasks_bootup_oddness();
604}
605
606#endif /* #ifndef CONFIG_TINY_RCU */