blob: d806735342acb10bc3e3ae787e62ade34f1d5955 [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>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070038
39/* Global control variables for rcupdate callback mechanism. */
40struct rcu_ctrlblk {
41 struct rcu_head *rcucblist; /* List of pending callbacks (CBs). */
42 struct rcu_head **donetail; /* ->next pointer of last "done" CB. */
43 struct rcu_head **curtail; /* ->next pointer of last CB. */
44};
45
46/* Definition for rcupdate control block. */
Paul E. McKenney99652b52010-03-30 15:50:01 -070047static struct rcu_ctrlblk rcu_sched_ctrlblk = {
48 .donetail = &rcu_sched_ctrlblk.rcucblist,
49 .curtail = &rcu_sched_ctrlblk.rcucblist,
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070050};
Ingo Molnar4ce5b902009-10-26 07:55:55 +010051
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070052static struct rcu_ctrlblk rcu_bh_ctrlblk = {
Ingo Molnar4ce5b902009-10-26 07:55:55 +010053 .donetail = &rcu_bh_ctrlblk.rcucblist,
54 .curtail = &rcu_bh_ctrlblk.rcucblist,
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070055};
56
Paul E. McKenneybbad9372010-04-02 16:17:17 -070057#ifdef CONFIG_DEBUG_LOCK_ALLOC
58int rcu_scheduler_active __read_mostly;
59EXPORT_SYMBOL_GPL(rcu_scheduler_active);
60#endif /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
61
Paul E. McKenneya57eb942010-06-29 16:49:16 -070062/* Forward declarations for rcutiny_plugin.h. */
63static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp);
64static void __call_rcu(struct rcu_head *head,
65 void (*func)(struct rcu_head *rcu),
66 struct rcu_ctrlblk *rcp);
67
68#include "rcutiny_plugin.h"
69
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070070#ifdef CONFIG_NO_HZ
71
72static long rcu_dynticks_nesting = 1;
73
74/*
75 * Enter dynticks-idle mode, which is an extended quiescent state
76 * if we have fully entered that mode (i.e., if the new value of
77 * dynticks_nesting is zero).
78 */
79void rcu_enter_nohz(void)
80{
81 if (--rcu_dynticks_nesting == 0)
82 rcu_sched_qs(0); /* implies rcu_bh_qsctr_inc(0) */
83}
84
85/*
86 * Exit dynticks-idle mode, so that we are no longer in an extended
87 * quiescent state.
88 */
89void rcu_exit_nohz(void)
90{
91 rcu_dynticks_nesting++;
92}
93
94#endif /* #ifdef CONFIG_NO_HZ */
95
96/*
97 * Helper function for rcu_qsctr_inc() and rcu_bh_qsctr_inc().
Ingo Molnar4ce5b902009-10-26 07:55:55 +010098 * Also disable irqs to avoid confusion due to interrupt handlers
99 * invoking call_rcu().
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700100 */
101static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
102{
103 unsigned long flags;
104
105 local_irq_save(flags);
106 if (rcp->rcucblist != NULL &&
107 rcp->donetail != rcp->curtail) {
108 rcp->donetail = rcp->curtail;
109 local_irq_restore(flags);
110 return 1;
111 }
112 local_irq_restore(flags);
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100113
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700114 return 0;
115}
116
117/*
118 * Record an rcu quiescent state. And an rcu_bh quiescent state while we
119 * are at it, given that any rcu quiescent state is also an rcu_bh
120 * quiescent state. Use "+" instead of "||" to defeat short circuiting.
121 */
122void rcu_sched_qs(int cpu)
123{
Paul E. McKenney99652b52010-03-30 15:50:01 -0700124 if (rcu_qsctr_help(&rcu_sched_ctrlblk) +
125 rcu_qsctr_help(&rcu_bh_ctrlblk))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700126 raise_softirq(RCU_SOFTIRQ);
127}
128
129/*
130 * Record an rcu_bh quiescent state.
131 */
132void rcu_bh_qs(int cpu)
133{
134 if (rcu_qsctr_help(&rcu_bh_ctrlblk))
135 raise_softirq(RCU_SOFTIRQ);
136}
137
138/*
139 * Check to see if the scheduling-clock interrupt came from an extended
140 * quiescent state, and, if so, tell RCU about it.
141 */
142void rcu_check_callbacks(int cpu, int user)
143{
144 if (user ||
145 (idle_cpu(cpu) &&
146 !in_softirq() &&
147 hardirq_count() <= (1 << HARDIRQ_SHIFT)))
148 rcu_sched_qs(cpu);
149 else if (!in_softirq())
150 rcu_bh_qs(cpu);
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700151 rcu_preempt_check_callbacks();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700152}
153
154/*
155 * Helper function for rcu_process_callbacks() that operates on the
156 * specified rcu_ctrlkblk structure.
157 */
158static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp)
159{
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700160 struct rcu_head *next, *list;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100161 unsigned long flags;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700162
163 /* If no RCU callbacks ready to invoke, just return. */
164 if (&rcp->rcucblist == rcp->donetail)
165 return;
166
167 /* Move the ready-to-invoke callbacks to a local list. */
168 local_irq_save(flags);
169 list = rcp->rcucblist;
170 rcp->rcucblist = *rcp->donetail;
171 *rcp->donetail = NULL;
172 if (rcp->curtail == rcp->donetail)
173 rcp->curtail = &rcp->rcucblist;
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700174 rcu_preempt_remove_callbacks(rcp);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700175 rcp->donetail = &rcp->rcucblist;
176 local_irq_restore(flags);
177
178 /* Invoke the callbacks on the local list. */
179 while (list) {
180 next = list->next;
181 prefetch(next);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400182 debug_rcu_head_unqueue(list);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700183 list->func(list);
184 list = next;
185 }
186}
187
188/*
189 * Invoke any callbacks whose grace period has completed.
190 */
191static void rcu_process_callbacks(struct softirq_action *unused)
192{
Paul E. McKenney99652b52010-03-30 15:50:01 -0700193 __rcu_process_callbacks(&rcu_sched_ctrlblk);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700194 __rcu_process_callbacks(&rcu_bh_ctrlblk);
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700195 rcu_preempt_process_callbacks();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700196}
197
198/*
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700199 * Wait for a grace period to elapse. But it is illegal to invoke
200 * synchronize_sched() from within an RCU read-side critical section.
201 * Therefore, any legal call to synchronize_sched() is a quiescent
202 * state, and so on a UP system, synchronize_sched() need do nothing.
203 * Ditto for synchronize_rcu_bh(). (But Lai Jiangshan points out the
204 * benefits of doing might_sleep() to reduce latency.)
205 *
206 * Cool, huh? (Due to Josh Triplett.)
207 *
Paul E. McKenneyda848c42010-03-30 15:46:01 -0700208 * But we want to make this a static inline later. The cond_resched()
209 * currently makes this problematic.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700210 */
211void synchronize_sched(void)
212{
213 cond_resched();
214}
215EXPORT_SYMBOL_GPL(synchronize_sched);
216
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700217/*
218 * Helper function for call_rcu() and call_rcu_bh().
219 */
220static void __call_rcu(struct rcu_head *head,
221 void (*func)(struct rcu_head *rcu),
222 struct rcu_ctrlblk *rcp)
223{
224 unsigned long flags;
225
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400226 debug_rcu_head_queue(head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700227 head->func = func;
228 head->next = NULL;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100229
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700230 local_irq_save(flags);
231 *rcp->curtail = head;
232 rcp->curtail = &head->next;
233 local_irq_restore(flags);
234}
235
236/*
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700237 * Post an RCU callback to be invoked after the end of an RCU-sched grace
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700238 * period. But since we have but one CPU, that would be after any
239 * quiescent state.
240 */
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700241void call_rcu_sched(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700242{
Paul E. McKenney99652b52010-03-30 15:50:01 -0700243 __call_rcu(head, func, &rcu_sched_ctrlblk);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700244}
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700245EXPORT_SYMBOL_GPL(call_rcu_sched);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700246
247/*
248 * Post an RCU bottom-half callback to be invoked after any subsequent
249 * quiescent state.
250 */
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100251void call_rcu_bh(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700252{
253 __call_rcu(head, func, &rcu_bh_ctrlblk);
254}
255EXPORT_SYMBOL_GPL(call_rcu_bh);
256
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700257void rcu_barrier_bh(void)
258{
259 struct rcu_synchronize rcu;
260
Paul E. McKenney72d5a9f2010-05-10 17:12:17 -0700261 init_rcu_head_on_stack(&rcu.head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700262 init_completion(&rcu.completion);
263 /* Will wake me after RCU finished. */
264 call_rcu_bh(&rcu.head, wakeme_after_rcu);
265 /* Wait for it. */
266 wait_for_completion(&rcu.completion);
Paul E. McKenney72d5a9f2010-05-10 17:12:17 -0700267 destroy_rcu_head_on_stack(&rcu.head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700268}
269EXPORT_SYMBOL_GPL(rcu_barrier_bh);
270
271void rcu_barrier_sched(void)
272{
273 struct rcu_synchronize rcu;
274
Paul E. McKenney72d5a9f2010-05-10 17:12:17 -0700275 init_rcu_head_on_stack(&rcu.head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700276 init_completion(&rcu.completion);
277 /* Will wake me after RCU finished. */
278 call_rcu_sched(&rcu.head, wakeme_after_rcu);
279 /* Wait for it. */
280 wait_for_completion(&rcu.completion);
Paul E. McKenney72d5a9f2010-05-10 17:12:17 -0700281 destroy_rcu_head_on_stack(&rcu.head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700282}
283EXPORT_SYMBOL_GPL(rcu_barrier_sched);
284
Paul E. McKenney9f680ab2009-11-22 08:53:49 -0800285void __init rcu_init(void)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700286{
287 open_softirq(RCU_SOFTIRQ, rcu_process_callbacks);
288}