blob: d882ca0cd01b569618cd068f1d16b4c0b940b995 [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. McKenney40e0a6c2016-04-15 16:44:07 -0700602#ifdef CONFIG_PREEMPT_RCU
603
604/*
605 * Remote handler for smp_call_function_single(). If there is an
606 * RCU read-side critical section in effect, request that the
607 * next rcu_read_unlock() record the quiescent state up the
608 * ->expmask fields in the rcu_node tree. Otherwise, immediately
609 * report the quiescent state.
610 */
Paul E. McKenney142d1062018-11-29 09:15:54 -0800611static void rcu_exp_handler(void *unused)
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700612{
Paul E. McKenney3e310092018-06-21 12:50:01 -0700613 unsigned long flags;
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700614 struct rcu_data *rdp = this_cpu_ptr(&rcu_data);
Paul E. McKenney3e310092018-06-21 12:50:01 -0700615 struct rcu_node *rnp = rdp->mynode;
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700616 struct task_struct *t = current;
617
618 /*
Paul E. McKenney3e310092018-06-21 12:50:01 -0700619 * First, the common case of not being in an RCU read-side
620 * critical section. If also enabled or idle, immediately
621 * report the quiescent state, otherwise defer.
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700622 */
Paul E. McKenney3e310092018-06-21 12:50:01 -0700623 if (!t->rcu_read_lock_nesting) {
624 if (!(preempt_count() & (PREEMPT_MASK | SOFTIRQ_MASK)) ||
625 rcu_dynticks_curr_cpu_in_eqs()) {
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700626 rcu_report_exp_rdp(rdp);
Paul E. McKenney3e310092018-06-21 12:50:01 -0700627 } else {
628 rdp->deferred_qs = true;
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700629 set_tsk_need_resched(t);
630 set_preempt_need_resched();
Paul E. McKenney3e310092018-06-21 12:50:01 -0700631 }
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700632 return;
633 }
634
635 /*
Paul E. McKenney3e310092018-06-21 12:50:01 -0700636 * Second, the less-common case of being in an RCU read-side
637 * critical section. In this case we can count on a future
638 * rcu_read_unlock(). However, this rcu_read_unlock() might
639 * execute on some other CPU, but in that case there will be
640 * a future context switch. Either way, if the expedited
641 * grace period is still waiting on this CPU, set ->deferred_qs
642 * so that the eventual quiescent state will be reported.
643 * Note that there is a large group of race conditions that
644 * can have caused this quiescent state to already have been
645 * reported, so we really do need to check ->expmask.
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700646 */
Paul E. McKenney3e310092018-06-21 12:50:01 -0700647 if (t->rcu_read_lock_nesting > 0) {
648 raw_spin_lock_irqsave_rcu_node(rnp, flags);
Paul E. McKenney05f41572018-10-16 04:12:58 -0700649 if (rnp->expmask & rdp->grpmask) {
Paul E. McKenney3e310092018-06-21 12:50:01 -0700650 rdp->deferred_qs = true;
Paul E. McKenney05f41572018-10-16 04:12:58 -0700651 WRITE_ONCE(t->rcu_read_unlock_special.b.exp_hint, true);
652 }
Paul E. McKenney3e310092018-06-21 12:50:01 -0700653 raw_spin_unlock_irqrestore_rcu_node(rnp, flags);
Paul E. McKenney1de462e2018-11-28 10:37:42 -0800654 return;
Paul E. McKenney3e310092018-06-21 12:50:01 -0700655 }
656
657 /*
658 * The final and least likely case is where the interrupted
659 * code was just about to or just finished exiting the RCU-preempt
660 * read-side critical section, and no, we can't tell which.
661 * So either way, set ->deferred_qs to flag later code that
662 * a quiescent state is required.
663 *
664 * If the CPU is fully enabled (or if some buggy RCU-preempt
665 * read-side critical section is being used from idle), just
666 * invoke rcu_preempt_defer_qs() to immediately report the
667 * quiescent state. We cannot use rcu_read_unlock_special()
668 * because we are in an interrupt handler, which will cause that
669 * function to take an early exit without doing anything.
670 *
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700671 * Otherwise, force a context switch after the CPU enables everything.
Paul E. McKenney3e310092018-06-21 12:50:01 -0700672 */
673 rdp->deferred_qs = true;
674 if (!(preempt_count() & (PREEMPT_MASK | SOFTIRQ_MASK)) ||
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700675 WARN_ON_ONCE(rcu_dynticks_curr_cpu_in_eqs())) {
Paul E. McKenney3e310092018-06-21 12:50:01 -0700676 rcu_preempt_deferred_qs(t);
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700677 } else {
678 set_tsk_need_resched(t);
679 set_preempt_need_resched();
680 }
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700681}
682
Paul E. McKenney8fa946d2018-07-07 18:12:26 -0700683/* PREEMPT=y, so no PREEMPT=n expedited grace period to clean up after. */
Paul E. McKenney45975c72018-07-02 14:30:37 -0700684static void sync_sched_exp_online_cleanup(int cpu)
685{
686}
687
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700688#else /* #ifdef CONFIG_PREEMPT_RCU */
689
Paul E. McKenney45975c72018-07-02 14:30:37 -0700690/* Invoked on each online non-idle CPU for expedited quiescent state. */
Paul E. McKenney142d1062018-11-29 09:15:54 -0800691static void rcu_exp_handler(void *unused)
Paul E. McKenney45975c72018-07-02 14:30:37 -0700692{
693 struct rcu_data *rdp;
694 struct rcu_node *rnp;
Paul E. McKenney45975c72018-07-02 14:30:37 -0700695
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700696 rdp = this_cpu_ptr(&rcu_data);
Paul E. McKenney45975c72018-07-02 14:30:37 -0700697 rnp = rdp->mynode;
698 if (!(READ_ONCE(rnp->expmask) & rdp->grpmask) ||
699 __this_cpu_read(rcu_data.cpu_no_qs.b.exp))
700 return;
701 if (rcu_is_cpu_rrupt_from_idle()) {
Paul E. McKenney63d4c8c2018-07-03 17:22:34 -0700702 rcu_report_exp_rdp(this_cpu_ptr(&rcu_data));
Paul E. McKenney45975c72018-07-02 14:30:37 -0700703 return;
704 }
705 __this_cpu_write(rcu_data.cpu_no_qs.b.exp, true);
706 /* Store .exp before .rcu_urgent_qs. */
Paul E. McKenney2dba13f2018-08-03 21:00:38 -0700707 smp_store_release(this_cpu_ptr(&rcu_data.rcu_urgent_qs), true);
Paul E. McKenneyfced9c82018-07-26 13:44:00 -0700708 set_tsk_need_resched(current);
709 set_preempt_need_resched();
Paul E. McKenney45975c72018-07-02 14:30:37 -0700710}
711
712/* Send IPI for expedited cleanup if needed at end of CPU-hotplug operation. */
713static void sync_sched_exp_online_cleanup(int cpu)
714{
715 struct rcu_data *rdp;
716 int ret;
717 struct rcu_node *rnp;
Paul E. McKenney45975c72018-07-02 14:30:37 -0700718
Paul E. McKenneyda1df502018-07-03 15:37:16 -0700719 rdp = per_cpu_ptr(&rcu_data, cpu);
Paul E. McKenney45975c72018-07-02 14:30:37 -0700720 rnp = rdp->mynode;
721 if (!(READ_ONCE(rnp->expmask) & rdp->grpmask))
722 return;
Paul E. McKenney142d1062018-11-29 09:15:54 -0800723 ret = smp_call_function_single(cpu, rcu_exp_handler, NULL, 0);
Paul E. McKenney45975c72018-07-02 14:30:37 -0700724 WARN_ON_ONCE(ret);
725}
726
Paul E. McKenney3cd4ca42018-11-29 10:01:52 -0800727#endif /* #else #ifdef CONFIG_PREEMPT_RCU */
728
729/**
730 * synchronize_rcu_expedited - Brute-force RCU grace period
731 *
732 * Wait for an RCU grace period, but expedite it. The basic idea is to
733 * IPI all non-idle non-nohz online CPUs. The IPI handler checks whether
734 * the CPU is in an RCU critical section, and if so, it sets a flag that
735 * causes the outermost rcu_read_unlock() to report the quiescent state
736 * for RCU-preempt or asks the scheduler for help for RCU-sched. On the
737 * other hand, if the CPU is not in an RCU read-side critical section,
738 * the IPI handler reports the quiescent state immediately.
739 *
740 * Although this is a greate improvement over previous expedited
741 * implementations, it is still unfriendly to real-time workloads, so is
742 * thus not recommended for any sort of common-case code. In fact, if
743 * you are using synchronize_rcu_expedited() in a loop, please restructure
744 * your code to batch your updates, and then Use a single synchronize_rcu()
745 * instead.
746 *
747 * This has the same semantics as (but is more brutal than) synchronize_rcu().
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700748 */
749void synchronize_rcu_expedited(void)
750{
Paul E. McKenney89230722018-11-29 11:50:04 -0800751 struct rcu_data *rdp;
752 struct rcu_exp_work rew;
753 struct rcu_node *rnp;
754 unsigned long s;
755
Paul E. McKenney45975c72018-07-02 14:30:37 -0700756 RCU_LOCKDEP_WARN(lock_is_held(&rcu_bh_lock_map) ||
757 lock_is_held(&rcu_lock_map) ||
758 lock_is_held(&rcu_sched_lock_map),
Paul E. McKenney8fa946d2018-07-07 18:12:26 -0700759 "Illegal synchronize_rcu_expedited() in RCU read-side critical section");
Paul E. McKenney45975c72018-07-02 14:30:37 -0700760
Paul E. McKenney3cd4ca42018-11-29 10:01:52 -0800761 /* Is the state is such that the call is a grace period? */
Paul E. McKenney45975c72018-07-02 14:30:37 -0700762 if (rcu_blocking_is_gp())
763 return;
764
Paul E. McKenney89230722018-11-29 11:50:04 -0800765 /* If expedited grace periods are prohibited, fall back to normal. */
766 if (rcu_gp_is_normal()) {
767 wait_rcu_gp(call_rcu);
768 return;
769 }
770
771 /* Take a snapshot of the sequence number. */
772 s = rcu_exp_gp_seq_snap();
773 if (exp_funnel_lock(s))
774 return; /* Someone else did our work for us. */
775
776 /* Ensure that load happens before action based on it. */
777 if (unlikely(rcu_scheduler_active == RCU_SCHEDULER_INIT)) {
778 /* Direct call during scheduler init and early_initcalls(). */
779 rcu_exp_sel_wait_wake(s);
780 } else {
781 /* Marshall arguments & schedule the expedited grace period. */
782 rew.rew_s = s;
783 INIT_WORK_ONSTACK(&rew.rew_work, wait_rcu_exp_gp);
784 queue_work(rcu_gp_wq, &rew.rew_work);
785 }
786
787 /* Wait for expedited grace period to complete. */
788 rdp = per_cpu_ptr(&rcu_data, raw_smp_processor_id());
789 rnp = rcu_get_root();
790 wait_event(rnp->exp_wq[rcu_seq_ctr(s) & 0x3],
791 sync_exp_work_done(s));
792 smp_mb(); /* Workqueue actions happen before return. */
793
794 /* Let the next expedited grace period start. */
795 mutex_unlock(&rcu_state.exp_mutex);
Paul E. McKenney40e0a6c2016-04-15 16:44:07 -0700796}
797EXPORT_SYMBOL_GPL(synchronize_rcu_expedited);