blob: 7f5cb4228b59b06913f7257f4ef80b2cb427979c [file] [log] [blame]
Paul E. McKenney3549c2b2016-04-15 16:35:29 -07001/*
2 * RCU expedited grace periods
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, you can access it online at
16 * http://www.gnu.org/licenses/gpl-2.0.html.
17 *
18 * Copyright IBM Corporation, 2016
19 *
20 * Authors: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
21 */
22
Boqun Feng55ebfce2018-03-09 09:14:51 +080023#include <linux/lockdep.h>
24
Paul E. McKenney142d1062018-11-29 09:15:54 -080025static void rcu_exp_handler(void *unused);
26
Paul E. McKenney09e2db32016-12-18 13:31:02 -080027/*
28 * Record the start of an expedited grace period.
29 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070030static void rcu_exp_gp_seq_start(void)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070031{
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070032 rcu_seq_start(&rcu_state.expedited_sequence);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070033}
Paul E. McKenney09e2db32016-12-18 13:31:02 -080034
35/*
Paul E. McKenney9a414202018-01-31 19:23:24 -080036 * Return then value that expedited-grace-period counter will have
37 * at the end of the current grace period.
38 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070039static __maybe_unused unsigned long rcu_exp_gp_seq_endval(void)
Paul E. McKenney9a414202018-01-31 19:23:24 -080040{
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070041 return rcu_seq_endval(&rcu_state.expedited_sequence);
Paul E. McKenney9a414202018-01-31 19:23:24 -080042}
43
44/*
Paul E. McKenney09e2db32016-12-18 13:31:02 -080045 * Record the end of an expedited grace period.
46 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070047static void rcu_exp_gp_seq_end(void)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070048{
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070049 rcu_seq_end(&rcu_state.expedited_sequence);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070050 smp_mb(); /* Ensure that consecutive grace periods serialize. */
51}
Paul E. McKenney09e2db32016-12-18 13:31:02 -080052
53/*
54 * Take a snapshot of the expedited-grace-period counter.
55 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070056static unsigned long rcu_exp_gp_seq_snap(void)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070057{
58 unsigned long s;
59
60 smp_mb(); /* Caller's modifications seen first by other CPUs. */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070061 s = rcu_seq_snap(&rcu_state.expedited_sequence);
62 trace_rcu_exp_grace_period(rcu_state.name, s, TPS("snap"));
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070063 return s;
64}
Paul E. McKenney09e2db32016-12-18 13:31:02 -080065
66/*
67 * Given a counter snapshot from rcu_exp_gp_seq_snap(), return true
68 * if a full expedited grace period has elapsed since that snapshot
69 * was taken.
70 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070071static bool rcu_exp_gp_seq_done(unsigned long s)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070072{
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070073 return rcu_seq_done(&rcu_state.expedited_sequence, s);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070074}
75
76/*
77 * Reset the ->expmaskinit values in the rcu_node tree to reflect any
78 * recent CPU-online activity. Note that these masks are not cleared
79 * when CPUs go offline, so they reflect the union of all CPUs that have
80 * ever been online. This means that this function normally takes its
81 * no-work-to-do fastpath.
82 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070083static void sync_exp_reset_tree_hotplug(void)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070084{
85 bool done;
86 unsigned long flags;
87 unsigned long mask;
88 unsigned long oldmask;
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070089 int ncpus = smp_load_acquire(&rcu_state.ncpus); /* Order vs. locking. */
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070090 struct rcu_node *rnp;
91 struct rcu_node *rnp_up;
92
93 /* If no new CPUs onlined since last time, nothing to do. */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070094 if (likely(ncpus == rcu_state.ncpus_snap))
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070095 return;
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -070096 rcu_state.ncpus_snap = ncpus;
Paul E. McKenney3549c2b2016-04-15 16:35:29 -070097
98 /*
99 * Each pass through the following loop propagates newly onlined
100 * CPUs for the current rcu_node structure up the rcu_node tree.
101 */
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700102 rcu_for_each_leaf_node(rnp) {
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700103 raw_spin_lock_irqsave_rcu_node(rnp, flags);
104 if (rnp->expmaskinit == rnp->expmaskinitnext) {
105 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
106 continue; /* No new CPUs, nothing to do. */
107 }
108
109 /* Update this node's mask, track old value for propagation. */
110 oldmask = rnp->expmaskinit;
111 rnp->expmaskinit = rnp->expmaskinitnext;
112 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
113
114 /* If was already nonzero, nothing to propagate. */
115 if (oldmask)
116 continue;
117
118 /* Propagate the new CPU up the tree. */
119 mask = rnp->grpmask;
120 rnp_up = rnp->parent;
121 done = false;
122 while (rnp_up) {
123 raw_spin_lock_irqsave_rcu_node(rnp_up, flags);
124 if (rnp_up->expmaskinit)
125 done = true;
126 rnp_up->expmaskinit |= mask;
127 raw_spin_unlock_irqrestore_rcu_node(rnp_up, flags);
128 if (done)
129 break;
130 mask = rnp_up->grpmask;
131 rnp_up = rnp_up->parent;
132 }
133 }
134}
135
136/*
137 * Reset the ->expmask values in the rcu_node tree in preparation for
138 * a new expedited grace period.
139 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700140static void __maybe_unused sync_exp_reset_tree(void)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700141{
142 unsigned long flags;
143 struct rcu_node *rnp;
144
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700145 sync_exp_reset_tree_hotplug();
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700146 rcu_for_each_node_breadth_first(rnp) {
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700147 raw_spin_lock_irqsave_rcu_node(rnp, flags);
148 WARN_ON_ONCE(rnp->expmask);
149 rnp->expmask = rnp->expmaskinit;
150 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
151 }
152}
153
154/*
155 * Return non-zero if there is no RCU expedited grace period in progress
156 * for the specified rcu_node structure, in other words, if all CPUs and
157 * tasks covered by the specified rcu_node structure have done their bit
158 * for the current expedited grace period. Works only for preemptible
159 * RCU -- other RCU implementation use other means.
160 *
Boqun Feng7be8c562018-03-07 16:49:39 +0800161 * Caller must hold the specificed rcu_node structure's ->lock
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700162 */
Paul E. McKenneydcfc3152017-04-18 09:53:07 -0700163static bool sync_rcu_preempt_exp_done(struct rcu_node *rnp)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700164{
Boqun Feng55ebfce2018-03-09 09:14:51 +0800165 raw_lockdep_assert_held_rcu_node(rnp);
166
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700167 return rnp->exp_tasks == NULL &&
168 READ_ONCE(rnp->expmask) == 0;
169}
170
171/*
Boqun Feng55ebfce2018-03-09 09:14:51 +0800172 * Like sync_rcu_preempt_exp_done(), but this function assumes the caller
173 * doesn't hold the rcu_node's ->lock, and will acquire and release the lock
174 * itself
175 */
176static bool sync_rcu_preempt_exp_done_unlocked(struct rcu_node *rnp)
177{
178 unsigned long flags;
179 bool ret;
180
181 raw_spin_lock_irqsave_rcu_node(rnp, flags);
182 ret = sync_rcu_preempt_exp_done(rnp);
183 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
184
185 return ret;
186}
187
188
189/*
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700190 * Report the exit from RCU read-side critical section for the last task
191 * that queued itself during or before the current expedited preemptible-RCU
192 * grace period. This event is reported either to the rcu_node structure on
193 * which the task was queued or to one of that rcu_node structure's ancestors,
194 * recursively up the tree. (Calm down, calm down, we do the recursion
195 * iteratively!)
196 *
Boqun Feng7be8c562018-03-07 16:49:39 +0800197 * Caller must hold the specified rcu_node structure's ->lock.
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700198 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700199static void __rcu_report_exp_rnp(struct rcu_node *rnp,
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700200 bool wake, unsigned long flags)
201 __releases(rnp->lock)
202{
203 unsigned long mask;
204
205 for (;;) {
206 if (!sync_rcu_preempt_exp_done(rnp)) {
207 if (!rnp->expmask)
208 rcu_initiate_boost(rnp, flags);
209 else
210 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
211 break;
212 }
213 if (rnp->parent == NULL) {
214 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
215 if (wake) {
216 smp_mb(); /* EGP done before wake_up(). */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700217 swake_up_one(&rcu_state.expedited_wq);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700218 }
219 break;
220 }
221 mask = rnp->grpmask;
222 raw_spin_unlock_rcu_node(rnp); /* irqs remain disabled */
223 rnp = rnp->parent;
224 raw_spin_lock_rcu_node(rnp); /* irqs already disabled */
225 WARN_ON_ONCE(!(rnp->expmask & mask));
226 rnp->expmask &= ~mask;
227 }
228}
229
230/*
231 * Report expedited quiescent state for specified node. This is a
232 * lock-acquisition wrapper function for __rcu_report_exp_rnp().
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700233 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700234static void __maybe_unused rcu_report_exp_rnp(struct rcu_node *rnp, bool wake)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700235{
236 unsigned long flags;
237
238 raw_spin_lock_irqsave_rcu_node(rnp, flags);
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700239 __rcu_report_exp_rnp(rnp, wake, flags);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700240}
241
242/*
243 * Report expedited quiescent state for multiple CPUs, all covered by the
Boqun Feng7be8c562018-03-07 16:49:39 +0800244 * specified leaf rcu_node structure.
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700245 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700246static void rcu_report_exp_cpu_mult(struct rcu_node *rnp,
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700247 unsigned long mask, bool wake)
248{
249 unsigned long flags;
250
251 raw_spin_lock_irqsave_rcu_node(rnp, flags);
252 if (!(rnp->expmask & mask)) {
253 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
254 return;
255 }
256 rnp->expmask &= ~mask;
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700257 __rcu_report_exp_rnp(rnp, wake, flags); /* Releases rnp->lock. */
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700258}
259
260/*
261 * Report expedited quiescent state for specified rcu_data (CPU).
262 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700263static void rcu_report_exp_rdp(struct rcu_data *rdp)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700264{
Paul E. McKenney3e310092018-06-21 12:50:01 -0700265 WRITE_ONCE(rdp->deferred_qs, false);
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700266 rcu_report_exp_cpu_mult(rdp->mynode, rdp->grpmask, true);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700267}
268
Paul E. McKenney45975c72018-07-02 14:30:37 -0700269/* Common code for work-done checking. */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700270static bool sync_exp_work_done(unsigned long s)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700271{
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700272 if (rcu_exp_gp_seq_done(s)) {
273 trace_rcu_exp_grace_period(rcu_state.name, s, TPS("done"));
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700274 /* Ensure test happens before caller kfree(). */
275 smp_mb__before_atomic(); /* ^^^ */
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700276 return true;
277 }
278 return false;
279}
280
281/*
282 * Funnel-lock acquisition for expedited grace periods. Returns true
283 * if some other task completed an expedited grace period that this task
284 * can piggy-back on, and with no mutex held. Otherwise, returns false
285 * with the mutex held, indicating that the caller must actually do the
286 * expedited grace period.
287 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700288static bool exp_funnel_lock(unsigned long s)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700289{
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700290 struct rcu_data *rdp = per_cpu_ptr(&rcu_data, raw_smp_processor_id());
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700291 struct rcu_node *rnp = rdp->mynode;
Paul E. McKenney336a4f62018-07-03 17:22:34 -0700292 struct rcu_node *rnp_root = rcu_get_root();
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700293
294 /* Low-contention fastpath. */
295 if (ULONG_CMP_LT(READ_ONCE(rnp->exp_seq_rq), s) &&
296 (rnp == rnp_root ||
297 ULONG_CMP_LT(READ_ONCE(rnp_root->exp_seq_rq), s)) &&
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700298 mutex_trylock(&rcu_state.exp_mutex))
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700299 goto fastpath;
300
301 /*
302 * Each pass through the following loop works its way up
303 * the rcu_node tree, returning if others have done the work or
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700304 * otherwise falls through to acquire ->exp_mutex. The mapping
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700305 * from CPU to rcu_node structure can be inexact, as it is just
306 * promoting locality and is not strictly needed for correctness.
307 */
308 for (; rnp != NULL; rnp = rnp->parent) {
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700309 if (sync_exp_work_done(s))
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700310 return true;
311
312 /* Work not done, either wait here or go up. */
313 spin_lock(&rnp->exp_lock);
314 if (ULONG_CMP_GE(rnp->exp_seq_rq, s)) {
315
316 /* Someone else doing GP, so wait for them. */
317 spin_unlock(&rnp->exp_lock);
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700318 trace_rcu_exp_funnel_lock(rcu_state.name, rnp->level,
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700319 rnp->grplo, rnp->grphi,
320 TPS("wait"));
Paul E. McKenney031aeee2017-03-21 07:28:14 -0700321 wait_event(rnp->exp_wq[rcu_seq_ctr(s) & 0x3],
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700322 sync_exp_work_done(s));
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700323 return true;
324 }
325 rnp->exp_seq_rq = s; /* Followers can wait on us. */
326 spin_unlock(&rnp->exp_lock);
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700327 trace_rcu_exp_funnel_lock(rcu_state.name, rnp->level,
328 rnp->grplo, rnp->grphi, TPS("nxtlvl"));
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700329 }
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700330 mutex_lock(&rcu_state.exp_mutex);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700331fastpath:
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700332 if (sync_exp_work_done(s)) {
333 mutex_unlock(&rcu_state.exp_mutex);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700334 return true;
335 }
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700336 rcu_exp_gp_seq_start();
337 trace_rcu_exp_grace_period(rcu_state.name, s, TPS("start"));
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700338 return false;
339}
340
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700341/*
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800342 * Select the CPUs within the specified rcu_node that the upcoming
343 * expedited grace period needs to wait for.
344 */
345static void sync_rcu_exp_select_node_cpus(struct work_struct *wp)
346{
347 int cpu;
348 unsigned long flags;
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800349 unsigned long mask_ofl_test;
350 unsigned long mask_ofl_ipi;
351 int ret;
352 struct rcu_exp_work *rewp =
353 container_of(wp, struct rcu_exp_work, rew_work);
354 struct rcu_node *rnp = container_of(rewp, struct rcu_node, rew);
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800355
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800356 raw_spin_lock_irqsave_rcu_node(rnp, flags);
357
358 /* Each pass checks a CPU for identity, offline, and idle. */
359 mask_ofl_test = 0;
360 for_each_leaf_node_cpu_mask(rnp, cpu, rnp->expmask) {
361 unsigned long mask = leaf_node_cpu_bit(rnp, cpu);
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700362 struct rcu_data *rdp = per_cpu_ptr(&rcu_data, cpu);
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800363 int snap;
364
365 if (raw_smp_processor_id() == cpu ||
366 !(rnp->qsmaskinitnext & mask)) {
367 mask_ofl_test |= mask;
368 } else {
Paul E. McKenneydc5a4f22018-08-03 21:00:38 -0700369 snap = rcu_dynticks_snap(rdp);
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800370 if (rcu_dynticks_in_eqs(snap))
371 mask_ofl_test |= mask;
372 else
373 rdp->exp_dynticks_snap = snap;
374 }
375 }
376 mask_ofl_ipi = rnp->expmask & ~mask_ofl_test;
377
378 /*
379 * Need to wait for any blocked tasks as well. Note that
380 * additional blocking tasks will also block the expedited GP
381 * until such time as the ->expmask bits are cleared.
382 */
383 if (rcu_preempt_has_tasks(rnp))
384 rnp->exp_tasks = rnp->blkd_tasks.next;
385 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
386
387 /* IPI the remaining CPUs for expedited quiescent state. */
388 for_each_leaf_node_cpu_mask(rnp, cpu, rnp->expmask) {
389 unsigned long mask = leaf_node_cpu_bit(rnp, cpu);
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700390 struct rcu_data *rdp = per_cpu_ptr(&rcu_data, cpu);
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800391
392 if (!(mask_ofl_ipi & mask))
393 continue;
394retry_ipi:
Paul E. McKenneydc5a4f22018-08-03 21:00:38 -0700395 if (rcu_dynticks_in_eqs_since(rdp, rdp->exp_dynticks_snap)) {
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800396 mask_ofl_test |= mask;
397 continue;
398 }
Paul E. McKenney142d1062018-11-29 09:15:54 -0800399 ret = smp_call_function_single(cpu, rcu_exp_handler, NULL, 0);
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800400 if (!ret) {
401 mask_ofl_ipi &= ~mask;
402 continue;
403 }
404 /* Failed, raced with CPU hotplug operation. */
405 raw_spin_lock_irqsave_rcu_node(rnp, flags);
406 if ((rnp->qsmaskinitnext & mask) &&
407 (rnp->expmask & mask)) {
408 /* Online, so delay for a bit and try again. */
409 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700410 trace_rcu_exp_grace_period(rcu_state.name, rcu_exp_gp_seq_endval(), TPS("selectofl"));
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800411 schedule_timeout_uninterruptible(1);
412 goto retry_ipi;
413 }
414 /* CPU really is offline, so we can ignore it. */
415 if (!(rnp->expmask & mask))
416 mask_ofl_ipi &= ~mask;
417 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
418 }
419 /* Report quiescent states for those that went offline. */
420 mask_ofl_test |= mask_ofl_ipi;
421 if (mask_ofl_test)
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700422 rcu_report_exp_cpu_mult(rnp, mask_ofl_test, false);
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800423}
424
425/*
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700426 * Select the nodes that the upcoming expedited grace period needs
427 * to wait for.
428 */
Paul E. McKenney142d1062018-11-29 09:15:54 -0800429static void sync_rcu_exp_select_cpus(void)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700430{
Boqun Fengfcc63542018-06-15 12:06:31 -0700431 int cpu;
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700432 struct rcu_node *rnp;
433
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700434 trace_rcu_exp_grace_period(rcu_state.name, rcu_exp_gp_seq_endval(), TPS("reset"));
435 sync_exp_reset_tree();
436 trace_rcu_exp_grace_period(rcu_state.name, rcu_exp_gp_seq_endval(), TPS("select"));
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800437
438 /* Schedule work for each leaf rcu_node structure. */
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700439 rcu_for_each_leaf_node(rnp) {
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800440 rnp->exp_need_flush = false;
441 if (!READ_ONCE(rnp->expmask))
442 continue; /* Avoid early boot non-existent wq. */
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800443 if (!READ_ONCE(rcu_par_gp_wq) ||
Paul E. McKenney52575142018-04-24 11:03:39 -0700444 rcu_scheduler_active != RCU_SCHEDULER_RUNNING ||
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700445 rcu_is_last_leaf_node(rnp)) {
Paul E. McKenney52575142018-04-24 11:03:39 -0700446 /* No workqueues yet or last leaf, do direct call. */
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800447 sync_rcu_exp_select_node_cpus(&rnp->rew.rew_work);
448 continue;
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700449 }
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800450 INIT_WORK(&rnp->rew.rew_work, sync_rcu_exp_select_node_cpus);
Boqun Fengfcc63542018-06-15 12:06:31 -0700451 preempt_disable();
Paul E. McKenney9cac83a2018-09-11 08:57:48 -0700452 cpu = find_next_bit(&rnp->ffmask, BITS_PER_LONG, -1);
Boqun Fengfcc63542018-06-15 12:06:31 -0700453 /* If all offline, queue the work on an unbound CPU. */
Paul E. McKenney9cac83a2018-09-11 08:57:48 -0700454 if (unlikely(cpu > rnp->grphi - rnp->grplo))
Boqun Fengfcc63542018-06-15 12:06:31 -0700455 cpu = WORK_CPU_UNBOUND;
Paul E. McKenney9cac83a2018-09-11 08:57:48 -0700456 else
457 cpu += rnp->grplo;
Boqun Fengfcc63542018-06-15 12:06:31 -0700458 queue_work_on(cpu, rcu_par_gp_wq, &rnp->rew.rew_work);
459 preempt_enable();
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800460 rnp->exp_need_flush = true;
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700461 }
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800462
463 /* Wait for workqueue jobs (if any) to complete. */
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700464 rcu_for_each_leaf_node(rnp)
Paul E. McKenney25f3d7e2018-02-01 22:05:38 -0800465 if (rnp->exp_need_flush)
466 flush_work(&rnp->rew.rew_work);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700467}
468
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700469static void synchronize_sched_expedited_wait(void)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700470{
471 int cpu;
472 unsigned long jiffies_stall;
473 unsigned long jiffies_start;
474 unsigned long mask;
475 int ndetected;
476 struct rcu_node *rnp;
Paul E. McKenney336a4f62018-07-03 17:22:34 -0700477 struct rcu_node *rnp_root = rcu_get_root();
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700478 int ret;
479
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700480 trace_rcu_exp_grace_period(rcu_state.name, rcu_exp_gp_seq_endval(), TPS("startwait"));
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700481 jiffies_stall = rcu_jiffies_till_stall_check();
482 jiffies_start = jiffies;
483
484 for (;;) {
Peter Zijlstrab3dae102018-06-12 10:34:52 +0200485 ret = swait_event_timeout_exclusive(
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700486 rcu_state.expedited_wq,
Boqun Feng55ebfce2018-03-09 09:14:51 +0800487 sync_rcu_preempt_exp_done_unlocked(rnp_root),
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700488 jiffies_stall);
Boqun Feng55ebfce2018-03-09 09:14:51 +0800489 if (ret > 0 || sync_rcu_preempt_exp_done_unlocked(rnp_root))
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700490 return;
Paul E. McKenney908d2c12016-06-29 14:34:59 -0700491 WARN_ON(ret < 0); /* workqueues should not be signaled. */
Paul E. McKenney24a6cff2016-06-29 14:49:29 -0700492 if (rcu_cpu_stall_suppress)
493 continue;
494 panic_on_rcu_stall();
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700495 pr_err("INFO: %s detected expedited stalls on CPUs/tasks: {",
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700496 rcu_state.name);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700497 ndetected = 0;
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700498 rcu_for_each_leaf_node(rnp) {
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700499 ndetected += rcu_print_task_exp_stall(rnp);
Mark Rutlandbc75e992016-06-03 15:20:04 +0100500 for_each_leaf_node_possible_cpu(rnp, cpu) {
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700501 struct rcu_data *rdp;
502
Mark Rutlandbc75e992016-06-03 15:20:04 +0100503 mask = leaf_node_cpu_bit(rnp, cpu);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700504 if (!(rnp->expmask & mask))
505 continue;
506 ndetected++;
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700507 rdp = per_cpu_ptr(&rcu_data, cpu);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700508 pr_cont(" %d-%c%c%c", cpu,
509 "O."[!!cpu_online(cpu)],
510 "o."[!!(rdp->grpmask & rnp->expmaskinit)],
511 "N."[!!(rdp->grpmask & rnp->expmaskinitnext)]);
512 }
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700513 }
514 pr_cont(" } %lu jiffies s: %lu root: %#lx/%c\n",
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700515 jiffies - jiffies_start, rcu_state.expedited_sequence,
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700516 rnp_root->expmask, ".T"[!!rnp_root->exp_tasks]);
517 if (ndetected) {
518 pr_err("blocking rcu_node structures:");
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700519 rcu_for_each_node_breadth_first(rnp) {
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700520 if (rnp == rnp_root)
521 continue; /* printed unconditionally */
Boqun Feng55ebfce2018-03-09 09:14:51 +0800522 if (sync_rcu_preempt_exp_done_unlocked(rnp))
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700523 continue;
524 pr_cont(" l=%u:%d-%d:%#lx/%c",
525 rnp->level, rnp->grplo, rnp->grphi,
526 rnp->expmask,
527 ".T"[!!rnp->exp_tasks]);
528 }
529 pr_cont("\n");
530 }
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700531 rcu_for_each_leaf_node(rnp) {
Mark Rutlandbc75e992016-06-03 15:20:04 +0100532 for_each_leaf_node_possible_cpu(rnp, cpu) {
533 mask = leaf_node_cpu_bit(rnp, cpu);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700534 if (!(rnp->expmask & mask))
535 continue;
536 dump_cpu_task(cpu);
537 }
538 }
539 jiffies_stall = 3 * rcu_jiffies_till_stall_check() + 3;
540 }
541}
542
543/*
544 * Wait for the current expedited grace period to complete, and then
545 * wake up everyone who piggybacked on the just-completed expedited
546 * grace period. Also update all the ->exp_seq_rq counters as needed
547 * in order to avoid counter-wrap problems.
548 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700549static void rcu_exp_wait_wake(unsigned long s)
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700550{
551 struct rcu_node *rnp;
552
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700553 synchronize_sched_expedited_wait();
554 rcu_exp_gp_seq_end();
555 trace_rcu_exp_grace_period(rcu_state.name, s, TPS("end"));
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700556
557 /*
558 * Switch over to wakeup mode, allowing the next GP, but -only- the
559 * next GP, to proceed.
560 */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700561 mutex_lock(&rcu_state.exp_wake_mutex);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700562
Paul E. McKenneyaedf4ba2018-07-04 14:33:59 -0700563 rcu_for_each_node_breadth_first(rnp) {
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700564 if (ULONG_CMP_LT(READ_ONCE(rnp->exp_seq_rq), s)) {
565 spin_lock(&rnp->exp_lock);
566 /* Recheck, avoid hang in case someone just arrived. */
567 if (ULONG_CMP_LT(rnp->exp_seq_rq, s))
568 rnp->exp_seq_rq = s;
569 spin_unlock(&rnp->exp_lock);
570 }
Paul E. McKenney3c345825c82017-03-04 12:33:53 -0800571 smp_mb(); /* All above changes before wakeup. */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700572 wake_up_all(&rnp->exp_wq[rcu_seq_ctr(rcu_state.expedited_sequence) & 0x3]);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700573 }
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700574 trace_rcu_exp_grace_period(rcu_state.name, s, TPS("endwake"));
575 mutex_unlock(&rcu_state.exp_wake_mutex);
Paul E. McKenney3549c2b2016-04-15 16:35:29 -0700576}
577
Paul E. McKenney8b355e32016-06-29 13:46:25 -0700578/*
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800579 * Common code to drive an expedited grace period forward, used by
580 * workqueues and mid-boot-time tasks.
581 */
Paul E. McKenney142d1062018-11-29 09:15:54 -0800582static void rcu_exp_sel_wait_wake(unsigned long s)
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800583{
584 /* Initialize the rcu_node tree in preparation for the wait. */
Paul E. McKenney142d1062018-11-29 09:15:54 -0800585 sync_rcu_exp_select_cpus();
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800586
587 /* Wait and clean up, including waking everyone. */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700588 rcu_exp_wait_wake(s);
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800589}
590
591/*
Paul E. McKenney8b355e32016-06-29 13:46:25 -0700592 * Work-queue handler to drive an expedited grace period forward.
593 */
594static void wait_rcu_exp_gp(struct work_struct *wp)
595{
596 struct rcu_exp_work *rewp;
597
Paul E. McKenney8b355e32016-06-29 13:46:25 -0700598 rewp = container_of(wp, struct rcu_exp_work, rew_work);
Paul E. McKenney142d1062018-11-29 09:15:54 -0800599 rcu_exp_sel_wait_wake(rewp->rew_s);
Paul E. McKenney8b355e32016-06-29 13:46:25 -0700600}
601
Paul E. McKenneyf7b8eb82016-06-24 11:30:32 -0700602/*
Paul E. McKenney8fa946d2018-07-07 18:12:26 -0700603 * Given a smp_call_function() handler, kick off the specified
604 * implementation of expedited grace period.
Paul E. McKenneyf7b8eb82016-06-24 11:30:32 -0700605 */
Paul E. McKenney142d1062018-11-29 09:15:54 -0800606static void _synchronize_rcu_expedited(void)
Paul E. McKenneyf7b8eb82016-06-24 11:30:32 -0700607{
Paul E. McKenney8b355e32016-06-29 13:46:25 -0700608 struct rcu_data *rdp;
609 struct rcu_exp_work rew;
610 struct rcu_node *rnp;
Paul E. McKenneyf7b8eb82016-06-24 11:30:32 -0700611 unsigned long s;
612
613 /* If expedited grace periods are prohibited, fall back to normal. */
614 if (rcu_gp_is_normal()) {
Paul E. McKenneyec5dd442018-07-03 15:02:28 -0700615 wait_rcu_gp(call_rcu);
Paul E. McKenneyf7b8eb82016-06-24 11:30:32 -0700616 return;
617 }
618
619 /* Take a snapshot of the sequence number. */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700620 s = rcu_exp_gp_seq_snap();
621 if (exp_funnel_lock(s))
Paul E. McKenneyf7b8eb82016-06-24 11:30:32 -0700622 return; /* Someone else did our work for us. */
623
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800624 /* Ensure that load happens before action based on it. */
625 if (unlikely(rcu_scheduler_active == RCU_SCHEDULER_INIT)) {
626 /* Direct call during scheduler init and early_initcalls(). */
Paul E. McKenney142d1062018-11-29 09:15:54 -0800627 rcu_exp_sel_wait_wake(s);
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800628 } else {
629 /* Marshall arguments & schedule the expedited grace period. */
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800630 rew.rew_s = s;
631 INIT_WORK_ONSTACK(&rew.rew_work, wait_rcu_exp_gp);
Paul E. McKenneyad7c9462018-01-08 14:35:52 -0800632 queue_work(rcu_gp_wq, &rew.rew_work);
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800633 }
Paul E. McKenneyf7b8eb82016-06-24 11:30:32 -0700634
Paul E. McKenney8b355e32016-06-29 13:46:25 -0700635 /* Wait for expedited grace period to complete. */
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700636 rdp = per_cpu_ptr(&rcu_data, raw_smp_processor_id());
Paul E. McKenney336a4f62018-07-03 17:22:34 -0700637 rnp = rcu_get_root();
Paul E. McKenney031aeee2017-03-21 07:28:14 -0700638 wait_event(rnp->exp_wq[rcu_seq_ctr(s) & 0x3],
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700639 sync_exp_work_done(s));
Paul E. McKenney3c345825c82017-03-04 12:33:53 -0800640 smp_mb(); /* Workqueue actions happen before return. */
Paul E. McKenney8b355e32016-06-29 13:46:25 -0700641
642 /* Let the next expedited grace period start. */
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700643 mutex_unlock(&rcu_state.exp_mutex);
Paul E. McKenneyf7b8eb82016-06-24 11:30:32 -0700644}
645
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700646#ifdef CONFIG_PREEMPT_RCU
647
648/*
649 * Remote handler for smp_call_function_single(). If there is an
650 * RCU read-side critical section in effect, request that the
651 * next rcu_read_unlock() record the quiescent state up the
652 * ->expmask fields in the rcu_node tree. Otherwise, immediately
653 * report the quiescent state.
654 */
Paul E. McKenney142d1062018-11-29 09:15:54 -0800655static void rcu_exp_handler(void *unused)
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700656{
Paul E. McKenney3e310092018-06-21 12:50:01 -0700657 unsigned long flags;
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700658 struct rcu_data *rdp = this_cpu_ptr(&rcu_data);
Paul E. McKenney3e310092018-06-21 12:50:01 -0700659 struct rcu_node *rnp = rdp->mynode;
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700660 struct task_struct *t = current;
661
662 /*
Paul E. McKenney3e310092018-06-21 12:50:01 -0700663 * First, the common case of not being in an RCU read-side
664 * critical section. If also enabled or idle, immediately
665 * report the quiescent state, otherwise defer.
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700666 */
Paul E. McKenney3e310092018-06-21 12:50:01 -0700667 if (!t->rcu_read_lock_nesting) {
668 if (!(preempt_count() & (PREEMPT_MASK | SOFTIRQ_MASK)) ||
669 rcu_dynticks_curr_cpu_in_eqs()) {
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700670 rcu_report_exp_rdp(rdp);
Paul E. McKenney3e310092018-06-21 12:50:01 -0700671 } else {
672 rdp->deferred_qs = true;
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700673 set_tsk_need_resched(t);
674 set_preempt_need_resched();
Paul E. McKenney3e310092018-06-21 12:50:01 -0700675 }
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700676 return;
677 }
678
679 /*
Paul E. McKenney3e310092018-06-21 12:50:01 -0700680 * Second, the less-common case of being in an RCU read-side
681 * critical section. In this case we can count on a future
682 * rcu_read_unlock(). However, this rcu_read_unlock() might
683 * execute on some other CPU, but in that case there will be
684 * a future context switch. Either way, if the expedited
685 * grace period is still waiting on this CPU, set ->deferred_qs
686 * so that the eventual quiescent state will be reported.
687 * Note that there is a large group of race conditions that
688 * can have caused this quiescent state to already have been
689 * reported, so we really do need to check ->expmask.
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700690 */
Paul E. McKenney3e310092018-06-21 12:50:01 -0700691 if (t->rcu_read_lock_nesting > 0) {
692 raw_spin_lock_irqsave_rcu_node(rnp, flags);
Paul E. McKenney05f41572018-10-16 04:12:58 -0700693 if (rnp->expmask & rdp->grpmask) {
Paul E. McKenney3e310092018-06-21 12:50:01 -0700694 rdp->deferred_qs = true;
Paul E. McKenney05f41572018-10-16 04:12:58 -0700695 WRITE_ONCE(t->rcu_read_unlock_special.b.exp_hint, true);
696 }
Paul E. McKenney3e310092018-06-21 12:50:01 -0700697 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney1de462e2018-11-28 10:37:42 -0800698 return;
Paul E. McKenney3e310092018-06-21 12:50:01 -0700699 }
700
701 /*
702 * The final and least likely case is where the interrupted
703 * code was just about to or just finished exiting the RCU-preempt
704 * read-side critical section, and no, we can't tell which.
705 * So either way, set ->deferred_qs to flag later code that
706 * a quiescent state is required.
707 *
708 * If the CPU is fully enabled (or if some buggy RCU-preempt
709 * read-side critical section is being used from idle), just
710 * invoke rcu_preempt_defer_qs() to immediately report the
711 * quiescent state. We cannot use rcu_read_unlock_special()
712 * because we are in an interrupt handler, which will cause that
713 * function to take an early exit without doing anything.
714 *
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700715 * Otherwise, force a context switch after the CPU enables everything.
Paul E. McKenney3e310092018-06-21 12:50:01 -0700716 */
717 rdp->deferred_qs = true;
718 if (!(preempt_count() & (PREEMPT_MASK | SOFTIRQ_MASK)) ||
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700719 WARN_ON_ONCE(rcu_dynticks_curr_cpu_in_eqs())) {
Paul E. McKenney3e310092018-06-21 12:50:01 -0700720 rcu_preempt_deferred_qs(t);
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700721 } else {
722 set_tsk_need_resched(t);
723 set_preempt_need_resched();
724 }
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700725}
726
Paul E. McKenney8fa946d2018-07-07 18:12:26 -0700727/* PREEMPT=y, so no PREEMPT=n expedited grace period to clean up after. */
Paul E. McKenney45975c72018-07-02 14:30:37 -0700728static void sync_sched_exp_online_cleanup(int cpu)
729{
730}
731
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700732/**
733 * synchronize_rcu_expedited - Brute-force RCU grace period
734 *
735 * Wait for an RCU-preempt grace period, but expedite it. The basic
736 * idea is to IPI all non-idle non-nohz online CPUs. The IPI handler
737 * checks whether the CPU is in an RCU-preempt critical section, and
738 * if so, it sets a flag that causes the outermost rcu_read_unlock()
739 * to report the quiescent state. On the other hand, if the CPU is
740 * not in an RCU read-side critical section, the IPI handler reports
741 * the quiescent state immediately.
742 *
743 * Although this is a greate improvement over previous expedited
744 * implementations, it is still unfriendly to real-time workloads, so is
745 * thus not recommended for any sort of common-case code. In fact, if
746 * you are using synchronize_rcu_expedited() in a loop, please restructure
747 * your code to batch your updates, and then Use a single synchronize_rcu()
748 * instead.
Paul E. McKenney45975c72018-07-02 14:30:37 -0700749 *
750 * This has the same semantics as (but is more brutal than) synchronize_rcu().
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700751 */
752void synchronize_rcu_expedited(void)
753{
Paul E. McKenney8dc79882017-01-09 15:25:55 -0800754 RCU_LOCKDEP_WARN(lock_is_held(&rcu_bh_lock_map) ||
755 lock_is_held(&rcu_lock_map) ||
756 lock_is_held(&rcu_sched_lock_map),
757 "Illegal synchronize_rcu_expedited() in RCU read-side critical section");
758
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800759 if (rcu_scheduler_active == RCU_SCHEDULER_INACTIVE)
760 return;
Paul E. McKenney142d1062018-11-29 09:15:54 -0800761 _synchronize_rcu_expedited();
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700762}
763EXPORT_SYMBOL_GPL(synchronize_rcu_expedited);
764
765#else /* #ifdef CONFIG_PREEMPT_RCU */
766
Paul E. McKenney45975c72018-07-02 14:30:37 -0700767/* Invoked on each online non-idle CPU for expedited quiescent state. */
Paul E. McKenney142d1062018-11-29 09:15:54 -0800768static void rcu_exp_handler(void *unused)
Paul E. McKenney45975c72018-07-02 14:30:37 -0700769{
770 struct rcu_data *rdp;
771 struct rcu_node *rnp;
Paul E. McKenney45975c72018-07-02 14:30:37 -0700772
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700773 rdp = this_cpu_ptr(&rcu_data);
Paul E. McKenney45975c72018-07-02 14:30:37 -0700774 rnp = rdp->mynode;
775 if (!(READ_ONCE(rnp->expmask) & rdp->grpmask) ||
776 __this_cpu_read(rcu_data.cpu_no_qs.b.exp))
777 return;
778 if (rcu_is_cpu_rrupt_from_idle()) {
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700779 rcu_report_exp_rdp(this_cpu_ptr(&rcu_data));
Paul E. McKenney45975c72018-07-02 14:30:37 -0700780 return;
781 }
782 __this_cpu_write(rcu_data.cpu_no_qs.b.exp, true);
783 /* Store .exp before .rcu_urgent_qs. */
Paul E. McKenney2dba13f2018-08-03 21:00:38 -0700784 smp_store_release(this_cpu_ptr(&rcu_data.rcu_urgent_qs), true);
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700785 set_tsk_need_resched(current);
786 set_preempt_need_resched();
Paul E. McKenney45975c72018-07-02 14:30:37 -0700787}
788
789/* Send IPI for expedited cleanup if needed at end of CPU-hotplug operation. */
790static void sync_sched_exp_online_cleanup(int cpu)
791{
792 struct rcu_data *rdp;
793 int ret;
794 struct rcu_node *rnp;
Paul E. McKenney45975c72018-07-02 14:30:37 -0700795
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700796 rdp = per_cpu_ptr(&rcu_data, cpu);
Paul E. McKenney45975c72018-07-02 14:30:37 -0700797 rnp = rdp->mynode;
798 if (!(READ_ONCE(rnp->expmask) & rdp->grpmask))
799 return;
Paul E. McKenney142d1062018-11-29 09:15:54 -0800800 ret = smp_call_function_single(cpu, rcu_exp_handler, NULL, 0);
Paul E. McKenney45975c72018-07-02 14:30:37 -0700801 WARN_ON_ONCE(ret);
802}
803
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700804/*
Paul E. McKenney8fa946d2018-07-07 18:12:26 -0700805 * Because a context switch is a grace period for !PREEMPT, any
806 * blocking grace-period wait automatically implies a grace period if
807 * there is only one CPU online at any point time during execution of
808 * either synchronize_rcu() or synchronize_rcu_expedited(). It is OK to
809 * occasionally incorrectly indicate that there are multiple CPUs online
810 * when there was in fact only one the whole time, as this just adds some
811 * overhead: RCU still operates correctly.
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700812 */
Paul E. McKenney45975c72018-07-02 14:30:37 -0700813static int rcu_blocking_is_gp(void)
814{
815 int ret;
816
817 might_sleep(); /* Check for RCU read-side critical section. */
818 preempt_disable();
819 ret = num_online_cpus() <= 1;
820 preempt_enable();
821 return ret;
822}
823
824/* PREEMPT=n implementation of synchronize_rcu_expedited(). */
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700825void synchronize_rcu_expedited(void)
826{
Paul E. McKenney45975c72018-07-02 14:30:37 -0700827 RCU_LOCKDEP_WARN(lock_is_held(&rcu_bh_lock_map) ||
828 lock_is_held(&rcu_lock_map) ||
829 lock_is_held(&rcu_sched_lock_map),
Paul E. McKenney8fa946d2018-07-07 18:12:26 -0700830 "Illegal synchronize_rcu_expedited() in RCU read-side critical section");
Paul E. McKenney45975c72018-07-02 14:30:37 -0700831
832 /* If only one CPU, this is automatically a grace period. */
833 if (rcu_blocking_is_gp())
834 return;
835
Paul E. McKenney142d1062018-11-29 09:15:54 -0800836 _synchronize_rcu_expedited();
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700837}
838EXPORT_SYMBOL_GPL(synchronize_rcu_expedited);
839
840#endif /* #else #ifdef CONFIG_PREEMPT_RCU */