blob: c9321d86999b2da394c39ed648fcbd0e56f93341 [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 */
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070025#include <linux/moduleparam.h>
Ingo Molnar4ce5b902009-10-26 07:55:55 +010026#include <linux/completion.h>
27#include <linux/interrupt.h>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070028#include <linux/notifier.h>
Ingo Molnar4ce5b902009-10-26 07:55:55 +010029#include <linux/rcupdate.h>
30#include <linux/kernel.h>
31#include <linux/module.h>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070032#include <linux/mutex.h>
Ingo Molnar4ce5b902009-10-26 07:55:55 +010033#include <linux/sched.h>
34#include <linux/types.h>
35#include <linux/init.h>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070036#include <linux/time.h>
Ingo Molnar4ce5b902009-10-26 07:55:55 +010037#include <linux/cpu.h>
Linus Torvalds268bb0c2011-05-20 12:50:29 -070038#include <linux/prefetch.h>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070039
Paul E. McKenney29c00b42011-06-17 15:53:19 -070040#ifdef CONFIG_RCU_TRACE
Paul E. McKenney29c00b42011-06-17 15:53:19 -070041#include <trace/events/rcu.h>
Paul E. McKenney29c00b42011-06-17 15:53:19 -070042#endif /* #else #ifdef CONFIG_RCU_TRACE */
43
44#include "rcu.h"
45
Paul E. McKenneya57eb942010-06-29 16:49:16 -070046/* Forward declarations for rcutiny_plugin.h. */
Paul E. McKenney24278d12010-09-27 17:25:23 -070047struct rcu_ctrlblk;
Paul E. McKenney965a0022011-06-18 09:55:39 -070048static void invoke_rcu_callbacks(void);
49static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp);
50static void rcu_process_callbacks(struct softirq_action *unused);
Paul E. McKenneya57eb942010-06-29 16:49:16 -070051static void __call_rcu(struct rcu_head *head,
52 void (*func)(struct rcu_head *rcu),
53 struct rcu_ctrlblk *rcp);
54
55#include "rcutiny_plugin.h"
56
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070057#ifdef CONFIG_NO_HZ
58
59static long rcu_dynticks_nesting = 1;
60
61/*
62 * Enter dynticks-idle mode, which is an extended quiescent state
63 * if we have fully entered that mode (i.e., if the new value of
64 * dynticks_nesting is zero).
65 */
66void rcu_enter_nohz(void)
67{
68 if (--rcu_dynticks_nesting == 0)
69 rcu_sched_qs(0); /* implies rcu_bh_qsctr_inc(0) */
70}
71
72/*
73 * Exit dynticks-idle mode, so that we are no longer in an extended
74 * quiescent state.
75 */
76void rcu_exit_nohz(void)
77{
78 rcu_dynticks_nesting++;
79}
80
81#endif /* #ifdef CONFIG_NO_HZ */
82
83/*
Eric Dumazetb554d7d2011-04-28 07:23:45 +020084 * Helper function for rcu_sched_qs() and rcu_bh_qs().
85 * Also irqs are disabled to avoid confusion due to interrupt handlers
Ingo Molnar4ce5b902009-10-26 07:55:55 +010086 * invoking call_rcu().
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070087 */
88static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
89{
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070090 if (rcp->rcucblist != NULL &&
91 rcp->donetail != rcp->curtail) {
92 rcp->donetail = rcp->curtail;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070093 return 1;
94 }
Ingo Molnar4ce5b902009-10-26 07:55:55 +010095
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070096 return 0;
97}
98
99/*
100 * Record an rcu quiescent state. And an rcu_bh quiescent state while we
101 * are at it, given that any rcu quiescent state is also an rcu_bh
102 * quiescent state. Use "+" instead of "||" to defeat short circuiting.
103 */
104void rcu_sched_qs(int cpu)
105{
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200106 unsigned long flags;
107
108 local_irq_save(flags);
Paul E. McKenney99652b52010-03-30 15:50:01 -0700109 if (rcu_qsctr_help(&rcu_sched_ctrlblk) +
110 rcu_qsctr_help(&rcu_bh_ctrlblk))
Paul E. McKenney965a0022011-06-18 09:55:39 -0700111 invoke_rcu_callbacks();
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200112 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700113}
114
115/*
116 * Record an rcu_bh quiescent state.
117 */
118void rcu_bh_qs(int cpu)
119{
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200120 unsigned long flags;
121
122 local_irq_save(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700123 if (rcu_qsctr_help(&rcu_bh_ctrlblk))
Paul E. McKenney965a0022011-06-18 09:55:39 -0700124 invoke_rcu_callbacks();
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200125 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700126}
127
128/*
129 * Check to see if the scheduling-clock interrupt came from an extended
130 * quiescent state, and, if so, tell RCU about it.
131 */
132void rcu_check_callbacks(int cpu, int user)
133{
134 if (user ||
135 (idle_cpu(cpu) &&
136 !in_softirq() &&
137 hardirq_count() <= (1 << HARDIRQ_SHIFT)))
138 rcu_sched_qs(cpu);
139 else if (!in_softirq())
140 rcu_bh_qs(cpu);
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700141 rcu_preempt_check_callbacks();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700142}
143
144/*
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700145 * Invoke the RCU callbacks on the specified rcu_ctrlkblk structure
146 * whose grace period has elapsed.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700147 */
Paul E. McKenney965a0022011-06-18 09:55:39 -0700148static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700149{
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700150 struct rcu_head *next, *list;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100151 unsigned long flags;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700152 RCU_TRACE(int cb_count = 0);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700153
154 /* If no RCU callbacks ready to invoke, just return. */
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700155 if (&rcp->rcucblist == rcp->donetail) {
Paul E. McKenney72fe7012011-06-21 01:14:54 -0700156 RCU_TRACE(trace_rcu_batch_start(rcp->name, 0, -1));
157 RCU_TRACE(trace_rcu_batch_end(rcp->name, 0));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700158 return;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700159 }
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700160
161 /* Move the ready-to-invoke callbacks to a local list. */
162 local_irq_save(flags);
Paul E. McKenney72fe7012011-06-21 01:14:54 -0700163 RCU_TRACE(trace_rcu_batch_start(rcp->name, 0, -1));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700164 list = rcp->rcucblist;
165 rcp->rcucblist = *rcp->donetail;
166 *rcp->donetail = NULL;
167 if (rcp->curtail == rcp->donetail)
168 rcp->curtail = &rcp->rcucblist;
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700169 rcu_preempt_remove_callbacks(rcp);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700170 rcp->donetail = &rcp->rcucblist;
171 local_irq_restore(flags);
172
173 /* Invoke the callbacks on the local list. */
174 while (list) {
175 next = list->next;
176 prefetch(next);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400177 debug_rcu_head_unqueue(list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700178 local_bh_disable();
Lai Jiangshan9ab15442011-03-18 11:15:47 +0800179 __rcu_reclaim(list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700180 local_bh_enable();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700181 list = next;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700182 RCU_TRACE(cb_count++);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700183 }
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700184 RCU_TRACE(rcu_trace_sub_qlen(rcp, cb_count));
Paul E. McKenney72fe7012011-06-21 01:14:54 -0700185 RCU_TRACE(trace_rcu_batch_end(rcp->name, cb_count));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700186}
187
Paul E. McKenney965a0022011-06-18 09:55:39 -0700188static void rcu_process_callbacks(struct softirq_action *unused)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700189{
Paul E. McKenney965a0022011-06-18 09:55:39 -0700190 __rcu_process_callbacks(&rcu_sched_ctrlblk);
191 __rcu_process_callbacks(&rcu_bh_ctrlblk);
192 rcu_preempt_process_callbacks();
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700193}
194
195/*
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700196 * Wait for a grace period to elapse. But it is illegal to invoke
197 * synchronize_sched() from within an RCU read-side critical section.
198 * Therefore, any legal call to synchronize_sched() is a quiescent
199 * state, and so on a UP system, synchronize_sched() need do nothing.
200 * Ditto for synchronize_rcu_bh(). (But Lai Jiangshan points out the
201 * benefits of doing might_sleep() to reduce latency.)
202 *
203 * Cool, huh? (Due to Josh Triplett.)
204 *
Paul E. McKenneyda848c42010-03-30 15:46:01 -0700205 * But we want to make this a static inline later. The cond_resched()
206 * currently makes this problematic.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700207 */
208void synchronize_sched(void)
209{
210 cond_resched();
211}
212EXPORT_SYMBOL_GPL(synchronize_sched);
213
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700214/*
215 * Helper function for call_rcu() and call_rcu_bh().
216 */
217static void __call_rcu(struct rcu_head *head,
218 void (*func)(struct rcu_head *rcu),
219 struct rcu_ctrlblk *rcp)
220{
221 unsigned long flags;
222
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400223 debug_rcu_head_queue(head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700224 head->func = func;
225 head->next = NULL;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100226
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700227 local_irq_save(flags);
228 *rcp->curtail = head;
229 rcp->curtail = &head->next;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700230 RCU_TRACE(rcp->qlen++);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700231 local_irq_restore(flags);
232}
233
234/*
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700235 * Post an RCU callback to be invoked after the end of an RCU-sched grace
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700236 * period. But since we have but one CPU, that would be after any
237 * quiescent state.
238 */
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700239void call_rcu_sched(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700240{
Paul E. McKenney99652b52010-03-30 15:50:01 -0700241 __call_rcu(head, func, &rcu_sched_ctrlblk);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700242}
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700243EXPORT_SYMBOL_GPL(call_rcu_sched);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700244
245/*
246 * Post an RCU bottom-half callback to be invoked after any subsequent
247 * quiescent state.
248 */
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100249void call_rcu_bh(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700250{
251 __call_rcu(head, func, &rcu_bh_ctrlblk);
252}
253EXPORT_SYMBOL_GPL(call_rcu_bh);