blob: 977296dca0a41100b1d549a5ee2fc8a3bd9e22c3 [file] [log] [blame]
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -07001/*
2 * Read-Copy Update mechanism for mutual exclusion, the Bloatwatch edition.
3 *
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License as published by
6 * the Free Software Foundation; either version 2 of the License, or
7 * (at your option) any later version.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public License
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
17 *
18 * Copyright IBM Corporation, 2008
19 *
20 * Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
21 *
22 * For detailed explanation of Read-Copy Update mechanism see -
Ingo Molnar4ce5b902009-10-26 07:55:55 +010023 * Documentation/RCU
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070024 */
Ingo Molnar4ce5b902009-10-26 07:55:55 +010025#include <linux/completion.h>
26#include <linux/interrupt.h>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070027#include <linux/notifier.h>
Ingo Molnar4ce5b902009-10-26 07:55:55 +010028#include <linux/rcupdate.h>
29#include <linux/kernel.h>
Paul Gortmaker9984de12011-05-23 14:51:41 -040030#include <linux/export.h>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070031#include <linux/mutex.h>
Ingo Molnar4ce5b902009-10-26 07:55:55 +010032#include <linux/sched.h>
33#include <linux/types.h>
34#include <linux/init.h>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070035#include <linux/time.h>
Ingo Molnar4ce5b902009-10-26 07:55:55 +010036#include <linux/cpu.h>
Linus Torvalds268bb0c2011-05-20 12:50:29 -070037#include <linux/prefetch.h>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070038
Paul E. McKenney29c00b42011-06-17 15:53:19 -070039#ifdef CONFIG_RCU_TRACE
Paul E. McKenney29c00b42011-06-17 15:53:19 -070040#include <trace/events/rcu.h>
Paul E. McKenney29c00b42011-06-17 15:53:19 -070041#endif /* #else #ifdef CONFIG_RCU_TRACE */
42
43#include "rcu.h"
44
Paul E. McKenneya57eb942010-06-29 16:49:16 -070045/* Forward declarations for rcutiny_plugin.h. */
Paul E. McKenney24278d12010-09-27 17:25:23 -070046struct rcu_ctrlblk;
Paul E. McKenney965a0022011-06-18 09:55:39 -070047static void invoke_rcu_callbacks(void);
48static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp);
49static void rcu_process_callbacks(struct softirq_action *unused);
Paul E. McKenneya57eb942010-06-29 16:49:16 -070050static void __call_rcu(struct rcu_head *head,
51 void (*func)(struct rcu_head *rcu),
52 struct rcu_ctrlblk *rcp);
53
54#include "rcutiny_plugin.h"
55
Paul E. McKenney4145fa72011-10-31 15:01:54 -070056static long long rcu_dynticks_nesting = DYNTICK_TASK_NESTING;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070057
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070058/* Common code for rcu_idle_enter() and rcu_irq_exit(), see kernel/rcutree.c. */
Paul E. McKenney4145fa72011-10-31 15:01:54 -070059static void rcu_idle_enter_common(long long oldval)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070060{
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070061 if (rcu_dynticks_nesting) {
Paul E. McKenney4145fa72011-10-31 15:01:54 -070062 RCU_TRACE(trace_rcu_dyntick("--=",
63 oldval, rcu_dynticks_nesting));
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070064 return;
65 }
Paul E. McKenney4145fa72011-10-31 15:01:54 -070066 RCU_TRACE(trace_rcu_dyntick("Start", oldval, rcu_dynticks_nesting));
Paul E. McKenney99745b62011-11-10 15:48:45 -080067 if (!is_idle_task(current)) {
Paul E. McKenney0989cb42011-11-01 08:57:21 -070068 struct task_struct *idle = idle_task(smp_processor_id());
69
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070070 RCU_TRACE(trace_rcu_dyntick("Error on entry: not idle task",
Paul E. McKenney4145fa72011-10-31 15:01:54 -070071 oldval, rcu_dynticks_nesting));
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070072 ftrace_dump(DUMP_ALL);
Paul E. McKenney0989cb42011-11-01 08:57:21 -070073 WARN_ONCE(1, "Current pid: %d comm: %s / Idle pid: %d comm: %s",
74 current->pid, current->comm,
75 idle->pid, idle->comm); /* must be idle task! */
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070076 }
77 rcu_sched_qs(0); /* implies rcu_bh_qsctr_inc(0) */
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070078}
79
80/*
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070081 * Enter idle, which is an extended quiescent state if we have fully
82 * entered that mode (i.e., if the new value of dynticks_nesting is zero).
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070083 */
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070084void rcu_idle_enter(void)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070085{
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070086 unsigned long flags;
Paul E. McKenney4145fa72011-10-31 15:01:54 -070087 long long oldval;
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070088
89 local_irq_save(flags);
Paul E. McKenney4145fa72011-10-31 15:01:54 -070090 oldval = rcu_dynticks_nesting;
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070091 rcu_dynticks_nesting = 0;
Paul E. McKenney4145fa72011-10-31 15:01:54 -070092 rcu_idle_enter_common(oldval);
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070093 local_irq_restore(flags);
94}
95
96/*
97 * Exit an interrupt handler towards idle.
98 */
99void rcu_irq_exit(void)
100{
101 unsigned long flags;
Paul E. McKenney4145fa72011-10-31 15:01:54 -0700102 long long oldval;
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700103
104 local_irq_save(flags);
Paul E. McKenney4145fa72011-10-31 15:01:54 -0700105 oldval = rcu_dynticks_nesting;
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700106 rcu_dynticks_nesting--;
107 WARN_ON_ONCE(rcu_dynticks_nesting < 0);
Paul E. McKenney4145fa72011-10-31 15:01:54 -0700108 rcu_idle_enter_common(oldval);
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700109 local_irq_restore(flags);
110}
111
112/* Common code for rcu_idle_exit() and rcu_irq_enter(), see kernel/rcutree.c. */
113static void rcu_idle_exit_common(long long oldval)
114{
115 if (oldval) {
Paul E. McKenney4145fa72011-10-31 15:01:54 -0700116 RCU_TRACE(trace_rcu_dyntick("++=",
117 oldval, rcu_dynticks_nesting));
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700118 return;
119 }
Paul E. McKenney4145fa72011-10-31 15:01:54 -0700120 RCU_TRACE(trace_rcu_dyntick("End", oldval, rcu_dynticks_nesting));
Paul E. McKenney99745b62011-11-10 15:48:45 -0800121 if (!is_idle_task(current)) {
Paul E. McKenney0989cb42011-11-01 08:57:21 -0700122 struct task_struct *idle = idle_task(smp_processor_id());
123
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700124 RCU_TRACE(trace_rcu_dyntick("Error on exit: not idle task",
Paul E. McKenney4145fa72011-10-31 15:01:54 -0700125 oldval, rcu_dynticks_nesting));
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700126 ftrace_dump(DUMP_ALL);
Paul E. McKenney0989cb42011-11-01 08:57:21 -0700127 WARN_ONCE(1, "Current pid: %d comm: %s / Idle pid: %d comm: %s",
128 current->pid, current->comm,
129 idle->pid, idle->comm); /* must be idle task! */
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700130 }
131}
132
133/*
134 * Exit idle, so that we are no longer in an extended quiescent state.
135 */
136void rcu_idle_exit(void)
137{
138 unsigned long flags;
139 long long oldval;
140
141 local_irq_save(flags);
142 oldval = rcu_dynticks_nesting;
143 WARN_ON_ONCE(oldval != 0);
Paul E. McKenney4145fa72011-10-31 15:01:54 -0700144 rcu_dynticks_nesting = DYNTICK_TASK_NESTING;
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700145 rcu_idle_exit_common(oldval);
146 local_irq_restore(flags);
147}
148
149/*
150 * Enter an interrupt handler, moving away from idle.
151 */
152void rcu_irq_enter(void)
153{
154 unsigned long flags;
155 long long oldval;
156
157 local_irq_save(flags);
158 oldval = rcu_dynticks_nesting;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700159 rcu_dynticks_nesting++;
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700160 WARN_ON_ONCE(rcu_dynticks_nesting == 0);
161 rcu_idle_exit_common(oldval);
162 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700163}
164
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700165#ifdef CONFIG_PROVE_RCU
166
167/*
168 * Test whether RCU thinks that the current CPU is idle.
169 */
170int rcu_is_cpu_idle(void)
171{
172 return !rcu_dynticks_nesting;
173}
Frederic Weisbeckere6b80a32011-10-07 16:25:18 -0700174EXPORT_SYMBOL(rcu_is_cpu_idle);
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700175
176#endif /* #ifdef CONFIG_PROVE_RCU */
177
178/*
179 * Test whether the current CPU was interrupted from idle. Nested
180 * interrupts don't count, we must be running at the first interrupt
181 * level.
182 */
183int rcu_is_cpu_rrupt_from_idle(void)
184{
185 return rcu_dynticks_nesting <= 0;
186}
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700187
188/*
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200189 * Helper function for rcu_sched_qs() and rcu_bh_qs().
190 * Also irqs are disabled to avoid confusion due to interrupt handlers
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100191 * invoking call_rcu().
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700192 */
193static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
194{
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700195 if (rcp->rcucblist != NULL &&
196 rcp->donetail != rcp->curtail) {
197 rcp->donetail = rcp->curtail;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700198 return 1;
199 }
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100200
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700201 return 0;
202}
203
204/*
205 * Record an rcu quiescent state. And an rcu_bh quiescent state while we
206 * are at it, given that any rcu quiescent state is also an rcu_bh
207 * quiescent state. Use "+" instead of "||" to defeat short circuiting.
208 */
209void rcu_sched_qs(int cpu)
210{
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200211 unsigned long flags;
212
213 local_irq_save(flags);
Paul E. McKenney99652b52010-03-30 15:50:01 -0700214 if (rcu_qsctr_help(&rcu_sched_ctrlblk) +
215 rcu_qsctr_help(&rcu_bh_ctrlblk))
Paul E. McKenney965a0022011-06-18 09:55:39 -0700216 invoke_rcu_callbacks();
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200217 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700218}
219
220/*
221 * Record an rcu_bh quiescent state.
222 */
223void rcu_bh_qs(int cpu)
224{
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200225 unsigned long flags;
226
227 local_irq_save(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700228 if (rcu_qsctr_help(&rcu_bh_ctrlblk))
Paul E. McKenney965a0022011-06-18 09:55:39 -0700229 invoke_rcu_callbacks();
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200230 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700231}
232
233/*
234 * Check to see if the scheduling-clock interrupt came from an extended
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700235 * quiescent state, and, if so, tell RCU about it. This function must
236 * be called from hardirq context. It is normally called from the
237 * scheduling-clock interrupt.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700238 */
239void rcu_check_callbacks(int cpu, int user)
240{
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700241 if (user || rcu_is_cpu_rrupt_from_idle())
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700242 rcu_sched_qs(cpu);
243 else if (!in_softirq())
244 rcu_bh_qs(cpu);
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700245 rcu_preempt_check_callbacks();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700246}
247
248/*
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700249 * Invoke the RCU callbacks on the specified rcu_ctrlkblk structure
250 * whose grace period has elapsed.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700251 */
Paul E. McKenney965a0022011-06-18 09:55:39 -0700252static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700253{
Paul E. McKenneyd4c08f22011-06-25 06:36:56 -0700254 char *rn = NULL;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700255 struct rcu_head *next, *list;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100256 unsigned long flags;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700257 RCU_TRACE(int cb_count = 0);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700258
259 /* If no RCU callbacks ready to invoke, just return. */
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700260 if (&rcp->rcucblist == rcp->donetail) {
Paul E. McKenney72fe7012011-06-21 01:14:54 -0700261 RCU_TRACE(trace_rcu_batch_start(rcp->name, 0, -1));
Paul E. McKenney4968c302011-12-07 16:32:40 -0800262 RCU_TRACE(trace_rcu_batch_end(rcp->name, 0,
263 ACCESS_ONCE(rcp->rcucblist),
264 need_resched(),
265 is_idle_task(current),
266 rcu_is_callbacks_kthread()));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700267 return;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700268 }
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700269
270 /* Move the ready-to-invoke callbacks to a local list. */
271 local_irq_save(flags);
Paul E. McKenney72fe7012011-06-21 01:14:54 -0700272 RCU_TRACE(trace_rcu_batch_start(rcp->name, 0, -1));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700273 list = rcp->rcucblist;
274 rcp->rcucblist = *rcp->donetail;
275 *rcp->donetail = NULL;
276 if (rcp->curtail == rcp->donetail)
277 rcp->curtail = &rcp->rcucblist;
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700278 rcu_preempt_remove_callbacks(rcp);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700279 rcp->donetail = &rcp->rcucblist;
280 local_irq_restore(flags);
281
282 /* Invoke the callbacks on the local list. */
Paul E. McKenneyd4c08f22011-06-25 06:36:56 -0700283 RCU_TRACE(rn = rcp->name);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700284 while (list) {
285 next = list->next;
286 prefetch(next);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400287 debug_rcu_head_unqueue(list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700288 local_bh_disable();
Paul E. McKenneyd4c08f22011-06-25 06:36:56 -0700289 __rcu_reclaim(rn, list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700290 local_bh_enable();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700291 list = next;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700292 RCU_TRACE(cb_count++);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700293 }
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700294 RCU_TRACE(rcu_trace_sub_qlen(rcp, cb_count));
Paul E. McKenney4968c302011-12-07 16:32:40 -0800295 RCU_TRACE(trace_rcu_batch_end(rcp->name, cb_count, 0, need_resched(),
296 is_idle_task(current),
297 rcu_is_callbacks_kthread()));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700298}
299
Paul E. McKenney965a0022011-06-18 09:55:39 -0700300static void rcu_process_callbacks(struct softirq_action *unused)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700301{
Paul E. McKenney965a0022011-06-18 09:55:39 -0700302 __rcu_process_callbacks(&rcu_sched_ctrlblk);
303 __rcu_process_callbacks(&rcu_bh_ctrlblk);
304 rcu_preempt_process_callbacks();
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700305}
306
307/*
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700308 * Wait for a grace period to elapse. But it is illegal to invoke
309 * synchronize_sched() from within an RCU read-side critical section.
310 * Therefore, any legal call to synchronize_sched() is a quiescent
311 * state, and so on a UP system, synchronize_sched() need do nothing.
312 * Ditto for synchronize_rcu_bh(). (But Lai Jiangshan points out the
313 * benefits of doing might_sleep() to reduce latency.)
314 *
315 * Cool, huh? (Due to Josh Triplett.)
316 *
Paul E. McKenneyda848c42010-03-30 15:46:01 -0700317 * But we want to make this a static inline later. The cond_resched()
318 * currently makes this problematic.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700319 */
320void synchronize_sched(void)
321{
322 cond_resched();
323}
324EXPORT_SYMBOL_GPL(synchronize_sched);
325
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700326/*
327 * Helper function for call_rcu() and call_rcu_bh().
328 */
329static void __call_rcu(struct rcu_head *head,
330 void (*func)(struct rcu_head *rcu),
331 struct rcu_ctrlblk *rcp)
332{
333 unsigned long flags;
334
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400335 debug_rcu_head_queue(head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700336 head->func = func;
337 head->next = NULL;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100338
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700339 local_irq_save(flags);
340 *rcp->curtail = head;
341 rcp->curtail = &head->next;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700342 RCU_TRACE(rcp->qlen++);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700343 local_irq_restore(flags);
344}
345
346/*
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700347 * Post an RCU callback to be invoked after the end of an RCU-sched grace
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700348 * period. But since we have but one CPU, that would be after any
349 * quiescent state.
350 */
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700351void call_rcu_sched(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700352{
Paul E. McKenney99652b52010-03-30 15:50:01 -0700353 __call_rcu(head, func, &rcu_sched_ctrlblk);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700354}
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700355EXPORT_SYMBOL_GPL(call_rcu_sched);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700356
357/*
358 * Post an RCU bottom-half callback to be invoked after any subsequent
359 * quiescent state.
360 */
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100361void call_rcu_bh(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700362{
363 __call_rcu(head, func, &rcu_bh_ctrlblk);
364}
365EXPORT_SYMBOL_GPL(call_rcu_bh);