blob: ed339702481dfc3a7746a10a38cc3309fa82e238 [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
17 * along with this program; if not, write to the Free Software
18 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
19 *
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>
Lai Jiangshan7b27d542010-10-21 11:29:05 +080028#include <linux/stop_machine.h>
Paul E. McKenneyf41d9112009-08-22 13:56:52 -070029
Paul E. McKenney26845c22010-04-13 14:19:23 -070030/*
31 * Check the RCU kernel configuration parameters and print informative
32 * messages about anything out of the ordinary. If you like #ifdef, you
33 * will love this function.
34 */
35static void __init rcu_bootup_announce_oddness(void)
36{
37#ifdef CONFIG_RCU_TRACE
38 printk(KERN_INFO "\tRCU debugfs-based tracing is enabled.\n");
39#endif
40#if (defined(CONFIG_64BIT) && CONFIG_RCU_FANOUT != 64) || (!defined(CONFIG_64BIT) && CONFIG_RCU_FANOUT != 32)
41 printk(KERN_INFO "\tCONFIG_RCU_FANOUT set to non-default value of %d\n",
42 CONFIG_RCU_FANOUT);
43#endif
44#ifdef CONFIG_RCU_FANOUT_EXACT
45 printk(KERN_INFO "\tHierarchical RCU autobalancing is disabled.\n");
46#endif
47#ifdef CONFIG_RCU_FAST_NO_HZ
48 printk(KERN_INFO
49 "\tRCU dyntick-idle grace-period acceleration is enabled.\n");
50#endif
51#ifdef CONFIG_PROVE_RCU
52 printk(KERN_INFO "\tRCU lockdep checking is enabled.\n");
53#endif
54#ifdef CONFIG_RCU_TORTURE_TEST_RUNNABLE
55 printk(KERN_INFO "\tRCU torture testing starts during boot.\n");
56#endif
Paul E. McKenney81a294c2010-08-30 09:52:50 -070057#if defined(CONFIG_TREE_PREEMPT_RCU) && !defined(CONFIG_RCU_CPU_STALL_VERBOSE)
Paul E. McKenney26845c22010-04-13 14:19:23 -070058 printk(KERN_INFO "\tVerbose stalled-CPUs detection is disabled.\n");
59#endif
60#if NUM_RCU_LVL_4 != 0
61 printk(KERN_INFO "\tExperimental four-level hierarchy is enabled.\n");
62#endif
63}
64
Paul E. McKenneyf41d9112009-08-22 13:56:52 -070065#ifdef CONFIG_TREE_PREEMPT_RCU
66
67struct rcu_state rcu_preempt_state = RCU_STATE_INITIALIZER(rcu_preempt_state);
68DEFINE_PER_CPU(struct rcu_data, rcu_preempt_data);
Paul E. McKenney27f4d282011-02-07 12:47:15 -080069static struct rcu_state *rcu_state = &rcu_preempt_state;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -070070
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -080071static int rcu_preempted_readers_exp(struct rcu_node *rnp);
72
Paul E. McKenneyf41d9112009-08-22 13:56:52 -070073/*
74 * Tell them what RCU they are running.
75 */
Paul E. McKenney0e0fc1c2009-11-11 11:28:06 -080076static void __init rcu_bootup_announce(void)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -070077{
Paul E. McKenney6cc68792011-03-02 13:15:15 -080078 printk(KERN_INFO "Preemptible hierarchical RCU implementation.\n");
Paul E. McKenney26845c22010-04-13 14:19:23 -070079 rcu_bootup_announce_oddness();
Paul E. McKenneyf41d9112009-08-22 13:56:52 -070080}
81
82/*
83 * Return the number of RCU-preempt batches processed thus far
84 * for debug and statistics.
85 */
86long rcu_batches_completed_preempt(void)
87{
88 return rcu_preempt_state.completed;
89}
90EXPORT_SYMBOL_GPL(rcu_batches_completed_preempt);
91
92/*
93 * Return the number of RCU batches processed thus far for debug & stats.
94 */
95long rcu_batches_completed(void)
96{
97 return rcu_batches_completed_preempt();
98}
99EXPORT_SYMBOL_GPL(rcu_batches_completed);
100
101/*
Paul E. McKenneybf66f182010-01-04 15:09:10 -0800102 * Force a quiescent state for preemptible RCU.
103 */
104void rcu_force_quiescent_state(void)
105{
106 force_quiescent_state(&rcu_preempt_state, 0);
107}
108EXPORT_SYMBOL_GPL(rcu_force_quiescent_state);
109
110/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800111 * Record a preemptible-RCU quiescent state for the specified CPU. Note
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700112 * that this just means that the task currently running on the CPU is
113 * not in a quiescent state. There might be any number of tasks blocked
114 * while in an RCU read-side critical section.
Paul E. McKenney25502a62010-04-01 17:37:01 -0700115 *
116 * Unlike the other rcu_*_qs() functions, callers to this function
117 * must disable irqs in order to protect the assignment to
118 * ->rcu_read_unlock_special.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700119 */
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700120static void rcu_preempt_qs(int cpu)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700121{
122 struct rcu_data *rdp = &per_cpu(rcu_preempt_data, cpu);
Paul E. McKenney25502a62010-04-01 17:37:01 -0700123
Paul E. McKenneyc64ac3c2009-11-10 13:37:22 -0800124 rdp->passed_quiesc_completed = rdp->gpnum - 1;
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700125 barrier();
126 rdp->passed_quiesc = 1;
Paul E. McKenney25502a62010-04-01 17:37:01 -0700127 current->rcu_read_unlock_special &= ~RCU_READ_UNLOCK_NEED_QS;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700128}
129
130/*
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700131 * We have entered the scheduler, and the current task might soon be
132 * context-switched away from. If this task is in an RCU read-side
133 * critical section, we will no longer be able to rely on the CPU to
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800134 * record that fact, so we enqueue the task on the blkd_tasks list.
135 * The task will dequeue itself when it exits the outermost enclosing
136 * RCU read-side critical section. Therefore, the current grace period
137 * cannot be permitted to complete until the blkd_tasks list entries
138 * predating the current grace period drain, in other words, until
139 * rnp->gp_tasks becomes NULL.
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700140 *
141 * Caller must disable preemption.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700142 */
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700143static void rcu_preempt_note_context_switch(int cpu)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700144{
145 struct task_struct *t = current;
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700146 unsigned long flags;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700147 struct rcu_data *rdp;
148 struct rcu_node *rnp;
149
150 if (t->rcu_read_lock_nesting &&
151 (t->rcu_read_unlock_special & RCU_READ_UNLOCK_BLOCKED) == 0) {
152
153 /* Possibly blocking in an RCU read-side critical section. */
Lai Jiangshan394f99a2010-06-28 16:25:04 +0800154 rdp = per_cpu_ptr(rcu_preempt_state.rda, cpu);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700155 rnp = rdp->mynode;
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800156 raw_spin_lock_irqsave(&rnp->lock, flags);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700157 t->rcu_read_unlock_special |= RCU_READ_UNLOCK_BLOCKED;
Paul E. McKenney86848962009-08-27 15:00:12 -0700158 t->rcu_blocked_node = rnp;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700159
160 /*
161 * If this CPU has already checked in, then this task
162 * will hold up the next grace period rather than the
163 * current grace period. Queue the task accordingly.
164 * If the task is queued for the current grace period
165 * (i.e., this CPU has not yet passed through a quiescent
166 * state for the current grace period), then as long
167 * as that task remains queued, the current grace period
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800168 * cannot end. Note that there is some uncertainty as
169 * to exactly when the current grace period started.
170 * We take a conservative approach, which can result
171 * in unnecessarily waiting on tasks that started very
172 * slightly after the current grace period began. C'est
173 * la vie!!!
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700174 *
175 * But first, note that the current CPU must still be
176 * on line!
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700177 */
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700178 WARN_ON_ONCE((rdp->grpmask & rnp->qsmaskinit) == 0);
Paul E. McKenneye7d88422009-09-18 09:50:18 -0700179 WARN_ON_ONCE(!list_empty(&t->rcu_node_entry));
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800180 if ((rnp->qsmask & rdp->grpmask) && rnp->gp_tasks != NULL) {
181 list_add(&t->rcu_node_entry, rnp->gp_tasks->prev);
182 rnp->gp_tasks = &t->rcu_node_entry;
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800183#ifdef CONFIG_RCU_BOOST
184 if (rnp->boost_tasks != NULL)
185 rnp->boost_tasks = rnp->gp_tasks;
186#endif /* #ifdef CONFIG_RCU_BOOST */
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800187 } else {
188 list_add(&t->rcu_node_entry, &rnp->blkd_tasks);
189 if (rnp->qsmask & rdp->grpmask)
190 rnp->gp_tasks = &t->rcu_node_entry;
191 }
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800192 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700193 }
194
195 /*
196 * Either we were not in an RCU read-side critical section to
197 * begin with, or we have now recorded that critical section
198 * globally. Either way, we can now note a quiescent state
199 * for this CPU. Again, if we were in an RCU read-side critical
200 * section, and if that critical section was blocking the current
201 * grace period, then the fact that the task has been enqueued
202 * means that we continue to block the current grace period.
203 */
Paul E. McKenneye7d88422009-09-18 09:50:18 -0700204 local_irq_save(flags);
Paul E. McKenney25502a62010-04-01 17:37:01 -0700205 rcu_preempt_qs(cpu);
Paul E. McKenneye7d88422009-09-18 09:50:18 -0700206 local_irq_restore(flags);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700207}
208
209/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800210 * Tree-preemptible RCU implementation for rcu_read_lock().
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700211 * Just increment ->rcu_read_lock_nesting, shared state will be updated
212 * if we block.
213 */
214void __rcu_read_lock(void)
215{
Paul E. McKenney80dcf602010-08-19 16:57:45 -0700216 current->rcu_read_lock_nesting++;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700217 barrier(); /* needed if we ever invoke rcu_read_lock in rcutree.c */
218}
219EXPORT_SYMBOL_GPL(__rcu_read_lock);
220
Paul E. McKenneyfc2219d2009-09-23 09:50:41 -0700221/*
222 * Check for preempted RCU readers blocking the current grace period
223 * for the specified rcu_node structure. If the caller needs a reliable
224 * answer, it must hold the rcu_node's ->lock.
225 */
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800226static int rcu_preempt_blocked_readers_cgp(struct rcu_node *rnp)
Paul E. McKenneyfc2219d2009-09-23 09:50:41 -0700227{
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800228 return rnp->gp_tasks != NULL;
Paul E. McKenneyfc2219d2009-09-23 09:50:41 -0700229}
230
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800231/*
232 * Record a quiescent state for all tasks that were previously queued
233 * on the specified rcu_node structure and that were blocking the current
234 * RCU grace period. The caller must hold the specified rnp->lock with
235 * irqs disabled, and this lock is released upon return, but irqs remain
236 * disabled.
237 */
Paul E. McKenneyd3f6bad2009-12-02 12:10:13 -0800238static void rcu_report_unblock_qs_rnp(struct rcu_node *rnp, unsigned long flags)
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800239 __releases(rnp->lock)
240{
241 unsigned long mask;
242 struct rcu_node *rnp_p;
243
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800244 if (rnp->qsmask != 0 || rcu_preempt_blocked_readers_cgp(rnp)) {
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800245 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800246 return; /* Still need more quiescent states! */
247 }
248
249 rnp_p = rnp->parent;
250 if (rnp_p == NULL) {
251 /*
252 * Either there is only one rcu_node in the tree,
253 * or tasks were kicked up to root rcu_node due to
254 * CPUs going offline.
255 */
Paul E. McKenneyd3f6bad2009-12-02 12:10:13 -0800256 rcu_report_qs_rsp(&rcu_preempt_state, flags);
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800257 return;
258 }
259
260 /* Report up the rest of the hierarchy. */
261 mask = rnp->grpmask;
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800262 raw_spin_unlock(&rnp->lock); /* irqs remain disabled. */
263 raw_spin_lock(&rnp_p->lock); /* irqs already disabled. */
Paul E. McKenneyd3f6bad2009-12-02 12:10:13 -0800264 rcu_report_qs_rnp(mask, &rcu_preempt_state, rnp_p, flags);
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800265}
266
267/*
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800268 * Advance a ->blkd_tasks-list pointer to the next entry, instead
269 * returning NULL if at the end of the list.
270 */
271static struct list_head *rcu_next_node_entry(struct task_struct *t,
272 struct rcu_node *rnp)
273{
274 struct list_head *np;
275
276 np = t->rcu_node_entry.next;
277 if (np == &rnp->blkd_tasks)
278 np = NULL;
279 return np;
280}
281
282/*
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800283 * Handle special cases during rcu_read_unlock(), such as needing to
284 * notify RCU core processing or task having blocked during the RCU
285 * read-side critical section.
286 */
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700287static void rcu_read_unlock_special(struct task_struct *t)
288{
289 int empty;
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800290 int empty_exp;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700291 unsigned long flags;
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800292 struct list_head *np;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700293 struct rcu_node *rnp;
294 int special;
295
296 /* NMI handlers cannot block and cannot safely manipulate state. */
297 if (in_nmi())
298 return;
299
300 local_irq_save(flags);
301
302 /*
303 * If RCU core is waiting for this CPU to exit critical section,
304 * let it know that we have done so.
305 */
306 special = t->rcu_read_unlock_special;
307 if (special & RCU_READ_UNLOCK_NEED_QS) {
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700308 rcu_preempt_qs(smp_processor_id());
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700309 }
310
311 /* Hardware IRQ handlers cannot block. */
312 if (in_irq()) {
313 local_irq_restore(flags);
314 return;
315 }
316
317 /* Clean up if blocked during RCU read-side critical section. */
318 if (special & RCU_READ_UNLOCK_BLOCKED) {
319 t->rcu_read_unlock_special &= ~RCU_READ_UNLOCK_BLOCKED;
320
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700321 /*
322 * Remove this task from the list it blocked on. The
323 * task can migrate while we acquire the lock, but at
324 * most one time. So at most two passes through loop.
325 */
326 for (;;) {
Paul E. McKenney86848962009-08-27 15:00:12 -0700327 rnp = t->rcu_blocked_node;
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800328 raw_spin_lock(&rnp->lock); /* irqs already disabled. */
Paul E. McKenney86848962009-08-27 15:00:12 -0700329 if (rnp == t->rcu_blocked_node)
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700330 break;
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800331 raw_spin_unlock(&rnp->lock); /* irqs remain disabled. */
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700332 }
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800333 empty = !rcu_preempt_blocked_readers_cgp(rnp);
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800334 empty_exp = !rcu_preempted_readers_exp(rnp);
335 smp_mb(); /* ensure expedited fastpath sees end of RCU c-s. */
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800336 np = rcu_next_node_entry(t, rnp);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700337 list_del_init(&t->rcu_node_entry);
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800338 if (&t->rcu_node_entry == rnp->gp_tasks)
339 rnp->gp_tasks = np;
340 if (&t->rcu_node_entry == rnp->exp_tasks)
341 rnp->exp_tasks = np;
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800342#ifdef CONFIG_RCU_BOOST
343 if (&t->rcu_node_entry == rnp->boost_tasks)
344 rnp->boost_tasks = np;
345#endif /* #ifdef CONFIG_RCU_BOOST */
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700346 t->rcu_blocked_node = NULL;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700347
348 /*
349 * If this was the last task on the current list, and if
350 * we aren't waiting on any CPUs, report the quiescent state.
Paul E. McKenneyd3f6bad2009-12-02 12:10:13 -0800351 * Note that rcu_report_unblock_qs_rnp() releases rnp->lock.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700352 */
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800353 if (empty)
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800354 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800355 else
Paul E. McKenneyd3f6bad2009-12-02 12:10:13 -0800356 rcu_report_unblock_qs_rnp(rnp, flags);
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800357
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800358#ifdef CONFIG_RCU_BOOST
359 /* Unboost if we were boosted. */
360 if (special & RCU_READ_UNLOCK_BOOSTED) {
361 t->rcu_read_unlock_special &= ~RCU_READ_UNLOCK_BOOSTED;
362 rt_mutex_unlock(t->rcu_boost_mutex);
363 t->rcu_boost_mutex = NULL;
364 }
365#endif /* #ifdef CONFIG_RCU_BOOST */
366
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800367 /*
368 * If this was the last task on the expedited lists,
369 * then we need to report up the rcu_node hierarchy.
370 */
371 if (!empty_exp && !rcu_preempted_readers_exp(rnp))
372 rcu_report_exp_rnp(&rcu_preempt_state, rnp);
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800373 } else {
374 local_irq_restore(flags);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700375 }
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700376}
377
378/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800379 * Tree-preemptible RCU implementation for rcu_read_unlock().
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700380 * Decrement ->rcu_read_lock_nesting. If the result is zero (outermost
381 * rcu_read_unlock()) and ->rcu_read_unlock_special is non-zero, then
382 * invoke rcu_read_unlock_special() to clean up after a context switch
383 * in an RCU read-side critical section and other special cases.
384 */
385void __rcu_read_unlock(void)
386{
387 struct task_struct *t = current;
388
389 barrier(); /* needed if we ever invoke rcu_read_unlock in rcutree.c */
Paul E. McKenney80dcf602010-08-19 16:57:45 -0700390 --t->rcu_read_lock_nesting;
391 barrier(); /* decrement before load of ->rcu_read_unlock_special */
392 if (t->rcu_read_lock_nesting == 0 &&
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700393 unlikely(ACCESS_ONCE(t->rcu_read_unlock_special)))
394 rcu_read_unlock_special(t);
Paul E. McKenneycba82442010-01-04 16:04:01 -0800395#ifdef CONFIG_PROVE_LOCKING
396 WARN_ON_ONCE(ACCESS_ONCE(t->rcu_read_lock_nesting) < 0);
397#endif /* #ifdef CONFIG_PROVE_LOCKING */
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700398}
399EXPORT_SYMBOL_GPL(__rcu_read_unlock);
400
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800401#ifdef CONFIG_RCU_CPU_STALL_VERBOSE
402
403/*
404 * Dump detailed information for all tasks blocking the current RCU
405 * grace period on the specified rcu_node structure.
406 */
407static void rcu_print_detail_task_stall_rnp(struct rcu_node *rnp)
408{
409 unsigned long flags;
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800410 struct task_struct *t;
411
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800412 if (!rcu_preempt_blocked_readers_cgp(rnp))
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800413 return;
414 raw_spin_lock_irqsave(&rnp->lock, flags);
415 t = list_entry(rnp->gp_tasks,
416 struct task_struct, rcu_node_entry);
417 list_for_each_entry_continue(t, &rnp->blkd_tasks, rcu_node_entry)
418 sched_show_task(t);
419 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800420}
421
422/*
423 * Dump detailed information for all tasks blocking the current RCU
424 * grace period.
425 */
426static void rcu_print_detail_task_stall(struct rcu_state *rsp)
427{
428 struct rcu_node *rnp = rcu_get_root(rsp);
429
430 rcu_print_detail_task_stall_rnp(rnp);
431 rcu_for_each_leaf_node(rsp, rnp)
432 rcu_print_detail_task_stall_rnp(rnp);
433}
434
435#else /* #ifdef CONFIG_RCU_CPU_STALL_VERBOSE */
436
437static void rcu_print_detail_task_stall(struct rcu_state *rsp)
438{
439}
440
441#endif /* #else #ifdef CONFIG_RCU_CPU_STALL_VERBOSE */
442
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700443/*
444 * Scan the current list of tasks blocked within RCU read-side critical
445 * sections, printing out the tid of each.
446 */
447static void rcu_print_task_stall(struct rcu_node *rnp)
448{
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700449 struct task_struct *t;
450
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800451 if (!rcu_preempt_blocked_readers_cgp(rnp))
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800452 return;
453 t = list_entry(rnp->gp_tasks,
454 struct task_struct, rcu_node_entry);
455 list_for_each_entry_continue(t, &rnp->blkd_tasks, rcu_node_entry)
456 printk(" P%d", t->pid);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700457}
458
Paul E. McKenney53d84e02010-08-10 14:28:53 -0700459/*
460 * Suppress preemptible RCU's CPU stall warnings by pushing the
461 * time of the next stall-warning message comfortably far into the
462 * future.
463 */
464static void rcu_preempt_stall_reset(void)
465{
466 rcu_preempt_state.jiffies_stall = jiffies + ULONG_MAX / 2;
467}
468
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700469/*
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700470 * Check that the list of blocked tasks for the newly completed grace
471 * period is in fact empty. It is a serious bug to complete a grace
472 * period that still has RCU readers blocked! This function must be
473 * invoked -before- updating this rnp's ->gpnum, and the rnp's ->lock
474 * must be held by the caller.
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800475 *
476 * Also, if there are blocked tasks on the list, they automatically
477 * block the newly created grace period, so set up ->gp_tasks accordingly.
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700478 */
479static void rcu_preempt_check_blocked_tasks(struct rcu_node *rnp)
480{
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800481 WARN_ON_ONCE(rcu_preempt_blocked_readers_cgp(rnp));
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800482 if (!list_empty(&rnp->blkd_tasks))
483 rnp->gp_tasks = rnp->blkd_tasks.next;
Paul E. McKenney28ecd582009-09-18 09:50:17 -0700484 WARN_ON_ONCE(rnp->qsmask);
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700485}
486
Paul E. McKenney33f76142009-08-24 09:42:01 -0700487#ifdef CONFIG_HOTPLUG_CPU
488
489/*
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700490 * Handle tasklist migration for case in which all CPUs covered by the
491 * specified rcu_node have gone offline. Move them up to the root
492 * rcu_node. The reason for not just moving them to the immediate
493 * parent is to remove the need for rcu_read_unlock_special() to
494 * make more than two attempts to acquire the target rcu_node's lock.
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800495 * Returns true if there were tasks blocking the current RCU grace
496 * period.
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700497 *
Paul E. McKenney237c80c2009-10-15 09:26:14 -0700498 * Returns 1 if there was previously a task blocking the current grace
499 * period on the specified rcu_node structure.
500 *
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700501 * The caller must hold rnp->lock with irqs disabled.
502 */
Paul E. McKenney237c80c2009-10-15 09:26:14 -0700503static int rcu_preempt_offline_tasks(struct rcu_state *rsp,
504 struct rcu_node *rnp,
505 struct rcu_data *rdp)
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700506{
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700507 struct list_head *lp;
508 struct list_head *lp_root;
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800509 int retval = 0;
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700510 struct rcu_node *rnp_root = rcu_get_root(rsp);
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800511 struct task_struct *t;
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700512
Paul E. McKenney86848962009-08-27 15:00:12 -0700513 if (rnp == rnp_root) {
514 WARN_ONCE(1, "Last CPU thought to be offlined?");
Paul E. McKenney237c80c2009-10-15 09:26:14 -0700515 return 0; /* Shouldn't happen: at least one CPU online. */
Paul E. McKenney86848962009-08-27 15:00:12 -0700516 }
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800517
518 /* If we are on an internal node, complain bitterly. */
519 WARN_ON_ONCE(rnp != rdp->mynode);
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700520
521 /*
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800522 * Move tasks up to root rcu_node. Don't try to get fancy for
523 * this corner-case operation -- just put this node's tasks
524 * at the head of the root node's list, and update the root node's
525 * ->gp_tasks and ->exp_tasks pointers to those of this node's,
526 * if non-NULL. This might result in waiting for more tasks than
527 * absolutely necessary, but this is a good performance/complexity
528 * tradeoff.
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700529 */
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800530 if (rcu_preempt_blocked_readers_cgp(rnp))
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800531 retval |= RCU_OFL_TASKS_NORM_GP;
532 if (rcu_preempted_readers_exp(rnp))
533 retval |= RCU_OFL_TASKS_EXP_GP;
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800534 lp = &rnp->blkd_tasks;
535 lp_root = &rnp_root->blkd_tasks;
536 while (!list_empty(lp)) {
537 t = list_entry(lp->next, typeof(*t), rcu_node_entry);
538 raw_spin_lock(&rnp_root->lock); /* irqs already disabled */
539 list_del(&t->rcu_node_entry);
540 t->rcu_blocked_node = rnp_root;
541 list_add(&t->rcu_node_entry, lp_root);
542 if (&t->rcu_node_entry == rnp->gp_tasks)
543 rnp_root->gp_tasks = rnp->gp_tasks;
544 if (&t->rcu_node_entry == rnp->exp_tasks)
545 rnp_root->exp_tasks = rnp->exp_tasks;
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800546#ifdef CONFIG_RCU_BOOST
547 if (&t->rcu_node_entry == rnp->boost_tasks)
548 rnp_root->boost_tasks = rnp->boost_tasks;
549#endif /* #ifdef CONFIG_RCU_BOOST */
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800550 raw_spin_unlock(&rnp_root->lock); /* irqs still disabled */
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700551 }
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800552
553#ifdef CONFIG_RCU_BOOST
554 /* In case root is being boosted and leaf is not. */
555 raw_spin_lock(&rnp_root->lock); /* irqs already disabled */
556 if (rnp_root->boost_tasks != NULL &&
557 rnp_root->boost_tasks != rnp_root->gp_tasks)
558 rnp_root->boost_tasks = rnp_root->gp_tasks;
559 raw_spin_unlock(&rnp_root->lock); /* irqs still disabled */
560#endif /* #ifdef CONFIG_RCU_BOOST */
561
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800562 rnp->gp_tasks = NULL;
563 rnp->exp_tasks = NULL;
Paul E. McKenney237c80c2009-10-15 09:26:14 -0700564 return retval;
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700565}
566
567/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800568 * Do CPU-offline processing for preemptible RCU.
Paul E. McKenney33f76142009-08-24 09:42:01 -0700569 */
570static void rcu_preempt_offline_cpu(int cpu)
571{
572 __rcu_offline_cpu(cpu, &rcu_preempt_state);
573}
574
575#endif /* #ifdef CONFIG_HOTPLUG_CPU */
576
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700577/*
578 * Check for a quiescent state from the current CPU. When a task blocks,
579 * the task is recorded in the corresponding CPU's rcu_node structure,
580 * which is checked elsewhere.
581 *
582 * Caller must disable hard irqs.
583 */
584static void rcu_preempt_check_callbacks(int cpu)
585{
586 struct task_struct *t = current;
587
588 if (t->rcu_read_lock_nesting == 0) {
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700589 rcu_preempt_qs(cpu);
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700590 return;
591 }
Paul E. McKenneya71fca52009-09-18 10:28:19 -0700592 if (per_cpu(rcu_preempt_data, cpu).qs_pending)
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700593 t->rcu_read_unlock_special |= RCU_READ_UNLOCK_NEED_QS;
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700594}
595
596/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800597 * Process callbacks for preemptible RCU.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700598 */
599static void rcu_preempt_process_callbacks(void)
600{
601 __rcu_process_callbacks(&rcu_preempt_state,
602 &__get_cpu_var(rcu_preempt_data));
603}
604
605/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800606 * Queue a preemptible-RCU callback for invocation after a grace period.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700607 */
608void call_rcu(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
609{
610 __call_rcu(head, func, &rcu_preempt_state);
611}
612EXPORT_SYMBOL_GPL(call_rcu);
613
Paul E. McKenney6ebb2372009-11-22 08:53:50 -0800614/**
615 * synchronize_rcu - wait until a grace period has elapsed.
616 *
617 * Control will return to the caller some time after a full grace
618 * period has elapsed, in other words after all currently executing RCU
Paul E. McKenney77d84852010-07-08 17:38:59 -0700619 * read-side critical sections have completed. Note, however, that
620 * upon return from synchronize_rcu(), the caller might well be executing
621 * concurrently with new RCU read-side critical sections that began while
622 * synchronize_rcu() was waiting. RCU read-side critical sections are
623 * delimited by rcu_read_lock() and rcu_read_unlock(), and may be nested.
Paul E. McKenney6ebb2372009-11-22 08:53:50 -0800624 */
625void synchronize_rcu(void)
626{
627 struct rcu_synchronize rcu;
628
629 if (!rcu_scheduler_active)
630 return;
631
Paul E. McKenney72d5a9f2010-05-10 17:12:17 -0700632 init_rcu_head_on_stack(&rcu.head);
Paul E. McKenney6ebb2372009-11-22 08:53:50 -0800633 init_completion(&rcu.completion);
634 /* Will wake me after RCU finished. */
635 call_rcu(&rcu.head, wakeme_after_rcu);
636 /* Wait for it. */
637 wait_for_completion(&rcu.completion);
Paul E. McKenney72d5a9f2010-05-10 17:12:17 -0700638 destroy_rcu_head_on_stack(&rcu.head);
Paul E. McKenney6ebb2372009-11-22 08:53:50 -0800639}
640EXPORT_SYMBOL_GPL(synchronize_rcu);
641
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800642static DECLARE_WAIT_QUEUE_HEAD(sync_rcu_preempt_exp_wq);
643static long sync_rcu_preempt_exp_count;
644static DEFINE_MUTEX(sync_rcu_preempt_exp_mutex);
645
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700646/*
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800647 * Return non-zero if there are any tasks in RCU read-side critical
648 * sections blocking the current preemptible-RCU expedited grace period.
649 * If there is no preemptible-RCU expedited grace period currently in
650 * progress, returns zero unconditionally.
651 */
652static int rcu_preempted_readers_exp(struct rcu_node *rnp)
653{
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800654 return rnp->exp_tasks != NULL;
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800655}
656
657/*
658 * return non-zero if there is no RCU expedited grace period in progress
659 * for the specified rcu_node structure, in other words, if all CPUs and
660 * tasks covered by the specified rcu_node structure have done their bit
661 * for the current expedited grace period. Works only for preemptible
662 * RCU -- other RCU implementation use other means.
663 *
664 * Caller must hold sync_rcu_preempt_exp_mutex.
665 */
666static int sync_rcu_preempt_exp_done(struct rcu_node *rnp)
667{
668 return !rcu_preempted_readers_exp(rnp) &&
669 ACCESS_ONCE(rnp->expmask) == 0;
670}
671
672/*
673 * Report the exit from RCU read-side critical section for the last task
674 * that queued itself during or before the current expedited preemptible-RCU
675 * grace period. This event is reported either to the rcu_node structure on
676 * which the task was queued or to one of that rcu_node structure's ancestors,
677 * recursively up the tree. (Calm down, calm down, we do the recursion
678 * iteratively!)
679 *
680 * Caller must hold sync_rcu_preempt_exp_mutex.
681 */
682static void rcu_report_exp_rnp(struct rcu_state *rsp, struct rcu_node *rnp)
683{
684 unsigned long flags;
685 unsigned long mask;
686
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800687 raw_spin_lock_irqsave(&rnp->lock, flags);
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800688 for (;;) {
689 if (!sync_rcu_preempt_exp_done(rnp))
690 break;
691 if (rnp->parent == NULL) {
692 wake_up(&sync_rcu_preempt_exp_wq);
693 break;
694 }
695 mask = rnp->grpmask;
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800696 raw_spin_unlock(&rnp->lock); /* irqs remain disabled */
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800697 rnp = rnp->parent;
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800698 raw_spin_lock(&rnp->lock); /* irqs already disabled */
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800699 rnp->expmask &= ~mask;
700 }
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800701 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800702}
703
704/*
705 * Snapshot the tasks blocking the newly started preemptible-RCU expedited
706 * grace period for the specified rcu_node structure. If there are no such
707 * tasks, report it up the rcu_node hierarchy.
708 *
709 * Caller must hold sync_rcu_preempt_exp_mutex and rsp->onofflock.
710 */
711static void
712sync_rcu_preempt_exp_init(struct rcu_state *rsp, struct rcu_node *rnp)
713{
Paul E. McKenney1217ed12011-05-04 21:43:49 -0700714 unsigned long flags;
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800715 int must_wait = 0;
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800716
Paul E. McKenney1217ed12011-05-04 21:43:49 -0700717 raw_spin_lock_irqsave(&rnp->lock, flags);
718 if (list_empty(&rnp->blkd_tasks))
719 raw_spin_unlock_irqrestore(&rnp->lock, flags);
720 else {
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800721 rnp->exp_tasks = rnp->blkd_tasks.next;
Paul E. McKenney1217ed12011-05-04 21:43:49 -0700722 rcu_initiate_boost(rnp, flags); /* releases rnp->lock */
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800723 must_wait = 1;
724 }
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800725 if (!must_wait)
726 rcu_report_exp_rnp(rsp, rnp);
727}
728
729/*
730 * Wait for an rcu-preempt grace period, but expedite it. The basic idea
731 * is to invoke synchronize_sched_expedited() to push all the tasks to
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800732 * the ->blkd_tasks lists and wait for this list to drain.
Paul E. McKenney019129d2009-10-14 10:15:56 -0700733 */
734void synchronize_rcu_expedited(void)
735{
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800736 unsigned long flags;
737 struct rcu_node *rnp;
738 struct rcu_state *rsp = &rcu_preempt_state;
739 long snap;
740 int trycount = 0;
741
742 smp_mb(); /* Caller's modifications seen first by other CPUs. */
743 snap = ACCESS_ONCE(sync_rcu_preempt_exp_count) + 1;
744 smp_mb(); /* Above access cannot bleed into critical section. */
745
746 /*
747 * Acquire lock, falling back to synchronize_rcu() if too many
748 * lock-acquisition failures. Of course, if someone does the
749 * expedited grace period for us, just leave.
750 */
751 while (!mutex_trylock(&sync_rcu_preempt_exp_mutex)) {
752 if (trycount++ < 10)
753 udelay(trycount * num_online_cpus());
754 else {
755 synchronize_rcu();
756 return;
757 }
758 if ((ACCESS_ONCE(sync_rcu_preempt_exp_count) - snap) > 0)
759 goto mb_ret; /* Others did our work for us. */
760 }
761 if ((ACCESS_ONCE(sync_rcu_preempt_exp_count) - snap) > 0)
762 goto unlock_mb_ret; /* Others did our work for us. */
763
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800764 /* force all RCU readers onto ->blkd_tasks lists. */
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800765 synchronize_sched_expedited();
766
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800767 raw_spin_lock_irqsave(&rsp->onofflock, flags);
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800768
769 /* Initialize ->expmask for all non-leaf rcu_node structures. */
770 rcu_for_each_nonleaf_node_breadth_first(rsp, rnp) {
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800771 raw_spin_lock(&rnp->lock); /* irqs already disabled. */
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800772 rnp->expmask = rnp->qsmaskinit;
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800773 raw_spin_unlock(&rnp->lock); /* irqs remain disabled. */
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800774 }
775
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800776 /* Snapshot current state of ->blkd_tasks lists. */
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800777 rcu_for_each_leaf_node(rsp, rnp)
778 sync_rcu_preempt_exp_init(rsp, rnp);
779 if (NUM_RCU_NODES > 1)
780 sync_rcu_preempt_exp_init(rsp, rcu_get_root(rsp));
781
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800782 raw_spin_unlock_irqrestore(&rsp->onofflock, flags);
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800783
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800784 /* Wait for snapshotted ->blkd_tasks lists to drain. */
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -0800785 rnp = rcu_get_root(rsp);
786 wait_event(sync_rcu_preempt_exp_wq,
787 sync_rcu_preempt_exp_done(rnp));
788
789 /* Clean up and exit. */
790 smp_mb(); /* ensure expedited GP seen before counter increment. */
791 ACCESS_ONCE(sync_rcu_preempt_exp_count)++;
792unlock_mb_ret:
793 mutex_unlock(&sync_rcu_preempt_exp_mutex);
794mb_ret:
795 smp_mb(); /* ensure subsequent action seen after grace period. */
Paul E. McKenney019129d2009-10-14 10:15:56 -0700796}
797EXPORT_SYMBOL_GPL(synchronize_rcu_expedited);
798
799/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800800 * Check to see if there is any immediate preemptible-RCU-related work
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700801 * to be done.
802 */
803static int rcu_preempt_pending(int cpu)
804{
805 return __rcu_pending(&rcu_preempt_state,
806 &per_cpu(rcu_preempt_data, cpu));
807}
808
809/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800810 * Does preemptible RCU need the CPU to stay out of dynticks mode?
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700811 */
812static int rcu_preempt_needs_cpu(int cpu)
813{
814 return !!per_cpu(rcu_preempt_data, cpu).nxtlist;
815}
816
Paul E. McKenneye74f4c42009-10-06 21:48:17 -0700817/**
818 * rcu_barrier - Wait until all in-flight call_rcu() callbacks complete.
819 */
820void rcu_barrier(void)
821{
822 _rcu_barrier(&rcu_preempt_state, call_rcu);
823}
824EXPORT_SYMBOL_GPL(rcu_barrier);
825
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700826/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800827 * Initialize preemptible RCU's per-CPU data.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700828 */
829static void __cpuinit rcu_preempt_init_percpu_data(int cpu)
830{
831 rcu_init_percpu_data(cpu, &rcu_preempt_state, 1);
832}
833
834/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800835 * Move preemptible RCU's callbacks from dying CPU to other online CPU.
Paul E. McKenneye74f4c42009-10-06 21:48:17 -0700836 */
Lai Jiangshan29494be2010-10-20 14:13:06 +0800837static void rcu_preempt_send_cbs_to_online(void)
Paul E. McKenneye74f4c42009-10-06 21:48:17 -0700838{
Lai Jiangshan29494be2010-10-20 14:13:06 +0800839 rcu_send_cbs_to_online(&rcu_preempt_state);
Paul E. McKenneye74f4c42009-10-06 21:48:17 -0700840}
841
842/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800843 * Initialize preemptible RCU's state structures.
Paul E. McKenney1eba8f82009-09-23 09:50:42 -0700844 */
845static void __init __rcu_init_preempt(void)
846{
Lai Jiangshan394f99a2010-06-28 16:25:04 +0800847 rcu_init_one(&rcu_preempt_state, &rcu_preempt_data);
Paul E. McKenney1eba8f82009-09-23 09:50:42 -0700848}
849
850/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800851 * Check for a task exiting while in a preemptible-RCU read-side
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700852 * critical section, clean up if so. No need to issue warnings,
853 * as debug_check_no_locks_held() already does this if lockdep
854 * is enabled.
855 */
856void exit_rcu(void)
857{
858 struct task_struct *t = current;
859
860 if (t->rcu_read_lock_nesting == 0)
861 return;
862 t->rcu_read_lock_nesting = 1;
Lai Jiangshan13491a02011-02-25 11:37:59 -0800863 __rcu_read_unlock();
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700864}
865
866#else /* #ifdef CONFIG_TREE_PREEMPT_RCU */
867
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800868static struct rcu_state *rcu_state = &rcu_sched_state;
869
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700870/*
871 * Tell them what RCU they are running.
872 */
Paul E. McKenney0e0fc1c2009-11-11 11:28:06 -0800873static void __init rcu_bootup_announce(void)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700874{
875 printk(KERN_INFO "Hierarchical RCU implementation.\n");
Paul E. McKenney26845c22010-04-13 14:19:23 -0700876 rcu_bootup_announce_oddness();
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700877}
878
879/*
880 * Return the number of RCU batches processed thus far for debug & stats.
881 */
882long rcu_batches_completed(void)
883{
884 return rcu_batches_completed_sched();
885}
886EXPORT_SYMBOL_GPL(rcu_batches_completed);
887
888/*
Paul E. McKenneybf66f182010-01-04 15:09:10 -0800889 * Force a quiescent state for RCU, which, because there is no preemptible
890 * RCU, becomes the same as rcu-sched.
891 */
892void rcu_force_quiescent_state(void)
893{
894 rcu_sched_force_quiescent_state();
895}
896EXPORT_SYMBOL_GPL(rcu_force_quiescent_state);
897
898/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800899 * Because preemptible RCU does not exist, we never have to check for
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700900 * CPUs being in quiescent states.
901 */
Paul E. McKenneyc3422be2009-09-13 09:15:10 -0700902static void rcu_preempt_note_context_switch(int cpu)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700903{
904}
905
Paul E. McKenneyfc2219d2009-09-23 09:50:41 -0700906/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800907 * Because preemptible RCU does not exist, there are never any preempted
Paul E. McKenneyfc2219d2009-09-23 09:50:41 -0700908 * RCU readers.
909 */
Paul E. McKenney27f4d282011-02-07 12:47:15 -0800910static int rcu_preempt_blocked_readers_cgp(struct rcu_node *rnp)
Paul E. McKenneyfc2219d2009-09-23 09:50:41 -0700911{
912 return 0;
913}
914
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800915#ifdef CONFIG_HOTPLUG_CPU
916
917/* Because preemptible RCU does not exist, no quieting of tasks. */
Paul E. McKenneyd3f6bad2009-12-02 12:10:13 -0800918static void rcu_report_unblock_qs_rnp(struct rcu_node *rnp, unsigned long flags)
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800919{
Paul E. McKenney1304afb2010-02-22 17:05:02 -0800920 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenneyb668c9c2009-11-22 08:53:48 -0800921}
922
923#endif /* #ifdef CONFIG_HOTPLUG_CPU */
924
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700925/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800926 * Because preemptible RCU does not exist, we never have to check for
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700927 * tasks blocked within RCU read-side critical sections.
928 */
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800929static void rcu_print_detail_task_stall(struct rcu_state *rsp)
930{
931}
932
933/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800934 * Because preemptible RCU does not exist, we never have to check for
Paul E. McKenney1ed509a2010-02-22 17:05:05 -0800935 * tasks blocked within RCU read-side critical sections.
936 */
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700937static void rcu_print_task_stall(struct rcu_node *rnp)
938{
939}
940
Paul E. McKenney53d84e02010-08-10 14:28:53 -0700941/*
942 * Because preemptible RCU does not exist, there is no need to suppress
943 * its CPU stall warnings.
944 */
945static void rcu_preempt_stall_reset(void)
946{
947}
948
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700949/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800950 * Because there is no preemptible RCU, there can be no readers blocked,
Paul E. McKenney49e29122009-09-18 09:50:19 -0700951 * so there is no need to check for blocked tasks. So check only for
952 * bogus qsmask values.
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700953 */
954static void rcu_preempt_check_blocked_tasks(struct rcu_node *rnp)
955{
Paul E. McKenney49e29122009-09-18 09:50:19 -0700956 WARN_ON_ONCE(rnp->qsmask);
Paul E. McKenneyb0e165c2009-09-13 09:15:09 -0700957}
958
Paul E. McKenney33f76142009-08-24 09:42:01 -0700959#ifdef CONFIG_HOTPLUG_CPU
960
961/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800962 * Because preemptible RCU does not exist, it never needs to migrate
Paul E. McKenney237c80c2009-10-15 09:26:14 -0700963 * tasks that were blocked within RCU read-side critical sections, and
964 * such non-existent tasks cannot possibly have been blocking the current
965 * grace period.
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700966 */
Paul E. McKenney237c80c2009-10-15 09:26:14 -0700967static int rcu_preempt_offline_tasks(struct rcu_state *rsp,
968 struct rcu_node *rnp,
969 struct rcu_data *rdp)
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700970{
Paul E. McKenney237c80c2009-10-15 09:26:14 -0700971 return 0;
Paul E. McKenneydd5d19b2009-08-27 14:58:16 -0700972}
973
974/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800975 * Because preemptible RCU does not exist, it never needs CPU-offline
Paul E. McKenney33f76142009-08-24 09:42:01 -0700976 * processing.
977 */
978static void rcu_preempt_offline_cpu(int cpu)
979{
980}
981
982#endif /* #ifdef CONFIG_HOTPLUG_CPU */
983
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700984/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800985 * Because preemptible RCU does not exist, it never has any callbacks
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700986 * to check.
987 */
Paul E. McKenney1eba8f82009-09-23 09:50:42 -0700988static void rcu_preempt_check_callbacks(int cpu)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700989{
990}
991
992/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -0800993 * Because preemptible RCU does not exist, it never has any callbacks
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700994 * to process.
995 */
Paul E. McKenney1eba8f82009-09-23 09:50:42 -0700996static void rcu_preempt_process_callbacks(void)
Paul E. McKenneyf41d9112009-08-22 13:56:52 -0700997{
998}
999
1000/*
Paul E. McKenney019129d2009-10-14 10:15:56 -07001001 * Wait for an rcu-preempt grace period, but make it happen quickly.
Paul E. McKenney6cc68792011-03-02 13:15:15 -08001002 * But because preemptible RCU does not exist, map to rcu-sched.
Paul E. McKenney019129d2009-10-14 10:15:56 -07001003 */
1004void synchronize_rcu_expedited(void)
1005{
1006 synchronize_sched_expedited();
1007}
1008EXPORT_SYMBOL_GPL(synchronize_rcu_expedited);
1009
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -08001010#ifdef CONFIG_HOTPLUG_CPU
1011
1012/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -08001013 * Because preemptible RCU does not exist, there is never any need to
Paul E. McKenneyd9a3da02009-12-02 12:10:15 -08001014 * report on tasks preempted in RCU read-side critical sections during
1015 * expedited RCU grace periods.
1016 */
1017static void rcu_report_exp_rnp(struct rcu_state *rsp, struct rcu_node *rnp)
1018{
1019 return;
1020}
1021
1022#endif /* #ifdef CONFIG_HOTPLUG_CPU */
1023
Paul E. McKenney019129d2009-10-14 10:15:56 -07001024/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -08001025 * Because preemptible RCU does not exist, it never has any work to do.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -07001026 */
1027static int rcu_preempt_pending(int cpu)
1028{
1029 return 0;
1030}
1031
1032/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -08001033 * Because preemptible RCU does not exist, it never needs any CPU.
Paul E. McKenneyf41d9112009-08-22 13:56:52 -07001034 */
1035static int rcu_preempt_needs_cpu(int cpu)
1036{
1037 return 0;
1038}
1039
1040/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -08001041 * Because preemptible RCU does not exist, rcu_barrier() is just
Paul E. McKenneye74f4c42009-10-06 21:48:17 -07001042 * another name for rcu_barrier_sched().
1043 */
1044void rcu_barrier(void)
1045{
1046 rcu_barrier_sched();
1047}
1048EXPORT_SYMBOL_GPL(rcu_barrier);
1049
1050/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -08001051 * Because preemptible RCU does not exist, there is no per-CPU
Paul E. McKenneyf41d9112009-08-22 13:56:52 -07001052 * data to initialize.
1053 */
1054static void __cpuinit rcu_preempt_init_percpu_data(int cpu)
1055{
1056}
1057
Paul E. McKenney1eba8f82009-09-23 09:50:42 -07001058/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -08001059 * Because there is no preemptible RCU, there are no callbacks to move.
Paul E. McKenneye74f4c42009-10-06 21:48:17 -07001060 */
Lai Jiangshan29494be2010-10-20 14:13:06 +08001061static void rcu_preempt_send_cbs_to_online(void)
Paul E. McKenneye74f4c42009-10-06 21:48:17 -07001062{
1063}
1064
1065/*
Paul E. McKenney6cc68792011-03-02 13:15:15 -08001066 * Because preemptible RCU does not exist, it need not be initialized.
Paul E. McKenney1eba8f82009-09-23 09:50:42 -07001067 */
1068static void __init __rcu_init_preempt(void)
1069{
1070}
1071
Paul E. McKenneyf41d9112009-08-22 13:56:52 -07001072#endif /* #else #ifdef CONFIG_TREE_PREEMPT_RCU */
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001073
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001074#ifdef CONFIG_RCU_BOOST
1075
1076#include "rtmutex_common.h"
1077
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001078#ifdef CONFIG_RCU_TRACE
1079
1080static void rcu_initiate_boost_trace(struct rcu_node *rnp)
1081{
1082 if (list_empty(&rnp->blkd_tasks))
1083 rnp->n_balk_blkd_tasks++;
1084 else if (rnp->exp_tasks == NULL && rnp->gp_tasks == NULL)
1085 rnp->n_balk_exp_gp_tasks++;
1086 else if (rnp->gp_tasks != NULL && rnp->boost_tasks != NULL)
1087 rnp->n_balk_boost_tasks++;
1088 else if (rnp->gp_tasks != NULL && rnp->qsmask != 0)
1089 rnp->n_balk_notblocked++;
1090 else if (rnp->gp_tasks != NULL &&
Paul E. McKenneya9f47932011-05-02 03:46:10 -07001091 ULONG_CMP_LT(jiffies, rnp->boost_time))
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001092 rnp->n_balk_notyet++;
1093 else
1094 rnp->n_balk_nos++;
1095}
1096
1097#else /* #ifdef CONFIG_RCU_TRACE */
1098
1099static void rcu_initiate_boost_trace(struct rcu_node *rnp)
1100{
1101}
1102
1103#endif /* #else #ifdef CONFIG_RCU_TRACE */
1104
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001105/*
1106 * Carry out RCU priority boosting on the task indicated by ->exp_tasks
1107 * or ->boost_tasks, advancing the pointer to the next task in the
1108 * ->blkd_tasks list.
1109 *
1110 * Note that irqs must be enabled: boosting the task can block.
1111 * Returns 1 if there are more tasks needing to be boosted.
1112 */
1113static int rcu_boost(struct rcu_node *rnp)
1114{
1115 unsigned long flags;
1116 struct rt_mutex mtx;
1117 struct task_struct *t;
1118 struct list_head *tb;
1119
1120 if (rnp->exp_tasks == NULL && rnp->boost_tasks == NULL)
1121 return 0; /* Nothing left to boost. */
1122
1123 raw_spin_lock_irqsave(&rnp->lock, flags);
1124
1125 /*
1126 * Recheck under the lock: all tasks in need of boosting
1127 * might exit their RCU read-side critical sections on their own.
1128 */
1129 if (rnp->exp_tasks == NULL && rnp->boost_tasks == NULL) {
1130 raw_spin_unlock_irqrestore(&rnp->lock, flags);
1131 return 0;
1132 }
1133
1134 /*
1135 * Preferentially boost tasks blocking expedited grace periods.
1136 * This cannot starve the normal grace periods because a second
1137 * expedited grace period must boost all blocked tasks, including
1138 * those blocking the pre-existing normal grace period.
1139 */
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001140 if (rnp->exp_tasks != NULL) {
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001141 tb = rnp->exp_tasks;
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001142 rnp->n_exp_boosts++;
1143 } else {
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001144 tb = rnp->boost_tasks;
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001145 rnp->n_normal_boosts++;
1146 }
1147 rnp->n_tasks_boosted++;
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001148
1149 /*
1150 * We boost task t by manufacturing an rt_mutex that appears to
1151 * be held by task t. We leave a pointer to that rt_mutex where
1152 * task t can find it, and task t will release the mutex when it
1153 * exits its outermost RCU read-side critical section. Then
1154 * simply acquiring this artificial rt_mutex will boost task
1155 * t's priority. (Thanks to tglx for suggesting this approach!)
1156 *
1157 * Note that task t must acquire rnp->lock to remove itself from
1158 * the ->blkd_tasks list, which it will do from exit() if from
1159 * nowhere else. We therefore are guaranteed that task t will
1160 * stay around at least until we drop rnp->lock. Note that
1161 * rnp->lock also resolves races between our priority boosting
1162 * and task t's exiting its outermost RCU read-side critical
1163 * section.
1164 */
1165 t = container_of(tb, struct task_struct, rcu_node_entry);
1166 rt_mutex_init_proxy_locked(&mtx, t);
1167 t->rcu_boost_mutex = &mtx;
1168 t->rcu_read_unlock_special |= RCU_READ_UNLOCK_BOOSTED;
1169 raw_spin_unlock_irqrestore(&rnp->lock, flags);
1170 rt_mutex_lock(&mtx); /* Side effect: boosts task t's priority. */
1171 rt_mutex_unlock(&mtx); /* Keep lockdep happy. */
1172
1173 return rnp->exp_tasks != NULL || rnp->boost_tasks != NULL;
1174}
1175
1176/*
1177 * Timer handler to initiate waking up of boost kthreads that
1178 * have yielded the CPU due to excessive numbers of tasks to
1179 * boost. We wake up the per-rcu_node kthread, which in turn
1180 * will wake up the booster kthread.
1181 */
1182static void rcu_boost_kthread_timer(unsigned long arg)
1183{
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001184 invoke_rcu_node_kthread((struct rcu_node *)arg);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001185}
1186
1187/*
1188 * Priority-boosting kthread. One per leaf rcu_node and one for the
1189 * root rcu_node.
1190 */
1191static int rcu_boost_kthread(void *arg)
1192{
1193 struct rcu_node *rnp = (struct rcu_node *)arg;
1194 int spincnt = 0;
1195 int more2boost;
1196
1197 for (;;) {
Paul E. McKenneyd71df902011-03-29 17:48:28 -07001198 rnp->boost_kthread_status = RCU_KTHREAD_WAITING;
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001199 wait_event_interruptible(rnp->boost_wq, rnp->boost_tasks ||
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001200 rnp->exp_tasks);
Paul E. McKenneyd71df902011-03-29 17:48:28 -07001201 rnp->boost_kthread_status = RCU_KTHREAD_RUNNING;
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001202 more2boost = rcu_boost(rnp);
1203 if (more2boost)
1204 spincnt++;
1205 else
1206 spincnt = 0;
1207 if (spincnt > 10) {
1208 rcu_yield(rcu_boost_kthread_timer, (unsigned long)rnp);
1209 spincnt = 0;
1210 }
1211 }
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001212 /* NOTREACHED */
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001213 return 0;
1214}
1215
1216/*
1217 * Check to see if it is time to start boosting RCU readers that are
1218 * blocking the current grace period, and, if so, tell the per-rcu_node
1219 * kthread to start boosting them. If there is an expedited grace
1220 * period in progress, it is always time to boost.
1221 *
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001222 * The caller must hold rnp->lock, which this function releases,
1223 * but irqs remain disabled. The ->boost_kthread_task is immortal,
1224 * so we don't need to worry about it going away.
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001225 */
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001226static void rcu_initiate_boost(struct rcu_node *rnp, unsigned long flags)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001227{
1228 struct task_struct *t;
1229
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001230 if (!rcu_preempt_blocked_readers_cgp(rnp) && rnp->exp_tasks == NULL) {
1231 rnp->n_balk_exp_gp_tasks++;
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001232 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001233 return;
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001234 }
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001235 if (rnp->exp_tasks != NULL ||
1236 (rnp->gp_tasks != NULL &&
1237 rnp->boost_tasks == NULL &&
1238 rnp->qsmask == 0 &&
1239 ULONG_CMP_GE(jiffies, rnp->boost_time))) {
1240 if (rnp->exp_tasks == NULL)
1241 rnp->boost_tasks = rnp->gp_tasks;
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001242 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001243 t = rnp->boost_kthread_task;
1244 if (t != NULL)
1245 wake_up_process(t);
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001246 } else {
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001247 rcu_initiate_boost_trace(rnp);
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001248 raw_spin_unlock_irqrestore(&rnp->lock, flags);
1249 }
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001250}
1251
Paul E. McKenney0f962a52011-04-14 12:13:53 -07001252/*
1253 * Set the affinity of the boost kthread. The CPU-hotplug locks are
1254 * held, so no one should be messing with the existence of the boost
1255 * kthread.
1256 */
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001257static void rcu_boost_kthread_setaffinity(struct rcu_node *rnp,
1258 cpumask_var_t cm)
1259{
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001260 struct task_struct *t;
1261
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001262 t = rnp->boost_kthread_task;
1263 if (t != NULL)
1264 set_cpus_allowed_ptr(rnp->boost_kthread_task, cm);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001265}
1266
1267#define RCU_BOOST_DELAY_JIFFIES DIV_ROUND_UP(CONFIG_RCU_BOOST_DELAY * HZ, 1000)
1268
1269/*
1270 * Do priority-boost accounting for the start of a new grace period.
1271 */
1272static void rcu_preempt_boost_start_gp(struct rcu_node *rnp)
1273{
1274 rnp->boost_time = jiffies + RCU_BOOST_DELAY_JIFFIES;
1275}
1276
1277/*
1278 * Initialize the RCU-boost waitqueue.
1279 */
1280static void __init rcu_init_boost_waitqueue(struct rcu_node *rnp)
1281{
1282 init_waitqueue_head(&rnp->boost_wq);
1283}
1284
1285/*
1286 * Create an RCU-boost kthread for the specified node if one does not
1287 * already exist. We only create this kthread for preemptible RCU.
1288 * Returns zero if all is well, a negated errno otherwise.
1289 */
1290static int __cpuinit rcu_spawn_one_boost_kthread(struct rcu_state *rsp,
1291 struct rcu_node *rnp,
1292 int rnp_index)
1293{
1294 unsigned long flags;
1295 struct sched_param sp;
1296 struct task_struct *t;
1297
1298 if (&rcu_preempt_state != rsp)
1299 return 0;
1300 if (rnp->boost_kthread_task != NULL)
1301 return 0;
1302 t = kthread_create(rcu_boost_kthread, (void *)rnp,
1303 "rcub%d", rnp_index);
1304 if (IS_ERR(t))
1305 return PTR_ERR(t);
1306 raw_spin_lock_irqsave(&rnp->lock, flags);
1307 rnp->boost_kthread_task = t;
1308 raw_spin_unlock_irqrestore(&rnp->lock, flags);
1309 wake_up_process(t);
1310 sp.sched_priority = RCU_KTHREAD_PRIO;
1311 sched_setscheduler_nocheck(t, SCHED_FIFO, &sp);
1312 return 0;
1313}
1314
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001315#else /* #ifdef CONFIG_RCU_BOOST */
1316
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001317static void rcu_initiate_boost(struct rcu_node *rnp, unsigned long flags)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001318{
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001319 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001320}
1321
1322static void rcu_boost_kthread_setaffinity(struct rcu_node *rnp,
1323 cpumask_var_t cm)
1324{
1325}
1326
1327static void rcu_preempt_boost_start_gp(struct rcu_node *rnp)
1328{
1329}
1330
1331static void __init rcu_init_boost_waitqueue(struct rcu_node *rnp)
1332{
1333}
1334
1335static int __cpuinit rcu_spawn_one_boost_kthread(struct rcu_state *rsp,
1336 struct rcu_node *rnp,
1337 int rnp_index)
1338{
1339 return 0;
1340}
1341
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001342#endif /* #else #ifdef CONFIG_RCU_BOOST */
1343
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001344#ifndef CONFIG_SMP
1345
1346void synchronize_sched_expedited(void)
1347{
1348 cond_resched();
1349}
1350EXPORT_SYMBOL_GPL(synchronize_sched_expedited);
1351
1352#else /* #ifndef CONFIG_SMP */
1353
Tejun Heoe27fc962010-11-22 21:36:11 -08001354static atomic_t sync_sched_expedited_started = ATOMIC_INIT(0);
1355static atomic_t sync_sched_expedited_done = ATOMIC_INIT(0);
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001356
1357static int synchronize_sched_expedited_cpu_stop(void *data)
1358{
1359 /*
1360 * There must be a full memory barrier on each affected CPU
1361 * between the time that try_stop_cpus() is called and the
1362 * time that it returns.
1363 *
1364 * In the current initial implementation of cpu_stop, the
1365 * above condition is already met when the control reaches
1366 * this point and the following smp_mb() is not strictly
1367 * necessary. Do smp_mb() anyway for documentation and
1368 * robustness against future implementation changes.
1369 */
1370 smp_mb(); /* See above comment block. */
1371 return 0;
1372}
1373
1374/*
1375 * Wait for an rcu-sched grace period to elapse, but use "big hammer"
1376 * approach to force grace period to end quickly. This consumes
1377 * significant time on all CPUs, and is thus not recommended for
1378 * any sort of common-case code.
1379 *
1380 * Note that it is illegal to call this function while holding any
1381 * lock that is acquired by a CPU-hotplug notifier. Failing to
1382 * observe this restriction will result in deadlock.
Paul E. McKenneydb3a8922010-10-25 07:39:22 -07001383 *
Tejun Heoe27fc962010-11-22 21:36:11 -08001384 * This implementation can be thought of as an application of ticket
1385 * locking to RCU, with sync_sched_expedited_started and
1386 * sync_sched_expedited_done taking on the roles of the halves
1387 * of the ticket-lock word. Each task atomically increments
1388 * sync_sched_expedited_started upon entry, snapshotting the old value,
1389 * then attempts to stop all the CPUs. If this succeeds, then each
1390 * CPU will have executed a context switch, resulting in an RCU-sched
1391 * grace period. We are then done, so we use atomic_cmpxchg() to
1392 * update sync_sched_expedited_done to match our snapshot -- but
1393 * only if someone else has not already advanced past our snapshot.
1394 *
1395 * On the other hand, if try_stop_cpus() fails, we check the value
1396 * of sync_sched_expedited_done. If it has advanced past our
1397 * initial snapshot, then someone else must have forced a grace period
1398 * some time after we took our snapshot. In this case, our work is
1399 * done for us, and we can simply return. Otherwise, we try again,
1400 * but keep our initial snapshot for purposes of checking for someone
1401 * doing our work for us.
1402 *
1403 * If we fail too many times in a row, we fall back to synchronize_sched().
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001404 */
1405void synchronize_sched_expedited(void)
1406{
Tejun Heoe27fc962010-11-22 21:36:11 -08001407 int firstsnap, s, snap, trycount = 0;
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001408
Tejun Heoe27fc962010-11-22 21:36:11 -08001409 /* Note that atomic_inc_return() implies full memory barrier. */
1410 firstsnap = snap = atomic_inc_return(&sync_sched_expedited_started);
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001411 get_online_cpus();
Tejun Heoe27fc962010-11-22 21:36:11 -08001412
1413 /*
1414 * Each pass through the following loop attempts to force a
1415 * context switch on each CPU.
1416 */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001417 while (try_stop_cpus(cpu_online_mask,
1418 synchronize_sched_expedited_cpu_stop,
1419 NULL) == -EAGAIN) {
1420 put_online_cpus();
Tejun Heoe27fc962010-11-22 21:36:11 -08001421
1422 /* No joy, try again later. Or just synchronize_sched(). */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001423 if (trycount++ < 10)
1424 udelay(trycount * num_online_cpus());
1425 else {
1426 synchronize_sched();
1427 return;
1428 }
Tejun Heoe27fc962010-11-22 21:36:11 -08001429
1430 /* Check to see if someone else did our work for us. */
1431 s = atomic_read(&sync_sched_expedited_done);
1432 if (UINT_CMP_GE((unsigned)s, (unsigned)firstsnap)) {
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001433 smp_mb(); /* ensure test happens before caller kfree */
1434 return;
1435 }
Tejun Heoe27fc962010-11-22 21:36:11 -08001436
1437 /*
1438 * Refetching sync_sched_expedited_started allows later
1439 * callers to piggyback on our grace period. We subtract
1440 * 1 to get the same token that the last incrementer got.
1441 * We retry after they started, so our grace period works
1442 * for them, and they started after our first try, so their
1443 * grace period works for us.
1444 */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001445 get_online_cpus();
Tejun Heoe27fc962010-11-22 21:36:11 -08001446 snap = atomic_read(&sync_sched_expedited_started) - 1;
1447 smp_mb(); /* ensure read is before try_stop_cpus(). */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001448 }
Tejun Heoe27fc962010-11-22 21:36:11 -08001449
1450 /*
1451 * Everyone up to our most recent fetch is covered by our grace
1452 * period. Update the counter, but only if our work is still
1453 * relevant -- which it won't be if someone who started later
1454 * than we did beat us to the punch.
1455 */
1456 do {
1457 s = atomic_read(&sync_sched_expedited_done);
1458 if (UINT_CMP_GE((unsigned)s, (unsigned)snap)) {
1459 smp_mb(); /* ensure test happens before caller kfree */
1460 break;
1461 }
1462 } while (atomic_cmpxchg(&sync_sched_expedited_done, s, snap) != s);
1463
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001464 put_online_cpus();
1465}
1466EXPORT_SYMBOL_GPL(synchronize_sched_expedited);
1467
1468#endif /* #else #ifndef CONFIG_SMP */
1469
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001470#if !defined(CONFIG_RCU_FAST_NO_HZ)
1471
1472/*
1473 * Check to see if any future RCU-related work will need to be done
1474 * by the current CPU, even if none need be done immediately, returning
1475 * 1 if so. This function is part of the RCU implementation; it is -not-
1476 * an exported member of the RCU API.
1477 *
1478 * Because we have preemptible RCU, just check whether this CPU needs
1479 * any flavor of RCU. Do not chew up lots of CPU cycles with preemption
1480 * disabled in a most-likely vain attempt to cause RCU not to need this CPU.
1481 */
1482int rcu_needs_cpu(int cpu)
1483{
1484 return rcu_needs_cpu_quick_check(cpu);
1485}
1486
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001487/*
1488 * Check to see if we need to continue a callback-flush operations to
1489 * allow the last CPU to enter dyntick-idle mode. But fast dyntick-idle
1490 * entry is not configured, so we never do need to.
1491 */
1492static void rcu_needs_cpu_flush(void)
1493{
1494}
1495
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001496#else /* #if !defined(CONFIG_RCU_FAST_NO_HZ) */
1497
1498#define RCU_NEEDS_CPU_FLUSHES 5
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001499static DEFINE_PER_CPU(int, rcu_dyntick_drain);
Paul E. McKenney71da8132010-02-26 16:38:58 -08001500static DEFINE_PER_CPU(unsigned long, rcu_dyntick_holdoff);
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001501
1502/*
1503 * Check to see if any future RCU-related work will need to be done
1504 * by the current CPU, even if none need be done immediately, returning
1505 * 1 if so. This function is part of the RCU implementation; it is -not-
1506 * an exported member of the RCU API.
1507 *
1508 * Because we are not supporting preemptible RCU, attempt to accelerate
1509 * any current grace periods so that RCU no longer needs this CPU, but
1510 * only if all other CPUs are already in dynticks-idle mode. This will
1511 * allow the CPU cores to be powered down immediately, as opposed to after
1512 * waiting many milliseconds for grace periods to elapse.
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001513 *
1514 * Because it is not legal to invoke rcu_process_callbacks() with irqs
1515 * disabled, we do one pass of force_quiescent_state(), then do a
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001516 * invoke_rcu_cpu_kthread() to cause rcu_process_callbacks() to be invoked
1517 * later. The per-cpu rcu_dyntick_drain variable controls the sequencing.
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001518 */
1519int rcu_needs_cpu(int cpu)
1520{
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001521 int c = 0;
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001522 int snap;
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001523 int thatcpu;
1524
Paul E. McKenney622ea682010-02-27 14:53:07 -08001525 /* Check for being in the holdoff period. */
1526 if (per_cpu(rcu_dyntick_holdoff, cpu) == jiffies)
1527 return rcu_needs_cpu_quick_check(cpu);
1528
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001529 /* Don't bother unless we are the last non-dyntick-idle CPU. */
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001530 for_each_online_cpu(thatcpu) {
1531 if (thatcpu == cpu)
1532 continue;
Paul E. McKenney23b5c8f2010-09-07 10:38:22 -07001533 snap = atomic_add_return(0, &per_cpu(rcu_dynticks,
1534 thatcpu).dynticks);
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001535 smp_mb(); /* Order sampling of snap with end of grace period. */
Paul E. McKenney23b5c8f2010-09-07 10:38:22 -07001536 if ((snap & 0x1) != 0) {
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001537 per_cpu(rcu_dyntick_drain, cpu) = 0;
Paul E. McKenney71da8132010-02-26 16:38:58 -08001538 per_cpu(rcu_dyntick_holdoff, cpu) = jiffies - 1;
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001539 return rcu_needs_cpu_quick_check(cpu);
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001540 }
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001541 }
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001542
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001543 /* Check and update the rcu_dyntick_drain sequencing. */
1544 if (per_cpu(rcu_dyntick_drain, cpu) <= 0) {
1545 /* First time through, initialize the counter. */
1546 per_cpu(rcu_dyntick_drain, cpu) = RCU_NEEDS_CPU_FLUSHES;
1547 } else if (--per_cpu(rcu_dyntick_drain, cpu) <= 0) {
1548 /* We have hit the limit, so time to give up. */
Paul E. McKenney71da8132010-02-26 16:38:58 -08001549 per_cpu(rcu_dyntick_holdoff, cpu) = jiffies;
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001550 return rcu_needs_cpu_quick_check(cpu);
1551 }
1552
1553 /* Do one step pushing remaining RCU callbacks through. */
1554 if (per_cpu(rcu_sched_data, cpu).nxtlist) {
1555 rcu_sched_qs(cpu);
1556 force_quiescent_state(&rcu_sched_state, 0);
1557 c = c || per_cpu(rcu_sched_data, cpu).nxtlist;
1558 }
1559 if (per_cpu(rcu_bh_data, cpu).nxtlist) {
1560 rcu_bh_qs(cpu);
1561 force_quiescent_state(&rcu_bh_state, 0);
1562 c = c || per_cpu(rcu_bh_data, cpu).nxtlist;
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001563 }
1564
1565 /* If RCU callbacks are still pending, RCU still needs this CPU. */
Paul E. McKenney622ea682010-02-27 14:53:07 -08001566 if (c)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001567 invoke_rcu_cpu_kthread();
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001568 return c;
1569}
1570
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001571/*
1572 * Check to see if we need to continue a callback-flush operations to
1573 * allow the last CPU to enter dyntick-idle mode.
1574 */
1575static void rcu_needs_cpu_flush(void)
1576{
1577 int cpu = smp_processor_id();
Paul E. McKenney71da8132010-02-26 16:38:58 -08001578 unsigned long flags;
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001579
1580 if (per_cpu(rcu_dyntick_drain, cpu) <= 0)
1581 return;
Paul E. McKenney71da8132010-02-26 16:38:58 -08001582 local_irq_save(flags);
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001583 (void)rcu_needs_cpu(cpu);
Paul E. McKenney71da8132010-02-26 16:38:58 -08001584 local_irq_restore(flags);
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001585}
1586
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001587#endif /* #else #if !defined(CONFIG_RCU_FAST_NO_HZ) */