blob: feaaec5747a34f5a83b51dd403e43978b260e267 [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>
Linus Torvalds1da177e2005-04-16 15:20:36 -070044
Paul E. McKenney29c00b42011-06-17 15:53:19 -070045#define CREATE_TRACE_POINTS
Paul E. McKenney29c00b42011-06-17 15:53:19 -070046
47#include "rcu.h"
48
Paul E. McKenney4102ada2013-10-08 20:23:47 -070049#ifdef MODULE_PARAM_PREFIX
50#undef MODULE_PARAM_PREFIX
51#endif
52#define MODULE_PARAM_PREFIX "rcupdate."
53
Paul E. McKenney79cfea022015-12-07 13:09:52 -080054#ifndef CONFIG_TINY_RCU
Antti P Miettinen3705b882012-10-05 09:59:15 +030055module_param(rcu_expedited, int, 0);
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -080056module_param(rcu_normal, int, 0);
Paul E. McKenney3e42ec12015-11-25 18:56:00 -080057static int rcu_normal_after_boot;
58module_param(rcu_normal_after_boot, int, 0);
Paul E. McKenney79cfea022015-12-07 13:09:52 -080059#endif /* #ifndef CONFIG_TINY_RCU */
Paul E. McKenney3e42ec12015-11-25 18:56:00 -080060
Boqun Feng293e2422016-03-23 23:11:48 +080061#ifdef CONFIG_DEBUG_LOCK_ALLOC
Denys Vlasenkod5671f62015-05-26 17:48:34 +020062/**
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040063 * rcu_read_lock_held_common() - might we be in RCU-sched read-side critical section?
64 * @ret: Best guess answer if lockdep cannot be relied on
Denys Vlasenkod5671f62015-05-26 17:48:34 +020065 *
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040066 * Returns true if lockdep must be ignored, in which case *ret contains
67 * the best guess described below. Otherwise returns false, in which
68 * case *ret tells the caller nothing and the caller should instead
69 * consult lockdep.
70 *
71 * If CONFIG_DEBUG_LOCK_ALLOC is selected, set *ret to nonzero iff in an
Denys Vlasenkod5671f62015-05-26 17:48:34 +020072 * RCU-sched read-side critical section. In absence of
73 * CONFIG_DEBUG_LOCK_ALLOC, this assumes we are in an RCU-sched read-side
74 * critical section unless it can prove otherwise. Note that disabling
75 * of preemption (including disabling irqs) counts as an RCU-sched
76 * read-side critical section. This is useful for debug checks in functions
77 * that required that they be called within an RCU-sched read-side
78 * critical section.
79 *
80 * Check debug_lockdep_rcu_enabled() to prevent false positives during boot
81 * and while lockdep is disabled.
82 *
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040083 * Note that if the CPU is in the idle loop from an RCU point of view (ie:
84 * that we are in the section between rcu_idle_enter() and rcu_idle_exit())
85 * then rcu_read_lock_held() sets *ret to false even if the CPU did an
86 * rcu_read_lock(). The reason for this is that RCU ignores CPUs that are
87 * in such a section, considering these as in extended quiescent state,
88 * so such a CPU is effectively never in an RCU read-side critical section
89 * regardless of what RCU primitives it invokes. This state of affairs is
90 * required --- we need to keep an RCU-free window in idle where the CPU may
91 * possibly enter into low power mode. This way we can notice an extended
92 * quiescent state to other CPUs that started a grace period. Otherwise
93 * we would delay any grace period as long as we run in the idle task.
Denys Vlasenkod5671f62015-05-26 17:48:34 +020094 *
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040095 * Similarly, we avoid claiming an RCU read lock held if the current
Denys Vlasenkod5671f62015-05-26 17:48:34 +020096 * CPU is offline.
97 */
Joel Fernandes (Google)28875942019-07-16 18:12:22 -040098static bool rcu_read_lock_held_common(bool *ret)
99{
100 if (!debug_lockdep_rcu_enabled()) {
101 *ret = 1;
102 return true;
103 }
104 if (!rcu_is_watching()) {
105 *ret = 0;
106 return true;
107 }
108 if (!rcu_lockdep_current_cpu_online()) {
109 *ret = 0;
110 return true;
111 }
112 return false;
113}
114
Denys Vlasenkod5671f62015-05-26 17:48:34 +0200115int rcu_read_lock_sched_held(void)
116{
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400117 bool ret;
Denys Vlasenkod5671f62015-05-26 17:48:34 +0200118
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400119 if (rcu_read_lock_held_common(&ret))
120 return ret;
Joel Fernandes (Google)91470892019-07-16 18:12:21 -0400121 return lock_is_held(&rcu_sched_lock_map) || !preemptible();
Denys Vlasenkod5671f62015-05-26 17:48:34 +0200122}
123EXPORT_SYMBOL(rcu_read_lock_sched_held);
124#endif
125
Paul E. McKenney0d394822015-02-18 12:24:30 -0800126#ifndef CONFIG_TINY_RCU
127
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -0800128/*
129 * Should expedited grace-period primitives always fall back to their
130 * non-expedited counterparts? Intended for use within RCU. Note
131 * that if the user specifies both rcu_expedited and rcu_normal, then
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800132 * rcu_normal wins. (Except during the time period during boot from
Paul E. McKenney900b1022017-02-10 14:32:54 -0800133 * when the first task is spawned until the rcu_set_runtime_mode()
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800134 * core_initcall() is invoked, at which point everything is expedited.)
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -0800135 */
136bool rcu_gp_is_normal(void)
137{
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800138 return READ_ONCE(rcu_normal) &&
139 rcu_scheduler_active != RCU_SCHEDULER_INIT;
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -0800140}
Paul E. McKenney4f2a8482016-01-01 13:38:12 -0800141EXPORT_SYMBOL_GPL(rcu_gp_is_normal);
Paul E. McKenney5a9be7c2015-11-24 15:44:06 -0800142
Sebastian Andrzej Siewior7c6094d2016-11-02 17:30:02 +0100143static atomic_t rcu_expedited_nesting = ATOMIC_INIT(1);
Paul E. McKenney0d394822015-02-18 12:24:30 -0800144
145/*
146 * Should normal grace-period primitives be expedited? Intended for
147 * use within RCU. Note that this function takes the rcu_expedited
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800148 * sysfs/boot variable and rcu_scheduler_active into account as well
149 * as the rcu_expedite_gp() nesting. So looping on rcu_unexpedite_gp()
150 * until rcu_gp_is_expedited() returns false is a -really- bad idea.
Paul E. McKenney0d394822015-02-18 12:24:30 -0800151 */
152bool rcu_gp_is_expedited(void)
153{
Paul E. McKenneyb823caf2019-07-05 08:05:10 -0700154 return rcu_expedited || atomic_read(&rcu_expedited_nesting);
Paul E. McKenney0d394822015-02-18 12:24:30 -0800155}
156EXPORT_SYMBOL_GPL(rcu_gp_is_expedited);
157
158/**
159 * rcu_expedite_gp - Expedite future RCU grace periods
160 *
161 * After a call to this function, future calls to synchronize_rcu() and
162 * friends act as the corresponding synchronize_rcu_expedited() function
163 * had instead been called.
164 */
165void rcu_expedite_gp(void)
166{
167 atomic_inc(&rcu_expedited_nesting);
168}
169EXPORT_SYMBOL_GPL(rcu_expedite_gp);
170
171/**
172 * rcu_unexpedite_gp - Cancel prior rcu_expedite_gp() invocation
173 *
174 * Undo a prior call to rcu_expedite_gp(). If all prior calls to
175 * rcu_expedite_gp() are undone by a subsequent call to rcu_unexpedite_gp(),
176 * and if the rcu_expedited sysfs/boot parameter is not set, then all
177 * subsequent calls to synchronize_rcu() and friends will return to
178 * their normal non-expedited behavior.
179 */
180void rcu_unexpedite_gp(void)
181{
182 atomic_dec(&rcu_expedited_nesting);
183}
184EXPORT_SYMBOL_GPL(rcu_unexpedite_gp);
185
Paul E. McKenney59ee0322019-11-28 18:54:06 -0800186static bool rcu_boot_ended __read_mostly;
187
Paul E. McKenneyee425712015-02-19 10:51:32 -0800188/*
189 * Inform RCU of the end of the in-kernel boot sequence.
190 */
191void rcu_end_inkernel_boot(void)
192{
Sebastian Andrzej Siewior7c6094d2016-11-02 17:30:02 +0100193 rcu_unexpedite_gp();
Paul E. McKenney3e42ec12015-11-25 18:56:00 -0800194 if (rcu_normal_after_boot)
195 WRITE_ONCE(rcu_normal, 1);
Paul E. McKenney59ee0322019-11-28 18:54:06 -0800196 rcu_boot_ended = 1;
Paul E. McKenneyee425712015-02-19 10:51:32 -0800197}
Paul E. McKenney0d394822015-02-18 12:24:30 -0800198
Paul E. McKenney59ee0322019-11-28 18:54:06 -0800199/*
200 * Let rcutorture know when it is OK to turn it up to eleven.
201 */
202bool rcu_inkernel_boot_has_ended(void)
203{
204 return rcu_boot_ended;
205}
206EXPORT_SYMBOL_GPL(rcu_inkernel_boot_has_ended);
207
Paul E. McKenney79cfea022015-12-07 13:09:52 -0800208#endif /* #ifndef CONFIG_TINY_RCU */
209
Paul E. McKenney900b1022017-02-10 14:32:54 -0800210/*
211 * Test each non-SRCU synchronous grace-period wait API. This is
212 * useful just after a change in mode for these primitives, and
213 * during early boot.
214 */
215void rcu_test_sync_prims(void)
216{
217 if (!IS_ENABLED(CONFIG_PROVE_RCU))
218 return;
219 synchronize_rcu();
Paul E. McKenney900b1022017-02-10 14:32:54 -0800220 synchronize_rcu_expedited();
Paul E. McKenney900b1022017-02-10 14:32:54 -0800221}
222
223#if !defined(CONFIG_TINY_RCU) || defined(CONFIG_SRCU)
224
225/*
226 * Switch to run-time mode once RCU has fully initialized.
227 */
228static int __init rcu_set_runtime_mode(void)
229{
230 rcu_test_sync_prims();
231 rcu_scheduler_active = RCU_SCHEDULER_RUNNING;
Byungchul Parka35d1692019-08-05 18:22:27 -0400232 kfree_rcu_scheduler_running();
Paul E. McKenney900b1022017-02-10 14:32:54 -0800233 rcu_test_sync_prims();
234 return 0;
235}
236core_initcall(rcu_set_runtime_mode);
237
238#endif /* #if !defined(CONFIG_TINY_RCU) || defined(CONFIG_SRCU) */
239
Paul E. McKenney162cc272009-09-23 16:18:13 -0700240#ifdef CONFIG_DEBUG_LOCK_ALLOC
241static struct lock_class_key rcu_lock_key;
242struct lockdep_map rcu_lock_map =
243 STATIC_LOCKDEP_MAP_INIT("rcu_read_lock", &rcu_lock_key);
244EXPORT_SYMBOL_GPL(rcu_lock_map);
Paul E. McKenney632ee202010-02-22 17:04:45 -0800245
246static struct lock_class_key rcu_bh_lock_key;
247struct lockdep_map rcu_bh_lock_map =
248 STATIC_LOCKDEP_MAP_INIT("rcu_read_lock_bh", &rcu_bh_lock_key);
249EXPORT_SYMBOL_GPL(rcu_bh_lock_map);
250
251static struct lock_class_key rcu_sched_lock_key;
252struct lockdep_map rcu_sched_lock_map =
253 STATIC_LOCKDEP_MAP_INIT("rcu_read_lock_sched", &rcu_sched_lock_key);
254EXPORT_SYMBOL_GPL(rcu_sched_lock_map);
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700255
Paul E. McKenney24ef6592013-10-28 09:22:24 -0700256static struct lock_class_key rcu_callback_key;
257struct lockdep_map rcu_callback_map =
258 STATIC_LOCKDEP_MAP_INIT("rcu_callback", &rcu_callback_key);
259EXPORT_SYMBOL_GPL(rcu_callback_map);
260
Steven Rostedt (Red Hat)a0a5a052013-08-31 01:04:07 -0400261int notrace debug_lockdep_rcu_enabled(void)
Paul E. McKenneybc293d62010-04-15 12:50:39 -0700262{
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800263 return rcu_scheduler_active != RCU_SCHEDULER_INACTIVE && debug_locks &&
Paul E. McKenneybc293d62010-04-15 12:50:39 -0700264 current->lockdep_recursion == 0;
265}
266EXPORT_SYMBOL_GPL(debug_lockdep_rcu_enabled);
Masami Hiramatsua39f15b2019-02-13 01:14:37 +0900267NOKPROBE_SYMBOL(debug_lockdep_rcu_enabled);
Paul E. McKenneybc293d62010-04-15 12:50:39 -0700268
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700269/**
Oleg Nesterov85b39d32014-07-08 15:17:59 -0700270 * rcu_read_lock_held() - might we be in RCU read-side critical section?
271 *
272 * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an RCU
273 * read-side critical section. In absence of CONFIG_DEBUG_LOCK_ALLOC,
274 * this assumes we are in an RCU read-side critical section unless it can
275 * prove otherwise. This is useful for debug checks in functions that
276 * require that they be called within an RCU read-side critical section.
277 *
278 * Checks debug_lockdep_rcu_enabled() to prevent false positives during boot
279 * and while lockdep is disabled.
280 *
281 * Note that rcu_read_lock() and the matching rcu_read_unlock() must
282 * occur in the same context, for example, it is illegal to invoke
283 * rcu_read_unlock() in process context if the matching rcu_read_lock()
284 * was invoked from within an irq handler.
285 *
286 * Note that rcu_read_lock() is disallowed if the CPU is either idle or
287 * offline from an RCU perspective, so check for those as well.
288 */
289int rcu_read_lock_held(void)
290{
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400291 bool ret;
292
293 if (rcu_read_lock_held_common(&ret))
294 return ret;
Oleg Nesterov85b39d32014-07-08 15:17:59 -0700295 return lock_is_held(&rcu_lock_map);
296}
297EXPORT_SYMBOL_GPL(rcu_read_lock_held);
298
299/**
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700300 * rcu_read_lock_bh_held() - might we be in RCU-bh read-side critical section?
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700301 *
302 * Check for bottom half being disabled, which covers both the
303 * CONFIG_PROVE_RCU and not cases. Note that if someone uses
304 * rcu_read_lock_bh(), but then later enables BH, lockdep (if enabled)
Paul E. McKenneyca5ecdd2010-04-28 14:39:09 -0700305 * will show the situation. This is useful for debug checks in functions
306 * that require that they be called within an RCU read-side critical
307 * section.
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700308 *
309 * Check debug_lockdep_rcu_enabled() to prevent false positives during boot.
Paul E. McKenneyc0d6d012012-01-23 12:41:26 -0800310 *
Paul E. McKenney82fcecf2018-07-02 09:04:27 -0700311 * Note that rcu_read_lock_bh() is disallowed if the CPU is either idle or
Paul E. McKenneyc0d6d012012-01-23 12:41:26 -0800312 * offline from an RCU perspective, so check for those as well.
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700313 */
314int rcu_read_lock_bh_held(void)
315{
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400316 bool ret;
317
318 if (rcu_read_lock_held_common(&ret))
319 return ret;
Paul E. McKenney773e3f92010-10-05 14:03:02 -0700320 return in_softirq() || irqs_disabled();
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700321}
322EXPORT_SYMBOL_GPL(rcu_read_lock_bh_held);
323
Joel Fernandes (Google)28875942019-07-16 18:12:22 -0400324int rcu_read_lock_any_held(void)
325{
326 bool ret;
327
328 if (rcu_read_lock_held_common(&ret))
329 return ret;
330 if (lock_is_held(&rcu_lock_map) ||
331 lock_is_held(&rcu_bh_lock_map) ||
332 lock_is_held(&rcu_sched_lock_map))
333 return 1;
334 return !preemptible();
335}
336EXPORT_SYMBOL_GPL(rcu_read_lock_any_held);
337
Paul E. McKenneye3818b82010-03-15 17:03:43 -0700338#endif /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
339
Paul E. McKenneyee376db2015-01-10 19:47:10 -0800340/**
341 * wakeme_after_rcu() - Callback function to awaken a task after grace period
342 * @head: Pointer to rcu_head member within rcu_synchronize structure
343 *
344 * Awaken the corresponding task now that a grace period has elapsed.
Paul E. McKenneyfbf6bfc2008-02-13 15:03:15 -0800345 */
Paul E. McKenneyee376db2015-01-10 19:47:10 -0800346void wakeme_after_rcu(struct rcu_head *head)
Dipankar Sarma21a1ea92006-03-07 21:55:33 -0800347{
Paul E. McKenney01c1c662008-01-25 21:08:24 +0100348 struct rcu_synchronize *rcu;
349
350 rcu = container_of(head, struct rcu_synchronize, head);
351 complete(&rcu->completion);
Dipankar Sarma21a1ea92006-03-07 21:55:33 -0800352}
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700353EXPORT_SYMBOL_GPL(wakeme_after_rcu);
Paul E. McKenneyee84b822010-05-06 09:28:41 -0700354
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700355void __wait_rcu_gp(bool checktiny, int n, call_rcu_func_t *crcu_array,
356 struct rcu_synchronize *rs_array)
Paul E. McKenney2c428182011-05-26 22:14:36 -0700357{
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700358 int i;
Paul E. McKenney68ab0b42017-04-28 16:19:07 -0700359 int j;
Paul E. McKenney2c428182011-05-26 22:14:36 -0700360
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700361 /* Initialize and register callbacks for each crcu_array element. */
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700362 for (i = 0; i < n; i++) {
363 if (checktiny &&
Paul E. McKenney309ba852018-07-11 14:36:49 -0700364 (crcu_array[i] == call_rcu)) {
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700365 might_sleep();
366 continue;
367 }
368 init_rcu_head_on_stack(&rs_array[i].head);
369 init_completion(&rs_array[i].completion);
Paul E. McKenney68ab0b42017-04-28 16:19:07 -0700370 for (j = 0; j < i; j++)
371 if (crcu_array[j] == crcu_array[i])
372 break;
373 if (j == i)
374 (crcu_array[i])(&rs_array[i].head, wakeme_after_rcu);
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700375 }
376
377 /* Wait for all callbacks to be invoked. */
378 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 continue;
Paul E. McKenney68ab0b42017-04-28 16:19:07 -0700382 for (j = 0; j < i; j++)
383 if (crcu_array[j] == crcu_array[i])
384 break;
385 if (j == i)
386 wait_for_completion(&rs_array[i].completion);
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700387 destroy_rcu_head_on_stack(&rs_array[i].head);
388 }
Paul E. McKenney2c428182011-05-26 22:14:36 -0700389}
Paul E. McKenneyec90a192015-06-10 12:53:06 -0700390EXPORT_SYMBOL_GPL(__wait_rcu_gp);
Paul E. McKenney2c428182011-05-26 22:14:36 -0700391
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400392#ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
Paul E. McKenney546a9d82014-06-19 14:57:10 -0700393void init_rcu_head(struct rcu_head *head)
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400394{
395 debug_object_init(head, &rcuhead_debug_descr);
396}
Paul E. McKenney156baec2017-12-07 09:40:38 -0800397EXPORT_SYMBOL_GPL(init_rcu_head);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400398
Paul E. McKenney546a9d82014-06-19 14:57:10 -0700399void destroy_rcu_head(struct rcu_head *head)
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400400{
401 debug_object_free(head, &rcuhead_debug_descr);
402}
Paul E. McKenney156baec2017-12-07 09:40:38 -0800403EXPORT_SYMBOL_GPL(destroy_rcu_head);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400404
Du, Changbinb9fdac7f2016-05-19 17:09:41 -0700405static bool rcuhead_is_static_object(void *addr)
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400406{
Du, Changbinb9fdac7f2016-05-19 17:09:41 -0700407 return true;
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400408}
409
410/**
411 * init_rcu_head_on_stack() - initialize on-stack rcu_head for debugobjects
412 * @head: pointer to rcu_head structure to be initialized
413 *
414 * This function informs debugobjects of a new rcu_head structure that
415 * has been allocated as an auto variable on the stack. This function
416 * is not required for rcu_head structures that are statically defined or
417 * that are dynamically allocated on the heap. This function has no
418 * effect for !CONFIG_DEBUG_OBJECTS_RCU_HEAD kernel builds.
419 */
420void init_rcu_head_on_stack(struct rcu_head *head)
421{
422 debug_object_init_on_stack(head, &rcuhead_debug_descr);
423}
424EXPORT_SYMBOL_GPL(init_rcu_head_on_stack);
425
426/**
427 * destroy_rcu_head_on_stack() - destroy on-stack rcu_head for debugobjects
428 * @head: pointer to rcu_head structure to be initialized
429 *
430 * This function informs debugobjects that an on-stack rcu_head structure
431 * is about to go out of scope. As with init_rcu_head_on_stack(), this
432 * function is not required for rcu_head structures that are statically
433 * defined or that are dynamically allocated on the heap. Also as with
434 * init_rcu_head_on_stack(), this function has no effect for
435 * !CONFIG_DEBUG_OBJECTS_RCU_HEAD kernel builds.
436 */
437void destroy_rcu_head_on_stack(struct rcu_head *head)
438{
439 debug_object_free(head, &rcuhead_debug_descr);
440}
441EXPORT_SYMBOL_GPL(destroy_rcu_head_on_stack);
442
443struct debug_obj_descr rcuhead_debug_descr = {
444 .name = "rcu_head",
Du, Changbinb9fdac7f2016-05-19 17:09:41 -0700445 .is_static_object = rcuhead_is_static_object,
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400446};
447EXPORT_SYMBOL_GPL(rcuhead_debug_descr);
448#endif /* #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD */
Paul E. McKenney91afaf32011-10-02 07:44:32 -0700449
Lai Jiangshanb3e627d2019-10-15 02:55:57 +0000450#if defined(CONFIG_TREE_RCU) || defined(CONFIG_RCU_TRACE)
Steven Rostedt (Red Hat)e66c33d2013-07-12 16:50:28 -0400451void do_trace_rcu_torture_read(const char *rcutorturename, struct rcu_head *rhp,
Paul E. McKenney52494532012-11-14 16:26:40 -0800452 unsigned long secs,
453 unsigned long c_old, unsigned long c)
Paul E. McKenney91afaf32011-10-02 07:44:32 -0700454{
Paul E. McKenney52494532012-11-14 16:26:40 -0800455 trace_rcu_torture_read(rcutorturename, rhp, secs, c_old, c);
Paul E. McKenney91afaf32011-10-02 07:44:32 -0700456}
457EXPORT_SYMBOL_GPL(do_trace_rcu_torture_read);
458#else
Paul E. McKenney52494532012-11-14 16:26:40 -0800459#define do_trace_rcu_torture_read(rcutorturename, rhp, secs, c_old, c) \
460 do { } while (0)
Paul E. McKenney91afaf32011-10-02 07:44:32 -0700461#endif
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700462
Paul E. McKenneyc682db52019-04-19 07:38:27 -0700463#if IS_ENABLED(CONFIG_RCU_TORTURE_TEST) || IS_MODULE(CONFIG_RCU_TORTURE_TEST)
464/* Get rcutorture access to sched_setaffinity(). */
465long rcutorture_sched_setaffinity(pid_t pid, const struct cpumask *in_mask)
466{
467 int ret;
468
469 ret = sched_setaffinity(pid, in_mask);
470 WARN_ONCE(ret, "%s: sched_setaffinity() returned %d\n", __func__, ret);
471 return ret;
472}
473EXPORT_SYMBOL_GPL(rcutorture_sched_setaffinity);
474#endif
475
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700476#ifdef CONFIG_RCU_STALL_COMMON
Paul E. McKenneycdc694b2019-06-13 15:30:49 -0700477int rcu_cpu_stall_ftrace_dump __read_mostly;
478module_param(rcu_cpu_stall_ftrace_dump, int, 0644);
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700479int rcu_cpu_stall_suppress __read_mostly; /* 1 = suppress stall warnings. */
Paul E. McKenneyf22ce092017-09-01 14:40:54 -0700480EXPORT_SYMBOL_GPL(rcu_cpu_stall_suppress);
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700481module_param(rcu_cpu_stall_suppress, int, 0644);
Paul E. McKenney10462d62019-01-11 16:10:57 -0800482int rcu_cpu_stall_timeout __read_mostly = CONFIG_RCU_CPU_STALL_TIMEOUT;
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700483module_param(rcu_cpu_stall_timeout, int, 0644);
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700484#endif /* #ifdef CONFIG_RCU_STALL_COMMON */
Paul E. McKenney8315f422014-06-27 13:42:20 -0700485
486#ifdef CONFIG_TASKS_RCU
487
488/*
Paul E. McKenney6f56f712018-05-14 13:52:27 -0700489 * Simple variant of RCU whose quiescent states are voluntary context
490 * switch, cond_resched_rcu_qs(), user-space execution, and idle.
491 * As such, grace periods can take one good long time. There are no
492 * read-side primitives similar to rcu_read_lock() and rcu_read_unlock()
493 * because this implementation is intended to get the system into a safe
494 * state for some of the manipulations involved in tracing and the like.
495 * Finally, this implementation does not support high call_rcu_tasks()
496 * rates from multiple CPUs. If this is required, per-CPU callback lists
497 * will be needed.
Paul E. McKenney8315f422014-06-27 13:42:20 -0700498 */
499
500/* Global list of callbacks and associated lock. */
501static struct rcu_head *rcu_tasks_cbs_head;
502static struct rcu_head **rcu_tasks_cbs_tail = &rcu_tasks_cbs_head;
Paul E. McKenneyc7b24d22014-07-28 14:39:25 -0700503static DECLARE_WAIT_QUEUE_HEAD(rcu_tasks_cbs_wq);
Paul E. McKenney8315f422014-06-27 13:42:20 -0700504static DEFINE_RAW_SPINLOCK(rcu_tasks_cbs_lock);
505
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700506/* Track exiting tasks in order to allow them to be waited for. */
Paul E. McKenneyccdd29f2017-05-25 08:51:48 -0700507DEFINE_STATIC_SRCU(tasks_rcu_exit_srcu);
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700508
509/* Control stall timeouts. Disable with <= 0, otherwise jiffies till stall. */
Paul E. McKenney59d80fd2017-04-28 10:20:28 -0700510#define RCU_TASK_STALL_TIMEOUT (HZ * 60 * 10)
511static int rcu_task_stall_timeout __read_mostly = RCU_TASK_STALL_TIMEOUT;
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700512module_param(rcu_task_stall_timeout, int, 0644);
513
Paul E. McKenney4929c912016-05-02 11:58:56 -0700514static struct task_struct *rcu_tasks_kthread_ptr;
Paul E. McKenney84a8f442014-08-04 07:24:21 -0700515
Paul E. McKenneya68a2bb2017-05-03 08:34:57 -0700516/**
517 * call_rcu_tasks() - Queue an RCU for invocation task-based grace period
518 * @rhp: structure to be used for queueing the RCU updates.
519 * @func: actual callback function to be invoked after the grace period
520 *
521 * The callback function will be invoked some time after a full grace
522 * period elapses, in other words after all currently executing RCU
523 * read-side critical sections have completed. call_rcu_tasks() assumes
524 * that the read-side critical sections end at a voluntary context
Paul E. McKenney6f56f712018-05-14 13:52:27 -0700525 * switch (not a preemption!), cond_resched_rcu_qs(), entry into idle,
526 * or transition to usermode execution. As such, there are no read-side
527 * primitives analogous to rcu_read_lock() and rcu_read_unlock() because
528 * this primitive is intended to determine that all tasks have passed
529 * through a safe state, not so much for data-strcuture synchronization.
Paul E. McKenneya68a2bb2017-05-03 08:34:57 -0700530 *
531 * See the description of call_rcu() for more detailed information on
532 * memory ordering guarantees.
Paul E. McKenney84a8f442014-08-04 07:24:21 -0700533 */
Boqun Fengb6a4ae72015-07-29 13:29:38 +0800534void call_rcu_tasks(struct rcu_head *rhp, rcu_callback_t func)
Paul E. McKenney8315f422014-06-27 13:42:20 -0700535{
536 unsigned long flags;
Paul E. McKenneyc7b24d22014-07-28 14:39:25 -0700537 bool needwake;
Paul E. McKenney8315f422014-06-27 13:42:20 -0700538
539 rhp->next = NULL;
540 rhp->func = func;
541 raw_spin_lock_irqsave(&rcu_tasks_cbs_lock, flags);
Paul E. McKenneyc7b24d22014-07-28 14:39:25 -0700542 needwake = !rcu_tasks_cbs_head;
Paul E. McKenney8315f422014-06-27 13:42:20 -0700543 *rcu_tasks_cbs_tail = rhp;
544 rcu_tasks_cbs_tail = &rhp->next;
545 raw_spin_unlock_irqrestore(&rcu_tasks_cbs_lock, flags);
Paul E. McKenney4929c912016-05-02 11:58:56 -0700546 /* We can't create the thread unless interrupts are enabled. */
Paul E. McKenneyc63eb172017-08-11 12:37:07 -0700547 if (needwake && READ_ONCE(rcu_tasks_kthread_ptr))
Paul E. McKenneyc7b24d22014-07-28 14:39:25 -0700548 wake_up(&rcu_tasks_cbs_wq);
Paul E. McKenney8315f422014-06-27 13:42:20 -0700549}
550EXPORT_SYMBOL_GPL(call_rcu_tasks);
551
Paul E. McKenney53c6d4e2014-07-01 12:22:23 -0700552/**
553 * synchronize_rcu_tasks - wait until an rcu-tasks grace period has elapsed.
554 *
555 * Control will return to the caller some time after a full rcu-tasks
556 * grace period has elapsed, in other words after all currently
557 * executing rcu-tasks read-side critical sections have elapsed. These
558 * read-side critical sections are delimited by calls to schedule(),
Paul E. McKenneycee43932018-03-02 16:35:27 -0800559 * cond_resched_tasks_rcu_qs(), idle execution, userspace execution, calls
Paul E. McKenney53c6d4e2014-07-01 12:22:23 -0700560 * to synchronize_rcu_tasks(), and (in theory, anyway) cond_resched().
561 *
562 * This is a very specialized primitive, intended only for a few uses in
563 * tracing and other situations requiring manipulation of function
564 * preambles and profiling hooks. The synchronize_rcu_tasks() function
565 * is not (yet) intended for heavy use from multiple CPUs.
566 *
567 * Note that this guarantee implies further memory-ordering guarantees.
568 * On systems with more than one CPU, when synchronize_rcu_tasks() returns,
569 * each CPU is guaranteed to have executed a full memory barrier since the
570 * end of its last RCU-tasks read-side critical section whose beginning
571 * preceded the call to synchronize_rcu_tasks(). In addition, each CPU
572 * having an RCU-tasks read-side critical section that extends beyond
573 * the return from synchronize_rcu_tasks() is guaranteed to have executed
574 * a full memory barrier after the beginning of synchronize_rcu_tasks()
575 * and before the beginning of that RCU-tasks read-side critical section.
576 * Note that these guarantees include CPUs that are offline, idle, or
577 * executing in user mode, as well as CPUs that are executing in the kernel.
578 *
579 * Furthermore, if CPU A invoked synchronize_rcu_tasks(), which returned
580 * to its caller on CPU B, then both CPU A and CPU B are guaranteed
581 * to have executed a full memory barrier during the execution of
582 * synchronize_rcu_tasks() -- even if CPU A and CPU B are the same CPU
583 * (but again only if the system has more than one CPU).
584 */
585void synchronize_rcu_tasks(void)
586{
587 /* Complain if the scheduler has not started. */
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800588 RCU_LOCKDEP_WARN(rcu_scheduler_active == RCU_SCHEDULER_INACTIVE,
Paul E. McKenneyf78f5b92015-06-18 15:50:02 -0700589 "synchronize_rcu_tasks called too soon");
Paul E. McKenney53c6d4e2014-07-01 12:22:23 -0700590
591 /* Wait for the grace period. */
592 wait_rcu_gp(call_rcu_tasks);
593}
Steven Rostedt06c2a922014-07-02 18:17:19 -0700594EXPORT_SYMBOL_GPL(synchronize_rcu_tasks);
Paul E. McKenney53c6d4e2014-07-01 12:22:23 -0700595
596/**
597 * rcu_barrier_tasks - Wait for in-flight call_rcu_tasks() callbacks.
598 *
599 * Although the current implementation is guaranteed to wait, it is not
600 * obligated to, for example, if there are no pending callbacks.
601 */
602void rcu_barrier_tasks(void)
603{
604 /* There is only one callback queue, so this is easy. ;-) */
605 synchronize_rcu_tasks();
606}
Steven Rostedt06c2a922014-07-02 18:17:19 -0700607EXPORT_SYMBOL_GPL(rcu_barrier_tasks);
Paul E. McKenney53c6d4e2014-07-01 12:22:23 -0700608
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700609/* See if tasks are still holding out, complain if so. */
610static void check_holdout_task(struct task_struct *t,
611 bool needreport, bool *firstreport)
Paul E. McKenney8315f422014-06-27 13:42:20 -0700612{
Paul E. McKenney4ff475e2014-08-10 19:47:12 -0700613 int cpu;
614
Paul E. McKenney7d0ae802015-03-03 14:57:58 -0800615 if (!READ_ONCE(t->rcu_tasks_holdout) ||
616 t->rcu_tasks_nvcsw != READ_ONCE(t->nvcsw) ||
617 !READ_ONCE(t->on_rq) ||
Paul E. McKenney176f8f72014-08-04 17:43:50 -0700618 (IS_ENABLED(CONFIG_NO_HZ_FULL) &&
619 !is_idle_task(t) && t->rcu_tasks_idle_cpu >= 0)) {
Paul E. McKenney7d0ae802015-03-03 14:57:58 -0800620 WRITE_ONCE(t->rcu_tasks_holdout, false);
Paul E. McKenney8f20a5e2014-08-05 05:10:24 -0700621 list_del_init(&t->rcu_tasks_holdout_list);
Paul E. McKenney8315f422014-06-27 13:42:20 -0700622 put_task_struct(t);
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700623 return;
Paul E. McKenney8315f422014-06-27 13:42:20 -0700624 }
Paul E. McKenneybcbfdd02017-04-11 15:50:41 -0700625 rcu_request_urgent_qs_task(t);
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700626 if (!needreport)
627 return;
628 if (*firstreport) {
629 pr_err("INFO: rcu_tasks detected stalls on tasks:\n");
630 *firstreport = false;
631 }
Paul E. McKenney4ff475e2014-08-10 19:47:12 -0700632 cpu = task_cpu(t);
633 pr_alert("%p: %c%c nvcsw: %lu/%lu holdout: %d idle_cpu: %d/%d\n",
634 t, ".I"[is_idle_task(t)],
635 "N."[cpu < 0 || !tick_nohz_full_cpu(cpu)],
636 t->rcu_tasks_nvcsw, t->nvcsw, t->rcu_tasks_holdout,
637 t->rcu_tasks_idle_cpu, cpu);
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700638 sched_show_task(t);
Paul E. McKenney8315f422014-06-27 13:42:20 -0700639}
640
641/* RCU-tasks kthread that detects grace periods and invokes callbacks. */
642static int __noreturn rcu_tasks_kthread(void *arg)
643{
644 unsigned long flags;
645 struct task_struct *g, *t;
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700646 unsigned long lastreport;
Paul E. McKenney8315f422014-06-27 13:42:20 -0700647 struct rcu_head *list;
648 struct rcu_head *next;
649 LIST_HEAD(rcu_tasks_holdouts);
Steven Rostedt (VMware)c03be752018-05-24 18:49:46 -0400650 int fract;
Paul E. McKenney8315f422014-06-27 13:42:20 -0700651
Paul E. McKenney60ced492014-10-27 16:04:35 -0700652 /* Run on housekeeping CPUs by default. Sysadm can move if desired. */
Frederic Weisbeckerde201552017-10-27 04:42:35 +0200653 housekeeping_affine(current, HK_FLAG_RCU);
Paul E. McKenney8315f422014-06-27 13:42:20 -0700654
655 /*
656 * Each pass through the following loop makes one check for
657 * newly arrived callbacks, and, if there are some, waits for
658 * one RCU-tasks grace period and then invokes the callbacks.
659 * This loop is terminated by the system going down. ;-)
660 */
661 for (;;) {
662
663 /* Pick up any new callbacks. */
664 raw_spin_lock_irqsave(&rcu_tasks_cbs_lock, flags);
665 list = rcu_tasks_cbs_head;
666 rcu_tasks_cbs_head = NULL;
667 rcu_tasks_cbs_tail = &rcu_tasks_cbs_head;
668 raw_spin_unlock_irqrestore(&rcu_tasks_cbs_lock, flags);
669
670 /* If there were none, wait a bit and start over. */
671 if (!list) {
Paul E. McKenneyc7b24d22014-07-28 14:39:25 -0700672 wait_event_interruptible(rcu_tasks_cbs_wq,
673 rcu_tasks_cbs_head);
674 if (!rcu_tasks_cbs_head) {
675 WARN_ON(signal_pending(current));
676 schedule_timeout_interruptible(HZ/10);
677 }
Paul E. McKenney8315f422014-06-27 13:42:20 -0700678 continue;
679 }
680
681 /*
682 * Wait for all pre-existing t->on_rq and t->nvcsw
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700683 * transitions to complete. Invoking synchronize_rcu()
Paul E. McKenney8315f422014-06-27 13:42:20 -0700684 * suffices because all these transitions occur with
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700685 * interrupts disabled. Without this synchronize_rcu(),
Paul E. McKenney8315f422014-06-27 13:42:20 -0700686 * a read-side critical section that started before the
687 * grace period might be incorrectly seen as having started
688 * after the grace period.
689 *
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700690 * This synchronize_rcu() also dispenses with the
Paul E. McKenney8315f422014-06-27 13:42:20 -0700691 * need for a memory barrier on the first store to
692 * ->rcu_tasks_holdout, as it forces the store to happen
693 * after the beginning of the grace period.
694 */
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700695 synchronize_rcu();
Paul E. McKenney8315f422014-06-27 13:42:20 -0700696
697 /*
698 * There were callbacks, so we need to wait for an
699 * RCU-tasks grace period. Start off by scanning
700 * the task list for tasks that are not already
701 * voluntarily blocked. Mark these tasks and make
702 * a list of them in rcu_tasks_holdouts.
703 */
704 rcu_read_lock();
705 for_each_process_thread(g, t) {
Paul E. McKenney7d0ae802015-03-03 14:57:58 -0800706 if (t != current && READ_ONCE(t->on_rq) &&
Paul E. McKenney8315f422014-06-27 13:42:20 -0700707 !is_idle_task(t)) {
708 get_task_struct(t);
Paul E. McKenney7d0ae802015-03-03 14:57:58 -0800709 t->rcu_tasks_nvcsw = READ_ONCE(t->nvcsw);
710 WRITE_ONCE(t->rcu_tasks_holdout, true);
Paul E. McKenney8315f422014-06-27 13:42:20 -0700711 list_add(&t->rcu_tasks_holdout_list,
712 &rcu_tasks_holdouts);
713 }
714 }
715 rcu_read_unlock();
716
717 /*
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700718 * Wait for tasks that are in the process of exiting.
719 * This does only part of the job, ensuring that all
720 * tasks that were previously exiting reach the point
721 * where they have disabled preemption, allowing the
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700722 * later synchronize_rcu() to finish the job.
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700723 */
724 synchronize_srcu(&tasks_rcu_exit_srcu);
725
726 /*
Paul E. McKenney8315f422014-06-27 13:42:20 -0700727 * Each pass through the following loop scans the list
728 * of holdout tasks, removing any that are no longer
729 * holdouts. When the list is empty, we are done.
730 */
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700731 lastreport = jiffies;
Steven Rostedt (VMware)c03be752018-05-24 18:49:46 -0400732
733 /* Start off with HZ/10 wait and slowly back off to 1 HZ wait*/
734 fract = 10;
735
736 for (;;) {
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700737 bool firstreport;
738 bool needreport;
739 int rtst;
Paul E. McKenney8f20a5e2014-08-05 05:10:24 -0700740 struct task_struct *t1;
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700741
Steven Rostedt (VMware)c03be752018-05-24 18:49:46 -0400742 if (list_empty(&rcu_tasks_holdouts))
743 break;
744
745 /* Slowly back off waiting for holdouts */
746 schedule_timeout_interruptible(HZ/fract);
747
748 if (fract > 1)
749 fract--;
750
Paul E. McKenney7d0ae802015-03-03 14:57:58 -0800751 rtst = READ_ONCE(rcu_task_stall_timeout);
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700752 needreport = rtst > 0 &&
753 time_after(jiffies, lastreport + rtst);
754 if (needreport)
755 lastreport = jiffies;
756 firstreport = true;
Paul E. McKenney8315f422014-06-27 13:42:20 -0700757 WARN_ON(signal_pending(current));
Paul E. McKenney8f20a5e2014-08-05 05:10:24 -0700758 list_for_each_entry_safe(t, t1, &rcu_tasks_holdouts,
759 rcu_tasks_holdout_list) {
Paul E. McKenney52db30a2014-07-01 18:16:30 -0700760 check_holdout_task(t, needreport, &firstreport);
Paul E. McKenney8f20a5e2014-08-05 05:10:24 -0700761 cond_resched();
762 }
Paul E. McKenney8315f422014-06-27 13:42:20 -0700763 }
764
765 /*
766 * Because ->on_rq and ->nvcsw are not guaranteed
767 * to have a full memory barriers prior to them in the
768 * schedule() path, memory reordering on other CPUs could
769 * cause their RCU-tasks read-side critical sections to
770 * extend past the end of the grace period. However,
771 * because these ->nvcsw updates are carried out with
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700772 * interrupts disabled, we can use synchronize_rcu()
Paul E. McKenney8315f422014-06-27 13:42:20 -0700773 * to force the needed ordering on all such CPUs.
774 *
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700775 * This synchronize_rcu() also confines all
Paul E. McKenney8315f422014-06-27 13:42:20 -0700776 * ->rcu_tasks_holdout accesses to be within the grace
777 * period, avoiding the need for memory barriers for
778 * ->rcu_tasks_holdout accesses.
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700779 *
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700780 * In addition, this synchronize_rcu() waits for exiting
Paul E. McKenney3f95aa82014-08-04 06:10:23 -0700781 * tasks to complete their final preempt_disable() region
782 * of execution, cleaning up after the synchronize_srcu()
783 * above.
Paul E. McKenney8315f422014-06-27 13:42:20 -0700784 */
Paul E. McKenney06462ef2018-07-08 10:58:37 -0700785 synchronize_rcu();
Paul E. McKenney8315f422014-06-27 13:42:20 -0700786
787 /* Invoke the callbacks. */
788 while (list) {
789 next = list->next;
790 local_bh_disable();
791 list->func(list);
792 local_bh_enable();
793 list = next;
794 cond_resched();
795 }
Steven Rostedt (VMware)cd23ac82018-05-24 18:58:16 -0400796 /* Paranoid sleep to keep this from entering a tight loop */
Paul E. McKenneyc7b24d22014-07-28 14:39:25 -0700797 schedule_timeout_uninterruptible(HZ/10);
Paul E. McKenney8315f422014-06-27 13:42:20 -0700798 }
799}
800
Paul E. McKenneyc63eb172017-08-11 12:37:07 -0700801/* Spawn rcu_tasks_kthread() at core_initcall() time. */
802static int __init rcu_spawn_tasks_kthread(void)
Paul E. McKenney8315f422014-06-27 13:42:20 -0700803{
Paul E. McKenney84a8f442014-08-04 07:24:21 -0700804 struct task_struct *t;
Paul E. McKenney8315f422014-06-27 13:42:20 -0700805
806 t = kthread_run(rcu_tasks_kthread, NULL, "rcu_tasks_kthread");
Paul E. McKenneyf0ad56e2018-10-22 08:33:06 -0700807 if (WARN_ONCE(IS_ERR(t), "%s: Could not start Tasks-RCU grace-period kthread, OOM is now expected behavior\n", __func__))
808 return 0;
Paul E. McKenney84a8f442014-08-04 07:24:21 -0700809 smp_mb(); /* Ensure others see full kthread. */
Paul E. McKenney7d0ae802015-03-03 14:57:58 -0800810 WRITE_ONCE(rcu_tasks_kthread_ptr, t);
Paul E. McKenneyc63eb172017-08-11 12:37:07 -0700811 return 0;
Paul E. McKenney8315f422014-06-27 13:42:20 -0700812}
Paul E. McKenneyc63eb172017-08-11 12:37:07 -0700813core_initcall(rcu_spawn_tasks_kthread);
Paul E. McKenney8315f422014-06-27 13:42:20 -0700814
Paul E. McKenneyccdd29f2017-05-25 08:51:48 -0700815/* Do the srcu_read_lock() for the above synchronize_srcu(). */
816void exit_tasks_rcu_start(void)
817{
818 preempt_disable();
819 current->rcu_tasks_idx = __srcu_read_lock(&tasks_rcu_exit_srcu);
820 preempt_enable();
821}
822
823/* Do the srcu_read_unlock() for the above synchronize_srcu(). */
824void exit_tasks_rcu_finish(void)
825{
826 preempt_disable();
827 __srcu_read_unlock(&tasks_rcu_exit_srcu, current->rcu_tasks_idx);
828 preempt_enable();
829}
830
Paul E. McKenney8315f422014-06-27 13:42:20 -0700831#endif /* #ifdef CONFIG_TASKS_RCU */
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400832
Paul E. McKenney59d80fd2017-04-28 10:20:28 -0700833#ifndef CONFIG_TINY_RCU
834
835/*
836 * Print any non-default Tasks RCU settings.
837 */
838static void __init rcu_tasks_bootup_oddness(void)
839{
840#ifdef CONFIG_TASKS_RCU
841 if (rcu_task_stall_timeout != RCU_TASK_STALL_TIMEOUT)
842 pr_info("\tTasks-RCU CPU stall warnings timeout set to %d (rcu_task_stall_timeout).\n", rcu_task_stall_timeout);
843 else
844 pr_info("\tTasks RCU enabled.\n");
845#endif /* #ifdef CONFIG_TASKS_RCU */
846}
847
848#endif /* #ifndef CONFIG_TINY_RCU */
849
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400850#ifdef CONFIG_PROVE_RCU
851
852/*
Paul E. McKenney72ce30d2018-07-07 10:24:23 -0700853 * Early boot self test parameters.
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400854 */
855static bool rcu_self_test;
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400856module_param(rcu_self_test, bool, 0444);
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400857
858static int rcu_self_test_counter;
859
860static void test_callback(struct rcu_head *r)
861{
862 rcu_self_test_counter++;
863 pr_info("RCU test callback executed %d\n", rcu_self_test_counter);
864}
865
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700866DEFINE_STATIC_SRCU(early_srcu);
867
Byungchul Parka35d1692019-08-05 18:22:27 -0400868struct early_boot_kfree_rcu {
869 struct rcu_head rh;
870};
871
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400872static void early_boot_test_call_rcu(void)
873{
874 static struct rcu_head head;
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700875 static struct rcu_head shead;
Byungchul Parka35d1692019-08-05 18:22:27 -0400876 struct early_boot_kfree_rcu *rhp;
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400877
878 call_rcu(&head, test_callback);
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700879 if (IS_ENABLED(CONFIG_SRCU))
880 call_srcu(&early_srcu, &shead, test_callback);
Byungchul Parka35d1692019-08-05 18:22:27 -0400881 rhp = kmalloc(sizeof(*rhp), GFP_KERNEL);
882 if (!WARN_ON_ONCE(!rhp))
883 kfree_rcu(rhp, rh);
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400884}
885
886void rcu_early_boot_tests(void)
887{
888 pr_info("Running RCU self tests\n");
889
890 if (rcu_self_test)
891 early_boot_test_call_rcu();
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800892 rcu_test_sync_prims();
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400893}
894
895static int rcu_verify_early_boot_tests(void)
896{
897 int ret = 0;
898 int early_boot_test_counter = 0;
899
900 if (rcu_self_test) {
901 early_boot_test_counter++;
902 rcu_barrier();
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700903 if (IS_ENABLED(CONFIG_SRCU)) {
904 early_boot_test_counter++;
905 srcu_barrier(&early_srcu);
906 }
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400907 }
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400908 if (rcu_self_test_counter != early_boot_test_counter) {
909 WARN_ON(1);
910 ret = -1;
911 }
912
913 return ret;
914}
915late_initcall(rcu_verify_early_boot_tests);
916#else
917void rcu_early_boot_tests(void) {}
918#endif /* CONFIG_PROVE_RCU */
Paul E. McKenney59d80fd2017-04-28 10:20:28 -0700919
920#ifndef CONFIG_TINY_RCU
921
922/*
923 * Print any significant non-default boot-time settings.
924 */
925void __init rcupdate_announce_bootup_oddness(void)
926{
927 if (rcu_normal)
928 pr_info("\tNo expedited grace period (rcu_normal).\n");
929 else if (rcu_normal_after_boot)
930 pr_info("\tNo expedited grace period (rcu_normal_after_boot).\n");
931 else if (rcu_expedited)
932 pr_info("\tAll grace periods are expedited (rcu_expedited).\n");
933 if (rcu_cpu_stall_suppress)
934 pr_info("\tRCU CPU stall warnings suppressed (rcu_cpu_stall_suppress).\n");
935 if (rcu_cpu_stall_timeout != CONFIG_RCU_CPU_STALL_TIMEOUT)
936 pr_info("\tRCU CPU stall warnings timeout set to %d (rcu_cpu_stall_timeout).\n", rcu_cpu_stall_timeout);
937 rcu_tasks_bootup_oddness();
938}
939
940#endif /* #ifndef CONFIG_TINY_RCU */