blob: a97c20ea9bce65c7a6126effc271ce979f6e9f33 [file] [log] [blame]
Paul E. McKenneyf41d9112009-08-22 13:56:52 -07001/*
2 * Read-Copy Update mechanism for mutual exclusion (tree-based version)
3 * Internal non-public definitions that provide either classic
Paul E. McKenney6cc68792011-03-02 13:15:15 -08004 * or preemptible semantics.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -07005 *
6 * This program is free software; you can redistribute it and/or modify
7 * it under the terms of the GNU General Public License as published by
8 * the Free Software Foundation; either version 2 of the License, or
9 * (at your option) any later version.
10 *
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
15 *
16 * You should have received a copy of the GNU General Public License
Paul E. McKenney87de1cf2013-12-03 10:02:52 -080017 * along with this program; if not, you can access it online at
18 * http://www.gnu.org/licenses/gpl-2.0.html.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -070019 *
20 * Copyright Red Hat, 2009
21 * Copyright IBM Corporation, 2009
22 *
23 * Author: Ingo Molnar <mingo@elte.hu>
24 * Paul E. McKenney <paulmck@linux.vnet.ibm.com>
25 */
26
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -080027#include <linux/delay.h>
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -070028#include <linux/gfp.h>
Paul E. McKenneyb626c1b2012-06-11 17:39:43 -070029#include <linux/oom.h>
Ingo Molnarb17b0152017-02-08 18:51:35 +010030#include <linux/sched/debug.h>
Paul E. McKenney62ab7072012-07-16 10:42:38 +000031#include <linux/smpboot.h>
Frederic Weisbecker78634062017-10-27 04:42:28 +020032#include <linux/sched/isolation.h>
Ingo Molnarae7e81c2017-02-01 18:07:51 +010033#include <uapi/linux/sched/types.h>
Paul E. McKenney4102ada2013-10-08 20:23:47 -070034#include "../time/tick-internal.h"
Paul E. McKenneyf41d9112009-08-22 13:56:52 -070035
Mike Galbraith5b61b0b2011-08-19 11:39:11 -070036#ifdef CONFIG_RCU_BOOST
Paul E. McKenney61cfd092014-09-02 12:30:58 -070037
Paul E. McKenneyabaa93d2014-06-12 13:30:25 -070038#include "../locking/rtmutex_common.h"
Clark Williams21871d72014-09-12 21:21:09 -050039
Paul E. McKenney61cfd092014-09-02 12:30:58 -070040/*
41 * Control variables for per-CPU and per-rcu_node kthreads. These
42 * handle all flavors of RCU.
43 */
44static DEFINE_PER_CPU(struct task_struct *, rcu_cpu_kthread_task);
45DEFINE_PER_CPU(unsigned int, rcu_cpu_kthread_status);
46DEFINE_PER_CPU(unsigned int, rcu_cpu_kthread_loops);
47DEFINE_PER_CPU(char, rcu_cpu_has_work);
48
Paul E. McKenney727b7052015-03-03 14:49:26 -080049#else /* #ifdef CONFIG_RCU_BOOST */
50
51/*
52 * Some architectures do not define rt_mutexes, but if !CONFIG_RCU_BOOST,
53 * all uses are in dead code. Provide a definition to keep the compiler
54 * happy, but add WARN_ON_ONCE() to complain if used in the wrong place.
55 * This probably needs to be excluded from -rt builds.
56 */
57#define rt_mutex_owner(a) ({ WARN_ON_ONCE(1); NULL; })
Sebastian Andrzej Siewiorb8869782017-10-18 08:33:44 -070058#define rt_mutex_futex_unlock(x) WARN_ON_ONCE(1)
Paul E. McKenney727b7052015-03-03 14:49:26 -080059
60#endif /* #else #ifdef CONFIG_RCU_BOOST */
Mike Galbraith5b61b0b2011-08-19 11:39:11 -070061
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -070062#ifdef CONFIG_RCU_NOCB_CPU
63static cpumask_var_t rcu_nocb_mask; /* CPUs to have callbacks offloaded. */
Paul Gortmaker1b0048a2012-12-20 13:19:22 -080064static bool __read_mostly rcu_nocb_poll; /* Offload kthread are to poll. */
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -070065#endif /* #ifdef CONFIG_RCU_NOCB_CPU */
66
Paul E. McKenney26845c22010-04-13 14:19:23 -070067/*
68 * Check the RCU kernel configuration parameters and print informative
Paul E. McKenney699d4032015-09-29 08:47:49 -070069 * messages about anything out of the ordinary.
Paul E. McKenney26845c22010-04-13 14:19:23 -070070 */
71static void __init rcu_bootup_announce_oddness(void)
72{
Paul E. McKenneyab6f5bd2015-01-21 16:58:06 -080073 if (IS_ENABLED(CONFIG_RCU_TRACE))
Paul E. McKenneyae91aa02017-05-15 15:30:32 -070074 pr_info("\tRCU event tracing is enabled.\n");
Paul E. McKenney05c5df32015-04-20 14:27:43 -070075 if ((IS_ENABLED(CONFIG_64BIT) && RCU_FANOUT != 64) ||
76 (!IS_ENABLED(CONFIG_64BIT) && RCU_FANOUT != 32))
Joe Perchesa7538352018-05-14 13:27:33 -070077 pr_info("\tCONFIG_RCU_FANOUT set to non-default value of %d.\n",
78 RCU_FANOUT);
Paul E. McKenney7fa27002015-04-20 10:27:15 -070079 if (rcu_fanout_exact)
Paul E. McKenneyab6f5bd2015-01-21 16:58:06 -080080 pr_info("\tHierarchical RCU autobalancing is disabled.\n");
81 if (IS_ENABLED(CONFIG_RCU_FAST_NO_HZ))
82 pr_info("\tRCU dyntick-idle grace-period acceleration is enabled.\n");
Paul E. McKenneyc4a09ff2017-05-12 14:37:19 -070083 if (IS_ENABLED(CONFIG_PROVE_RCU))
Paul E. McKenneyab6f5bd2015-01-21 16:58:06 -080084 pr_info("\tRCU lockdep checking is enabled.\n");
Alexander Gordeev42621692015-06-03 08:18:31 +020085 if (RCU_NUM_LVLS >= 4)
86 pr_info("\tFour(or more)-level hierarchy is enabled.\n");
Paul E. McKenney47d631a2015-04-21 09:12:13 -070087 if (RCU_FANOUT_LEAF != 16)
Paul E. McKenneya3bd2c09a2015-01-21 20:58:57 -080088 pr_info("\tBuild-time adjustment of leaf fanout to %d.\n",
Paul E. McKenney47d631a2015-04-21 09:12:13 -070089 RCU_FANOUT_LEAF);
90 if (rcu_fanout_leaf != RCU_FANOUT_LEAF)
Joe Perchesa7538352018-05-14 13:27:33 -070091 pr_info("\tBoot-time adjustment of leaf fanout to %d.\n",
92 rcu_fanout_leaf);
Paul E. McKenneycca6f392012-05-08 21:00:28 -070093 if (nr_cpu_ids != NR_CPUS)
Alexey Dobriyan9b130ad2017-09-08 16:14:18 -070094 pr_info("\tRCU restricting CPUs from NR_CPUS=%d to nr_cpu_ids=%u.\n", NR_CPUS, nr_cpu_ids);
Paul E. McKenney17c77982017-04-28 11:12:34 -070095#ifdef CONFIG_RCU_BOOST
Joe Perchesa7538352018-05-14 13:27:33 -070096 pr_info("\tRCU priority boosting: priority %d delay %d ms.\n",
97 kthread_prio, CONFIG_RCU_BOOST_DELAY);
Paul E. McKenney17c77982017-04-28 11:12:34 -070098#endif
99 if (blimit != DEFAULT_RCU_BLIMIT)
100 pr_info("\tBoot-time adjustment of callback invocation limit to %ld.\n", blimit);
101 if (qhimark != DEFAULT_RCU_QHIMARK)
102 pr_info("\tBoot-time adjustment of callback high-water mark to %ld.\n", qhimark);
103 if (qlowmark != DEFAULT_RCU_QLOMARK)
104 pr_info("\tBoot-time adjustment of callback low-water mark to %ld.\n", qlowmark);
105 if (jiffies_till_first_fqs != ULONG_MAX)
106 pr_info("\tBoot-time adjustment of first FQS scan delay to %ld jiffies.\n", jiffies_till_first_fqs);
107 if (jiffies_till_next_fqs != ULONG_MAX)
108 pr_info("\tBoot-time adjustment of subsequent FQS scan delay to %ld jiffies.\n", jiffies_till_next_fqs);
109 if (rcu_kick_kthreads)
110 pr_info("\tKick kthreads if too-long grace period.\n");
111 if (IS_ENABLED(CONFIG_DEBUG_OBJECTS_RCU_HEAD))
112 pr_info("\tRCU callback double-/use-after-free debug enabled.\n");
Paul E. McKenney90040c92017-05-10 14:36:55 -0700113 if (gp_preinit_delay)
Paul E. McKenney17c77982017-04-28 11:12:34 -0700114 pr_info("\tRCU debug GP pre-init slowdown %d jiffies.\n", gp_preinit_delay);
Paul E. McKenney90040c92017-05-10 14:36:55 -0700115 if (gp_init_delay)
Paul E. McKenney17c77982017-04-28 11:12:34 -0700116 pr_info("\tRCU debug GP init slowdown %d jiffies.\n", gp_init_delay);
Paul E. McKenney90040c92017-05-10 14:36:55 -0700117 if (gp_cleanup_delay)
Paul E. McKenney17c77982017-04-28 11:12:34 -0700118 pr_info("\tRCU debug GP init slowdown %d jiffies.\n", gp_cleanup_delay);
119 if (IS_ENABLED(CONFIG_RCU_EQS_DEBUG))
120 pr_info("\tRCU debug extended QS entry/exit.\n");
Paul E. McKenney59d80fd2017-04-28 10:20:28 -0700121 rcupdate_announce_bootup_oddness();
Paul E. McKenney26845c22010-04-13 14:19:23 -0700122}
123
Pranith Kumar28f65692014-09-22 14:00:48 -0400124#ifdef CONFIG_PREEMPT_RCU
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700125
Steven Rostedt (Red Hat)a41bfeb2013-07-12 17:00:28 -0400126RCU_STATE_INITIALIZER(rcu_preempt, 'p', call_rcu);
Paul E. McKenneyb28a7c02015-03-04 07:39:27 -0800127static struct rcu_state *const rcu_state_p = &rcu_preempt_state;
Paul E. McKenney2927a682015-03-04 07:53:04 -0800128static struct rcu_data __percpu *const rcu_data_p = &rcu_preempt_data;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700129
Paul E. McKenneyd19fb8d2014-10-31 12:56:16 -0700130static void rcu_report_exp_rnp(struct rcu_state *rsp, struct rcu_node *rnp,
131 bool wake);
Paul E. McKenney3949fa92018-05-08 15:29:10 -0700132static void rcu_read_unlock_special(struct task_struct *t);
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800133
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700134/*
135 * Tell them what RCU they are running.
136 */
Paul E. McKenney0e0fc1c2009-11-11 11:28:06 -0800137static void __init rcu_bootup_announce(void)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700138{
Paul E. McKenneyefc151c2013-03-18 16:24:11 -0700139 pr_info("Preemptible hierarchical RCU implementation.\n");
Paul E. McKenney26845c22010-04-13 14:19:23 -0700140 rcu_bootup_announce_oddness();
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700141}
142
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700143/* Flags for rcu_preempt_ctxt_queue() decision table. */
144#define RCU_GP_TASKS 0x8
145#define RCU_EXP_TASKS 0x4
146#define RCU_GP_BLKD 0x2
147#define RCU_EXP_BLKD 0x1
148
149/*
150 * Queues a task preempted within an RCU-preempt read-side critical
151 * section into the appropriate location within the ->blkd_tasks list,
152 * depending on the states of any ongoing normal and expedited grace
153 * periods. The ->gp_tasks pointer indicates which element the normal
154 * grace period is waiting on (NULL if none), and the ->exp_tasks pointer
155 * indicates which element the expedited grace period is waiting on (again,
156 * NULL if none). If a grace period is waiting on a given element in the
157 * ->blkd_tasks list, it also waits on all subsequent elements. Thus,
158 * adding a task to the tail of the list blocks any grace period that is
159 * already waiting on one of the elements. In contrast, adding a task
160 * to the head of the list won't block any grace period that is already
161 * waiting on one of the elements.
162 *
163 * This queuing is imprecise, and can sometimes make an ongoing grace
164 * period wait for a task that is not strictly speaking blocking it.
165 * Given the choice, we needlessly block a normal grace period rather than
166 * blocking an expedited grace period.
167 *
168 * Note that an endless sequence of expedited grace periods still cannot
169 * indefinitely postpone a normal grace period. Eventually, all of the
170 * fixed number of preempted tasks blocking the normal grace period that are
171 * not also blocking the expedited grace period will resume and complete
172 * their RCU read-side critical sections. At that point, the ->gp_tasks
173 * pointer will equal the ->exp_tasks pointer, at which point the end of
174 * the corresponding expedited grace period will also be the end of the
175 * normal grace period.
176 */
Paul E. McKenney46a5d162015-10-07 09:10:48 -0700177static void rcu_preempt_ctxt_queue(struct rcu_node *rnp, struct rcu_data *rdp)
178 __releases(rnp->lock) /* But leaves rrupts disabled. */
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700179{
180 int blkd_state = (rnp->gp_tasks ? RCU_GP_TASKS : 0) +
181 (rnp->exp_tasks ? RCU_EXP_TASKS : 0) +
182 (rnp->qsmask & rdp->grpmask ? RCU_GP_BLKD : 0) +
183 (rnp->expmask & rdp->grpmask ? RCU_EXP_BLKD : 0);
184 struct task_struct *t = current;
185
Matthew Wilcoxa32e01e2018-01-17 06:24:30 -0800186 raw_lockdep_assert_held_rcu_node(rnp);
Paul E. McKenney2dee9402017-07-11 21:52:31 -0700187 WARN_ON_ONCE(rdp->mynode != rnp);
Paul E. McKenney5b4c11d2018-04-13 17:11:44 -0700188 WARN_ON_ONCE(!rcu_is_leaf_node(rnp));
Paul E. McKenney1f3e5f52018-05-03 10:35:33 -0700189 /* RCU better not be waiting on newly onlined CPUs! */
190 WARN_ON_ONCE(rnp->qsmaskinitnext & ~rnp->qsmaskinit & rnp->qsmask &
191 rdp->grpmask);
Paul E. McKenneyea9b0c82017-04-28 13:19:28 -0700192
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700193 /*
194 * Decide where to queue the newly blocked task. In theory,
195 * this could be an if-statement. In practice, when I tried
196 * that, it was quite messy.
197 */
198 switch (blkd_state) {
199 case 0:
200 case RCU_EXP_TASKS:
201 case RCU_EXP_TASKS + RCU_GP_BLKD:
202 case RCU_GP_TASKS:
203 case RCU_GP_TASKS + RCU_EXP_TASKS:
204
205 /*
206 * Blocking neither GP, or first task blocking the normal
207 * GP but not blocking the already-waiting expedited GP.
208 * Queue at the head of the list to avoid unnecessarily
209 * blocking the already-waiting GPs.
210 */
211 list_add(&t->rcu_node_entry, &rnp->blkd_tasks);
212 break;
213
214 case RCU_EXP_BLKD:
215 case RCU_GP_BLKD:
216 case RCU_GP_BLKD + RCU_EXP_BLKD:
217 case RCU_GP_TASKS + RCU_EXP_BLKD:
218 case RCU_GP_TASKS + RCU_GP_BLKD + RCU_EXP_BLKD:
219 case RCU_GP_TASKS + RCU_EXP_TASKS + RCU_GP_BLKD + RCU_EXP_BLKD:
220
221 /*
222 * First task arriving that blocks either GP, or first task
223 * arriving that blocks the expedited GP (with the normal
224 * GP already waiting), or a task arriving that blocks
225 * both GPs with both GPs already waiting. Queue at the
226 * tail of the list to avoid any GP waiting on any of the
227 * already queued tasks that are not blocking it.
228 */
229 list_add_tail(&t->rcu_node_entry, &rnp->blkd_tasks);
230 break;
231
232 case RCU_EXP_TASKS + RCU_EXP_BLKD:
233 case RCU_EXP_TASKS + RCU_GP_BLKD + RCU_EXP_BLKD:
234 case RCU_GP_TASKS + RCU_EXP_TASKS + RCU_EXP_BLKD:
235
236 /*
237 * Second or subsequent task blocking the expedited GP.
238 * The task either does not block the normal GP, or is the
239 * first task blocking the normal GP. Queue just after
240 * the first task blocking the expedited GP.
241 */
242 list_add(&t->rcu_node_entry, rnp->exp_tasks);
243 break;
244
245 case RCU_GP_TASKS + RCU_GP_BLKD:
246 case RCU_GP_TASKS + RCU_EXP_TASKS + RCU_GP_BLKD:
247
248 /*
249 * Second or subsequent task blocking the normal GP.
250 * The task does not block the expedited GP. Queue just
251 * after the first task blocking the normal GP.
252 */
253 list_add(&t->rcu_node_entry, rnp->gp_tasks);
254 break;
255
256 default:
257
258 /* Yet another exercise in excessive paranoia. */
259 WARN_ON_ONCE(1);
260 break;
261 }
262
263 /*
264 * We have now queued the task. If it was the first one to
265 * block either grace period, update the ->gp_tasks and/or
266 * ->exp_tasks pointers, respectively, to reference the newly
267 * blocked tasks.
268 */
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800269 if (!rnp->gp_tasks && (blkd_state & RCU_GP_BLKD)) {
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700270 rnp->gp_tasks = &t->rcu_node_entry;
Paul E. McKenneyd43a5d32018-04-28 18:50:06 -0700271 WARN_ON_ONCE(rnp->completedqs == rnp->gp_seq);
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800272 }
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700273 if (!rnp->exp_tasks && (blkd_state & RCU_EXP_BLKD))
274 rnp->exp_tasks = &t->rcu_node_entry;
Paul E. McKenney2dee9402017-07-11 21:52:31 -0700275 WARN_ON_ONCE(!(blkd_state & RCU_GP_BLKD) !=
276 !(rnp->qsmask & rdp->grpmask));
277 WARN_ON_ONCE(!(blkd_state & RCU_EXP_BLKD) !=
278 !(rnp->expmask & rdp->grpmask));
Boqun Feng67c583a72015-12-29 12:18:47 +0800279 raw_spin_unlock_rcu_node(rnp); /* interrupts remain disabled. */
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700280
281 /*
282 * Report the quiescent state for the expedited GP. This expedited
283 * GP should not be able to end until we report, so there should be
284 * no need to check for a subsequent expedited GP. (Though we are
285 * still in a quiescent state in any case.)
286 */
287 if (blkd_state & RCU_EXP_BLKD &&
288 t->rcu_read_unlock_special.b.exp_need_qs) {
289 t->rcu_read_unlock_special.b.exp_need_qs = false;
290 rcu_report_exp_rdp(rdp->rsp, rdp, true);
291 } else {
292 WARN_ON_ONCE(t->rcu_read_unlock_special.b.exp_need_qs);
293 }
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700294}
295
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700296/*
Paul E. McKenneyc7037ff2018-05-16 18:00:17 -0700297 * Record a preemptible-RCU quiescent state for the specified CPU.
298 * Note that this does not necessarily mean that the task currently running
299 * on the CPU is in a quiescent state: Instead, it means that the current
300 * grace period need not wait on any RCU read-side critical section that
301 * starts later on this CPU. It also means that if the current task is
302 * in an RCU read-side critical section, it has already added itself to
303 * some leaf rcu_node structure's ->blkd_tasks list. In addition to the
304 * current task, there might be any number of other tasks blocked while
305 * in an RCU read-side critical section.
Paul E. McKenney25502a62010-04-01 17:37:01 -0700306 *
Paul E. McKenneyc7037ff2018-05-16 18:00:17 -0700307 * Callers to this function must disable preemption.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700308 */
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700309static void rcu_preempt_qs(void)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700310{
Paul E. McKenneyea9b0c82017-04-28 13:19:28 -0700311 RCU_LOCKDEP_WARN(preemptible(), "rcu_preempt_qs() invoked with preemption enabled!!!\n");
Paul E. McKenney5b74c452015-08-06 15:16:57 -0700312 if (__this_cpu_read(rcu_data_p->cpu_no_qs.s)) {
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700313 trace_rcu_grace_period(TPS("rcu_preempt"),
Paul E. McKenney477351f2018-05-01 12:54:11 -0700314 __this_cpu_read(rcu_data_p->gp_seq),
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700315 TPS("cpuqs"));
Paul E. McKenney5b74c452015-08-06 15:16:57 -0700316 __this_cpu_write(rcu_data_p->cpu_no_qs.b.norm, false);
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700317 barrier(); /* Coordinate with rcu_preempt_check_callbacks(). */
318 current->rcu_read_unlock_special.b.need_qs = false;
319 }
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700320}
321
322/*
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700323 * We have entered the scheduler, and the current task might soon be
324 * context-switched away from. If this task is in an RCU read-side
325 * critical section, we will no longer be able to rely on the CPU to
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800326 * record that fact, so we enqueue the task on the blkd_tasks list.
327 * The task will dequeue itself when it exits the outermost enclosing
328 * RCU read-side critical section. Therefore, the current grace period
329 * cannot be permitted to complete until the blkd_tasks list entries
330 * predating the current grace period drain, in other words, until
331 * rnp->gp_tasks becomes NULL.
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700332 *
Paul E. McKenney46a5d162015-10-07 09:10:48 -0700333 * Caller must disable interrupts.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700334 */
Paul E. McKenney5b72f962017-04-12 15:29:14 -0700335static void rcu_preempt_note_context_switch(bool preempt)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700336{
337 struct task_struct *t = current;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700338 struct rcu_data *rdp;
339 struct rcu_node *rnp;
340
Frederic Weisbeckerb04db8e2017-11-06 16:01:30 +0100341 lockdep_assert_irqs_disabled();
Paul E. McKenney5b72f962017-04-12 15:29:14 -0700342 WARN_ON_ONCE(!preempt && t->rcu_read_lock_nesting > 0);
Paul E. McKenney10f39bb2011-07-17 21:14:35 -0700343 if (t->rcu_read_lock_nesting > 0 &&
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700344 !t->rcu_read_unlock_special.b.blocked) {
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700345
346 /* Possibly blocking in an RCU read-side critical section. */
Paul E. McKenneye63c8872015-03-03 12:56:43 -0800347 rdp = this_cpu_ptr(rcu_state_p->rda);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700348 rnp = rdp->mynode;
Paul E. McKenney46a5d162015-10-07 09:10:48 -0700349 raw_spin_lock_rcu_node(rnp);
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700350 t->rcu_read_unlock_special.b.blocked = true;
Paul E. McKenney86848962009-08-27 15:00:12 -0700351 t->rcu_blocked_node = rnp;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700352
353 /*
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700354 * Verify the CPU's sanity, trace the preemption, and
355 * then queue the task as required based on the states
356 * of any ongoing and expedited grace periods.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700357 */
Paul E. McKenney0aa04b02015-01-23 21:52:37 -0800358 WARN_ON_ONCE((rdp->grpmask & rcu_rnp_online_cpus(rnp)) == 0);
Paul E. McKenneye7d88422009-09-18 09:50:18 -0700359 WARN_ON_ONCE(!list_empty(&t->rcu_node_entry));
Paul E. McKenneyd4c08f22011-06-25 06:36:56 -0700360 trace_rcu_preempt_task(rdp->rsp->name,
361 t->pid,
362 (rnp->qsmask & rdp->grpmask)
Paul E. McKenney598ce092018-05-01 13:35:20 -0700363 ? rnp->gp_seq
364 : rcu_seq_snap(&rnp->gp_seq));
Paul E. McKenney46a5d162015-10-07 09:10:48 -0700365 rcu_preempt_ctxt_queue(rnp, rdp);
Paul E. McKenney10f39bb2011-07-17 21:14:35 -0700366 } else if (t->rcu_read_lock_nesting < 0 &&
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700367 t->rcu_read_unlock_special.s) {
Paul E. McKenney10f39bb2011-07-17 21:14:35 -0700368
369 /*
370 * Complete exit from RCU read-side critical section on
371 * behalf of preempted instance of __rcu_read_unlock().
372 */
373 rcu_read_unlock_special(t);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700374 }
375
376 /*
377 * Either we were not in an RCU read-side critical section to
378 * begin with, or we have now recorded that critical section
379 * globally. Either way, we can now note a quiescent state
380 * for this CPU. Again, if we were in an RCU read-side critical
381 * section, and if that critical section was blocking the current
382 * grace period, then the fact that the task has been enqueued
383 * means that we continue to block the current grace period.
384 */
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700385 rcu_preempt_qs();
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700386}
387
388/*
Paul E. McKenneyfc2219d42009-09-23 09:50:41 -0700389 * Check for preempted RCU readers blocking the current grace period
390 * for the specified rcu_node structure. If the caller needs a reliable
391 * answer, it must hold the rcu_node's ->lock.
392 */
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800393static int rcu_preempt_blocked_readers_cgp(struct rcu_node *rnp)
Paul E. McKenneyfc2219d42009-09-23 09:50:41 -0700394{
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800395 return rnp->gp_tasks != NULL;
Paul E. McKenneyfc2219d42009-09-23 09:50:41 -0700396}
397
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800398/*
Paul E. McKenney0e5da222018-03-19 08:05:04 -0700399 * Preemptible RCU implementation for rcu_read_lock().
400 * Just increment ->rcu_read_lock_nesting, shared state will be updated
401 * if we block.
402 */
403void __rcu_read_lock(void)
404{
405 current->rcu_read_lock_nesting++;
406 barrier(); /* critical section after entry code. */
407}
408EXPORT_SYMBOL_GPL(__rcu_read_lock);
409
410/*
411 * Preemptible RCU implementation for rcu_read_unlock().
412 * Decrement ->rcu_read_lock_nesting. If the result is zero (outermost
413 * rcu_read_unlock()) and ->rcu_read_unlock_special is non-zero, then
414 * invoke rcu_read_unlock_special() to clean up after a context switch
415 * in an RCU read-side critical section and other special cases.
416 */
417void __rcu_read_unlock(void)
418{
419 struct task_struct *t = current;
420
421 if (t->rcu_read_lock_nesting != 1) {
422 --t->rcu_read_lock_nesting;
423 } else {
424 barrier(); /* critical section before exit code. */
425 t->rcu_read_lock_nesting = INT_MIN;
426 barrier(); /* assign before ->rcu_read_unlock_special load */
427 if (unlikely(READ_ONCE(t->rcu_read_unlock_special.s)))
428 rcu_read_unlock_special(t);
429 barrier(); /* ->rcu_read_unlock_special load before assign */
430 t->rcu_read_lock_nesting = 0;
431 }
432#ifdef CONFIG_PROVE_LOCKING
433 {
434 int rrln = READ_ONCE(t->rcu_read_lock_nesting);
435
436 WARN_ON_ONCE(rrln < 0 && rrln > INT_MIN / 2);
437 }
438#endif /* #ifdef CONFIG_PROVE_LOCKING */
439}
440EXPORT_SYMBOL_GPL(__rcu_read_unlock);
441
442/*
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800443 * Advance a ->blkd_tasks-list pointer to the next entry, instead
444 * returning NULL if at the end of the list.
445 */
446static struct list_head *rcu_next_node_entry(struct task_struct *t,
447 struct rcu_node *rnp)
448{
449 struct list_head *np;
450
451 np = t->rcu_node_entry.next;
452 if (np == &rnp->blkd_tasks)
453 np = NULL;
454 return np;
455}
456
457/*
Paul E. McKenney8af3a5e2014-10-31 11:22:37 -0700458 * Return true if the specified rcu_node structure has tasks that were
459 * preempted within an RCU read-side critical section.
460 */
461static bool rcu_preempt_has_tasks(struct rcu_node *rnp)
462{
463 return !list_empty(&rnp->blkd_tasks);
464}
465
466/*
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800467 * Handle special cases during rcu_read_unlock(), such as needing to
468 * notify RCU core processing or task having blocked during the RCU
469 * read-side critical section.
470 */
Paul E. McKenney3949fa92018-05-08 15:29:10 -0700471static void rcu_read_unlock_special(struct task_struct *t)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700472{
Paul E. McKenneyb6a932d2014-10-31 12:05:04 -0700473 bool empty_exp;
474 bool empty_norm;
475 bool empty_exp_now;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700476 unsigned long flags;
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800477 struct list_head *np;
Paul E. McKenneyabaa93d2014-06-12 13:30:25 -0700478 bool drop_boost_mutex = false;
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700479 struct rcu_data *rdp;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700480 struct rcu_node *rnp;
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700481 union rcu_special special;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700482
483 /* NMI handlers cannot block and cannot safely manipulate state. */
484 if (in_nmi())
485 return;
486
487 local_irq_save(flags);
488
489 /*
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700490 * If RCU core is waiting for this CPU to exit its critical section,
491 * report the fact that it has exited. Because irqs are disabled,
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700492 * t->rcu_read_unlock_special cannot change.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700493 */
494 special = t->rcu_read_unlock_special;
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700495 if (special.b.need_qs) {
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700496 rcu_preempt_qs();
Paul E. McKenneyc0135d02015-01-22 22:47:14 -0800497 t->rcu_read_unlock_special.b.need_qs = false;
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700498 if (!t->rcu_read_unlock_special.s) {
Lai Jiangshan79a62f92013-10-30 04:13:22 -0700499 local_irq_restore(flags);
500 return;
501 }
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700502 }
503
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700504 /*
505 * Respond to a request for an expedited grace period, but only if
506 * we were not preempted, meaning that we were running on the same
507 * CPU throughout. If we were preempted, the exp_need_qs flag
508 * would have been cleared at the time of the first preemption,
509 * and the quiescent state would be reported when we were dequeued.
510 */
511 if (special.b.exp_need_qs) {
512 WARN_ON_ONCE(special.b.blocked);
513 t->rcu_read_unlock_special.b.exp_need_qs = false;
514 rdp = this_cpu_ptr(rcu_state_p->rda);
515 rcu_report_exp_rdp(rcu_state_p, rdp, true);
516 if (!t->rcu_read_unlock_special.s) {
517 local_irq_restore(flags);
518 return;
519 }
520 }
521
Lai Jiangshan79a62f92013-10-30 04:13:22 -0700522 /* Hardware IRQ handlers cannot block, complain if they get here. */
Paul E. McKenneyd24209bb2015-01-21 15:26:03 -0800523 if (in_irq() || in_serving_softirq()) {
524 lockdep_rcu_suspicious(__FILE__, __LINE__,
525 "rcu_read_unlock() from irq or softirq with blocking in critical section!!!\n");
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700526 pr_alert("->rcu_read_unlock_special: %#x (b: %d, enq: %d nq: %d)\n",
Paul E. McKenneyd24209bb2015-01-21 15:26:03 -0800527 t->rcu_read_unlock_special.s,
528 t->rcu_read_unlock_special.b.blocked,
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700529 t->rcu_read_unlock_special.b.exp_need_qs,
Paul E. McKenneyd24209bb2015-01-21 15:26:03 -0800530 t->rcu_read_unlock_special.b.need_qs);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700531 local_irq_restore(flags);
532 return;
533 }
534
535 /* Clean up if blocked during RCU read-side critical section. */
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700536 if (special.b.blocked) {
537 t->rcu_read_unlock_special.b.blocked = false;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700538
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700539 /*
Paul E. McKenney0a0ba1c2015-03-08 14:20:30 -0700540 * Remove this task from the list it blocked on. The task
Paul E. McKenney8ba91532015-09-29 07:55:41 -0700541 * now remains queued on the rcu_node corresponding to the
542 * CPU it first blocked on, so there is no longer any need
543 * to loop. Retain a WARN_ON_ONCE() out of sheer paranoia.
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700544 */
Paul E. McKenney8ba91532015-09-29 07:55:41 -0700545 rnp = t->rcu_blocked_node;
546 raw_spin_lock_rcu_node(rnp); /* irqs already disabled. */
547 WARN_ON_ONCE(rnp != t->rcu_blocked_node);
Paul E. McKenney5b4c11d2018-04-13 17:11:44 -0700548 WARN_ON_ONCE(!rcu_is_leaf_node(rnp));
Paul E. McKenney74e871ac2014-10-30 21:08:53 -0700549 empty_norm = !rcu_preempt_blocked_readers_cgp(rnp);
Paul E. McKenneyd43a5d32018-04-28 18:50:06 -0700550 WARN_ON_ONCE(rnp->completedqs == rnp->gp_seq &&
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800551 (!empty_norm || rnp->qsmask));
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700552 empty_exp = sync_rcu_preempt_exp_done(rnp);
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800553 smp_mb(); /* ensure expedited fastpath sees end of RCU c-s. */
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800554 np = rcu_next_node_entry(t, rnp);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700555 list_del_init(&t->rcu_node_entry);
Paul E. McKenney82e78d82011-08-04 07:55:34 -0700556 t->rcu_blocked_node = NULL;
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -0400557 trace_rcu_unlock_preempted_task(TPS("rcu_preempt"),
Paul E. McKenney865aa1e2018-05-01 13:35:20 -0700558 rnp->gp_seq, t->pid);
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800559 if (&t->rcu_node_entry == rnp->gp_tasks)
560 rnp->gp_tasks = np;
561 if (&t->rcu_node_entry == rnp->exp_tasks)
562 rnp->exp_tasks = np;
Paul E. McKenney727b7052015-03-03 14:49:26 -0800563 if (IS_ENABLED(CONFIG_RCU_BOOST)) {
Paul E. McKenney727b7052015-03-03 14:49:26 -0800564 /* Snapshot ->boost_mtx ownership w/rnp->lock held. */
565 drop_boost_mutex = rt_mutex_owner(&rnp->boost_mtx) == t;
Paul E. McKenney2dee9402017-07-11 21:52:31 -0700566 if (&t->rcu_node_entry == rnp->boost_tasks)
567 rnp->boost_tasks = np;
Paul E. McKenney727b7052015-03-03 14:49:26 -0800568 }
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700569
570 /*
571 * If this was the last task on the current list, and if
572 * we aren't waiting on any CPUs, report the quiescent state.
Paul E. McKenney389abd42011-09-21 14:41:37 -0700573 * Note that rcu_report_unblock_qs_rnp() releases rnp->lock,
574 * so we must take a snapshot of the expedited state.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700575 */
Paul E. McKenney8203d6d2015-08-02 13:53:17 -0700576 empty_exp_now = sync_rcu_preempt_exp_done(rnp);
Paul E. McKenney74e871ac2014-10-30 21:08:53 -0700577 if (!empty_norm && !rcu_preempt_blocked_readers_cgp(rnp)) {
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -0400578 trace_rcu_quiescent_state_report(TPS("preempt_rcu"),
Paul E. McKenneydb023292018-05-01 13:35:20 -0700579 rnp->gp_seq,
Paul E. McKenneyd4c08f22011-06-25 06:36:56 -0700580 0, rnp->qsmask,
581 rnp->level,
582 rnp->grplo,
583 rnp->grphi,
584 !!rnp->gp_tasks);
Paul E. McKenneye63c8872015-03-03 12:56:43 -0800585 rcu_report_unblock_qs_rnp(rcu_state_p, rnp, flags);
Paul E. McKenneyc701d5d2012-06-28 08:08:25 -0700586 } else {
Boqun Feng67c583a72015-12-29 12:18:47 +0800587 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenneyc701d5d2012-06-28 08:08:25 -0700588 }
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800589
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800590 /* Unboost if we were boosted. */
Paul E. McKenney727b7052015-03-03 14:49:26 -0800591 if (IS_ENABLED(CONFIG_RCU_BOOST) && drop_boost_mutex)
Paul E. McKenney02a7c232017-09-19 15:36:42 -0700592 rt_mutex_futex_unlock(&rnp->boost_mtx);
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800593
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800594 /*
595 * If this was the last task on the expedited lists,
596 * then we need to report up the rcu_node hierarchy.
597 */
Paul E. McKenney389abd42011-09-21 14:41:37 -0700598 if (!empty_exp && empty_exp_now)
Paul E. McKenneye63c8872015-03-03 12:56:43 -0800599 rcu_report_exp_rnp(rcu_state_p, rnp, true);
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800600 } else {
601 local_irq_restore(flags);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700602 }
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700603}
604
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800605/*
606 * Dump detailed information for all tasks blocking the current RCU
607 * grace period on the specified rcu_node structure.
608 */
609static void rcu_print_detail_task_stall_rnp(struct rcu_node *rnp)
610{
611 unsigned long flags;
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800612 struct task_struct *t;
613
Paul E. McKenney6cf10082015-10-08 15:36:54 -0700614 raw_spin_lock_irqsave_rcu_node(rnp, flags);
Paul E. McKenney5fd4dc02012-08-10 16:00:11 -0700615 if (!rcu_preempt_blocked_readers_cgp(rnp)) {
Boqun Feng67c583a72015-12-29 12:18:47 +0800616 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney5fd4dc02012-08-10 16:00:11 -0700617 return;
618 }
Patrick Daly82efed02015-04-07 15:12:07 -0700619 t = list_entry(rnp->gp_tasks->prev,
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800620 struct task_struct, rcu_node_entry);
Tejun Heo3caa9732018-01-09 10:38:17 -0800621 list_for_each_entry_continue(t, &rnp->blkd_tasks, rcu_node_entry) {
622 /*
623 * We could be printing a lot while holding a spinlock.
624 * Avoid triggering hard lockup.
625 */
626 touch_nmi_watchdog();
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800627 sched_show_task(t);
Tejun Heo3caa9732018-01-09 10:38:17 -0800628 }
Boqun Feng67c583a72015-12-29 12:18:47 +0800629 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800630}
631
632/*
633 * Dump detailed information for all tasks blocking the current RCU
634 * grace period.
635 */
636static void rcu_print_detail_task_stall(struct rcu_state *rsp)
637{
638 struct rcu_node *rnp = rcu_get_root(rsp);
639
640 rcu_print_detail_task_stall_rnp(rnp);
641 rcu_for_each_leaf_node(rsp, rnp)
642 rcu_print_detail_task_stall_rnp(rnp);
643}
644
Paul E. McKenneya858af22012-01-16 13:29:10 -0800645static void rcu_print_task_stall_begin(struct rcu_node *rnp)
646{
Paul E. McKenneyefc151c2013-03-18 16:24:11 -0700647 pr_err("\tTasks blocked on level-%d rcu_node (CPUs %d-%d):",
Paul E. McKenneya858af22012-01-16 13:29:10 -0800648 rnp->level, rnp->grplo, rnp->grphi);
649}
650
651static void rcu_print_task_stall_end(void)
652{
Paul E. McKenneyefc151c2013-03-18 16:24:11 -0700653 pr_cont("\n");
Paul E. McKenneya858af22012-01-16 13:29:10 -0800654}
655
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700656/*
657 * Scan the current list of tasks blocked within RCU read-side critical
658 * sections, printing out the tid of each.
659 */
Paul E. McKenney9bc8b552011-08-13 13:31:47 -0700660static int rcu_print_task_stall(struct rcu_node *rnp)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700661{
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700662 struct task_struct *t;
Paul E. McKenney9bc8b552011-08-13 13:31:47 -0700663 int ndetected = 0;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700664
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800665 if (!rcu_preempt_blocked_readers_cgp(rnp))
Paul E. McKenney9bc8b552011-08-13 13:31:47 -0700666 return 0;
Paul E. McKenneya858af22012-01-16 13:29:10 -0800667 rcu_print_task_stall_begin(rnp);
Patrick Daly82efed02015-04-07 15:12:07 -0700668 t = list_entry(rnp->gp_tasks->prev,
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800669 struct task_struct, rcu_node_entry);
Paul E. McKenney9bc8b552011-08-13 13:31:47 -0700670 list_for_each_entry_continue(t, &rnp->blkd_tasks, rcu_node_entry) {
Paul E. McKenneyefc151c2013-03-18 16:24:11 -0700671 pr_cont(" P%d", t->pid);
Paul E. McKenney9bc8b552011-08-13 13:31:47 -0700672 ndetected++;
673 }
Paul E. McKenneya858af22012-01-16 13:29:10 -0800674 rcu_print_task_stall_end();
Paul E. McKenney9bc8b552011-08-13 13:31:47 -0700675 return ndetected;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700676}
677
Paul E. McKenney53d84e02010-08-10 14:28:53 -0700678/*
Paul E. McKenney74611ec2015-08-18 10:20:43 -0700679 * Scan the current list of tasks blocked within RCU read-side critical
680 * sections, printing out the tid of each that is blocking the current
681 * expedited grace period.
682 */
683static int rcu_print_task_exp_stall(struct rcu_node *rnp)
684{
685 struct task_struct *t;
686 int ndetected = 0;
687
688 if (!rnp->exp_tasks)
689 return 0;
690 t = list_entry(rnp->exp_tasks->prev,
691 struct task_struct, rcu_node_entry);
692 list_for_each_entry_continue(t, &rnp->blkd_tasks, rcu_node_entry) {
693 pr_cont(" P%d", t->pid);
694 ndetected++;
695 }
696 return ndetected;
697}
698
699/*
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700700 * Check that the list of blocked tasks for the newly completed grace
701 * period is in fact empty. It is a serious bug to complete a grace
702 * period that still has RCU readers blocked! This function must be
Paul E. McKenneyff3bb6f2018-05-01 14:34:08 -0700703 * invoked -before- updating this rnp's ->gp_seq, and the rnp's ->lock
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700704 * must be held by the caller.
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800705 *
706 * Also, if there are blocked tasks on the list, they automatically
707 * block the newly created grace period, so set up ->gp_tasks accordingly.
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700708 */
Paul E. McKenney57738942018-05-08 14:18:57 -0700709static void
710rcu_preempt_check_blocked_tasks(struct rcu_state *rsp, struct rcu_node *rnp)
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700711{
Paul E. McKenneyc5ebe662017-06-19 10:32:23 -0700712 struct task_struct *t;
713
Paul E. McKenneyea9b0c82017-04-28 13:19:28 -0700714 RCU_LOCKDEP_WARN(preemptible(), "rcu_preempt_check_blocked_tasks() invoked with preemption enabled!!!\n");
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800715 if (WARN_ON_ONCE(rcu_preempt_blocked_readers_cgp(rnp)))
Paul E. McKenney57738942018-05-08 14:18:57 -0700716 dump_blkd_tasks(rsp, rnp, 10);
Paul E. McKenney0b107d22018-05-08 16:18:28 -0700717 if (rcu_preempt_has_tasks(rnp) &&
718 (rnp->qsmaskinit || rnp->wait_blkd_tasks)) {
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800719 rnp->gp_tasks = rnp->blkd_tasks.next;
Paul E. McKenneyc5ebe662017-06-19 10:32:23 -0700720 t = container_of(rnp->gp_tasks, struct task_struct,
721 rcu_node_entry);
722 trace_rcu_unlock_preempted_task(TPS("rcu_preempt-GPS"),
Paul E. McKenney865aa1e2018-05-01 13:35:20 -0700723 rnp->gp_seq, t->pid);
Paul E. McKenneyc5ebe662017-06-19 10:32:23 -0700724 }
Paul E. McKenney28ecd582009-09-18 09:50:17 -0700725 WARN_ON_ONCE(rnp->qsmask);
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700726}
727
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700728/*
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700729 * Check for a quiescent state from the current CPU. When a task blocks,
730 * the task is recorded in the corresponding CPU's rcu_node structure,
731 * which is checked elsewhere.
732 *
733 * Caller must disable hard irqs.
734 */
Paul E. McKenney86aea0e2014-10-21 08:12:00 -0700735static void rcu_preempt_check_callbacks(void)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700736{
Paul E. McKenney15651202018-05-16 14:41:41 -0700737 struct rcu_state *rsp = &rcu_preempt_state;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700738 struct task_struct *t = current;
739
740 if (t->rcu_read_lock_nesting == 0) {
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700741 rcu_preempt_qs();
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700742 return;
743 }
Paul E. McKenney10f39bb2011-07-17 21:14:35 -0700744 if (t->rcu_read_lock_nesting > 0 &&
Paul E. McKenney97c668b2015-08-06 11:31:51 -0700745 __this_cpu_read(rcu_data_p->core_needs_qs) &&
Paul E. McKenney15651202018-05-16 14:41:41 -0700746 __this_cpu_read(rcu_data_p->cpu_no_qs.b.norm) &&
747 !t->rcu_read_unlock_special.b.need_qs &&
748 time_after(jiffies, rsp->gp_start + HZ))
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700749 t->rcu_read_unlock_special.b.need_qs = true;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700750}
751
Paul E. McKenneya68a2bb2017-05-03 08:34:57 -0700752/**
753 * call_rcu() - Queue an RCU callback for invocation after a grace period.
754 * @head: structure to be used for queueing the RCU updates.
755 * @func: actual callback function to be invoked after the grace period
756 *
757 * The callback function will be invoked some time after a full grace
758 * period elapses, in other words after all pre-existing RCU read-side
759 * critical sections have completed. However, the callback function
760 * might well execute concurrently with RCU read-side critical sections
761 * that started after call_rcu() was invoked. RCU read-side critical
762 * sections are delimited by rcu_read_lock() and rcu_read_unlock(),
763 * and may be nested.
764 *
765 * Note that all CPUs must agree that the grace period extended beyond
766 * all pre-existing RCU read-side critical section. On systems with more
767 * than one CPU, this means that when "func()" is invoked, each CPU is
768 * guaranteed to have executed a full memory barrier since the end of its
769 * last RCU read-side critical section whose beginning preceded the call
770 * to call_rcu(). It also means that each CPU executing an RCU read-side
771 * critical section that continues beyond the start of "func()" must have
772 * executed a memory barrier after the call_rcu() but before the beginning
773 * of that RCU read-side critical section. Note that these guarantees
774 * include CPUs that are offline, idle, or executing in user mode, as
775 * well as CPUs that are executing in the kernel.
776 *
777 * Furthermore, if CPU A invoked call_rcu() and CPU B invoked the
778 * resulting RCU callback function "func()", then both CPU A and CPU B are
779 * guaranteed to execute a full memory barrier during the time interval
780 * between the call to call_rcu() and the invocation of "func()" -- even
781 * if CPU A and CPU B are the same CPU (but again only if the system has
782 * more than one CPU).
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700783 */
Boqun Fengb6a4ae72015-07-29 13:29:38 +0800784void call_rcu(struct rcu_head *head, rcu_callback_t func)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700785{
Paul E. McKenneye63c8872015-03-03 12:56:43 -0800786 __call_rcu(head, func, rcu_state_p, -1, 0);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700787}
788EXPORT_SYMBOL_GPL(call_rcu);
789
Paul E. McKenney6ebb2372009-11-22 08:53:50 -0800790/**
791 * synchronize_rcu - wait until a grace period has elapsed.
792 *
793 * Control will return to the caller some time after a full grace
794 * period has elapsed, in other words after all currently executing RCU
Paul E. McKenney77d84852010-07-08 17:38:59 -0700795 * read-side critical sections have completed. Note, however, that
796 * upon return from synchronize_rcu(), the caller might well be executing
797 * concurrently with new RCU read-side critical sections that began while
798 * synchronize_rcu() was waiting. RCU read-side critical sections are
799 * delimited by rcu_read_lock() and rcu_read_unlock(), and may be nested.
Paul E. McKenneyf0a0e6f2012-10-23 13:47:01 -0700800 *
Paul E. McKenneye28371c2017-04-17 09:59:53 -0700801 * See the description of synchronize_sched() for more detailed
802 * information on memory-ordering guarantees. However, please note
803 * that -only- the memory-ordering guarantees apply. For example,
804 * synchronize_rcu() is -not- guaranteed to wait on things like code
805 * protected by preempt_disable(), instead, synchronize_rcu() is -only-
806 * guaranteed to wait on RCU read-side critical sections, that is, sections
807 * of code protected by rcu_read_lock().
Paul E. McKenney6ebb2372009-11-22 08:53:50 -0800808 */
809void synchronize_rcu(void)
810{
Paul E. McKenneyf78f5b92015-06-18 15:50:02 -0700811 RCU_LOCKDEP_WARN(lock_is_held(&rcu_bh_lock_map) ||
812 lock_is_held(&rcu_lock_map) ||
813 lock_is_held(&rcu_sched_lock_map),
814 "Illegal synchronize_rcu() in RCU read-side critical section");
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800815 if (rcu_scheduler_active == RCU_SCHEDULER_INACTIVE)
Paul E. McKenney6ebb2372009-11-22 08:53:50 -0800816 return;
Paul E. McKenney5afff482015-02-18 16:39:09 -0800817 if (rcu_gp_is_expedited())
Antti P Miettinen3705b882012-10-05 09:59:15 +0300818 synchronize_rcu_expedited();
819 else
820 wait_rcu_gp(call_rcu);
Paul E. McKenney6ebb2372009-11-22 08:53:50 -0800821}
822EXPORT_SYMBOL_GPL(synchronize_rcu);
823
Paul E. McKenneye74f4c42009-10-06 21:48:17 -0700824/**
825 * rcu_barrier - Wait until all in-flight call_rcu() callbacks complete.
Paul E. McKenneyf0a0e6f2012-10-23 13:47:01 -0700826 *
827 * Note that this primitive does not necessarily wait for an RCU grace period
828 * to complete. For example, if there are no RCU callbacks queued anywhere
829 * in the system, then rcu_barrier() is within its rights to return
830 * immediately, without waiting for anything, much less an RCU grace period.
Paul E. McKenneye74f4c42009-10-06 21:48:17 -0700831 */
832void rcu_barrier(void)
833{
Paul E. McKenneye63c8872015-03-03 12:56:43 -0800834 _rcu_barrier(rcu_state_p);
Paul E. McKenneye74f4c42009-10-06 21:48:17 -0700835}
836EXPORT_SYMBOL_GPL(rcu_barrier);
837
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700838/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800839 * Initialize preemptible RCU's state structures.
Paul E. McKenney1eba8f82009-09-23 09:50:42 -0700840 */
841static void __init __rcu_init_preempt(void)
842{
Paul E. McKenneya87f2032015-10-20 12:38:49 -0700843 rcu_init_one(rcu_state_p);
Paul E. McKenney1eba8f82009-09-23 09:50:42 -0700844}
845
Paul E. McKenney2439b692013-04-11 10:15:52 -0700846/*
847 * Check for a task exiting while in a preemptible-RCU read-side
848 * critical section, clean up if so. No need to issue warnings,
849 * as debug_check_no_locks_held() already does this if lockdep
850 * is enabled.
851 */
852void exit_rcu(void)
853{
854 struct task_struct *t = current;
855
856 if (likely(list_empty(&current->rcu_node_entry)))
857 return;
858 t->rcu_read_lock_nesting = 1;
859 barrier();
Paul E. McKenney1d082fd2014-08-14 16:01:53 -0700860 t->rcu_read_unlock_special.b.blocked = true;
Paul E. McKenney2439b692013-04-11 10:15:52 -0700861 __rcu_read_unlock();
862}
863
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800864/*
865 * Dump the blocked-tasks state, but limit the list dump to the
866 * specified number of elements.
867 */
Paul E. McKenney57738942018-05-08 14:18:57 -0700868static void
869dump_blkd_tasks(struct rcu_state *rsp, struct rcu_node *rnp, int ncheck)
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800870{
Paul E. McKenney57738942018-05-08 14:18:57 -0700871 int cpu;
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800872 int i;
873 struct list_head *lhp;
Paul E. McKenney57738942018-05-08 14:18:57 -0700874 bool onl;
875 struct rcu_data *rdp;
Paul E. McKenneyff3cee32018-05-08 12:50:14 -0700876 struct rcu_node *rnp1;
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800877
Boqun Fengce11fae2018-03-09 09:32:18 +0800878 raw_lockdep_assert_held_rcu_node(rnp);
Paul E. McKenneyff3cee32018-05-08 12:50:14 -0700879 pr_info("%s: grp: %d-%d level: %d ->gp_seq %ld ->completedqs %ld\n",
Paul E. McKenney77cfc7b2018-05-01 15:00:10 -0700880 __func__, rnp->grplo, rnp->grphi, rnp->level,
Paul E. McKenneyff3cee32018-05-08 12:50:14 -0700881 (long)rnp->gp_seq, (long)rnp->completedqs);
882 for (rnp1 = rnp; rnp1; rnp1 = rnp1->parent)
883 pr_info("%s: %d:%d ->qsmask %#lx ->qsmaskinit %#lx ->qsmaskinitnext %#lx\n",
884 __func__, rnp1->grplo, rnp1->grphi, rnp1->qsmask, rnp1->qsmaskinit, rnp1->qsmaskinitnext);
Paul E. McKenney77cfc7b2018-05-01 15:00:10 -0700885 pr_info("%s: ->gp_tasks %p ->boost_tasks %p ->exp_tasks %p\n",
886 __func__, rnp->gp_tasks, rnp->boost_tasks, rnp->exp_tasks);
887 pr_info("%s: ->blkd_tasks", __func__);
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800888 i = 0;
889 list_for_each(lhp, &rnp->blkd_tasks) {
890 pr_cont(" %p", lhp);
891 if (++i >= 10)
892 break;
893 }
894 pr_cont("\n");
Paul E. McKenney57738942018-05-08 14:18:57 -0700895 for (cpu = rnp->grplo; cpu <= rnp->grphi; cpu++) {
896 rdp = per_cpu_ptr(rsp->rda, cpu);
897 onl = !!(rdp->grpmask & rcu_rnp_online_cpus(rnp));
898 pr_info("\t%d: %c online: %ld(%d) offline: %ld(%d)\n",
899 cpu, ".o"[onl],
900 (long)rdp->rcu_onl_gp_seq, rdp->rcu_onl_gp_flags,
901 (long)rdp->rcu_ofl_gp_seq, rdp->rcu_ofl_gp_flags);
902 }
Paul E. McKenney4bc8d552017-11-27 15:13:56 -0800903}
904
Pranith Kumar28f65692014-09-22 14:00:48 -0400905#else /* #ifdef CONFIG_PREEMPT_RCU */
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700906
Paul E. McKenneyb28a7c02015-03-04 07:39:27 -0800907static struct rcu_state *const rcu_state_p = &rcu_sched_state;
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800908
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700909/*
910 * Tell them what RCU they are running.
911 */
Paul E. McKenney0e0fc1c2009-11-11 11:28:06 -0800912static void __init rcu_bootup_announce(void)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700913{
Paul E. McKenneyefc151c2013-03-18 16:24:11 -0700914 pr_info("Hierarchical RCU implementation.\n");
Paul E. McKenney26845c22010-04-13 14:19:23 -0700915 rcu_bootup_announce_oddness();
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700916}
917
918/*
Paul E. McKenneycba6d0d2012-07-02 07:08:42 -0700919 * Because preemptible RCU does not exist, we never have to check for
920 * CPUs being in quiescent states.
921 */
Paul E. McKenney5b72f962017-04-12 15:29:14 -0700922static void rcu_preempt_note_context_switch(bool preempt)
Paul E. McKenneycba6d0d2012-07-02 07:08:42 -0700923{
924}
925
926/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800927 * Because preemptible RCU does not exist, there are never any preempted
Paul E. McKenneyfc2219d42009-09-23 09:50:41 -0700928 * RCU readers.
929 */
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800930static int rcu_preempt_blocked_readers_cgp(struct rcu_node *rnp)
Paul E. McKenneyfc2219d42009-09-23 09:50:41 -0700931{
932 return 0;
933}
934
Paul E. McKenney8af3a5e2014-10-31 11:22:37 -0700935/*
936 * Because there is no preemptible RCU, there can be no readers blocked.
937 */
938static bool rcu_preempt_has_tasks(struct rcu_node *rnp)
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800939{
Paul E. McKenney8af3a5e2014-10-31 11:22:37 -0700940 return false;
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800941}
942
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700943/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800944 * Because preemptible RCU does not exist, we never have to check for
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700945 * tasks blocked within RCU read-side critical sections.
946 */
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800947static void rcu_print_detail_task_stall(struct rcu_state *rsp)
948{
949}
950
951/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800952 * Because preemptible RCU does not exist, we never have to check for
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800953 * tasks blocked within RCU read-side critical sections.
954 */
Paul E. McKenney9bc8b552011-08-13 13:31:47 -0700955static int rcu_print_task_stall(struct rcu_node *rnp)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700956{
Paul E. McKenney9bc8b552011-08-13 13:31:47 -0700957 return 0;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700958}
959
Paul E. McKenney53d84e02010-08-10 14:28:53 -0700960/*
Paul E. McKenney74611ec2015-08-18 10:20:43 -0700961 * Because preemptible RCU does not exist, we never have to check for
962 * tasks blocked within RCU read-side critical sections that are
963 * blocking the current expedited grace period.
964 */
965static int rcu_print_task_exp_stall(struct rcu_node *rnp)
966{
967 return 0;
968}
969
970/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800971 * Because there is no preemptible RCU, there can be no readers blocked,
Paul E. McKenney49e29122009-09-18 09:50:19 -0700972 * so there is no need to check for blocked tasks. So check only for
973 * bogus qsmask values.
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700974 */
Paul E. McKenney57738942018-05-08 14:18:57 -0700975static void
976rcu_preempt_check_blocked_tasks(struct rcu_state *rsp, struct rcu_node *rnp)
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700977{
Paul E. McKenney49e29122009-09-18 09:50:19 -0700978 WARN_ON_ONCE(rnp->qsmask);
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700979}
980
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700981/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800982 * Because preemptible RCU does not exist, it never has any callbacks
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700983 * to check.
984 */
Paul E. McKenney86aea0e2014-10-21 08:12:00 -0700985static void rcu_preempt_check_callbacks(void)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700986{
987}
988
989/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800990 * Because preemptible RCU does not exist, rcu_barrier() is just
Paul E. McKenneye74f4c42009-10-06 21:48:17 -0700991 * another name for rcu_barrier_sched().
992 */
993void rcu_barrier(void)
994{
995 rcu_barrier_sched();
996}
997EXPORT_SYMBOL_GPL(rcu_barrier);
998
999/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -08001000 * Because preemptible RCU does not exist, it need not be initialized.
Paul E. McKenney1eba8f82009-09-23 09:50:42 -07001001 */
1002static void __init __rcu_init_preempt(void)
1003{
1004}
1005
Paul E. McKenney2439b692013-04-11 10:15:52 -07001006/*
1007 * Because preemptible RCU does not exist, tasks cannot possibly exit
1008 * while in preemptible RCU read-side critical sections.
1009 */
1010void exit_rcu(void)
1011{
1012}
1013
Paul E. McKenney4bc8d552017-11-27 15:13:56 -08001014/*
1015 * Dump the guaranteed-empty blocked-tasks state. Trust but verify.
1016 */
Paul E. McKenney57738942018-05-08 14:18:57 -07001017static void
1018dump_blkd_tasks(struct rcu_state *rsp, struct rcu_node *rnp, int ncheck)
Paul E. McKenney4bc8d552017-11-27 15:13:56 -08001019{
1020 WARN_ON_ONCE(!list_empty(&rnp->blkd_tasks));
1021}
1022
Pranith Kumar28f65692014-09-22 14:00:48 -04001023#endif /* #else #ifdef CONFIG_PREEMPT_RCU */
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001024
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001025#ifdef CONFIG_RCU_BOOST
1026
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001027static void rcu_wake_cond(struct task_struct *t, int status)
1028{
1029 /*
1030 * If the thread is yielding, only wake it when this
1031 * is invoked from idle
1032 */
1033 if (status != RCU_KTHREAD_YIELDING || is_idle_task(current))
1034 wake_up_process(t);
1035}
1036
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001037/*
1038 * Carry out RCU priority boosting on the task indicated by ->exp_tasks
1039 * or ->boost_tasks, advancing the pointer to the next task in the
1040 * ->blkd_tasks list.
1041 *
1042 * Note that irqs must be enabled: boosting the task can block.
1043 * Returns 1 if there are more tasks needing to be boosted.
1044 */
1045static int rcu_boost(struct rcu_node *rnp)
1046{
1047 unsigned long flags;
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001048 struct task_struct *t;
1049 struct list_head *tb;
1050
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001051 if (READ_ONCE(rnp->exp_tasks) == NULL &&
1052 READ_ONCE(rnp->boost_tasks) == NULL)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001053 return 0; /* Nothing left to boost. */
1054
Peter Zijlstra2a67e742015-10-08 12:24:23 +02001055 raw_spin_lock_irqsave_rcu_node(rnp, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001056
1057 /*
1058 * Recheck under the lock: all tasks in need of boosting
1059 * might exit their RCU read-side critical sections on their own.
1060 */
1061 if (rnp->exp_tasks == NULL && rnp->boost_tasks == NULL) {
Boqun Feng67c583a72015-12-29 12:18:47 +08001062 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001063 return 0;
1064 }
1065
1066 /*
1067 * Preferentially boost tasks blocking expedited grace periods.
1068 * This cannot starve the normal grace periods because a second
1069 * expedited grace period must boost all blocked tasks, including
1070 * those blocking the pre-existing normal grace period.
1071 */
Paul E. McKenneybec06782018-01-10 12:16:42 -08001072 if (rnp->exp_tasks != NULL)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001073 tb = rnp->exp_tasks;
Paul E. McKenneybec06782018-01-10 12:16:42 -08001074 else
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001075 tb = rnp->boost_tasks;
1076
1077 /*
1078 * We boost task t by manufacturing an rt_mutex that appears to
1079 * be held by task t. We leave a pointer to that rt_mutex where
1080 * task t can find it, and task t will release the mutex when it
1081 * exits its outermost RCU read-side critical section. Then
1082 * simply acquiring this artificial rt_mutex will boost task
1083 * t's priority. (Thanks to tglx for suggesting this approach!)
1084 *
1085 * Note that task t must acquire rnp->lock to remove itself from
1086 * the ->blkd_tasks list, which it will do from exit() if from
1087 * nowhere else. We therefore are guaranteed that task t will
1088 * stay around at least until we drop rnp->lock. Note that
1089 * rnp->lock also resolves races between our priority boosting
1090 * and task t's exiting its outermost RCU read-side critical
1091 * section.
1092 */
1093 t = container_of(tb, struct task_struct, rcu_node_entry);
Paul E. McKenneyabaa93d2014-06-12 13:30:25 -07001094 rt_mutex_init_proxy_locked(&rnp->boost_mtx, t);
Boqun Feng67c583a72015-12-29 12:18:47 +08001095 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenneyabaa93d2014-06-12 13:30:25 -07001096 /* Lock only for side effect: boosts task t's priority. */
1097 rt_mutex_lock(&rnp->boost_mtx);
1098 rt_mutex_unlock(&rnp->boost_mtx); /* Then keep lockdep happy. */
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001099
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001100 return READ_ONCE(rnp->exp_tasks) != NULL ||
1101 READ_ONCE(rnp->boost_tasks) != NULL;
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001102}
1103
1104/*
Paul E. McKenneybc17ea12015-06-06 08:11:43 -07001105 * Priority-boosting kthread, one per leaf rcu_node.
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001106 */
1107static int rcu_boost_kthread(void *arg)
1108{
1109 struct rcu_node *rnp = (struct rcu_node *)arg;
1110 int spincnt = 0;
1111 int more2boost;
1112
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001113 trace_rcu_utilization(TPS("Start boost kthread@init"));
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001114 for (;;) {
Paul E. McKenneyd71df902011-03-29 17:48:28 -07001115 rnp->boost_kthread_status = RCU_KTHREAD_WAITING;
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001116 trace_rcu_utilization(TPS("End boost kthread@rcu_wait"));
Peter Zijlstra08bca602011-05-20 16:06:29 -07001117 rcu_wait(rnp->boost_tasks || rnp->exp_tasks);
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001118 trace_rcu_utilization(TPS("Start boost kthread@rcu_wait"));
Paul E. McKenneyd71df902011-03-29 17:48:28 -07001119 rnp->boost_kthread_status = RCU_KTHREAD_RUNNING;
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001120 more2boost = rcu_boost(rnp);
1121 if (more2boost)
1122 spincnt++;
1123 else
1124 spincnt = 0;
1125 if (spincnt > 10) {
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001126 rnp->boost_kthread_status = RCU_KTHREAD_YIELDING;
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001127 trace_rcu_utilization(TPS("End boost kthread@rcu_yield"));
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001128 schedule_timeout_interruptible(2);
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001129 trace_rcu_utilization(TPS("Start boost kthread@rcu_yield"));
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001130 spincnt = 0;
1131 }
1132 }
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001133 /* NOTREACHED */
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001134 trace_rcu_utilization(TPS("End boost kthread@notreached"));
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001135 return 0;
1136}
1137
1138/*
1139 * Check to see if it is time to start boosting RCU readers that are
1140 * blocking the current grace period, and, if so, tell the per-rcu_node
1141 * kthread to start boosting them. If there is an expedited grace
1142 * period in progress, it is always time to boost.
1143 *
Paul E. McKenneyb065a852012-08-01 15:57:54 -07001144 * The caller must hold rnp->lock, which this function releases.
1145 * The ->boost_kthread_task is immortal, so we don't need to worry
1146 * about it going away.
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001147 */
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001148static void rcu_initiate_boost(struct rcu_node *rnp, unsigned long flags)
Pranith Kumar615e41c2014-06-11 16:39:40 -04001149 __releases(rnp->lock)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001150{
1151 struct task_struct *t;
1152
Matthew Wilcoxa32e01e2018-01-17 06:24:30 -08001153 raw_lockdep_assert_held_rcu_node(rnp);
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001154 if (!rcu_preempt_blocked_readers_cgp(rnp) && rnp->exp_tasks == NULL) {
Boqun Feng67c583a72015-12-29 12:18:47 +08001155 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001156 return;
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001157 }
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001158 if (rnp->exp_tasks != NULL ||
1159 (rnp->gp_tasks != NULL &&
1160 rnp->boost_tasks == NULL &&
1161 rnp->qsmask == 0 &&
1162 ULONG_CMP_GE(jiffies, rnp->boost_time))) {
1163 if (rnp->exp_tasks == NULL)
1164 rnp->boost_tasks = rnp->gp_tasks;
Boqun Feng67c583a72015-12-29 12:18:47 +08001165 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001166 t = rnp->boost_kthread_task;
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001167 if (t)
1168 rcu_wake_cond(t, rnp->boost_kthread_status);
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001169 } else {
Boqun Feng67c583a72015-12-29 12:18:47 +08001170 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001171 }
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001172}
1173
Paul E. McKenney0f962a52011-04-14 12:13:53 -07001174/*
Paul E. McKenneya46e0892011-06-15 15:47:09 -07001175 * Wake up the per-CPU kthread to invoke RCU callbacks.
1176 */
1177static void invoke_rcu_callbacks_kthread(void)
1178{
1179 unsigned long flags;
1180
1181 local_irq_save(flags);
1182 __this_cpu_write(rcu_cpu_has_work, 1);
Shaohua Li1eb52122011-06-16 16:02:54 -07001183 if (__this_cpu_read(rcu_cpu_kthread_task) != NULL &&
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001184 current != __this_cpu_read(rcu_cpu_kthread_task)) {
1185 rcu_wake_cond(__this_cpu_read(rcu_cpu_kthread_task),
1186 __this_cpu_read(rcu_cpu_kthread_status));
1187 }
Paul E. McKenneya46e0892011-06-15 15:47:09 -07001188 local_irq_restore(flags);
1189}
1190
1191/*
Paul E. McKenneydff16722011-11-29 15:57:13 -08001192 * Is the current CPU running the RCU-callbacks kthread?
1193 * Caller must have preemption disabled.
1194 */
1195static bool rcu_is_callbacks_kthread(void)
1196{
Christoph Lameterc9d4b0a2013-08-31 13:34:10 -07001197 return __this_cpu_read(rcu_cpu_kthread_task) == current;
Paul E. McKenneydff16722011-11-29 15:57:13 -08001198}
1199
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001200#define RCU_BOOST_DELAY_JIFFIES DIV_ROUND_UP(CONFIG_RCU_BOOST_DELAY * HZ, 1000)
1201
1202/*
1203 * Do priority-boost accounting for the start of a new grace period.
1204 */
1205static void rcu_preempt_boost_start_gp(struct rcu_node *rnp)
1206{
1207 rnp->boost_time = jiffies + RCU_BOOST_DELAY_JIFFIES;
1208}
1209
1210/*
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001211 * Create an RCU-boost kthread for the specified node if one does not
1212 * already exist. We only create this kthread for preemptible RCU.
1213 * Returns zero if all is well, a negated errno otherwise.
1214 */
Paul Gortmaker49fb4c62013-06-19 14:52:21 -04001215static int rcu_spawn_one_boost_kthread(struct rcu_state *rsp,
Paul E. McKenney0aa04b02015-01-23 21:52:37 -08001216 struct rcu_node *rnp)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001217{
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001218 int rnp_index = rnp - &rsp->node[0];
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001219 unsigned long flags;
1220 struct sched_param sp;
1221 struct task_struct *t;
1222
Paul E. McKenneye63c8872015-03-03 12:56:43 -08001223 if (rcu_state_p != rsp)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001224 return 0;
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001225
Paul E. McKenney0aa04b02015-01-23 21:52:37 -08001226 if (!rcu_scheduler_fully_active || rcu_rnp_online_cpus(rnp) == 0)
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001227 return 0;
1228
Paul E. McKenneya46e0892011-06-15 15:47:09 -07001229 rsp->boost = 1;
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001230 if (rnp->boost_kthread_task != NULL)
1231 return 0;
1232 t = kthread_create(rcu_boost_kthread, (void *)rnp,
Mike Galbraith5b61b0b2011-08-19 11:39:11 -07001233 "rcub/%d", rnp_index);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001234 if (IS_ERR(t))
1235 return PTR_ERR(t);
Peter Zijlstra2a67e742015-10-08 12:24:23 +02001236 raw_spin_lock_irqsave_rcu_node(rnp, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001237 rnp->boost_kthread_task = t;
Boqun Feng67c583a72015-12-29 12:18:47 +08001238 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Clark Williams21871d72014-09-12 21:21:09 -05001239 sp.sched_priority = kthread_prio;
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001240 sched_setscheduler_nocheck(t, SCHED_FIFO, &sp);
Paul E. McKenney9a432732011-05-30 20:38:55 -07001241 wake_up_process(t); /* get to TASK_INTERRUPTIBLE quickly. */
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001242 return 0;
1243}
1244
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001245static void rcu_kthread_do_work(void)
1246{
Christoph Lameterc9d4b0a2013-08-31 13:34:10 -07001247 rcu_do_batch(&rcu_sched_state, this_cpu_ptr(&rcu_sched_data));
1248 rcu_do_batch(&rcu_bh_state, this_cpu_ptr(&rcu_bh_data));
Byungchul Parkbe01b4c2018-02-26 14:11:36 +09001249 rcu_do_batch(&rcu_preempt_state, this_cpu_ptr(&rcu_preempt_data));
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001250}
1251
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001252static void rcu_cpu_kthread_setup(unsigned int cpu)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001253{
1254 struct sched_param sp;
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001255
Clark Williams21871d72014-09-12 21:21:09 -05001256 sp.sched_priority = kthread_prio;
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001257 sched_setscheduler_nocheck(current, SCHED_FIFO, &sp);
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001258}
1259
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001260static void rcu_cpu_kthread_park(unsigned int cpu)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001261{
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001262 per_cpu(rcu_cpu_kthread_status, cpu) = RCU_KTHREAD_OFFCPU;
1263}
1264
1265static int rcu_cpu_kthread_should_run(unsigned int cpu)
1266{
Christoph Lameterc9d4b0a2013-08-31 13:34:10 -07001267 return __this_cpu_read(rcu_cpu_has_work);
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001268}
1269
1270/*
1271 * Per-CPU kernel thread that invokes RCU callbacks. This replaces the
Paul E. McKenneye0f23062011-06-21 01:29:39 -07001272 * RCU softirq used in flavors and configurations of RCU that do not
1273 * support RCU priority boosting.
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001274 */
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001275static void rcu_cpu_kthread(unsigned int cpu)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001276{
Christoph Lameterc9d4b0a2013-08-31 13:34:10 -07001277 unsigned int *statusp = this_cpu_ptr(&rcu_cpu_kthread_status);
1278 char work, *workp = this_cpu_ptr(&rcu_cpu_has_work);
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001279 int spincnt;
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001280
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001281 for (spincnt = 0; spincnt < 10; spincnt++) {
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001282 trace_rcu_utilization(TPS("Start CPU kthread@rcu_wait"));
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001283 local_bh_disable();
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001284 *statusp = RCU_KTHREAD_RUNNING;
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001285 this_cpu_inc(rcu_cpu_kthread_loops);
1286 local_irq_disable();
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001287 work = *workp;
1288 *workp = 0;
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001289 local_irq_enable();
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001290 if (work)
1291 rcu_kthread_do_work();
1292 local_bh_enable();
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001293 if (*workp == 0) {
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001294 trace_rcu_utilization(TPS("End CPU kthread@rcu_wait"));
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001295 *statusp = RCU_KTHREAD_WAITING;
1296 return;
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001297 }
1298 }
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001299 *statusp = RCU_KTHREAD_YIELDING;
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001300 trace_rcu_utilization(TPS("Start CPU kthread@rcu_yield"));
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001301 schedule_timeout_interruptible(2);
Steven Rostedt (Red Hat)f7f7bac2013-07-12 17:18:47 -04001302 trace_rcu_utilization(TPS("End CPU kthread@rcu_yield"));
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001303 *statusp = RCU_KTHREAD_WAITING;
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001304}
1305
1306/*
1307 * Set the per-rcu_node kthread's affinity to cover all CPUs that are
1308 * served by the rcu_node in question. The CPU hotplug lock is still
1309 * held, so the value of rnp->qsmaskinit will be stable.
1310 *
1311 * We don't include outgoingcpu in the affinity set, use -1 if there is
1312 * no outgoing CPU. If there are no CPUs left in the affinity set,
1313 * this function allows the kthread to execute on any CPU.
1314 */
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001315static void rcu_boost_kthread_setaffinity(struct rcu_node *rnp, int outgoingcpu)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001316{
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001317 struct task_struct *t = rnp->boost_kthread_task;
Paul E. McKenney0aa04b02015-01-23 21:52:37 -08001318 unsigned long mask = rcu_rnp_online_cpus(rnp);
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001319 cpumask_var_t cm;
1320 int cpu;
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001321
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001322 if (!t)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001323 return;
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001324 if (!zalloc_cpumask_var(&cm, GFP_KERNEL))
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001325 return;
Mark Rutlandbc75e992016-06-03 15:20:04 +01001326 for_each_leaf_node_possible_cpu(rnp, cpu)
1327 if ((mask & leaf_node_cpu_bit(rnp, cpu)) &&
1328 cpu != outgoingcpu)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001329 cpumask_set_cpu(cpu, cm);
Paul E. McKenney5d0b0242014-11-10 08:07:08 -08001330 if (cpumask_weight(cm) == 0)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001331 cpumask_setall(cm);
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001332 set_cpus_allowed_ptr(t, cm);
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001333 free_cpumask_var(cm);
1334}
1335
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001336static struct smp_hotplug_thread rcu_cpu_thread_spec = {
1337 .store = &rcu_cpu_kthread_task,
1338 .thread_should_run = rcu_cpu_kthread_should_run,
1339 .thread_fn = rcu_cpu_kthread,
1340 .thread_comm = "rcuc/%u",
1341 .setup = rcu_cpu_kthread_setup,
1342 .park = rcu_cpu_kthread_park,
1343};
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001344
1345/*
Paul E. McKenney9386c0b2014-07-13 12:00:53 -07001346 * Spawn boost kthreads -- called as soon as the scheduler is running.
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001347 */
Paul E. McKenney9386c0b2014-07-13 12:00:53 -07001348static void __init rcu_spawn_boost_kthreads(void)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001349{
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001350 struct rcu_node *rnp;
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001351 int cpu;
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001352
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001353 for_each_possible_cpu(cpu)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001354 per_cpu(rcu_cpu_has_work, cpu) = 0;
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001355 BUG_ON(smpboot_register_percpu_thread(&rcu_cpu_thread_spec));
Paul E. McKenney3e9f5c72014-11-03 18:15:17 -08001356 rcu_for_each_leaf_node(rcu_state_p, rnp)
1357 (void)rcu_spawn_one_boost_kthread(rcu_state_p, rnp);
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001358}
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001359
Paul Gortmaker49fb4c62013-06-19 14:52:21 -04001360static void rcu_prepare_kthreads(int cpu)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001361{
Uma Sharmae5341652014-03-23 22:32:09 -07001362 struct rcu_data *rdp = per_cpu_ptr(rcu_state_p->rda, cpu);
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001363 struct rcu_node *rnp = rdp->mynode;
1364
1365 /* Fire up the incoming CPU's kthread and leaf rcu_node kthread. */
Paul E. McKenney62ab7072012-07-16 10:42:38 +00001366 if (rcu_scheduler_fully_active)
Uma Sharmae5341652014-03-23 22:32:09 -07001367 (void)rcu_spawn_one_boost_kthread(rcu_state_p, rnp);
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001368}
1369
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001370#else /* #ifdef CONFIG_RCU_BOOST */
1371
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001372static void rcu_initiate_boost(struct rcu_node *rnp, unsigned long flags)
Pranith Kumar615e41c2014-06-11 16:39:40 -04001373 __releases(rnp->lock)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001374{
Boqun Feng67c583a72015-12-29 12:18:47 +08001375 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001376}
1377
Paul E. McKenneya46e0892011-06-15 15:47:09 -07001378static void invoke_rcu_callbacks_kthread(void)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001379{
Paul E. McKenneya46e0892011-06-15 15:47:09 -07001380 WARN_ON_ONCE(1);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001381}
1382
Paul E. McKenneydff16722011-11-29 15:57:13 -08001383static bool rcu_is_callbacks_kthread(void)
1384{
1385 return false;
1386}
1387
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001388static void rcu_preempt_boost_start_gp(struct rcu_node *rnp)
1389{
1390}
1391
Thomas Gleixner5d01bbd2012-07-16 10:42:35 +00001392static void rcu_boost_kthread_setaffinity(struct rcu_node *rnp, int outgoingcpu)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001393{
1394}
1395
Paul E. McKenney9386c0b2014-07-13 12:00:53 -07001396static void __init rcu_spawn_boost_kthreads(void)
Paul E. McKenneyb0d30412011-07-10 15:57:35 -07001397{
Paul E. McKenneyb0d30412011-07-10 15:57:35 -07001398}
Paul E. McKenneyb0d30412011-07-10 15:57:35 -07001399
Paul Gortmaker49fb4c62013-06-19 14:52:21 -04001400static void rcu_prepare_kthreads(int cpu)
Paul E. McKenneyf8b7fc62011-06-16 08:26:32 -07001401{
1402}
1403
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001404#endif /* #else #ifdef CONFIG_RCU_BOOST */
1405
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001406#if !defined(CONFIG_RCU_FAST_NO_HZ)
1407
1408/*
1409 * Check to see if any future RCU-related work will need to be done
1410 * by the current CPU, even if none need be done immediately, returning
1411 * 1 if so. This function is part of the RCU implementation; it is -not-
1412 * an exported member of the RCU API.
1413 *
Paul E. McKenney7cb92492011-11-28 12:28:34 -08001414 * Because we not have RCU_FAST_NO_HZ, just check whether this CPU needs
1415 * any flavor of RCU.
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001416 */
Thomas Gleixnerc1ad3482015-04-14 21:08:58 +00001417int rcu_needs_cpu(u64 basemono, u64 *nextevt)
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001418{
Thomas Gleixnerc1ad3482015-04-14 21:08:58 +00001419 *nextevt = KTIME_MAX;
Paul E. McKenney44c65ff2017-05-15 16:26:34 -07001420 return rcu_cpu_has_callbacks(NULL);
Paul E. McKenney7cb92492011-11-28 12:28:34 -08001421}
1422
1423/*
1424 * Because we do not have RCU_FAST_NO_HZ, don't bother cleaning up
1425 * after it.
1426 */
Paul E. McKenney8fa78452014-10-22 15:07:37 -07001427static void rcu_cleanup_after_idle(void)
Paul E. McKenney7cb92492011-11-28 12:28:34 -08001428{
1429}
1430
1431/*
Paul E. McKenneya858af22012-01-16 13:29:10 -08001432 * Do the idle-entry grace-period work, which, because CONFIG_RCU_FAST_NO_HZ=n,
Paul E. McKenneyaea1b352011-11-02 06:54:54 -07001433 * is nothing.
1434 */
Paul E. McKenney198bbf82014-10-22 15:03:43 -07001435static void rcu_prepare_for_idle(void)
Paul E. McKenneyaea1b352011-11-02 06:54:54 -07001436{
1437}
1438
Paul E. McKenneyc57afe82012-02-28 11:02:21 -08001439/*
1440 * Don't bother keeping a running count of the number of RCU callbacks
1441 * posted because CONFIG_RCU_FAST_NO_HZ=n.
1442 */
1443static void rcu_idle_count_callbacks_posted(void)
1444{
1445}
1446
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001447#else /* #if !defined(CONFIG_RCU_FAST_NO_HZ) */
1448
Paul E. McKenneyf23f7fa2011-11-30 15:41:14 -08001449/*
1450 * This code is invoked when a CPU goes idle, at which point we want
1451 * to have the CPU do everything required for RCU so that it can enter
1452 * the energy-efficient dyntick-idle mode. This is handled by a
1453 * state machine implemented by rcu_prepare_for_idle() below.
1454 *
1455 * The following three proprocessor symbols control this state machine:
1456 *
Paul E. McKenneyf23f7fa2011-11-30 15:41:14 -08001457 * RCU_IDLE_GP_DELAY gives the number of jiffies that a CPU is permitted
1458 * to sleep in dyntick-idle mode with RCU callbacks pending. This
1459 * is sized to be roughly one RCU grace period. Those energy-efficiency
1460 * benchmarkers who might otherwise be tempted to set this to a large
1461 * number, be warned: Setting RCU_IDLE_GP_DELAY too high can hang your
1462 * system. And if you are -that- concerned about energy efficiency,
1463 * just power the system down and be done with it!
Paul E. McKenney778d2502012-01-10 14:13:24 -08001464 * RCU_IDLE_LAZY_GP_DELAY gives the number of jiffies that a CPU is
1465 * permitted to sleep in dyntick-idle mode with only lazy RCU
1466 * callbacks pending. Setting this too high can OOM your system.
Paul E. McKenneyf23f7fa2011-11-30 15:41:14 -08001467 *
1468 * The values below work well in practice. If future workloads require
1469 * adjustment, they can be converted into kernel config parameters, though
1470 * making the state machine smarter might be a better option.
1471 */
Paul E. McKenneye84c48a2012-06-04 20:45:10 -07001472#define RCU_IDLE_GP_DELAY 4 /* Roughly one grace period. */
Paul E. McKenney778d2502012-01-10 14:13:24 -08001473#define RCU_IDLE_LAZY_GP_DELAY (6 * HZ) /* Roughly six seconds. */
Paul E. McKenneyf23f7fa2011-11-30 15:41:14 -08001474
Paul E. McKenney5e44ce32012-12-12 12:35:29 -08001475static int rcu_idle_gp_delay = RCU_IDLE_GP_DELAY;
1476module_param(rcu_idle_gp_delay, int, 0644);
1477static int rcu_idle_lazy_gp_delay = RCU_IDLE_LAZY_GP_DELAY;
1478module_param(rcu_idle_lazy_gp_delay, int, 0644);
1479
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001480/*
Paul E. McKenneyc2298282013-08-25 21:20:47 -07001481 * Try to advance callbacks for all flavors of RCU on the current CPU, but
1482 * only if it has been awhile since the last time we did so. Afterwards,
1483 * if there are any callbacks ready for immediate invocation, return true.
Paul E. McKenney486e2592012-01-06 14:11:30 -08001484 */
Paul E. McKenneyf1f399d2013-11-17 21:08:07 -08001485static bool __maybe_unused rcu_try_advance_all_cbs(void)
Paul E. McKenney486e2592012-01-06 14:11:30 -08001486{
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001487 bool cbs_ready = false;
1488 struct rcu_data *rdp;
Paul E. McKenneyc2298282013-08-25 21:20:47 -07001489 struct rcu_dynticks *rdtp = this_cpu_ptr(&rcu_dynticks);
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001490 struct rcu_node *rnp;
1491 struct rcu_state *rsp;
Paul E. McKenney486e2592012-01-06 14:11:30 -08001492
Paul E. McKenneyc2298282013-08-25 21:20:47 -07001493 /* Exit early if we advanced recently. */
1494 if (jiffies == rdtp->last_advance_all)
Pranith Kumard0bc90f2014-07-08 18:26:13 -04001495 return false;
Paul E. McKenneyc2298282013-08-25 21:20:47 -07001496 rdtp->last_advance_all = jiffies;
1497
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001498 for_each_rcu_flavor(rsp) {
1499 rdp = this_cpu_ptr(rsp->rda);
1500 rnp = rdp->mynode;
Paul E. McKenney486e2592012-01-06 14:11:30 -08001501
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001502 /*
1503 * Don't bother checking unless a grace period has
1504 * completed since we last checked and there are
1505 * callbacks not yet ready to invoke.
1506 */
Paul E. McKenney03c8cb72018-04-27 19:56:16 -07001507 if ((rcu_seq_completed_gp(rdp->gp_seq,
1508 rcu_seq_current(&rnp->gp_seq)) ||
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001509 unlikely(READ_ONCE(rdp->gpwrap))) &&
Paul E. McKenney15fecf82017-02-08 12:36:42 -08001510 rcu_segcblist_pend_cbs(&rdp->cblist))
Paul E. McKenney470716f2013-03-19 11:32:11 -07001511 note_gp_changes(rsp, rdp);
Paul E. McKenney486e2592012-01-06 14:11:30 -08001512
Paul E. McKenney15fecf82017-02-08 12:36:42 -08001513 if (rcu_segcblist_ready_cbs(&rdp->cblist))
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001514 cbs_ready = true;
1515 }
1516 return cbs_ready;
Paul E. McKenney486e2592012-01-06 14:11:30 -08001517}
1518
1519/*
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001520 * Allow the CPU to enter dyntick-idle mode unless it has callbacks ready
1521 * to invoke. If the CPU has callbacks, try to advance them. Tell the
1522 * caller to set the timeout based on whether or not there are non-lazy
1523 * callbacks.
Paul E. McKenneyaa9b16302012-05-10 16:41:44 -07001524 *
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001525 * The caller must have disabled interrupts.
Paul E. McKenneyaa9b16302012-05-10 16:41:44 -07001526 */
Thomas Gleixnerc1ad3482015-04-14 21:08:58 +00001527int rcu_needs_cpu(u64 basemono, u64 *nextevt)
Paul E. McKenneyaa9b16302012-05-10 16:41:44 -07001528{
Paul E. McKenneyaa6da512014-10-21 13:23:08 -07001529 struct rcu_dynticks *rdtp = this_cpu_ptr(&rcu_dynticks);
Thomas Gleixnerc1ad3482015-04-14 21:08:58 +00001530 unsigned long dj;
Paul E. McKenneyaa9b16302012-05-10 16:41:44 -07001531
Frederic Weisbeckerb04db8e2017-11-06 16:01:30 +01001532 lockdep_assert_irqs_disabled();
Paul E. McKenney3382adb2015-03-04 15:41:24 -08001533
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001534 /* Snapshot to detect later posting of non-lazy callback. */
1535 rdtp->nonlazy_posted_snap = rdtp->nonlazy_posted;
1536
Paul E. McKenneyaa9b16302012-05-10 16:41:44 -07001537 /* If no callbacks, RCU doesn't need the CPU. */
Paul E. McKenneyaa6da512014-10-21 13:23:08 -07001538 if (!rcu_cpu_has_callbacks(&rdtp->all_lazy)) {
Thomas Gleixnerc1ad3482015-04-14 21:08:58 +00001539 *nextevt = KTIME_MAX;
Paul E. McKenneyaa9b16302012-05-10 16:41:44 -07001540 return 0;
1541 }
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001542
1543 /* Attempt to advance callbacks. */
1544 if (rcu_try_advance_all_cbs()) {
1545 /* Some ready to invoke, so initiate later invocation. */
1546 invoke_rcu_core();
Paul E. McKenneyaa9b16302012-05-10 16:41:44 -07001547 return 1;
1548 }
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001549 rdtp->last_accelerate = jiffies;
1550
1551 /* Request timer delay depending on laziness, and round. */
Paul E. McKenney6faf7282013-05-13 06:53:37 -07001552 if (!rdtp->all_lazy) {
Thomas Gleixnerc1ad3482015-04-14 21:08:58 +00001553 dj = round_up(rcu_idle_gp_delay + jiffies,
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001554 rcu_idle_gp_delay) - jiffies;
Paul E. McKenneye84c48a2012-06-04 20:45:10 -07001555 } else {
Thomas Gleixnerc1ad3482015-04-14 21:08:58 +00001556 dj = round_jiffies(rcu_idle_lazy_gp_delay + jiffies) - jiffies;
Paul E. McKenneye84c48a2012-06-04 20:45:10 -07001557 }
Thomas Gleixnerc1ad3482015-04-14 21:08:58 +00001558 *nextevt = basemono + dj * TICK_NSEC;
Paul E. McKenneyaa9b16302012-05-10 16:41:44 -07001559 return 0;
1560}
1561
1562/*
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001563 * Prepare a CPU for idle from an RCU perspective. The first major task
1564 * is to sense whether nohz mode has been enabled or disabled via sysfs.
1565 * The second major task is to check to see if a non-lazy callback has
1566 * arrived at a CPU that previously had only lazy callbacks. The third
1567 * major task is to accelerate (that is, assign grace-period numbers to)
1568 * any recently arrived callbacks.
Paul E. McKenneyaea1b352011-11-02 06:54:54 -07001569 *
1570 * The caller must have disabled interrupts.
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001571 */
Paul E. McKenney198bbf82014-10-22 15:03:43 -07001572static void rcu_prepare_for_idle(void)
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001573{
Paul E. McKenney48a76392014-03-11 13:02:16 -07001574 bool needwake;
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001575 struct rcu_data *rdp;
Paul E. McKenney198bbf82014-10-22 15:03:43 -07001576 struct rcu_dynticks *rdtp = this_cpu_ptr(&rcu_dynticks);
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001577 struct rcu_node *rnp;
1578 struct rcu_state *rsp;
Paul E. McKenney9d2ad242012-06-24 10:15:02 -07001579 int tne;
1580
Frederic Weisbeckerb04db8e2017-11-06 16:01:30 +01001581 lockdep_assert_irqs_disabled();
Paul E. McKenney44c65ff2017-05-15 16:26:34 -07001582 if (rcu_is_nocb_cpu(smp_processor_id()))
Paul E. McKenney3382adb2015-03-04 15:41:24 -08001583 return;
1584
Paul E. McKenney9d2ad242012-06-24 10:15:02 -07001585 /* Handle nohz enablement switches conservatively. */
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001586 tne = READ_ONCE(tick_nohz_active);
Paul E. McKenney9d2ad242012-06-24 10:15:02 -07001587 if (tne != rdtp->tick_nohz_enabled_snap) {
Paul E. McKenneyaa6da512014-10-21 13:23:08 -07001588 if (rcu_cpu_has_callbacks(NULL))
Paul E. McKenney9d2ad242012-06-24 10:15:02 -07001589 invoke_rcu_core(); /* force nohz to see update. */
1590 rdtp->tick_nohz_enabled_snap = tne;
1591 return;
1592 }
1593 if (!tne)
1594 return;
Paul E. McKenneyf511fc62012-03-15 12:16:26 -07001595
Paul E. McKenney3084f2f2011-11-22 17:07:11 -08001596 /*
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001597 * If a non-lazy callback arrived at a CPU having only lazy
1598 * callbacks, invoke RCU core for the side-effect of recalculating
1599 * idle duration on re-entry to idle.
Paul E. McKenneyc57afe82012-02-28 11:02:21 -08001600 */
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001601 if (rdtp->all_lazy &&
1602 rdtp->nonlazy_posted != rdtp->nonlazy_posted_snap) {
Paul E. McKenneyc337f8f2013-09-05 17:02:11 -07001603 rdtp->all_lazy = false;
1604 rdtp->nonlazy_posted_snap = rdtp->nonlazy_posted;
Paul E. McKenneya46e0892011-06-15 15:47:09 -07001605 invoke_rcu_core();
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001606 return;
1607 }
1608
1609 /*
1610 * If we have not yet accelerated this jiffy, accelerate all
1611 * callbacks on this CPU.
1612 */
1613 if (rdtp->last_accelerate == jiffies)
1614 return;
1615 rdtp->last_accelerate = jiffies;
1616 for_each_rcu_flavor(rsp) {
Paul E. McKenney198bbf82014-10-22 15:03:43 -07001617 rdp = this_cpu_ptr(rsp->rda);
Neeraj Upadhyay135bd1a2017-08-07 11:20:10 +05301618 if (!rcu_segcblist_pend_cbs(&rdp->cblist))
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001619 continue;
1620 rnp = rdp->mynode;
Peter Zijlstra2a67e742015-10-08 12:24:23 +02001621 raw_spin_lock_rcu_node(rnp); /* irqs already disabled. */
Paul E. McKenney48a76392014-03-11 13:02:16 -07001622 needwake = rcu_accelerate_cbs(rsp, rnp, rdp);
Boqun Feng67c583a72015-12-29 12:18:47 +08001623 raw_spin_unlock_rcu_node(rnp); /* irqs remain disabled. */
Paul E. McKenney48a76392014-03-11 13:02:16 -07001624 if (needwake)
1625 rcu_gp_kthread_wake(rsp);
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001626 }
1627}
1628
1629/*
1630 * Clean up for exit from idle. Attempt to advance callbacks based on
1631 * any grace periods that elapsed while the CPU was idle, and if any
1632 * callbacks are now ready to invoke, initiate invocation.
1633 */
Paul E. McKenney8fa78452014-10-22 15:07:37 -07001634static void rcu_cleanup_after_idle(void)
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001635{
Frederic Weisbeckerb04db8e2017-11-06 16:01:30 +01001636 lockdep_assert_irqs_disabled();
Paul E. McKenney44c65ff2017-05-15 16:26:34 -07001637 if (rcu_is_nocb_cpu(smp_processor_id()))
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001638 return;
Paul E. McKenney7a497c92013-08-22 18:16:16 -07001639 if (rcu_try_advance_all_cbs())
1640 invoke_rcu_core();
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001641}
1642
Paul E. McKenneyc57afe82012-02-28 11:02:21 -08001643/*
Paul E. McKenney98248a02012-05-03 15:38:10 -07001644 * Keep a running count of the number of non-lazy callbacks posted
1645 * on this CPU. This running counter (which is never decremented) allows
1646 * rcu_prepare_for_idle() to detect when something out of the idle loop
1647 * posts a callback, even if an equal number of callbacks are invoked.
1648 * Of course, callbacks should only be posted from within a trace event
1649 * designed to be called from idle or from within RCU_NONIDLE().
Paul E. McKenneyc57afe82012-02-28 11:02:21 -08001650 */
1651static void rcu_idle_count_callbacks_posted(void)
1652{
Paul E. McKenney5955f7e2012-05-09 12:07:05 -07001653 __this_cpu_add(rcu_dynticks.nonlazy_posted, 1);
Paul E. McKenneyc57afe82012-02-28 11:02:21 -08001654}
1655
Paul E. McKenneyb626c1b2012-06-11 17:39:43 -07001656/*
1657 * Data for flushing lazy RCU callbacks at OOM time.
1658 */
1659static atomic_t oom_callback_count;
1660static DECLARE_WAIT_QUEUE_HEAD(oom_callback_wq);
1661
1662/*
1663 * RCU OOM callback -- decrement the outstanding count and deliver the
1664 * wake-up if we are the last one.
1665 */
1666static void rcu_oom_callback(struct rcu_head *rhp)
1667{
1668 if (atomic_dec_and_test(&oom_callback_count))
1669 wake_up(&oom_callback_wq);
1670}
1671
1672/*
1673 * Post an rcu_oom_notify callback on the current CPU if it has at
1674 * least one lazy callback. This will unnecessarily post callbacks
1675 * to CPUs that already have a non-lazy callback at the end of their
1676 * callback list, but this is an infrequent operation, so accept some
1677 * extra overhead to keep things simple.
1678 */
1679static void rcu_oom_notify_cpu(void *unused)
1680{
1681 struct rcu_state *rsp;
1682 struct rcu_data *rdp;
1683
1684 for_each_rcu_flavor(rsp) {
Christoph Lameterfa07a582014-04-15 12:20:12 -07001685 rdp = raw_cpu_ptr(rsp->rda);
Paul E. McKenney15fecf82017-02-08 12:36:42 -08001686 if (rcu_segcblist_n_lazy_cbs(&rdp->cblist)) {
Paul E. McKenneyb626c1b2012-06-11 17:39:43 -07001687 atomic_inc(&oom_callback_count);
1688 rsp->call(&rdp->oom_head, rcu_oom_callback);
1689 }
1690 }
1691}
1692
1693/*
1694 * If low on memory, ensure that each CPU has a non-lazy callback.
1695 * This will wake up CPUs that have only lazy callbacks, in turn
1696 * ensuring that they free up the corresponding memory in a timely manner.
1697 * Because an uncertain amount of memory will be freed in some uncertain
1698 * timeframe, we do not claim to have freed anything.
1699 */
1700static int rcu_oom_notify(struct notifier_block *self,
1701 unsigned long notused, void *nfreed)
1702{
1703 int cpu;
1704
1705 /* Wait for callbacks from earlier instance to complete. */
1706 wait_event(oom_callback_wq, atomic_read(&oom_callback_count) == 0);
Paul E. McKenney78e4bc32013-09-24 15:04:06 -07001707 smp_mb(); /* Ensure callback reuse happens after callback invocation. */
Paul E. McKenneyb626c1b2012-06-11 17:39:43 -07001708
1709 /*
1710 * Prevent premature wakeup: ensure that all increments happen
1711 * before there is a chance of the counter reaching zero.
1712 */
1713 atomic_set(&oom_callback_count, 1);
1714
Paul E. McKenneyb626c1b2012-06-11 17:39:43 -07001715 for_each_online_cpu(cpu) {
1716 smp_call_function_single(cpu, rcu_oom_notify_cpu, NULL, 1);
Paul E. McKenneycee43932018-03-02 16:35:27 -08001717 cond_resched_tasks_rcu_qs();
Paul E. McKenneyb626c1b2012-06-11 17:39:43 -07001718 }
Paul E. McKenneyb626c1b2012-06-11 17:39:43 -07001719
1720 /* Unconditionally decrement: no need to wake ourselves up. */
1721 atomic_dec(&oom_callback_count);
1722
1723 return NOTIFY_OK;
1724}
1725
1726static struct notifier_block rcu_oom_nb = {
1727 .notifier_call = rcu_oom_notify
1728};
1729
1730static int __init rcu_register_oom_notifier(void)
1731{
1732 register_oom_notifier(&rcu_oom_nb);
1733 return 0;
1734}
1735early_initcall(rcu_register_oom_notifier);
1736
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001737#endif /* #else #if !defined(CONFIG_RCU_FAST_NO_HZ) */
Paul E. McKenneya858af22012-01-16 13:29:10 -08001738
Paul E. McKenneya858af22012-01-16 13:29:10 -08001739#ifdef CONFIG_RCU_FAST_NO_HZ
1740
1741static void print_cpu_stall_fast_no_hz(char *cp, int cpu)
1742{
Paul E. McKenney5955f7e2012-05-09 12:07:05 -07001743 struct rcu_dynticks *rdtp = &per_cpu(rcu_dynticks, cpu);
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001744 unsigned long nlpd = rdtp->nonlazy_posted - rdtp->nonlazy_posted_snap;
Paul E. McKenneya858af22012-01-16 13:29:10 -08001745
Paul E. McKenneyc0f4dfd2012-12-28 11:30:36 -08001746 sprintf(cp, "last_accelerate: %04lx/%04lx, nonlazy_posted: %ld, %c%c",
1747 rdtp->last_accelerate & 0xffff, jiffies & 0xffff,
1748 ulong2long(nlpd),
1749 rdtp->all_lazy ? 'L' : '.',
1750 rdtp->tick_nohz_enabled_snap ? '.' : 'D');
Paul E. McKenneya858af22012-01-16 13:29:10 -08001751}
1752
1753#else /* #ifdef CONFIG_RCU_FAST_NO_HZ */
1754
1755static void print_cpu_stall_fast_no_hz(char *cp, int cpu)
1756{
Carsten Emde1c17e4d2012-06-19 10:43:16 +02001757 *cp = '\0';
Paul E. McKenneya858af22012-01-16 13:29:10 -08001758}
1759
1760#endif /* #else #ifdef CONFIG_RCU_FAST_NO_HZ */
1761
1762/* Initiate the stall-info list. */
1763static void print_cpu_stall_info_begin(void)
1764{
Paul E. McKenneyefc151c2013-03-18 16:24:11 -07001765 pr_cont("\n");
Paul E. McKenneya858af22012-01-16 13:29:10 -08001766}
1767
1768/*
1769 * Print out diagnostic information for the specified stalled CPU.
1770 *
1771 * If the specified CPU is aware of the current RCU grace period
1772 * (flavor specified by rsp), then print the number of scheduling
1773 * clock interrupts the CPU has taken during the time that it has
1774 * been aware. Otherwise, print the number of RCU grace periods
1775 * that this CPU is ignorant of, for example, "1" if the CPU was
1776 * aware of the previous grace period.
1777 *
1778 * Also print out idle and (if CONFIG_RCU_FAST_NO_HZ) idle-entry info.
1779 */
1780static void print_cpu_stall_info(struct rcu_state *rsp, int cpu)
1781{
Paul E. McKenney9b9500d2017-08-17 17:05:59 -07001782 unsigned long delta;
Paul E. McKenneya858af22012-01-16 13:29:10 -08001783 char fast_no_hz[72];
1784 struct rcu_data *rdp = per_cpu_ptr(rsp->rda, cpu);
1785 struct rcu_dynticks *rdtp = rdp->dynticks;
1786 char *ticks_title;
1787 unsigned long ticks_value;
1788
Tejun Heo3caa9732018-01-09 10:38:17 -08001789 /*
1790 * We could be printing a lot while holding a spinlock. Avoid
1791 * triggering hard lockup.
1792 */
1793 touch_nmi_watchdog();
1794
Paul E. McKenney471f87c32018-04-30 13:09:17 -07001795 ticks_value = rcu_seq_ctr(rsp->gp_seq - rdp->gp_seq);
1796 if (ticks_value) {
1797 ticks_title = "GPs behind";
1798 } else {
Paul E. McKenneya858af22012-01-16 13:29:10 -08001799 ticks_title = "ticks this GP";
1800 ticks_value = rdp->ticks_this_gp;
Paul E. McKenneya858af22012-01-16 13:29:10 -08001801 }
1802 print_cpu_stall_fast_no_hz(fast_no_hz, cpu);
Paul E. McKenney8aa670c2018-04-28 14:15:40 -07001803 delta = rcu_seq_ctr(rdp->mynode->gp_seq - rdp->rcu_iw_gp_seq);
Paul E. McKenney89b4cd42018-06-11 12:29:16 -07001804 pr_err("\t%d-%c%c%c%c: (%lu %s) idle=%03x/%ld/%#lx softirq=%u/%u fqs=%ld %s\n",
Paul E. McKenney7f21aee2015-08-15 14:49:50 -07001805 cpu,
1806 "O."[!!cpu_online(cpu)],
1807 "o."[!!(rdp->grpmask & rdp->mynode->qsmaskinit)],
1808 "N."[!!(rdp->grpmask & rdp->mynode->qsmaskinitnext)],
Paul E. McKenney9b9500d2017-08-17 17:05:59 -07001809 !IS_ENABLED(CONFIG_IRQ_WORK) ? '?' :
1810 rdp->rcu_iw_pending ? (int)min(delta, 9UL) + '0' :
1811 "!."[!delta],
Paul E. McKenney7f21aee2015-08-15 14:49:50 -07001812 ticks_value, ticks_title,
Paul E. McKenney02a5c5502016-11-02 17:25:06 -07001813 rcu_dynticks_snap(rdtp) & 0xfff,
Paul E. McKenneya858af22012-01-16 13:29:10 -08001814 rdtp->dynticks_nesting, rdtp->dynticks_nmi_nesting,
Paul E. McKenney62310692013-03-06 13:37:09 -08001815 rdp->softirq_snap, kstat_softirqs_cpu(RCU_SOFTIRQ, cpu),
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001816 READ_ONCE(rsp->n_force_qs) - rsp->n_force_qs_gpstart,
Paul E. McKenneya858af22012-01-16 13:29:10 -08001817 fast_no_hz);
1818}
1819
1820/* Terminate the stall-info list. */
1821static void print_cpu_stall_info_end(void)
1822{
Paul E. McKenneyefc151c2013-03-18 16:24:11 -07001823 pr_err("\t");
Paul E. McKenneya858af22012-01-16 13:29:10 -08001824}
1825
1826/* Zero ->ticks_this_gp for all flavors of RCU. */
1827static void zero_cpu_stall_ticks(struct rcu_data *rdp)
1828{
1829 rdp->ticks_this_gp = 0;
Paul E. McKenney62310692013-03-06 13:37:09 -08001830 rdp->softirq_snap = kstat_softirqs_cpu(RCU_SOFTIRQ, smp_processor_id());
Paul E. McKenneya858af22012-01-16 13:29:10 -08001831}
1832
1833/* Increment ->ticks_this_gp for all flavors of RCU. */
1834static void increment_cpu_stall_ticks(void)
1835{
Paul E. McKenney115f7a72012-08-10 13:55:03 -07001836 struct rcu_state *rsp;
1837
1838 for_each_rcu_flavor(rsp)
Christoph Lameterfa07a582014-04-15 12:20:12 -07001839 raw_cpu_inc(rsp->rda->ticks_this_gp);
Paul E. McKenneya858af22012-01-16 13:29:10 -08001840}
1841
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07001842#ifdef CONFIG_RCU_NOCB_CPU
1843
1844/*
1845 * Offload callback processing from the boot-time-specified set of CPUs
1846 * specified by rcu_nocb_mask. For each CPU in the set, there is a
1847 * kthread created that pulls the callbacks from the corresponding CPU,
1848 * waits for a grace period to elapse, and invokes the callbacks.
1849 * The no-CBs CPUs do a wake_up() on their kthread when they insert
1850 * a callback into any empty list, unless the rcu_nocb_poll boot parameter
1851 * has been specified, in which case each kthread actively polls its
1852 * CPU. (Which isn't so great for energy efficiency, but which does
1853 * reduce RCU's overhead on that CPU.)
1854 *
1855 * This is intended to be used in conjunction with Frederic Weisbecker's
1856 * adaptive-idle work, which would seriously reduce OS jitter on CPUs
1857 * running CPU-bound user-mode computations.
1858 *
1859 * Offloading of callback processing could also in theory be used as
1860 * an energy-efficiency measure because CPUs with no RCU callbacks
1861 * queued are more aggressive about entering dyntick-idle mode.
1862 */
1863
1864
1865/* Parse the boot-time rcu_nocb_mask CPU list from the kernel parameters. */
1866static int __init rcu_nocb_setup(char *str)
1867{
1868 alloc_bootmem_cpumask_var(&rcu_nocb_mask);
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07001869 cpulist_parse(str, rcu_nocb_mask);
1870 return 1;
1871}
1872__setup("rcu_nocbs=", rcu_nocb_setup);
1873
Paul Gortmaker1b0048a2012-12-20 13:19:22 -08001874static int __init parse_rcu_nocb_poll(char *arg)
1875{
Nicholas Mc Guire5455a7f2017-03-25 20:46:02 +01001876 rcu_nocb_poll = true;
Paul Gortmaker1b0048a2012-12-20 13:19:22 -08001877 return 0;
1878}
1879early_param("rcu_nocb_poll", parse_rcu_nocb_poll);
1880
Paul E. McKenney34ed62462013-01-07 13:37:42 -08001881/*
Paul E. McKenney0446be42012-12-30 15:21:01 -08001882 * Wake up any no-CBs CPUs' kthreads that were waiting on the just-ended
1883 * grace period.
Paul E. McKenneydae6e642013-02-10 20:48:58 -08001884 */
Paul Gortmakerabedf8e2016-02-19 09:46:41 +01001885static void rcu_nocb_gp_cleanup(struct swait_queue_head *sq)
Paul E. McKenneydae6e642013-02-10 20:48:58 -08001886{
Paul Gortmakerabedf8e2016-02-19 09:46:41 +01001887 swake_up_all(sq);
Paul E. McKenneydae6e642013-02-10 20:48:58 -08001888}
1889
Paul Gortmakerabedf8e2016-02-19 09:46:41 +01001890static struct swait_queue_head *rcu_nocb_gp_get(struct rcu_node *rnp)
Daniel Wagner065bb782016-02-19 09:46:40 +01001891{
Paul E. McKenneye0da2372018-04-27 20:51:36 -07001892 return &rnp->nocb_gp_wq[rcu_seq_ctr(rnp->gp_seq) & 0x1];
Daniel Wagner065bb782016-02-19 09:46:40 +01001893}
1894
Paul E. McKenneydae6e642013-02-10 20:48:58 -08001895static void rcu_init_one_nocb(struct rcu_node *rnp)
1896{
Paul Gortmakerabedf8e2016-02-19 09:46:41 +01001897 init_swait_queue_head(&rnp->nocb_gp_wq[0]);
1898 init_swait_queue_head(&rnp->nocb_gp_wq[1]);
Paul E. McKenney34ed62462013-01-07 13:37:42 -08001899}
1900
Liu Ping Fan24342c92014-02-24 06:18:09 -08001901/* Is the specified CPU a no-CBs CPU? */
Frederic Weisbeckerd1e43fa2013-03-26 23:47:24 +01001902bool rcu_is_nocb_cpu(int cpu)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07001903{
Rakib Mullick84b12b72017-11-17 21:40:15 +06001904 if (cpumask_available(rcu_nocb_mask))
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07001905 return cpumask_test_cpu(cpu, rcu_nocb_mask);
1906 return false;
1907}
1908
1909/*
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07001910 * Kick the leader kthread for this NOCB group. Caller holds ->nocb_lock
1911 * and this function releases it.
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07001912 */
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07001913static void __wake_nocb_leader(struct rcu_data *rdp, bool force,
1914 unsigned long flags)
1915 __releases(rdp->nocb_lock)
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07001916{
1917 struct rcu_data *rdp_leader = rdp->nocb_leader;
1918
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07001919 lockdep_assert_held(&rdp->nocb_lock);
1920 if (!READ_ONCE(rdp_leader->nocb_kthread)) {
1921 raw_spin_unlock_irqrestore(&rdp->nocb_lock, flags);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07001922 return;
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07001923 }
1924 if (rdp_leader->nocb_leader_sleep || force) {
Paul E. McKenney39953df2014-08-12 10:47:48 -07001925 /* Prior smp_mb__after_atomic() orders against prior enqueue. */
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001926 WRITE_ONCE(rdp_leader->nocb_leader_sleep, false);
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07001927 del_timer(&rdp->nocb_timer);
1928 raw_spin_unlock_irqrestore(&rdp->nocb_lock, flags);
Peter Zijlstrab3dae102018-06-12 10:34:52 +02001929 smp_mb(); /* ->nocb_leader_sleep before swake_up_one(). */
1930 swake_up_one(&rdp_leader->nocb_wq);
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07001931 } else {
1932 raw_spin_unlock_irqrestore(&rdp->nocb_lock, flags);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07001933 }
1934}
1935
1936/*
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07001937 * Kick the leader kthread for this NOCB group, but caller has not
1938 * acquired locks.
1939 */
1940static void wake_nocb_leader(struct rcu_data *rdp, bool force)
1941{
1942 unsigned long flags;
1943
1944 raw_spin_lock_irqsave(&rdp->nocb_lock, flags);
1945 __wake_nocb_leader(rdp, force, flags);
1946}
1947
1948/*
1949 * Arrange to wake the leader kthread for this NOCB group at some
1950 * future time when it is safe to do so.
1951 */
1952static void wake_nocb_leader_defer(struct rcu_data *rdp, int waketype,
1953 const char *reason)
1954{
1955 unsigned long flags;
1956
1957 raw_spin_lock_irqsave(&rdp->nocb_lock, flags);
1958 if (rdp->nocb_defer_wakeup == RCU_NOCB_WAKE_NOT)
1959 mod_timer(&rdp->nocb_timer, jiffies + 1);
1960 WRITE_ONCE(rdp->nocb_defer_wakeup, waketype);
1961 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu, reason);
1962 raw_spin_unlock_irqrestore(&rdp->nocb_lock, flags);
1963}
1964
1965/*
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07001966 * Does the specified CPU need an RCU callback for the specified flavor
1967 * of rcu_barrier()?
1968 */
1969static bool rcu_nocb_cpu_needs_barrier(struct rcu_state *rsp, int cpu)
1970{
1971 struct rcu_data *rdp = per_cpu_ptr(rsp->rda, cpu);
Paul E. McKenney41050a02014-12-18 12:31:27 -08001972 unsigned long ret;
1973#ifdef CONFIG_PROVE_RCU
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07001974 struct rcu_head *rhp;
Paul E. McKenney41050a02014-12-18 12:31:27 -08001975#endif /* #ifdef CONFIG_PROVE_RCU */
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07001976
Paul E. McKenney41050a02014-12-18 12:31:27 -08001977 /*
1978 * Check count of all no-CBs callbacks awaiting invocation.
1979 * There needs to be a barrier before this function is called,
1980 * but associated with a prior determination that no more
1981 * callbacks would be posted. In the worst case, the first
1982 * barrier in _rcu_barrier() suffices (but the caller cannot
1983 * necessarily rely on this, not a substitute for the caller
1984 * getting the concurrency design right!). There must also be
1985 * a barrier between the following load an posting of a callback
1986 * (if a callback is in fact needed). This is associated with an
1987 * atomic_inc() in the caller.
1988 */
1989 ret = atomic_long_read(&rdp->nocb_q_count);
1990
1991#ifdef CONFIG_PROVE_RCU
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001992 rhp = READ_ONCE(rdp->nocb_head);
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07001993 if (!rhp)
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001994 rhp = READ_ONCE(rdp->nocb_gp_head);
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07001995 if (!rhp)
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001996 rhp = READ_ONCE(rdp->nocb_follower_head);
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07001997
1998 /* Having no rcuo kthread but CBs after scheduler starts is bad! */
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08001999 if (!READ_ONCE(rdp->nocb_kthread) && rhp &&
Paul E. McKenney59f792d2015-01-19 21:43:40 -08002000 rcu_scheduler_fully_active) {
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07002001 /* RCU callback enqueued before CPU first came online??? */
2002 pr_err("RCU: Never-onlined no-CBs CPU %d has CB %p\n",
2003 cpu, rhp->func);
2004 WARN_ON_ONCE(1);
2005 }
Paul E. McKenney41050a02014-12-18 12:31:27 -08002006#endif /* #ifdef CONFIG_PROVE_RCU */
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07002007
Paul E. McKenney41050a02014-12-18 12:31:27 -08002008 return !!ret;
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07002009}
2010
2011/*
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002012 * Enqueue the specified string of rcu_head structures onto the specified
2013 * CPU's no-CBs lists. The CPU is specified by rdp, the head of the
2014 * string by rhp, and the tail of the string by rhtp. The non-lazy/lazy
2015 * counts are supplied by rhcount and rhcount_lazy.
2016 *
2017 * If warranted, also wake up the kthread servicing this CPUs queues.
2018 */
2019static void __call_rcu_nocb_enqueue(struct rcu_data *rdp,
2020 struct rcu_head *rhp,
2021 struct rcu_head **rhtp,
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002022 int rhcount, int rhcount_lazy,
2023 unsigned long flags)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002024{
2025 int len;
2026 struct rcu_head **old_rhpp;
2027 struct task_struct *t;
2028
2029 /* Enqueue the callback on the nocb list and update counts. */
Paul E. McKenney41050a02014-12-18 12:31:27 -08002030 atomic_long_add(rhcount, &rdp->nocb_q_count);
2031 /* rcu_barrier() relies on ->nocb_q_count add before xchg. */
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002032 old_rhpp = xchg(&rdp->nocb_tail, rhtp);
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002033 WRITE_ONCE(*old_rhpp, rhp);
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002034 atomic_long_add(rhcount_lazy, &rdp->nocb_q_count_lazy);
Paul E. McKenney39953df2014-08-12 10:47:48 -07002035 smp_mb__after_atomic(); /* Store *old_rhpp before _wake test. */
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002036
2037 /* If we are not being polled and there is a kthread, awaken it ... */
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002038 t = READ_ONCE(rdp->nocb_kthread);
Paul E. McKenney25e03a72013-10-15 12:47:04 -07002039 if (rcu_nocb_poll || !t) {
Paul E. McKenney9261dd02013-08-14 16:24:26 -07002040 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu,
2041 TPS("WakeNotPoll"));
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002042 return;
Paul E. McKenney9261dd02013-08-14 16:24:26 -07002043 }
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002044 len = atomic_long_read(&rdp->nocb_q_count);
2045 if (old_rhpp == &rdp->nocb_head) {
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002046 if (!irqs_disabled_flags(flags)) {
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002047 /* ... if queue was empty ... */
2048 wake_nocb_leader(rdp, false);
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002049 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu,
2050 TPS("WakeEmpty"));
2051 } else {
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002052 wake_nocb_leader_defer(rdp, RCU_NOCB_WAKE,
2053 TPS("WakeEmptyIsDeferred"));
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002054 }
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002055 rdp->qlen_last_fqs_check = 0;
2056 } else if (len > rdp->qlen_last_fqs_check + qhimark) {
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002057 /* ... or if many callbacks queued. */
Paul E. McKenney9fdd3bc2014-07-29 14:50:47 -07002058 if (!irqs_disabled_flags(flags)) {
2059 wake_nocb_leader(rdp, true);
2060 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu,
2061 TPS("WakeOvf"));
2062 } else {
Byungchul Parkefcd2d52018-02-28 14:49:02 +09002063 wake_nocb_leader_defer(rdp, RCU_NOCB_WAKE_FORCE,
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002064 TPS("WakeOvfIsDeferred"));
Paul E. McKenney9fdd3bc2014-07-29 14:50:47 -07002065 }
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002066 rdp->qlen_last_fqs_check = LONG_MAX / 2;
Paul E. McKenney9261dd02013-08-14 16:24:26 -07002067 } else {
2068 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu, TPS("WakeNot"));
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002069 }
2070 return;
2071}
2072
2073/*
2074 * This is a helper for __call_rcu(), which invokes this when the normal
2075 * callback queue is inoperable. If this is not a no-CBs CPU, this
2076 * function returns failure back to __call_rcu(), which can complain
2077 * appropriately.
2078 *
2079 * Otherwise, this function queues the callback where the corresponding
2080 * "rcuo" kthread can find it.
2081 */
2082static bool __call_rcu_nocb(struct rcu_data *rdp, struct rcu_head *rhp,
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002083 bool lazy, unsigned long flags)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002084{
2085
Frederic Weisbeckerd1e43fa2013-03-26 23:47:24 +01002086 if (!rcu_is_nocb_cpu(rdp->cpu))
Pranith Kumarc271d3a2014-07-08 18:26:14 -04002087 return false;
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002088 __call_rcu_nocb_enqueue(rdp, rhp, &rhp->next, 1, lazy, flags);
Paul E. McKenney21e7a602013-02-09 17:42:16 -08002089 if (__is_kfree_rcu_offset((unsigned long)rhp->func))
2090 trace_rcu_kfree_callback(rdp->rsp->name, rhp,
2091 (unsigned long)rhp->func,
Paul E. McKenney756cbf62013-08-15 10:12:12 -07002092 -atomic_long_read(&rdp->nocb_q_count_lazy),
2093 -atomic_long_read(&rdp->nocb_q_count));
Paul E. McKenney21e7a602013-02-09 17:42:16 -08002094 else
2095 trace_rcu_callback(rdp->rsp->name, rhp,
Paul E. McKenney756cbf62013-08-15 10:12:12 -07002096 -atomic_long_read(&rdp->nocb_q_count_lazy),
2097 -atomic_long_read(&rdp->nocb_q_count));
Paul E. McKenney1772947bd2014-08-12 11:27:31 -07002098
2099 /*
2100 * If called from an extended quiescent state with interrupts
2101 * disabled, invoke the RCU core in order to allow the idle-entry
2102 * deferred-wakeup check to function.
2103 */
2104 if (irqs_disabled_flags(flags) &&
2105 !rcu_is_watching() &&
2106 cpu_online(smp_processor_id()))
2107 invoke_rcu_core();
2108
Pranith Kumarc271d3a2014-07-08 18:26:14 -04002109 return true;
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002110}
2111
2112/*
2113 * Adopt orphaned callbacks on a no-CBs CPU, or return 0 if this is
2114 * not a no-CBs CPU.
2115 */
Paul E. McKenneyb1a2d792017-06-26 12:23:46 -07002116static bool __maybe_unused rcu_nocb_adopt_orphan_cbs(struct rcu_data *my_rdp,
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002117 struct rcu_data *rdp,
2118 unsigned long flags)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002119{
Frederic Weisbeckerb04db8e2017-11-06 16:01:30 +01002120 lockdep_assert_irqs_disabled();
Frederic Weisbeckerd1e43fa2013-03-26 23:47:24 +01002121 if (!rcu_is_nocb_cpu(smp_processor_id()))
Paul E. McKenneyb1a2d792017-06-26 12:23:46 -07002122 return false; /* Not NOCBs CPU, caller must migrate CBs. */
2123 __call_rcu_nocb_enqueue(my_rdp, rcu_segcblist_head(&rdp->cblist),
2124 rcu_segcblist_tail(&rdp->cblist),
2125 rcu_segcblist_n_cbs(&rdp->cblist),
2126 rcu_segcblist_n_lazy_cbs(&rdp->cblist), flags);
2127 rcu_segcblist_init(&rdp->cblist);
2128 rcu_segcblist_disable(&rdp->cblist);
Pranith Kumar0a9e1e12014-07-08 18:26:15 -04002129 return true;
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002130}
2131
2132/*
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002133 * If necessary, kick off a new grace period, and either way wait
2134 * for a subsequent grace period to complete.
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002135 */
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002136static void rcu_nocb_wait_gp(struct rcu_data *rdp)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002137{
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002138 unsigned long c;
Paul E. McKenneydae6e642013-02-10 20:48:58 -08002139 bool d;
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002140 unsigned long flags;
Paul E. McKenney48a76392014-03-11 13:02:16 -07002141 bool needwake;
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002142 struct rcu_node *rnp = rdp->mynode;
2143
Paul E. McKenneyab5e8692018-05-01 11:07:23 -07002144 local_irq_save(flags);
Paul E. McKenney29365e52018-04-30 10:57:36 -07002145 c = rcu_seq_snap(&rdp->rsp->gp_seq);
Paul E. McKenneyab5e8692018-05-01 11:07:23 -07002146 if (!rdp->gpwrap && ULONG_CMP_GE(rdp->gp_seq_needed, c)) {
2147 local_irq_restore(flags);
2148 } else {
2149 raw_spin_lock_rcu_node(rnp); /* irqs already disabled. */
2150 needwake = rcu_start_this_gp(rnp, rdp, c);
2151 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
2152 if (needwake)
2153 rcu_gp_kthread_wake(rdp->rsp);
2154 }
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002155
2156 /*
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002157 * Wait for the grace period. Do so interruptibly to avoid messing
2158 * up the load average.
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002159 */
Paul E. McKenney41e80592018-04-12 11:24:09 -07002160 trace_rcu_this_gp(rnp, rdp, c, TPS("StartWait"));
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002161 for (;;) {
Peter Zijlstrab3dae102018-06-12 10:34:52 +02002162 swait_event_interruptible_exclusive(
Paul E. McKenney29365e52018-04-30 10:57:36 -07002163 rnp->nocb_gp_wq[rcu_seq_ctr(c) & 0x1],
2164 (d = rcu_seq_done(&rnp->gp_seq, c)));
Paul E. McKenneydae6e642013-02-10 20:48:58 -08002165 if (likely(d))
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002166 break;
Paul E. McKenney73a860c2014-08-14 10:28:23 -07002167 WARN_ON(signal_pending(current));
Paul E. McKenney41e80592018-04-12 11:24:09 -07002168 trace_rcu_this_gp(rnp, rdp, c, TPS("ResumeWait"));
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002169 }
Paul E. McKenney41e80592018-04-12 11:24:09 -07002170 trace_rcu_this_gp(rnp, rdp, c, TPS("EndWait"));
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002171 smp_mb(); /* Ensure that CB invocation happens after GP end. */
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002172}
2173
2174/*
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002175 * Leaders come here to wait for additional callbacks to show up.
2176 * This function does not return until callbacks appear.
2177 */
2178static void nocb_leader_wait(struct rcu_data *my_rdp)
2179{
2180 bool firsttime = true;
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002181 unsigned long flags;
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002182 bool gotcbs;
2183 struct rcu_data *rdp;
2184 struct rcu_head **tail;
2185
2186wait_again:
2187
2188 /* Wait for callbacks to appear. */
2189 if (!rcu_nocb_poll) {
Paul E. McKenneybedbb642017-06-06 15:49:39 -07002190 trace_rcu_nocb_wake(my_rdp->rsp->name, my_rdp->cpu, TPS("Sleep"));
Peter Zijlstrab3dae102018-06-12 10:34:52 +02002191 swait_event_interruptible_exclusive(my_rdp->nocb_wq,
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002192 !READ_ONCE(my_rdp->nocb_leader_sleep));
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002193 raw_spin_lock_irqsave(&my_rdp->nocb_lock, flags);
2194 my_rdp->nocb_leader_sleep = true;
2195 WRITE_ONCE(my_rdp->nocb_defer_wakeup, RCU_NOCB_WAKE_NOT);
2196 del_timer(&my_rdp->nocb_timer);
2197 raw_spin_unlock_irqrestore(&my_rdp->nocb_lock, flags);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002198 } else if (firsttime) {
2199 firsttime = false; /* Don't drown trace log with "Poll"! */
Paul E. McKenneybedbb642017-06-06 15:49:39 -07002200 trace_rcu_nocb_wake(my_rdp->rsp->name, my_rdp->cpu, TPS("Poll"));
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002201 }
2202
2203 /*
2204 * Each pass through the following loop checks a follower for CBs.
2205 * We are our own first follower. Any CBs found are moved to
2206 * nocb_gp_head, where they await a grace period.
2207 */
2208 gotcbs = false;
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002209 smp_mb(); /* wakeup and _sleep before ->nocb_head reads. */
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002210 for (rdp = my_rdp; rdp; rdp = rdp->nocb_next_follower) {
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002211 rdp->nocb_gp_head = READ_ONCE(rdp->nocb_head);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002212 if (!rdp->nocb_gp_head)
2213 continue; /* No CBs here, try next follower. */
2214
2215 /* Move callbacks to wait-for-GP list, which is empty. */
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002216 WRITE_ONCE(rdp->nocb_head, NULL);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002217 rdp->nocb_gp_tail = xchg(&rdp->nocb_tail, &rdp->nocb_head);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002218 gotcbs = true;
2219 }
2220
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002221 /* No callbacks? Sleep a bit if polling, and go retry. */
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002222 if (unlikely(!gotcbs)) {
Paul E. McKenney73a860c2014-08-14 10:28:23 -07002223 WARN_ON(signal_pending(current));
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002224 if (rcu_nocb_poll) {
2225 schedule_timeout_interruptible(1);
2226 } else {
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002227 trace_rcu_nocb_wake(my_rdp->rsp->name, my_rdp->cpu,
Paul E. McKenneybedbb642017-06-06 15:49:39 -07002228 TPS("WokeEmpty"));
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002229 }
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002230 goto wait_again;
2231 }
2232
2233 /* Wait for one grace period. */
2234 rcu_nocb_wait_gp(my_rdp);
2235
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002236 /* Each pass through the following loop wakes a follower, if needed. */
2237 for (rdp = my_rdp; rdp; rdp = rdp->nocb_next_follower) {
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002238 if (!rcu_nocb_poll &&
2239 READ_ONCE(rdp->nocb_head) &&
2240 READ_ONCE(my_rdp->nocb_leader_sleep)) {
2241 raw_spin_lock_irqsave(&my_rdp->nocb_lock, flags);
Pranith Kumar11ed7f92014-08-27 16:43:40 -04002242 my_rdp->nocb_leader_sleep = false;/* No need to sleep.*/
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002243 raw_spin_unlock_irqrestore(&my_rdp->nocb_lock, flags);
2244 }
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002245 if (!rdp->nocb_gp_head)
2246 continue; /* No CBs, so no need to wake follower. */
2247
2248 /* Append callbacks to follower's "done" list. */
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002249 raw_spin_lock_irqsave(&rdp->nocb_lock, flags);
2250 tail = rdp->nocb_follower_tail;
2251 rdp->nocb_follower_tail = rdp->nocb_gp_tail;
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002252 *tail = rdp->nocb_gp_head;
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002253 raw_spin_unlock_irqrestore(&rdp->nocb_lock, flags);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002254 if (rdp != my_rdp && tail == &rdp->nocb_follower_head) {
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002255 /* List was empty, so wake up the follower. */
Peter Zijlstrab3dae102018-06-12 10:34:52 +02002256 swake_up_one(&rdp->nocb_wq);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002257 }
2258 }
2259
2260 /* If we (the leader) don't have CBs, go wait some more. */
2261 if (!my_rdp->nocb_follower_head)
2262 goto wait_again;
2263}
2264
2265/*
2266 * Followers come here to wait for additional callbacks to show up.
2267 * This function does not return until callbacks appear.
2268 */
2269static void nocb_follower_wait(struct rcu_data *rdp)
2270{
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002271 for (;;) {
Paul E. McKenneybedbb642017-06-06 15:49:39 -07002272 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu, TPS("FollowerSleep"));
Peter Zijlstrab3dae102018-06-12 10:34:52 +02002273 swait_event_interruptible_exclusive(rdp->nocb_wq,
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002274 READ_ONCE(rdp->nocb_follower_head));
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002275 if (smp_load_acquire(&rdp->nocb_follower_head)) {
2276 /* ^^^ Ensure CB invocation follows _head test. */
2277 return;
2278 }
Paul E. McKenney73a860c2014-08-14 10:28:23 -07002279 WARN_ON(signal_pending(current));
Paul E. McKenneybedbb642017-06-06 15:49:39 -07002280 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu, TPS("WokeEmpty"));
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002281 }
2282}
2283
2284/*
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002285 * Per-rcu_data kthread, but only for no-CBs CPUs. Each kthread invokes
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002286 * callbacks queued by the corresponding no-CBs CPU, however, there is
2287 * an optional leader-follower relationship so that the grace-period
2288 * kthreads don't have to do quite so many wakeups.
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002289 */
2290static int rcu_nocb_kthread(void *arg)
2291{
2292 int c, cl;
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002293 unsigned long flags;
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002294 struct rcu_head *list;
2295 struct rcu_head *next;
2296 struct rcu_head **tail;
2297 struct rcu_data *rdp = arg;
2298
2299 /* Each pass through this loop invokes one batch of callbacks */
2300 for (;;) {
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002301 /* Wait for callbacks. */
2302 if (rdp->nocb_leader == rdp)
2303 nocb_leader_wait(rdp);
2304 else
2305 nocb_follower_wait(rdp);
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002306
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002307 /* Pull the ready-to-invoke callbacks onto local list. */
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002308 raw_spin_lock_irqsave(&rdp->nocb_lock, flags);
2309 list = rdp->nocb_follower_head;
2310 rdp->nocb_follower_head = NULL;
2311 tail = rdp->nocb_follower_tail;
2312 rdp->nocb_follower_tail = &rdp->nocb_follower_head;
2313 raw_spin_unlock_irqrestore(&rdp->nocb_lock, flags);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002314 BUG_ON(!list);
Paul E. McKenneybedbb642017-06-06 15:49:39 -07002315 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu, TPS("WokeNonEmpty"));
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002316
2317 /* Each pass through the following loop invokes a callback. */
Paul E. McKenney41050a02014-12-18 12:31:27 -08002318 trace_rcu_batch_start(rdp->rsp->name,
2319 atomic_long_read(&rdp->nocb_q_count_lazy),
2320 atomic_long_read(&rdp->nocb_q_count), -1);
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002321 c = cl = 0;
2322 while (list) {
2323 next = list->next;
2324 /* Wait for enqueuing to complete, if needed. */
2325 while (next == NULL && &list->next != tail) {
Paul E. McKenney69a79bb2013-08-15 13:23:23 -07002326 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu,
2327 TPS("WaitQueue"));
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002328 schedule_timeout_interruptible(1);
Paul E. McKenney69a79bb2013-08-15 13:23:23 -07002329 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu,
2330 TPS("WokeQueue"));
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002331 next = list->next;
2332 }
2333 debug_rcu_head_unqueue(list);
2334 local_bh_disable();
2335 if (__rcu_reclaim(rdp->rsp->name, list))
2336 cl++;
2337 c++;
2338 local_bh_enable();
Paul E. McKenneycee43932018-03-02 16:35:27 -08002339 cond_resched_tasks_rcu_qs();
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002340 list = next;
2341 }
2342 trace_rcu_batch_end(rdp->rsp->name, c, !!list, 0, 0, 1);
Paul E. McKenney41050a02014-12-18 12:31:27 -08002343 smp_mb__before_atomic(); /* _add after CB invocation. */
2344 atomic_long_add(-c, &rdp->nocb_q_count);
2345 atomic_long_add(-cl, &rdp->nocb_q_count_lazy);
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002346 }
2347 return 0;
2348}
2349
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002350/* Is a deferred wakeup of rcu_nocb_kthread() required? */
Paul E. McKenney9fdd3bc2014-07-29 14:50:47 -07002351static int rcu_nocb_need_deferred_wakeup(struct rcu_data *rdp)
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002352{
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002353 return READ_ONCE(rdp->nocb_defer_wakeup);
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002354}
2355
2356/* Do a deferred wakeup of rcu_nocb_kthread(). */
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002357static void do_nocb_deferred_wakeup_common(struct rcu_data *rdp)
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002358{
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002359 unsigned long flags;
Paul E. McKenney9fdd3bc2014-07-29 14:50:47 -07002360 int ndw;
2361
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002362 raw_spin_lock_irqsave(&rdp->nocb_lock, flags);
2363 if (!rcu_nocb_need_deferred_wakeup(rdp)) {
2364 raw_spin_unlock_irqrestore(&rdp->nocb_lock, flags);
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002365 return;
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002366 }
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002367 ndw = READ_ONCE(rdp->nocb_defer_wakeup);
Paul E. McKenney511324e2017-04-28 17:04:09 -07002368 WRITE_ONCE(rdp->nocb_defer_wakeup, RCU_NOCB_WAKE_NOT);
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002369 __wake_nocb_leader(rdp, ndw == RCU_NOCB_WAKE_FORCE, flags);
Paul E. McKenney9fdd3bc2014-07-29 14:50:47 -07002370 trace_rcu_nocb_wake(rdp->rsp->name, rdp->cpu, TPS("DeferredWake"));
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002371}
2372
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002373/* Do a deferred wakeup of rcu_nocb_kthread() from a timer handler. */
Kees Cookfd30b712017-10-22 17:58:54 -07002374static void do_nocb_deferred_wakeup_timer(struct timer_list *t)
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002375{
Kees Cookfd30b712017-10-22 17:58:54 -07002376 struct rcu_data *rdp = from_timer(rdp, t, nocb_timer);
2377
2378 do_nocb_deferred_wakeup_common(rdp);
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002379}
2380
2381/*
2382 * Do a deferred wakeup of rcu_nocb_kthread() from fastpath.
2383 * This means we do an inexact common-case check. Note that if
2384 * we miss, ->nocb_timer will eventually clean things up.
2385 */
2386static void do_nocb_deferred_wakeup(struct rcu_data *rdp)
2387{
2388 if (rcu_nocb_need_deferred_wakeup(rdp))
2389 do_nocb_deferred_wakeup_common(rdp);
2390}
2391
Paul E. McKenneyf4579fc2014-07-25 11:21:47 -07002392void __init rcu_init_nohz(void)
2393{
2394 int cpu;
Paul E. McKenneyef126202018-02-28 10:34:54 -08002395 bool need_rcu_nocb_mask = false;
Paul E. McKenneyf4579fc2014-07-25 11:21:47 -07002396 struct rcu_state *rsp;
2397
Paul E. McKenneyf4579fc2014-07-25 11:21:47 -07002398#if defined(CONFIG_NO_HZ_FULL)
2399 if (tick_nohz_full_running && cpumask_weight(tick_nohz_full_mask))
2400 need_rcu_nocb_mask = true;
2401#endif /* #if defined(CONFIG_NO_HZ_FULL) */
2402
Rakib Mullick84b12b72017-11-17 21:40:15 +06002403 if (!cpumask_available(rcu_nocb_mask) && need_rcu_nocb_mask) {
Pranith Kumar949cccd2014-07-25 16:02:07 -07002404 if (!zalloc_cpumask_var(&rcu_nocb_mask, GFP_KERNEL)) {
2405 pr_info("rcu_nocb_mask allocation failed, callback offloading disabled.\n");
2406 return;
2407 }
Paul E. McKenneyf4579fc2014-07-25 11:21:47 -07002408 }
Rakib Mullick84b12b72017-11-17 21:40:15 +06002409 if (!cpumask_available(rcu_nocb_mask))
Paul E. McKenneyf4579fc2014-07-25 11:21:47 -07002410 return;
2411
Paul E. McKenneyf4579fc2014-07-25 11:21:47 -07002412#if defined(CONFIG_NO_HZ_FULL)
2413 if (tick_nohz_full_running)
2414 cpumask_or(rcu_nocb_mask, rcu_nocb_mask, tick_nohz_full_mask);
2415#endif /* #if defined(CONFIG_NO_HZ_FULL) */
2416
2417 if (!cpumask_subset(rcu_nocb_mask, cpu_possible_mask)) {
Paul E. McKenneyef126202018-02-28 10:34:54 -08002418 pr_info("\tNote: kernel parameter 'rcu_nocbs=', 'nohz_full', or 'isolcpus=' contains nonexistent CPUs.\n");
Paul E. McKenneyf4579fc2014-07-25 11:21:47 -07002419 cpumask_and(rcu_nocb_mask, cpu_possible_mask,
2420 rcu_nocb_mask);
2421 }
Paul E. McKenney30166112017-12-04 09:48:59 -08002422 if (cpumask_empty(rcu_nocb_mask))
2423 pr_info("\tOffload RCU callbacks from CPUs: (none).\n");
2424 else
2425 pr_info("\tOffload RCU callbacks from CPUs: %*pbl.\n",
2426 cpumask_pr_args(rcu_nocb_mask));
Paul E. McKenneyf4579fc2014-07-25 11:21:47 -07002427 if (rcu_nocb_poll)
2428 pr_info("\tPoll for callbacks from no-CBs CPUs.\n");
2429
2430 for_each_rcu_flavor(rsp) {
Paul E. McKenney34404ca2015-01-19 20:39:20 -08002431 for_each_cpu(cpu, rcu_nocb_mask)
2432 init_nocb_callback_list(per_cpu_ptr(rsp->rda, cpu));
Paul E. McKenney35ce7f22014-07-11 11:30:24 -07002433 rcu_organize_nocb_kthreads(rsp);
Paul E. McKenneyf4579fc2014-07-25 11:21:47 -07002434 }
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002435}
2436
2437/* Initialize per-rcu_data variables for no-CBs CPUs. */
2438static void __init rcu_boot_init_nocb_percpu_data(struct rcu_data *rdp)
2439{
2440 rdp->nocb_tail = &rdp->nocb_head;
Paul Gortmakerabedf8e2016-02-19 09:46:41 +01002441 init_swait_queue_head(&rdp->nocb_wq);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002442 rdp->nocb_follower_tail = &rdp->nocb_follower_head;
Paul E. McKenney8be6e1b2017-04-29 20:03:20 -07002443 raw_spin_lock_init(&rdp->nocb_lock);
Kees Cookfd30b712017-10-22 17:58:54 -07002444 timer_setup(&rdp->nocb_timer, do_nocb_deferred_wakeup_timer, 0);
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002445}
2446
Paul E. McKenney35ce7f22014-07-11 11:30:24 -07002447/*
2448 * If the specified CPU is a no-CBs CPU that does not already have its
2449 * rcuo kthread for the specified RCU flavor, spawn it. If the CPUs are
2450 * brought online out of order, this can require re-organizing the
2451 * leader-follower relationships.
2452 */
2453static void rcu_spawn_one_nocb_kthread(struct rcu_state *rsp, int cpu)
2454{
2455 struct rcu_data *rdp;
2456 struct rcu_data *rdp_last;
2457 struct rcu_data *rdp_old_leader;
2458 struct rcu_data *rdp_spawn = per_cpu_ptr(rsp->rda, cpu);
2459 struct task_struct *t;
2460
2461 /*
2462 * If this isn't a no-CBs CPU or if it already has an rcuo kthread,
2463 * then nothing to do.
2464 */
2465 if (!rcu_is_nocb_cpu(cpu) || rdp_spawn->nocb_kthread)
2466 return;
2467
2468 /* If we didn't spawn the leader first, reorganize! */
2469 rdp_old_leader = rdp_spawn->nocb_leader;
2470 if (rdp_old_leader != rdp_spawn && !rdp_old_leader->nocb_kthread) {
2471 rdp_last = NULL;
2472 rdp = rdp_old_leader;
2473 do {
2474 rdp->nocb_leader = rdp_spawn;
2475 if (rdp_last && rdp != rdp_spawn)
2476 rdp_last->nocb_next_follower = rdp;
Paul E. McKenneybbe5d7a2014-10-24 11:11:08 -07002477 if (rdp == rdp_spawn) {
2478 rdp = rdp->nocb_next_follower;
2479 } else {
2480 rdp_last = rdp;
2481 rdp = rdp->nocb_next_follower;
2482 rdp_last->nocb_next_follower = NULL;
2483 }
Paul E. McKenney35ce7f22014-07-11 11:30:24 -07002484 } while (rdp);
2485 rdp_spawn->nocb_next_follower = rdp_old_leader;
2486 }
2487
2488 /* Spawn the kthread for this CPU and RCU flavor. */
2489 t = kthread_run(rcu_nocb_kthread, rdp_spawn,
2490 "rcuo%c/%d", rsp->abbr, cpu);
2491 BUG_ON(IS_ERR(t));
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002492 WRITE_ONCE(rdp_spawn->nocb_kthread, t);
Paul E. McKenney35ce7f22014-07-11 11:30:24 -07002493}
2494
2495/*
2496 * If the specified CPU is a no-CBs CPU that does not already have its
2497 * rcuo kthreads, spawn them.
2498 */
2499static void rcu_spawn_all_nocb_kthreads(int cpu)
2500{
2501 struct rcu_state *rsp;
2502
2503 if (rcu_scheduler_fully_active)
2504 for_each_rcu_flavor(rsp)
2505 rcu_spawn_one_nocb_kthread(rsp, cpu);
2506}
2507
2508/*
2509 * Once the scheduler is running, spawn rcuo kthreads for all online
2510 * no-CBs CPUs. This assumes that the early_initcall()s happen before
2511 * non-boot CPUs come online -- if this changes, we will need to add
2512 * some mutual exclusion.
2513 */
2514static void __init rcu_spawn_nocb_kthreads(void)
2515{
2516 int cpu;
2517
2518 for_each_online_cpu(cpu)
2519 rcu_spawn_all_nocb_kthreads(cpu);
2520}
2521
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002522/* How many follower CPU IDs per leader? Default of -1 for sqrt(nr_cpu_ids). */
2523static int rcu_nocb_leader_stride = -1;
2524module_param(rcu_nocb_leader_stride, int, 0444);
2525
2526/*
Paul E. McKenney35ce7f22014-07-11 11:30:24 -07002527 * Initialize leader-follower relationships for all no-CBs CPU.
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002528 */
Paul E. McKenney35ce7f22014-07-11 11:30:24 -07002529static void __init rcu_organize_nocb_kthreads(struct rcu_state *rsp)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002530{
2531 int cpu;
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002532 int ls = rcu_nocb_leader_stride;
2533 int nl = 0; /* Next leader. */
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002534 struct rcu_data *rdp;
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002535 struct rcu_data *rdp_leader = NULL; /* Suppress misguided gcc warn. */
2536 struct rcu_data *rdp_prev = NULL;
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002537
Rakib Mullick84b12b72017-11-17 21:40:15 +06002538 if (!cpumask_available(rcu_nocb_mask))
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002539 return;
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002540 if (ls == -1) {
2541 ls = int_sqrt(nr_cpu_ids);
2542 rcu_nocb_leader_stride = ls;
2543 }
2544
2545 /*
Paul E. McKenney9831ce32017-01-02 14:24:24 -08002546 * Each pass through this loop sets up one rcu_data structure.
2547 * Should the corresponding CPU come online in the future, then
2548 * we will spawn the needed set of rcu_nocb_kthread() kthreads.
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002549 */
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002550 for_each_cpu(cpu, rcu_nocb_mask) {
2551 rdp = per_cpu_ptr(rsp->rda, cpu);
Paul E. McKenneyfbce7492014-06-24 09:26:11 -07002552 if (rdp->cpu >= nl) {
2553 /* New leader, set up for followers & next leader. */
2554 nl = DIV_ROUND_UP(rdp->cpu + 1, ls) * ls;
2555 rdp->nocb_leader = rdp;
2556 rdp_leader = rdp;
2557 } else {
2558 /* Another follower, link to previous leader. */
2559 rdp->nocb_leader = rdp_leader;
2560 rdp_prev->nocb_next_follower = rdp;
2561 }
2562 rdp_prev = rdp;
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002563 }
2564}
2565
2566/* Prevent __call_rcu() from enqueuing callbacks on no-CBs CPUs */
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002567static bool init_nocb_callback_list(struct rcu_data *rdp)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002568{
Pranith Kumar22c2f662014-07-17 20:11:01 -04002569 if (!rcu_is_nocb_cpu(rdp->cpu))
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002570 return false;
Pranith Kumar22c2f662014-07-17 20:11:01 -04002571
Paul E. McKenney34404ca2015-01-19 20:39:20 -08002572 /* If there are early-boot callbacks, move them to nocb lists. */
Paul E. McKenney15fecf82017-02-08 12:36:42 -08002573 if (!rcu_segcblist_empty(&rdp->cblist)) {
2574 rdp->nocb_head = rcu_segcblist_head(&rdp->cblist);
2575 rdp->nocb_tail = rcu_segcblist_tail(&rdp->cblist);
2576 atomic_long_set(&rdp->nocb_q_count,
2577 rcu_segcblist_n_cbs(&rdp->cblist));
2578 atomic_long_set(&rdp->nocb_q_count_lazy,
2579 rcu_segcblist_n_lazy_cbs(&rdp->cblist));
2580 rcu_segcblist_init(&rdp->cblist);
Paul E. McKenney34404ca2015-01-19 20:39:20 -08002581 }
Paul E. McKenney15fecf82017-02-08 12:36:42 -08002582 rcu_segcblist_disable(&rdp->cblist);
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002583 return true;
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002584}
2585
2586#else /* #ifdef CONFIG_RCU_NOCB_CPU */
2587
Paul E. McKenneyd7e29932014-10-27 09:15:54 -07002588static bool rcu_nocb_cpu_needs_barrier(struct rcu_state *rsp, int cpu)
2589{
2590 WARN_ON_ONCE(1); /* Should be dead code. */
2591 return false;
2592}
2593
Paul Gortmakerabedf8e2016-02-19 09:46:41 +01002594static void rcu_nocb_gp_cleanup(struct swait_queue_head *sq)
Paul E. McKenneydae6e642013-02-10 20:48:58 -08002595{
Paul E. McKenneydae6e642013-02-10 20:48:58 -08002596}
2597
Paul Gortmakerabedf8e2016-02-19 09:46:41 +01002598static struct swait_queue_head *rcu_nocb_gp_get(struct rcu_node *rnp)
Daniel Wagner065bb782016-02-19 09:46:40 +01002599{
2600 return NULL;
2601}
2602
Paul E. McKenneydae6e642013-02-10 20:48:58 -08002603static void rcu_init_one_nocb(struct rcu_node *rnp)
2604{
2605}
2606
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002607static bool __call_rcu_nocb(struct rcu_data *rdp, struct rcu_head *rhp,
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002608 bool lazy, unsigned long flags)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002609{
Pranith Kumar4afc7e22014-07-08 18:26:16 -04002610 return false;
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002611}
2612
Paul E. McKenneyb1a2d792017-06-26 12:23:46 -07002613static bool __maybe_unused rcu_nocb_adopt_orphan_cbs(struct rcu_data *my_rdp,
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002614 struct rcu_data *rdp,
2615 unsigned long flags)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002616{
Pranith Kumarf4aa84b2014-07-08 18:26:17 -04002617 return false;
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002618}
2619
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002620static void __init rcu_boot_init_nocb_percpu_data(struct rcu_data *rdp)
2621{
2622}
2623
Paul E. McKenney9fdd3bc2014-07-29 14:50:47 -07002624static int rcu_nocb_need_deferred_wakeup(struct rcu_data *rdp)
Paul E. McKenney96d3fd02013-10-04 14:33:34 -07002625{
2626 return false;
2627}
2628
2629static void do_nocb_deferred_wakeup(struct rcu_data *rdp)
2630{
2631}
2632
Paul E. McKenney35ce7f22014-07-11 11:30:24 -07002633static void rcu_spawn_all_nocb_kthreads(int cpu)
2634{
2635}
2636
2637static void __init rcu_spawn_nocb_kthreads(void)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002638{
2639}
2640
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002641static bool init_nocb_callback_list(struct rcu_data *rdp)
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002642{
Paul E. McKenney34ed62462013-01-07 13:37:42 -08002643 return false;
Paul E. McKenney3fbfbf72012-08-19 21:35:53 -07002644}
2645
2646#endif /* #else #ifdef CONFIG_RCU_NOCB_CPU */
Paul E. McKenney65d798f2013-04-12 16:19:10 -07002647
2648/*
Paul E. McKenneya0969322013-11-08 09:03:10 -08002649 * Is this CPU a NO_HZ_FULL CPU that should ignore RCU so that the
2650 * grace-period kthread will do force_quiescent_state() processing?
2651 * The idea is to avoid waking up RCU core processing on such a
2652 * CPU unless the grace period has extended for too long.
2653 *
2654 * This code relies on the fact that all NO_HZ_FULL CPUs are also
Paul Bolle52e2bb92014-02-09 14:35:11 +01002655 * CONFIG_RCU_NOCB_CPU CPUs.
Paul E. McKenneya0969322013-11-08 09:03:10 -08002656 */
2657static bool rcu_nohz_full_cpu(struct rcu_state *rsp)
2658{
2659#ifdef CONFIG_NO_HZ_FULL
2660 if (tick_nohz_full_cpu(smp_processor_id()) &&
2661 (!rcu_gp_in_progress(rsp) ||
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002662 ULONG_CMP_LT(jiffies, READ_ONCE(rsp->gp_start) + HZ)))
Joe Perches5ce035f2015-03-30 16:46:16 -07002663 return true;
Paul E. McKenneya0969322013-11-08 09:03:10 -08002664#endif /* #ifdef CONFIG_NO_HZ_FULL */
Joe Perches5ce035f2015-03-30 16:46:16 -07002665 return false;
Paul E. McKenneya0969322013-11-08 09:03:10 -08002666}
Paul E. McKenney5057f55e52014-04-01 11:20:36 -07002667
2668/*
Paul E. McKenney265f5f22018-03-19 11:53:22 -07002669 * Bind the RCU grace-period kthreads to the housekeeping CPU.
Paul E. McKenney5057f55e52014-04-01 11:20:36 -07002670 */
2671static void rcu_bind_gp_kthread(void)
2672{
Paul E. McKenneyc0f489d2014-06-04 13:46:03 -07002673 if (!tick_nohz_full_enabled())
Paul E. McKenney5057f55e52014-04-01 11:20:36 -07002674 return;
Frederic Weisbeckerde201552017-10-27 04:42:35 +02002675 housekeeping_affine(current, HK_FLAG_RCU);
Paul E. McKenney5057f55e52014-04-01 11:20:36 -07002676}
Paul E. McKenney176f8f72014-08-04 17:43:50 -07002677
2678/* Record the current task on dyntick-idle entry. */
2679static void rcu_dynticks_task_enter(void)
2680{
2681#if defined(CONFIG_TASKS_RCU) && defined(CONFIG_NO_HZ_FULL)
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002682 WRITE_ONCE(current->rcu_tasks_idle_cpu, smp_processor_id());
Paul E. McKenney176f8f72014-08-04 17:43:50 -07002683#endif /* #if defined(CONFIG_TASKS_RCU) && defined(CONFIG_NO_HZ_FULL) */
2684}
2685
2686/* Record no current task on dyntick-idle exit. */
2687static void rcu_dynticks_task_exit(void)
2688{
2689#if defined(CONFIG_TASKS_RCU) && defined(CONFIG_NO_HZ_FULL)
Paul E. McKenney7d0ae802015-03-03 14:57:58 -08002690 WRITE_ONCE(current->rcu_tasks_idle_cpu, -1);
Paul E. McKenney176f8f72014-08-04 17:43:50 -07002691#endif /* #if defined(CONFIG_TASKS_RCU) && defined(CONFIG_NO_HZ_FULL) */
2692}