blob: a767b7dac36517b389d2953036fc6097bcfcae96 [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. McKenneyfc2219d42009-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. McKenneyfc2219d42009-09-23 09:50:41 -0700227{
Paul E. McKenney12f5f522010-11-29 21:56:39 -0800228 return rnp->gp_tasks != NULL;
Paul E. McKenneyfc2219d42009-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. McKenney019129d52009-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. McKenney019129d52009-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. McKenneyfc2219d42009-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. McKenneyfc2219d42009-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. McKenneyfc2219d42009-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. McKenney019129d52009-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. McKenney019129d52009-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. McKenney019129d52009-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;
Peter Zijlstra08bca602011-05-20 16:06:29 -07001199 rcu_wait(rnp->boost_tasks || rnp->exp_tasks);
Paul E. McKenneyd71df902011-03-29 17:48:28 -07001200 rnp->boost_kthread_status = RCU_KTHREAD_RUNNING;
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001201 more2boost = rcu_boost(rnp);
1202 if (more2boost)
1203 spincnt++;
1204 else
1205 spincnt = 0;
1206 if (spincnt > 10) {
1207 rcu_yield(rcu_boost_kthread_timer, (unsigned long)rnp);
1208 spincnt = 0;
1209 }
1210 }
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001211 /* NOTREACHED */
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001212 return 0;
1213}
1214
1215/*
1216 * Check to see if it is time to start boosting RCU readers that are
1217 * blocking the current grace period, and, if so, tell the per-rcu_node
1218 * kthread to start boosting them. If there is an expedited grace
1219 * period in progress, it is always time to boost.
1220 *
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001221 * The caller must hold rnp->lock, which this function releases,
1222 * but irqs remain disabled. The ->boost_kthread_task is immortal,
1223 * so we don't need to worry about it going away.
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001224 */
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001225static void rcu_initiate_boost(struct rcu_node *rnp, unsigned long flags)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001226{
1227 struct task_struct *t;
1228
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001229 if (!rcu_preempt_blocked_readers_cgp(rnp) && rnp->exp_tasks == NULL) {
1230 rnp->n_balk_exp_gp_tasks++;
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001231 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001232 return;
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001233 }
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001234 if (rnp->exp_tasks != NULL ||
1235 (rnp->gp_tasks != NULL &&
1236 rnp->boost_tasks == NULL &&
1237 rnp->qsmask == 0 &&
1238 ULONG_CMP_GE(jiffies, rnp->boost_time))) {
1239 if (rnp->exp_tasks == NULL)
1240 rnp->boost_tasks = rnp->gp_tasks;
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001241 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001242 t = rnp->boost_kthread_task;
1243 if (t != NULL)
1244 wake_up_process(t);
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001245 } else {
Paul E. McKenney0ea1f2e2011-02-22 13:42:43 -08001246 rcu_initiate_boost_trace(rnp);
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001247 raw_spin_unlock_irqrestore(&rnp->lock, flags);
1248 }
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001249}
1250
Paul E. McKenney0f962a52011-04-14 12:13:53 -07001251/*
1252 * Set the affinity of the boost kthread. The CPU-hotplug locks are
1253 * held, so no one should be messing with the existence of the boost
1254 * kthread.
1255 */
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001256static void rcu_boost_kthread_setaffinity(struct rcu_node *rnp,
1257 cpumask_var_t cm)
1258{
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001259 struct task_struct *t;
1260
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001261 t = rnp->boost_kthread_task;
1262 if (t != NULL)
1263 set_cpus_allowed_ptr(rnp->boost_kthread_task, cm);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001264}
1265
1266#define RCU_BOOST_DELAY_JIFFIES DIV_ROUND_UP(CONFIG_RCU_BOOST_DELAY * HZ, 1000)
1267
1268/*
1269 * Do priority-boost accounting for the start of a new grace period.
1270 */
1271static void rcu_preempt_boost_start_gp(struct rcu_node *rnp)
1272{
1273 rnp->boost_time = jiffies + RCU_BOOST_DELAY_JIFFIES;
1274}
1275
1276/*
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001277 * Create an RCU-boost kthread for the specified node if one does not
1278 * already exist. We only create this kthread for preemptible RCU.
1279 * Returns zero if all is well, a negated errno otherwise.
1280 */
1281static int __cpuinit rcu_spawn_one_boost_kthread(struct rcu_state *rsp,
1282 struct rcu_node *rnp,
1283 int rnp_index)
1284{
1285 unsigned long flags;
1286 struct sched_param sp;
1287 struct task_struct *t;
1288
1289 if (&rcu_preempt_state != rsp)
1290 return 0;
1291 if (rnp->boost_kthread_task != NULL)
1292 return 0;
1293 t = kthread_create(rcu_boost_kthread, (void *)rnp,
1294 "rcub%d", rnp_index);
1295 if (IS_ERR(t))
1296 return PTR_ERR(t);
1297 raw_spin_lock_irqsave(&rnp->lock, flags);
Paul E. McKenneycc3ce512011-05-25 13:42:06 -07001298 set_task_state(t, TASK_INTERRUPTIBLE);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001299 rnp->boost_kthread_task = t;
1300 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001301 sp.sched_priority = RCU_KTHREAD_PRIO;
1302 sched_setscheduler_nocheck(t, SCHED_FIFO, &sp);
1303 return 0;
1304}
1305
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001306#else /* #ifdef CONFIG_RCU_BOOST */
1307
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001308static void rcu_initiate_boost(struct rcu_node *rnp, unsigned long flags)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001309{
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001310 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001311}
1312
1313static void rcu_boost_kthread_setaffinity(struct rcu_node *rnp,
1314 cpumask_var_t cm)
1315{
1316}
1317
1318static void rcu_preempt_boost_start_gp(struct rcu_node *rnp)
1319{
1320}
1321
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001322static int __cpuinit rcu_spawn_one_boost_kthread(struct rcu_state *rsp,
1323 struct rcu_node *rnp,
1324 int rnp_index)
1325{
1326 return 0;
1327}
1328
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001329#endif /* #else #ifdef CONFIG_RCU_BOOST */
1330
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001331#ifndef CONFIG_SMP
1332
1333void synchronize_sched_expedited(void)
1334{
1335 cond_resched();
1336}
1337EXPORT_SYMBOL_GPL(synchronize_sched_expedited);
1338
1339#else /* #ifndef CONFIG_SMP */
1340
Tejun Heoe27fc962010-11-22 21:36:11 -08001341static atomic_t sync_sched_expedited_started = ATOMIC_INIT(0);
1342static atomic_t sync_sched_expedited_done = ATOMIC_INIT(0);
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001343
1344static int synchronize_sched_expedited_cpu_stop(void *data)
1345{
1346 /*
1347 * There must be a full memory barrier on each affected CPU
1348 * between the time that try_stop_cpus() is called and the
1349 * time that it returns.
1350 *
1351 * In the current initial implementation of cpu_stop, the
1352 * above condition is already met when the control reaches
1353 * this point and the following smp_mb() is not strictly
1354 * necessary. Do smp_mb() anyway for documentation and
1355 * robustness against future implementation changes.
1356 */
1357 smp_mb(); /* See above comment block. */
1358 return 0;
1359}
1360
1361/*
1362 * Wait for an rcu-sched grace period to elapse, but use "big hammer"
1363 * approach to force grace period to end quickly. This consumes
1364 * significant time on all CPUs, and is thus not recommended for
1365 * any sort of common-case code.
1366 *
1367 * Note that it is illegal to call this function while holding any
1368 * lock that is acquired by a CPU-hotplug notifier. Failing to
1369 * observe this restriction will result in deadlock.
Paul E. McKenneydb3a8922010-10-25 07:39:22 -07001370 *
Tejun Heoe27fc962010-11-22 21:36:11 -08001371 * This implementation can be thought of as an application of ticket
1372 * locking to RCU, with sync_sched_expedited_started and
1373 * sync_sched_expedited_done taking on the roles of the halves
1374 * of the ticket-lock word. Each task atomically increments
1375 * sync_sched_expedited_started upon entry, snapshotting the old value,
1376 * then attempts to stop all the CPUs. If this succeeds, then each
1377 * CPU will have executed a context switch, resulting in an RCU-sched
1378 * grace period. We are then done, so we use atomic_cmpxchg() to
1379 * update sync_sched_expedited_done to match our snapshot -- but
1380 * only if someone else has not already advanced past our snapshot.
1381 *
1382 * On the other hand, if try_stop_cpus() fails, we check the value
1383 * of sync_sched_expedited_done. If it has advanced past our
1384 * initial snapshot, then someone else must have forced a grace period
1385 * some time after we took our snapshot. In this case, our work is
1386 * done for us, and we can simply return. Otherwise, we try again,
1387 * but keep our initial snapshot for purposes of checking for someone
1388 * doing our work for us.
1389 *
1390 * If we fail too many times in a row, we fall back to synchronize_sched().
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001391 */
1392void synchronize_sched_expedited(void)
1393{
Tejun Heoe27fc962010-11-22 21:36:11 -08001394 int firstsnap, s, snap, trycount = 0;
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001395
Tejun Heoe27fc962010-11-22 21:36:11 -08001396 /* Note that atomic_inc_return() implies full memory barrier. */
1397 firstsnap = snap = atomic_inc_return(&sync_sched_expedited_started);
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001398 get_online_cpus();
Tejun Heoe27fc962010-11-22 21:36:11 -08001399
1400 /*
1401 * Each pass through the following loop attempts to force a
1402 * context switch on each CPU.
1403 */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001404 while (try_stop_cpus(cpu_online_mask,
1405 synchronize_sched_expedited_cpu_stop,
1406 NULL) == -EAGAIN) {
1407 put_online_cpus();
Tejun Heoe27fc962010-11-22 21:36:11 -08001408
1409 /* No joy, try again later. Or just synchronize_sched(). */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001410 if (trycount++ < 10)
1411 udelay(trycount * num_online_cpus());
1412 else {
1413 synchronize_sched();
1414 return;
1415 }
Tejun Heoe27fc962010-11-22 21:36:11 -08001416
1417 /* Check to see if someone else did our work for us. */
1418 s = atomic_read(&sync_sched_expedited_done);
1419 if (UINT_CMP_GE((unsigned)s, (unsigned)firstsnap)) {
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001420 smp_mb(); /* ensure test happens before caller kfree */
1421 return;
1422 }
Tejun Heoe27fc962010-11-22 21:36:11 -08001423
1424 /*
1425 * Refetching sync_sched_expedited_started allows later
1426 * callers to piggyback on our grace period. We subtract
1427 * 1 to get the same token that the last incrementer got.
1428 * We retry after they started, so our grace period works
1429 * for them, and they started after our first try, so their
1430 * grace period works for us.
1431 */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001432 get_online_cpus();
Tejun Heoe27fc962010-11-22 21:36:11 -08001433 snap = atomic_read(&sync_sched_expedited_started) - 1;
1434 smp_mb(); /* ensure read is before try_stop_cpus(). */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001435 }
Tejun Heoe27fc962010-11-22 21:36:11 -08001436
1437 /*
1438 * Everyone up to our most recent fetch is covered by our grace
1439 * period. Update the counter, but only if our work is still
1440 * relevant -- which it won't be if someone who started later
1441 * than we did beat us to the punch.
1442 */
1443 do {
1444 s = atomic_read(&sync_sched_expedited_done);
1445 if (UINT_CMP_GE((unsigned)s, (unsigned)snap)) {
1446 smp_mb(); /* ensure test happens before caller kfree */
1447 break;
1448 }
1449 } while (atomic_cmpxchg(&sync_sched_expedited_done, s, snap) != s);
1450
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001451 put_online_cpus();
1452}
1453EXPORT_SYMBOL_GPL(synchronize_sched_expedited);
1454
1455#endif /* #else #ifndef CONFIG_SMP */
1456
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001457#if !defined(CONFIG_RCU_FAST_NO_HZ)
1458
1459/*
1460 * Check to see if any future RCU-related work will need to be done
1461 * by the current CPU, even if none need be done immediately, returning
1462 * 1 if so. This function is part of the RCU implementation; it is -not-
1463 * an exported member of the RCU API.
1464 *
1465 * Because we have preemptible RCU, just check whether this CPU needs
1466 * any flavor of RCU. Do not chew up lots of CPU cycles with preemption
1467 * disabled in a most-likely vain attempt to cause RCU not to need this CPU.
1468 */
1469int rcu_needs_cpu(int cpu)
1470{
1471 return rcu_needs_cpu_quick_check(cpu);
1472}
1473
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001474/*
1475 * Check to see if we need to continue a callback-flush operations to
1476 * allow the last CPU to enter dyntick-idle mode. But fast dyntick-idle
1477 * entry is not configured, so we never do need to.
1478 */
1479static void rcu_needs_cpu_flush(void)
1480{
1481}
1482
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001483#else /* #if !defined(CONFIG_RCU_FAST_NO_HZ) */
1484
1485#define RCU_NEEDS_CPU_FLUSHES 5
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001486static DEFINE_PER_CPU(int, rcu_dyntick_drain);
Paul E. McKenney71da8132010-02-26 16:38:58 -08001487static DEFINE_PER_CPU(unsigned long, rcu_dyntick_holdoff);
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001488
1489/*
1490 * Check to see if any future RCU-related work will need to be done
1491 * by the current CPU, even if none need be done immediately, returning
1492 * 1 if so. This function is part of the RCU implementation; it is -not-
1493 * an exported member of the RCU API.
1494 *
1495 * Because we are not supporting preemptible RCU, attempt to accelerate
1496 * any current grace periods so that RCU no longer needs this CPU, but
1497 * only if all other CPUs are already in dynticks-idle mode. This will
1498 * allow the CPU cores to be powered down immediately, as opposed to after
1499 * waiting many milliseconds for grace periods to elapse.
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001500 *
1501 * Because it is not legal to invoke rcu_process_callbacks() with irqs
1502 * disabled, we do one pass of force_quiescent_state(), then do a
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001503 * invoke_rcu_cpu_kthread() to cause rcu_process_callbacks() to be invoked
1504 * later. The per-cpu rcu_dyntick_drain variable controls the sequencing.
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001505 */
1506int rcu_needs_cpu(int cpu)
1507{
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001508 int c = 0;
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001509 int snap;
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001510 int thatcpu;
1511
Paul E. McKenney622ea682010-02-27 14:53:07 -08001512 /* Check for being in the holdoff period. */
1513 if (per_cpu(rcu_dyntick_holdoff, cpu) == jiffies)
1514 return rcu_needs_cpu_quick_check(cpu);
1515
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001516 /* Don't bother unless we are the last non-dyntick-idle CPU. */
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001517 for_each_online_cpu(thatcpu) {
1518 if (thatcpu == cpu)
1519 continue;
Paul E. McKenney23b5c8f2010-09-07 10:38:22 -07001520 snap = atomic_add_return(0, &per_cpu(rcu_dynticks,
1521 thatcpu).dynticks);
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001522 smp_mb(); /* Order sampling of snap with end of grace period. */
Paul E. McKenney23b5c8f2010-09-07 10:38:22 -07001523 if ((snap & 0x1) != 0) {
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001524 per_cpu(rcu_dyntick_drain, cpu) = 0;
Paul E. McKenney71da8132010-02-26 16:38:58 -08001525 per_cpu(rcu_dyntick_holdoff, cpu) = jiffies - 1;
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001526 return rcu_needs_cpu_quick_check(cpu);
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001527 }
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001528 }
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001529
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001530 /* Check and update the rcu_dyntick_drain sequencing. */
1531 if (per_cpu(rcu_dyntick_drain, cpu) <= 0) {
1532 /* First time through, initialize the counter. */
1533 per_cpu(rcu_dyntick_drain, cpu) = RCU_NEEDS_CPU_FLUSHES;
1534 } else if (--per_cpu(rcu_dyntick_drain, cpu) <= 0) {
1535 /* We have hit the limit, so time to give up. */
Paul E. McKenney71da8132010-02-26 16:38:58 -08001536 per_cpu(rcu_dyntick_holdoff, cpu) = jiffies;
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001537 return rcu_needs_cpu_quick_check(cpu);
1538 }
1539
1540 /* Do one step pushing remaining RCU callbacks through. */
1541 if (per_cpu(rcu_sched_data, cpu).nxtlist) {
1542 rcu_sched_qs(cpu);
1543 force_quiescent_state(&rcu_sched_state, 0);
1544 c = c || per_cpu(rcu_sched_data, cpu).nxtlist;
1545 }
1546 if (per_cpu(rcu_bh_data, cpu).nxtlist) {
1547 rcu_bh_qs(cpu);
1548 force_quiescent_state(&rcu_bh_state, 0);
1549 c = c || per_cpu(rcu_bh_data, cpu).nxtlist;
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001550 }
1551
1552 /* If RCU callbacks are still pending, RCU still needs this CPU. */
Paul E. McKenney622ea682010-02-27 14:53:07 -08001553 if (c)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001554 invoke_rcu_cpu_kthread();
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001555 return c;
1556}
1557
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001558/*
1559 * Check to see if we need to continue a callback-flush operations to
1560 * allow the last CPU to enter dyntick-idle mode.
1561 */
1562static void rcu_needs_cpu_flush(void)
1563{
1564 int cpu = smp_processor_id();
Paul E. McKenney71da8132010-02-26 16:38:58 -08001565 unsigned long flags;
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001566
1567 if (per_cpu(rcu_dyntick_drain, cpu) <= 0)
1568 return;
Paul E. McKenney71da8132010-02-26 16:38:58 -08001569 local_irq_save(flags);
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001570 (void)rcu_needs_cpu(cpu);
Paul E. McKenney71da8132010-02-26 16:38:58 -08001571 local_irq_restore(flags);
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001572}
1573
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001574#endif /* #else #if !defined(CONFIG_RCU_FAST_NO_HZ) */