blob: 19453ba1392e1f71597373c6c9b46558e4fb00ad [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
41
42#include <trace/events/rcu.h>
43
44#else /* #ifdef CONFIG_RCU_TRACE */
45
46/* No by-default tracing in TINY_RCU: Keep TINY_RCU tiny! */
47static void trace_rcu_invoke_kfree_callback(struct rcu_head *rhp,
48 unsigned long offset)
49{
50}
51static void trace_rcu_invoke_callback(struct rcu_head *head)
52{
53}
54
55#endif /* #else #ifdef CONFIG_RCU_TRACE */
56
57#include "rcu.h"
58
Paul E. McKenney24278d12010-09-27 17:25:23 -070059/* Controls for rcu_kthread() kthread, replacing RCU_SOFTIRQ used previously. */
60static struct task_struct *rcu_kthread_task;
61static DECLARE_WAIT_QUEUE_HEAD(rcu_kthread_wq);
62static unsigned long have_rcu_kthread_work;
Paul E. McKenneyb2c07102010-09-09 13:40:39 -070063
Paul E. McKenneya57eb942010-06-29 16:49:16 -070064/* Forward declarations for rcutiny_plugin.h. */
Paul E. McKenney24278d12010-09-27 17:25:23 -070065struct rcu_ctrlblk;
Eric Dumazetb554d7d2011-04-28 07:23:45 +020066static void invoke_rcu_kthread(void);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -070067static void rcu_process_callbacks(struct rcu_ctrlblk *rcp);
Paul E. McKenney24278d12010-09-27 17:25:23 -070068static int rcu_kthread(void *arg);
Paul E. McKenneya57eb942010-06-29 16:49:16 -070069static void __call_rcu(struct rcu_head *head,
70 void (*func)(struct rcu_head *rcu),
71 struct rcu_ctrlblk *rcp);
72
73#include "rcutiny_plugin.h"
74
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070075#ifdef CONFIG_NO_HZ
76
77static long rcu_dynticks_nesting = 1;
78
79/*
80 * Enter dynticks-idle mode, which is an extended quiescent state
81 * if we have fully entered that mode (i.e., if the new value of
82 * dynticks_nesting is zero).
83 */
84void rcu_enter_nohz(void)
85{
86 if (--rcu_dynticks_nesting == 0)
87 rcu_sched_qs(0); /* implies rcu_bh_qsctr_inc(0) */
88}
89
90/*
91 * Exit dynticks-idle mode, so that we are no longer in an extended
92 * quiescent state.
93 */
94void rcu_exit_nohz(void)
95{
96 rcu_dynticks_nesting++;
97}
98
99#endif /* #ifdef CONFIG_NO_HZ */
100
101/*
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200102 * Helper function for rcu_sched_qs() and rcu_bh_qs().
103 * Also irqs are disabled to avoid confusion due to interrupt handlers
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100104 * invoking call_rcu().
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700105 */
106static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
107{
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700108 if (rcp->rcucblist != NULL &&
109 rcp->donetail != rcp->curtail) {
110 rcp->donetail = rcp->curtail;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700111 return 1;
112 }
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100113
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700114 return 0;
115}
116
117/*
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200118 * Wake up rcu_kthread() to process callbacks now eligible for invocation
119 * or to boost readers.
120 */
121static void invoke_rcu_kthread(void)
122{
123 have_rcu_kthread_work = 1;
124 wake_up(&rcu_kthread_wq);
125}
126
127/*
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700128 * Record an rcu quiescent state. And an rcu_bh quiescent state while we
129 * are at it, given that any rcu quiescent state is also an rcu_bh
130 * quiescent state. Use "+" instead of "||" to defeat short circuiting.
131 */
132void rcu_sched_qs(int cpu)
133{
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200134 unsigned long flags;
135
136 local_irq_save(flags);
Paul E. McKenney99652b52010-03-30 15:50:01 -0700137 if (rcu_qsctr_help(&rcu_sched_ctrlblk) +
138 rcu_qsctr_help(&rcu_bh_ctrlblk))
Paul E. McKenney24278d12010-09-27 17:25:23 -0700139 invoke_rcu_kthread();
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200140 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700141}
142
143/*
144 * Record an rcu_bh quiescent state.
145 */
146void rcu_bh_qs(int cpu)
147{
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200148 unsigned long flags;
149
150 local_irq_save(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700151 if (rcu_qsctr_help(&rcu_bh_ctrlblk))
Paul E. McKenney24278d12010-09-27 17:25:23 -0700152 invoke_rcu_kthread();
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200153 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700154}
155
156/*
157 * Check to see if the scheduling-clock interrupt came from an extended
158 * quiescent state, and, if so, tell RCU about it.
159 */
160void rcu_check_callbacks(int cpu, int user)
161{
162 if (user ||
163 (idle_cpu(cpu) &&
164 !in_softirq() &&
165 hardirq_count() <= (1 << HARDIRQ_SHIFT)))
166 rcu_sched_qs(cpu);
167 else if (!in_softirq())
168 rcu_bh_qs(cpu);
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700169 rcu_preempt_check_callbacks();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700170}
171
172/*
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700173 * Invoke the RCU callbacks on the specified rcu_ctrlkblk structure
174 * whose grace period has elapsed.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700175 */
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700176static void rcu_process_callbacks(struct rcu_ctrlblk *rcp)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700177{
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700178 struct rcu_head *next, *list;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100179 unsigned long flags;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700180 RCU_TRACE(int cb_count = 0);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700181
182 /* If no RCU callbacks ready to invoke, just return. */
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700183 if (&rcp->rcucblist == rcp->donetail) {
184 RCU_TRACE(trace_rcu_batch_start(0, -1));
185 RCU_TRACE(trace_rcu_batch_end(0));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700186 return;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700187 }
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700188
189 /* Move the ready-to-invoke callbacks to a local list. */
190 local_irq_save(flags);
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700191 RCU_TRACE(trace_rcu_batch_start(0, -1));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700192 list = rcp->rcucblist;
193 rcp->rcucblist = *rcp->donetail;
194 *rcp->donetail = NULL;
195 if (rcp->curtail == rcp->donetail)
196 rcp->curtail = &rcp->rcucblist;
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700197 rcu_preempt_remove_callbacks(rcp);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700198 rcp->donetail = &rcp->rcucblist;
199 local_irq_restore(flags);
200
201 /* Invoke the callbacks on the local list. */
202 while (list) {
203 next = list->next;
204 prefetch(next);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400205 debug_rcu_head_unqueue(list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700206 local_bh_disable();
Lai Jiangshan9ab15442011-03-18 11:15:47 +0800207 __rcu_reclaim(list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700208 local_bh_enable();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700209 list = next;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700210 RCU_TRACE(cb_count++);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700211 }
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700212 RCU_TRACE(rcu_trace_sub_qlen(rcp, cb_count));
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700213 RCU_TRACE(trace_rcu_batch_end(cb_count));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700214}
215
216/*
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700217 * This kthread invokes RCU callbacks whose grace periods have
218 * elapsed. It is awakened as needed, and takes the place of the
219 * RCU_SOFTIRQ that was used previously for this purpose.
220 * This is a kthread, but it is never stopped, at least not until
221 * the system goes down.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700222 */
Paul E. McKenney24278d12010-09-27 17:25:23 -0700223static int rcu_kthread(void *arg)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700224{
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700225 unsigned long work;
Paul E. McKenney24278d12010-09-27 17:25:23 -0700226 unsigned long morework;
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700227 unsigned long flags;
228
229 for (;;) {
Paul E. McKenneyb24efdf2011-01-12 14:18:11 -0800230 wait_event_interruptible(rcu_kthread_wq,
231 have_rcu_kthread_work != 0);
Paul E. McKenney24278d12010-09-27 17:25:23 -0700232 morework = rcu_boost();
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700233 local_irq_save(flags);
Paul E. McKenney24278d12010-09-27 17:25:23 -0700234 work = have_rcu_kthread_work;
235 have_rcu_kthread_work = morework;
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700236 local_irq_restore(flags);
237 if (work) {
238 rcu_process_callbacks(&rcu_sched_ctrlblk);
239 rcu_process_callbacks(&rcu_bh_ctrlblk);
240 rcu_preempt_process_callbacks();
241 }
Paul E. McKenney24278d12010-09-27 17:25:23 -0700242 schedule_timeout_interruptible(1); /* Leave CPU for others. */
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700243 }
244
245 return 0; /* Not reached, but needed to shut gcc up. */
246}
247
248/*
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700249 * Wait for a grace period to elapse. But it is illegal to invoke
250 * synchronize_sched() from within an RCU read-side critical section.
251 * Therefore, any legal call to synchronize_sched() is a quiescent
252 * state, and so on a UP system, synchronize_sched() need do nothing.
253 * Ditto for synchronize_rcu_bh(). (But Lai Jiangshan points out the
254 * benefits of doing might_sleep() to reduce latency.)
255 *
256 * Cool, huh? (Due to Josh Triplett.)
257 *
Paul E. McKenneyda848c42010-03-30 15:46:01 -0700258 * But we want to make this a static inline later. The cond_resched()
259 * currently makes this problematic.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700260 */
261void synchronize_sched(void)
262{
263 cond_resched();
264}
265EXPORT_SYMBOL_GPL(synchronize_sched);
266
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700267/*
268 * Helper function for call_rcu() and call_rcu_bh().
269 */
270static void __call_rcu(struct rcu_head *head,
271 void (*func)(struct rcu_head *rcu),
272 struct rcu_ctrlblk *rcp)
273{
274 unsigned long flags;
275
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400276 debug_rcu_head_queue(head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700277 head->func = func;
278 head->next = NULL;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100279
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700280 local_irq_save(flags);
281 *rcp->curtail = head;
282 rcp->curtail = &head->next;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700283 RCU_TRACE(rcp->qlen++);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700284 local_irq_restore(flags);
285}
286
287/*
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700288 * Post an RCU callback to be invoked after the end of an RCU-sched grace
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700289 * period. But since we have but one CPU, that would be after any
290 * quiescent state.
291 */
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700292void call_rcu_sched(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700293{
Paul E. McKenney99652b52010-03-30 15:50:01 -0700294 __call_rcu(head, func, &rcu_sched_ctrlblk);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700295}
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700296EXPORT_SYMBOL_GPL(call_rcu_sched);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700297
298/*
299 * Post an RCU bottom-half callback to be invoked after any subsequent
300 * quiescent state.
301 */
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100302void call_rcu_bh(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700303{
304 __call_rcu(head, func, &rcu_bh_ctrlblk);
305}
306EXPORT_SYMBOL_GPL(call_rcu_bh);
307
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700308/*
309 * Spawn the kthread that invokes RCU callbacks.
310 */
311static int __init rcu_spawn_kthreads(void)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700312{
Paul E. McKenney24278d12010-09-27 17:25:23 -0700313 struct sched_param sp;
314
315 rcu_kthread_task = kthread_run(rcu_kthread, NULL, "rcu_kthread");
316 sp.sched_priority = RCU_BOOST_PRIO;
317 sched_setscheduler_nocheck(rcu_kthread_task, SCHED_FIFO, &sp);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700318 return 0;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700319}
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700320early_initcall(rcu_spawn_kthreads);