blob: c8bff3099a89eeeccf9e3d330a16f6c4d9a2c340 [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. 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. 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. 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);
1298 rnp->boost_kthread_task = t;
1299 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001300 sp.sched_priority = RCU_KTHREAD_PRIO;
1301 sched_setscheduler_nocheck(t, SCHED_FIFO, &sp);
1302 return 0;
1303}
1304
Peter Zijlstrad72bce02011-05-30 13:34:51 +02001305static void __cpuinit rcu_wake_one_boost_kthread(struct rcu_node *rnp)
1306{
1307 if (rnp->boost_kthread_task)
1308 wake_up_process(rnp->boost_kthread_task);
1309}
1310
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001311#else /* #ifdef CONFIG_RCU_BOOST */
1312
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001313static void rcu_initiate_boost(struct rcu_node *rnp, unsigned long flags)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001314{
Paul E. McKenney1217ed12011-05-04 21:43:49 -07001315 raw_spin_unlock_irqrestore(&rnp->lock, flags);
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001316}
1317
1318static void rcu_boost_kthread_setaffinity(struct rcu_node *rnp,
1319 cpumask_var_t cm)
1320{
1321}
1322
1323static void rcu_preempt_boost_start_gp(struct rcu_node *rnp)
1324{
1325}
1326
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001327static int __cpuinit rcu_spawn_one_boost_kthread(struct rcu_state *rsp,
1328 struct rcu_node *rnp,
1329 int rnp_index)
1330{
1331 return 0;
1332}
1333
Peter Zijlstrad72bce02011-05-30 13:34:51 +02001334static void __cpuinit rcu_wake_one_boost_kthread(struct rcu_node *rnp)
1335{
1336}
1337
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001338#endif /* #else #ifdef CONFIG_RCU_BOOST */
1339
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001340#ifndef CONFIG_SMP
1341
1342void synchronize_sched_expedited(void)
1343{
1344 cond_resched();
1345}
1346EXPORT_SYMBOL_GPL(synchronize_sched_expedited);
1347
1348#else /* #ifndef CONFIG_SMP */
1349
Tejun Heoe27fc962010-11-22 21:36:11 -08001350static atomic_t sync_sched_expedited_started = ATOMIC_INIT(0);
1351static atomic_t sync_sched_expedited_done = ATOMIC_INIT(0);
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001352
1353static int synchronize_sched_expedited_cpu_stop(void *data)
1354{
1355 /*
1356 * There must be a full memory barrier on each affected CPU
1357 * between the time that try_stop_cpus() is called and the
1358 * time that it returns.
1359 *
1360 * In the current initial implementation of cpu_stop, the
1361 * above condition is already met when the control reaches
1362 * this point and the following smp_mb() is not strictly
1363 * necessary. Do smp_mb() anyway for documentation and
1364 * robustness against future implementation changes.
1365 */
1366 smp_mb(); /* See above comment block. */
1367 return 0;
1368}
1369
1370/*
1371 * Wait for an rcu-sched grace period to elapse, but use "big hammer"
1372 * approach to force grace period to end quickly. This consumes
1373 * significant time on all CPUs, and is thus not recommended for
1374 * any sort of common-case code.
1375 *
1376 * Note that it is illegal to call this function while holding any
1377 * lock that is acquired by a CPU-hotplug notifier. Failing to
1378 * observe this restriction will result in deadlock.
Paul E. McKenneydb3a8922010-10-25 07:39:22 -07001379 *
Tejun Heoe27fc962010-11-22 21:36:11 -08001380 * This implementation can be thought of as an application of ticket
1381 * locking to RCU, with sync_sched_expedited_started and
1382 * sync_sched_expedited_done taking on the roles of the halves
1383 * of the ticket-lock word. Each task atomically increments
1384 * sync_sched_expedited_started upon entry, snapshotting the old value,
1385 * then attempts to stop all the CPUs. If this succeeds, then each
1386 * CPU will have executed a context switch, resulting in an RCU-sched
1387 * grace period. We are then done, so we use atomic_cmpxchg() to
1388 * update sync_sched_expedited_done to match our snapshot -- but
1389 * only if someone else has not already advanced past our snapshot.
1390 *
1391 * On the other hand, if try_stop_cpus() fails, we check the value
1392 * of sync_sched_expedited_done. If it has advanced past our
1393 * initial snapshot, then someone else must have forced a grace period
1394 * some time after we took our snapshot. In this case, our work is
1395 * done for us, and we can simply return. Otherwise, we try again,
1396 * but keep our initial snapshot for purposes of checking for someone
1397 * doing our work for us.
1398 *
1399 * If we fail too many times in a row, we fall back to synchronize_sched().
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001400 */
1401void synchronize_sched_expedited(void)
1402{
Tejun Heoe27fc962010-11-22 21:36:11 -08001403 int firstsnap, s, snap, trycount = 0;
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001404
Tejun Heoe27fc962010-11-22 21:36:11 -08001405 /* Note that atomic_inc_return() implies full memory barrier. */
1406 firstsnap = snap = atomic_inc_return(&sync_sched_expedited_started);
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001407 get_online_cpus();
Tejun Heoe27fc962010-11-22 21:36:11 -08001408
1409 /*
1410 * Each pass through the following loop attempts to force a
1411 * context switch on each CPU.
1412 */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001413 while (try_stop_cpus(cpu_online_mask,
1414 synchronize_sched_expedited_cpu_stop,
1415 NULL) == -EAGAIN) {
1416 put_online_cpus();
Tejun Heoe27fc962010-11-22 21:36:11 -08001417
1418 /* No joy, try again later. Or just synchronize_sched(). */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001419 if (trycount++ < 10)
1420 udelay(trycount * num_online_cpus());
1421 else {
1422 synchronize_sched();
1423 return;
1424 }
Tejun Heoe27fc962010-11-22 21:36:11 -08001425
1426 /* Check to see if someone else did our work for us. */
1427 s = atomic_read(&sync_sched_expedited_done);
1428 if (UINT_CMP_GE((unsigned)s, (unsigned)firstsnap)) {
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001429 smp_mb(); /* ensure test happens before caller kfree */
1430 return;
1431 }
Tejun Heoe27fc962010-11-22 21:36:11 -08001432
1433 /*
1434 * Refetching sync_sched_expedited_started allows later
1435 * callers to piggyback on our grace period. We subtract
1436 * 1 to get the same token that the last incrementer got.
1437 * We retry after they started, so our grace period works
1438 * for them, and they started after our first try, so their
1439 * grace period works for us.
1440 */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001441 get_online_cpus();
Tejun Heoe27fc962010-11-22 21:36:11 -08001442 snap = atomic_read(&sync_sched_expedited_started) - 1;
1443 smp_mb(); /* ensure read is before try_stop_cpus(). */
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001444 }
Tejun Heoe27fc962010-11-22 21:36:11 -08001445
1446 /*
1447 * Everyone up to our most recent fetch is covered by our grace
1448 * period. Update the counter, but only if our work is still
1449 * relevant -- which it won't be if someone who started later
1450 * than we did beat us to the punch.
1451 */
1452 do {
1453 s = atomic_read(&sync_sched_expedited_done);
1454 if (UINT_CMP_GE((unsigned)s, (unsigned)snap)) {
1455 smp_mb(); /* ensure test happens before caller kfree */
1456 break;
1457 }
1458 } while (atomic_cmpxchg(&sync_sched_expedited_done, s, snap) != s);
1459
Lai Jiangshan7b27d542010-10-21 11:29:05 +08001460 put_online_cpus();
1461}
1462EXPORT_SYMBOL_GPL(synchronize_sched_expedited);
1463
1464#endif /* #else #ifndef CONFIG_SMP */
1465
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001466#if !defined(CONFIG_RCU_FAST_NO_HZ)
1467
1468/*
1469 * Check to see if any future RCU-related work will need to be done
1470 * by the current CPU, even if none need be done immediately, returning
1471 * 1 if so. This function is part of the RCU implementation; it is -not-
1472 * an exported member of the RCU API.
1473 *
1474 * Because we have preemptible RCU, just check whether this CPU needs
1475 * any flavor of RCU. Do not chew up lots of CPU cycles with preemption
1476 * disabled in a most-likely vain attempt to cause RCU not to need this CPU.
1477 */
1478int rcu_needs_cpu(int cpu)
1479{
1480 return rcu_needs_cpu_quick_check(cpu);
1481}
1482
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001483/*
1484 * Check to see if we need to continue a callback-flush operations to
1485 * allow the last CPU to enter dyntick-idle mode. But fast dyntick-idle
1486 * entry is not configured, so we never do need to.
1487 */
1488static void rcu_needs_cpu_flush(void)
1489{
1490}
1491
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001492#else /* #if !defined(CONFIG_RCU_FAST_NO_HZ) */
1493
1494#define RCU_NEEDS_CPU_FLUSHES 5
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001495static DEFINE_PER_CPU(int, rcu_dyntick_drain);
Paul E. McKenney71da8132010-02-26 16:38:58 -08001496static DEFINE_PER_CPU(unsigned long, rcu_dyntick_holdoff);
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001497
1498/*
1499 * Check to see if any future RCU-related work will need to be done
1500 * by the current CPU, even if none need be done immediately, returning
1501 * 1 if so. This function is part of the RCU implementation; it is -not-
1502 * an exported member of the RCU API.
1503 *
1504 * Because we are not supporting preemptible RCU, attempt to accelerate
1505 * any current grace periods so that RCU no longer needs this CPU, but
1506 * only if all other CPUs are already in dynticks-idle mode. This will
1507 * allow the CPU cores to be powered down immediately, as opposed to after
1508 * waiting many milliseconds for grace periods to elapse.
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001509 *
1510 * Because it is not legal to invoke rcu_process_callbacks() with irqs
1511 * disabled, we do one pass of force_quiescent_state(), then do a
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001512 * invoke_rcu_cpu_kthread() to cause rcu_process_callbacks() to be invoked
1513 * later. The per-cpu rcu_dyntick_drain variable controls the sequencing.
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001514 */
1515int rcu_needs_cpu(int cpu)
1516{
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001517 int c = 0;
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001518 int snap;
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001519 int thatcpu;
1520
Paul E. McKenney622ea682010-02-27 14:53:07 -08001521 /* Check for being in the holdoff period. */
1522 if (per_cpu(rcu_dyntick_holdoff, cpu) == jiffies)
1523 return rcu_needs_cpu_quick_check(cpu);
1524
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001525 /* Don't bother unless we are the last non-dyntick-idle CPU. */
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001526 for_each_online_cpu(thatcpu) {
1527 if (thatcpu == cpu)
1528 continue;
Paul E. McKenney23b5c8f2010-09-07 10:38:22 -07001529 snap = atomic_add_return(0, &per_cpu(rcu_dynticks,
1530 thatcpu).dynticks);
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001531 smp_mb(); /* Order sampling of snap with end of grace period. */
Paul E. McKenney23b5c8f2010-09-07 10:38:22 -07001532 if ((snap & 0x1) != 0) {
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001533 per_cpu(rcu_dyntick_drain, cpu) = 0;
Paul E. McKenney71da8132010-02-26 16:38:58 -08001534 per_cpu(rcu_dyntick_holdoff, cpu) = jiffies - 1;
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001535 return rcu_needs_cpu_quick_check(cpu);
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001536 }
Paul E. McKenney77e38ed2010-04-25 21:04:29 -07001537 }
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001538
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001539 /* Check and update the rcu_dyntick_drain sequencing. */
1540 if (per_cpu(rcu_dyntick_drain, cpu) <= 0) {
1541 /* First time through, initialize the counter. */
1542 per_cpu(rcu_dyntick_drain, cpu) = RCU_NEEDS_CPU_FLUSHES;
1543 } else if (--per_cpu(rcu_dyntick_drain, cpu) <= 0) {
1544 /* We have hit the limit, so time to give up. */
Paul E. McKenney71da8132010-02-26 16:38:58 -08001545 per_cpu(rcu_dyntick_holdoff, cpu) = jiffies;
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001546 return rcu_needs_cpu_quick_check(cpu);
1547 }
1548
1549 /* Do one step pushing remaining RCU callbacks through. */
1550 if (per_cpu(rcu_sched_data, cpu).nxtlist) {
1551 rcu_sched_qs(cpu);
1552 force_quiescent_state(&rcu_sched_state, 0);
1553 c = c || per_cpu(rcu_sched_data, cpu).nxtlist;
1554 }
1555 if (per_cpu(rcu_bh_data, cpu).nxtlist) {
1556 rcu_bh_qs(cpu);
1557 force_quiescent_state(&rcu_bh_state, 0);
1558 c = c || per_cpu(rcu_bh_data, cpu).nxtlist;
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001559 }
1560
1561 /* If RCU callbacks are still pending, RCU still needs this CPU. */
Paul E. McKenney622ea682010-02-27 14:53:07 -08001562 if (c)
Paul E. McKenney27f4d282011-02-07 12:47:15 -08001563 invoke_rcu_cpu_kthread();
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001564 return c;
1565}
1566
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001567/*
1568 * Check to see if we need to continue a callback-flush operations to
1569 * allow the last CPU to enter dyntick-idle mode.
1570 */
1571static void rcu_needs_cpu_flush(void)
1572{
1573 int cpu = smp_processor_id();
Paul E. McKenney71da8132010-02-26 16:38:58 -08001574 unsigned long flags;
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001575
1576 if (per_cpu(rcu_dyntick_drain, cpu) <= 0)
1577 return;
Paul E. McKenney71da8132010-02-26 16:38:58 -08001578 local_irq_save(flags);
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001579 (void)rcu_needs_cpu(cpu);
Paul E. McKenney71da8132010-02-26 16:38:58 -08001580 local_irq_restore(flags);
Paul E. McKenneya47cd882010-02-26 16:38:56 -08001581}
1582
Paul E. McKenney8bd93a22010-02-22 17:04:59 -08001583#endif /* #else #if !defined(CONFIG_RCU_FAST_NO_HZ) */