blob: 069742d61c68873a3fce7bf5d7df2e77d5a59958 [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
Paul E. McKenney87de1cf2013-12-03 10:02:52 -080015 * along with this program; if not, you can access it online at
16 * http://www.gnu.org/licenses/gpl-2.0.html.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070017 *
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. McKenney0d752922013-08-17 18:08:37 -070038#include <linux/ftrace_event.h>
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070039
Paul E. McKenney29c00b42011-06-17 15:53:19 -070040#include "rcu.h"
41
Paul E. McKenney4102ada2013-10-08 20:23:47 -070042/* Forward declarations for tiny_plugin.h. */
Paul E. McKenney24278d12010-09-27 17:25:23 -070043struct rcu_ctrlblk;
Paul E. McKenney965a0022011-06-18 09:55:39 -070044static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp);
45static void rcu_process_callbacks(struct softirq_action *unused);
Paul E. McKenneya57eb942010-06-29 16:49:16 -070046static void __call_rcu(struct rcu_head *head,
47 void (*func)(struct rcu_head *rcu),
48 struct rcu_ctrlblk *rcp);
49
Paul E. McKenney4102ada2013-10-08 20:23:47 -070050#include "tiny_plugin.h"
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -070051
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070052/*
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070053 * Enter idle, which is an extended quiescent state if we have fully
Lai Jiangshan5f6130f2014-12-09 17:53:34 +080054 * entered that mode.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070055 */
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070056void rcu_idle_enter(void)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070057{
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070058}
Paul E. McKenney8a2ecf42012-02-02 15:42:04 -080059EXPORT_SYMBOL_GPL(rcu_idle_enter);
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070060
61/*
62 * Exit an interrupt handler towards idle.
63 */
64void rcu_irq_exit(void)
65{
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070066}
Paul E. McKenneyb4270ee2012-07-31 10:12:48 -070067EXPORT_SYMBOL_GPL(rcu_irq_exit);
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070068
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070069/*
70 * Exit idle, so that we are no longer in an extended quiescent state.
71 */
72void rcu_idle_exit(void)
73{
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070074}
Paul E. McKenney8a2ecf42012-02-02 15:42:04 -080075EXPORT_SYMBOL_GPL(rcu_idle_exit);
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070076
77/*
78 * Enter an interrupt handler, moving away from idle.
79 */
80void rcu_irq_enter(void)
81{
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070082}
Paul E. McKenneyb4270ee2012-07-31 10:12:48 -070083EXPORT_SYMBOL_GPL(rcu_irq_enter);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070084
Paul E. McKenneycc6783f2013-09-06 17:39:49 -070085#if defined(CONFIG_DEBUG_LOCK_ALLOC) || defined(CONFIG_RCU_TRACE)
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070086
87/*
88 * Test whether RCU thinks that the current CPU is idle.
89 */
Linus Torvaldsb29c8302013-11-16 12:23:18 -080090bool notrace __rcu_is_watching(void)
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070091{
Lai Jiangshan5f6130f2014-12-09 17:53:34 +080092 return true;
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070093}
Paul E. McKenney5c173eb2013-09-13 17:20:11 -070094EXPORT_SYMBOL(__rcu_is_watching);
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070095
Paul E. McKenneycc6783f2013-09-06 17:39:49 -070096#endif /* defined(CONFIG_DEBUG_LOCK_ALLOC) || defined(CONFIG_RCU_TRACE) */
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070097
98/*
Eric Dumazetb554d7d2011-04-28 07:23:45 +020099 * Helper function for rcu_sched_qs() and rcu_bh_qs().
100 * Also irqs are disabled to avoid confusion due to interrupt handlers
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100101 * invoking call_rcu().
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700102 */
103static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
104{
Paul E. McKenney14961442013-04-16 07:49:22 -0700105 RCU_TRACE(reset_cpu_stall_ticks(rcp));
Alexander Gordeev27153ac2015-02-11 15:42:37 +0100106 if (rcp->donetail != rcp->curtail) {
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700107 rcp->donetail = rcp->curtail;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700108 return 1;
109 }
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100110
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700111 return 0;
112}
113
114/*
115 * Record an rcu quiescent state. And an rcu_bh quiescent state while we
116 * are at it, given that any rcu quiescent state is also an rcu_bh
117 * quiescent state. Use "+" instead of "||" to defeat short circuiting.
118 */
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700119void rcu_sched_qs(void)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700120{
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200121 unsigned long flags;
122
123 local_irq_save(flags);
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. McKenney9dc5ad32013-03-27 10:11:15 -0700126 raise_softirq(RCU_SOFTIRQ);
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200127 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700128}
129
130/*
131 * Record an rcu_bh quiescent state.
132 */
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700133void rcu_bh_qs(void)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700134{
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200135 unsigned long flags;
136
137 local_irq_save(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700138 if (rcu_qsctr_help(&rcu_bh_ctrlblk))
Paul E. McKenney9dc5ad32013-03-27 10:11:15 -0700139 raise_softirq(RCU_SOFTIRQ);
Eric Dumazetb554d7d2011-04-28 07:23:45 +0200140 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700141}
142
143/*
144 * Check to see if the scheduling-clock interrupt came from an extended
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -0700145 * quiescent state, and, if so, tell RCU about it. This function must
146 * be called from hardirq context. It is normally called from the
147 * scheduling-clock interrupt.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700148 */
Paul E. McKenneyc3377c2d2014-10-21 07:53:02 -0700149void rcu_check_callbacks(int user)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700150{
Paul E. McKenney14961442013-04-16 07:49:22 -0700151 RCU_TRACE(check_cpu_stalls());
Alexander Gordeevca9558a2014-10-31 14:55:05 +0000152 if (user)
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700153 rcu_sched_qs();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700154 else if (!in_softirq())
Paul E. McKenney284a8c92014-08-14 16:38:46 -0700155 rcu_bh_qs();
Paul E. McKenney8315f422014-06-27 13:42:20 -0700156 if (user)
157 rcu_note_voluntary_context_switch(current);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700158}
159
160/*
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700161 * Invoke the RCU callbacks on the specified rcu_ctrlkblk structure
162 * whose grace period has elapsed.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700163 */
Paul E. McKenney965a0022011-06-18 09:55:39 -0700164static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700165{
Steven Rostedt (Red Hat)e66c33d2013-07-12 16:50:28 -0400166 const char *rn = NULL;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700167 struct rcu_head *next, *list;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100168 unsigned long flags;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700169 RCU_TRACE(int cb_count = 0);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700170
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700171 /* Move the ready-to-invoke callbacks to a local list. */
172 local_irq_save(flags);
Paul E. McKenney486e2592012-01-06 14:11:30 -0800173 RCU_TRACE(trace_rcu_batch_start(rcp->name, 0, rcp->qlen, -1));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700174 list = rcp->rcucblist;
175 rcp->rcucblist = *rcp->donetail;
176 *rcp->donetail = NULL;
177 if (rcp->curtail == rcp->donetail)
178 rcp->curtail = &rcp->rcucblist;
179 rcp->donetail = &rcp->rcucblist;
180 local_irq_restore(flags);
181
182 /* Invoke the callbacks on the local list. */
Paul E. McKenneyd4c08f22011-06-25 06:36:56 -0700183 RCU_TRACE(rn = rcp->name);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700184 while (list) {
185 next = list->next;
186 prefetch(next);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400187 debug_rcu_head_unqueue(list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700188 local_bh_disable();
Paul E. McKenneyd4c08f22011-06-25 06:36:56 -0700189 __rcu_reclaim(rn, list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700190 local_bh_enable();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700191 list = next;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700192 RCU_TRACE(cb_count++);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700193 }
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700194 RCU_TRACE(rcu_trace_sub_qlen(rcp, cb_count));
Paul E. McKenney0d752922013-08-17 18:08:37 -0700195 RCU_TRACE(trace_rcu_batch_end(rcp->name,
196 cb_count, 0, need_resched(),
Paul E. McKenney4968c302011-12-07 16:32:40 -0800197 is_idle_task(current),
Paul E. McKenney9dc5ad32013-03-27 10:11:15 -0700198 false));
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700199}
200
Paul E. McKenney965a0022011-06-18 09:55:39 -0700201static void rcu_process_callbacks(struct softirq_action *unused)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700202{
Paul E. McKenney965a0022011-06-18 09:55:39 -0700203 __rcu_process_callbacks(&rcu_sched_ctrlblk);
204 __rcu_process_callbacks(&rcu_bh_ctrlblk);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700205}
206
207/*
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700208 * Wait for a grace period to elapse. But it is illegal to invoke
209 * synchronize_sched() from within an RCU read-side critical section.
210 * Therefore, any legal call to synchronize_sched() is a quiescent
211 * state, and so on a UP system, synchronize_sched() need do nothing.
212 * Ditto for synchronize_rcu_bh(). (But Lai Jiangshan points out the
213 * benefits of doing might_sleep() to reduce latency.)
214 *
215 * Cool, huh? (Due to Josh Triplett.)
216 *
Paul E. McKenneyda848c42010-03-30 15:46:01 -0700217 * But we want to make this a static inline later. The cond_resched()
218 * currently makes this problematic.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700219 */
220void synchronize_sched(void)
221{
Paul E. McKenneyfe15d702012-01-04 13:30:33 -0800222 rcu_lockdep_assert(!lock_is_held(&rcu_bh_lock_map) &&
223 !lock_is_held(&rcu_lock_map) &&
224 !lock_is_held(&rcu_sched_lock_map),
225 "Illegal synchronize_sched() in RCU read-side critical section");
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700226 cond_resched();
227}
228EXPORT_SYMBOL_GPL(synchronize_sched);
229
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700230/*
231 * Helper function for call_rcu() and call_rcu_bh().
232 */
233static void __call_rcu(struct rcu_head *head,
234 void (*func)(struct rcu_head *rcu),
235 struct rcu_ctrlblk *rcp)
236{
237 unsigned long flags;
238
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400239 debug_rcu_head_queue(head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700240 head->func = func;
241 head->next = NULL;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100242
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700243 local_irq_save(flags);
244 *rcp->curtail = head;
245 rcp->curtail = &head->next;
Paul E. McKenney9e571a82010-09-30 21:26:52 -0700246 RCU_TRACE(rcp->qlen++);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700247 local_irq_restore(flags);
Lai Jiangshan5f6130f2014-12-09 17:53:34 +0800248
249 if (unlikely(is_idle_task(current))) {
250 /* force scheduling for rcu_sched_qs() */
251 resched_cpu(0);
252 }
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700253}
254
255/*
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700256 * Post an RCU callback to be invoked after the end of an RCU-sched grace
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700257 * period. But since we have but one CPU, that would be after any
258 * quiescent state.
259 */
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700260void call_rcu_sched(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700261{
Paul E. McKenney99652b52010-03-30 15:50:01 -0700262 __call_rcu(head, func, &rcu_sched_ctrlblk);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700263}
Paul E. McKenneya57eb942010-06-29 16:49:16 -0700264EXPORT_SYMBOL_GPL(call_rcu_sched);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700265
266/*
267 * Post an RCU bottom-half callback to be invoked after any subsequent
268 * quiescent state.
269 */
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100270void call_rcu_bh(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700271{
272 __call_rcu(head, func, &rcu_bh_ctrlblk);
273}
274EXPORT_SYMBOL_GPL(call_rcu_bh);
Paul E. McKenney9dc5ad32013-03-27 10:11:15 -0700275
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400276void __init rcu_init(void)
Paul E. McKenney9dc5ad32013-03-27 10:11:15 -0700277{
278 open_softirq(RCU_SOFTIRQ, rcu_process_callbacks);
Paul E. McKenney630181c2014-12-23 21:33:14 -0800279 RCU_TRACE(reset_cpu_stall_ticks(&rcu_sched_ctrlblk));
280 RCU_TRACE(reset_cpu_stall_ticks(&rcu_bh_ctrlblk));
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400281
282 rcu_early_boot_tests();
Paul E. McKenney9dc5ad32013-03-27 10:11:15 -0700283}