blob: 5f5963ba313e3a4a08192695bfc58ac9d1f8db4e [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 Molnarf9411eb2017-02-06 09:50:49 +010028#include <linux/rcupdate_wait.h>
Ingo Molnar4ce5b902009-10-26 07:55:55 +010029#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#include "rcu.h"
40
Paul E. McKenney6d481522017-05-17 10:54:29 -070041/* Global control variables for rcupdate callback mechanism. */
42struct rcu_ctrlblk {
43 struct rcu_head *rcucblist; /* List of pending callbacks (CBs). */
44 struct rcu_head **donetail; /* ->next pointer of last "done" CB. */
45 struct rcu_head **curtail; /* ->next pointer of last CB. */
46};
47
48/* Definition for rcupdate control block. */
Paul E. McKenney709fdce2018-07-03 10:44:44 -070049static struct rcu_ctrlblk rcu_ctrlblk = {
50 .donetail = &rcu_ctrlblk.rcucblist,
51 .curtail = &rcu_ctrlblk.rcucblist,
Paul E. McKenney6d481522017-05-17 10:54:29 -070052};
53
Paul E. McKenney709fdce2018-07-03 10:44:44 -070054void rcu_barrier(void)
Ingo Molnarf9411eb2017-02-06 09:50:49 +010055{
Paul E. McKenney709fdce2018-07-03 10:44:44 -070056 wait_rcu_gp(call_rcu);
Ingo Molnarf9411eb2017-02-06 09:50:49 +010057}
Paul E. McKenney709fdce2018-07-03 10:44:44 -070058EXPORT_SYMBOL(rcu_barrier);
Ingo Molnarf9411eb2017-02-06 09:50:49 +010059
Paul E. McKenney65cfe352018-07-01 07:40:52 -070060/* Record an rcu quiescent state. */
Paul E. McKenney709fdce2018-07-03 10:44:44 -070061void rcu_qs(void)
Ingo Molnarf9411eb2017-02-06 09:50:49 +010062{
Eric Dumazetb554d7d2011-04-28 07:23:45 +020063 unsigned long flags;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070064
Eric Dumazetb554d7d2011-04-28 07:23:45 +020065 local_irq_save(flags);
Paul E. McKenney709fdce2018-07-03 10:44:44 -070066 if (rcu_ctrlblk.donetail != rcu_ctrlblk.curtail) {
67 rcu_ctrlblk.donetail = rcu_ctrlblk.curtail;
Paul E. McKenney9dc5ad32013-03-27 10:11:15 -070068 raise_softirq(RCU_SOFTIRQ);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070069 }
Eric Dumazetb554d7d2011-04-28 07:23:45 +020070 local_irq_restore(flags);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070071}
72
73/*
74 * Check to see if the scheduling-clock interrupt came from an extended
Paul E. McKenney9b2e4f12011-09-30 12:10:22 -070075 * quiescent state, and, if so, tell RCU about it. This function must
76 * be called from hardirq context. It is normally called from the
77 * scheduling-clock interrupt.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070078 */
Paul E. McKenneyc3377c2d2014-10-21 07:53:02 -070079void rcu_check_callbacks(int user)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070080{
Paul E. McKenneyc5bacd92018-07-20 14:18:23 -070081 if (user) {
Paul E. McKenney709fdce2018-07-03 10:44:44 -070082 rcu_qs();
Paul E. McKenneyc5bacd92018-07-20 14:18:23 -070083 } else if (rcu_ctrlblk.donetail != rcu_ctrlblk.curtail) {
84 set_tsk_need_resched(current);
85 set_preempt_need_resched();
86 }
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070087}
88
Paul E. McKenney65cfe352018-07-01 07:40:52 -070089/* Invoke the RCU callbacks whose grace period has elapsed. */
90static __latent_entropy void rcu_process_callbacks(struct softirq_action *unused)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070091{
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070092 struct rcu_head *next, *list;
Ingo Molnar4ce5b902009-10-26 07:55:55 +010093 unsigned long flags;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070094
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -070095 /* Move the ready-to-invoke callbacks to a local list. */
96 local_irq_save(flags);
Paul E. McKenney709fdce2018-07-03 10:44:44 -070097 if (rcu_ctrlblk.donetail == &rcu_ctrlblk.rcucblist) {
Paul E. McKenney6e91f8c2015-05-11 11:13:05 -070098 /* No callbacks ready, so just leave. */
99 local_irq_restore(flags);
100 return;
101 }
Paul E. McKenney709fdce2018-07-03 10:44:44 -0700102 list = rcu_ctrlblk.rcucblist;
103 rcu_ctrlblk.rcucblist = *rcu_ctrlblk.donetail;
104 *rcu_ctrlblk.donetail = NULL;
105 if (rcu_ctrlblk.curtail == rcu_ctrlblk.donetail)
106 rcu_ctrlblk.curtail = &rcu_ctrlblk.rcucblist;
107 rcu_ctrlblk.donetail = &rcu_ctrlblk.rcucblist;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700108 local_irq_restore(flags);
109
110 /* Invoke the callbacks on the local list. */
111 while (list) {
112 next = list->next;
113 prefetch(next);
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400114 debug_rcu_head_unqueue(list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700115 local_bh_disable();
Paul E. McKenney6d481522017-05-17 10:54:29 -0700116 __rcu_reclaim("", list);
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700117 local_bh_enable();
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700118 list = next;
119 }
120}
121
Paul E. McKenneyb2c07102010-09-09 13:40:39 -0700122/*
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700123 * Wait for a grace period to elapse. But it is illegal to invoke
Paul E. McKenney679d3f32018-07-07 18:12:26 -0700124 * synchronize_rcu() from within an RCU read-side critical section.
125 * Therefore, any legal call to synchronize_rcu() is a quiescent
126 * state, and so on a UP system, synchronize_rcu() need do nothing.
Paul E. McKenney65cfe352018-07-01 07:40:52 -0700127 * (But Lai Jiangshan points out the benefits of doing might_sleep()
128 * to reduce latency.)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700129 *
130 * Cool, huh? (Due to Josh Triplett.)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700131 */
Paul E. McKenney709fdce2018-07-03 10:44:44 -0700132void synchronize_rcu(void)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700133{
Paul E. McKenneyf78f5b92015-06-18 15:50:02 -0700134 RCU_LOCKDEP_WARN(lock_is_held(&rcu_bh_lock_map) ||
135 lock_is_held(&rcu_lock_map) ||
136 lock_is_held(&rcu_sched_lock_map),
Paul E. McKenney679d3f32018-07-07 18:12:26 -0700137 "Illegal synchronize_rcu() in RCU read-side critical section");
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700138}
Paul E. McKenney709fdce2018-07-03 10:44:44 -0700139EXPORT_SYMBOL_GPL(synchronize_rcu);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700140
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700141/*
Paul E. McKenney679d3f32018-07-07 18:12:26 -0700142 * Post an RCU callback to be invoked after the end of an RCU grace
Paul E. McKenney65cfe352018-07-01 07:40:52 -0700143 * period. But since we have but one CPU, that would be after any
144 * quiescent state.
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700145 */
Paul E. McKenney709fdce2018-07-03 10:44:44 -0700146void call_rcu(struct rcu_head *head, rcu_callback_t func)
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700147{
148 unsigned long flags;
149
Mathieu Desnoyers551d55a2010-04-17 08:48:42 -0400150 debug_rcu_head_queue(head);
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700151 head->func = func;
152 head->next = NULL;
Ingo Molnar4ce5b902009-10-26 07:55:55 +0100153
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700154 local_irq_save(flags);
Paul E. McKenney709fdce2018-07-03 10:44:44 -0700155 *rcu_ctrlblk.curtail = head;
156 rcu_ctrlblk.curtail = &head->next;
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700157 local_irq_restore(flags);
Lai Jiangshan5f6130f2014-12-09 17:53:34 +0800158
159 if (unlikely(is_idle_task(current))) {
Paul E. McKenney709fdce2018-07-03 10:44:44 -0700160 /* force scheduling for rcu_qs() */
Lai Jiangshan5f6130f2014-12-09 17:53:34 +0800161 resched_cpu(0);
162 }
Paul E. McKenney9b1d82f2009-10-25 19:03:50 -0700163}
Paul E. McKenney709fdce2018-07-03 10:44:44 -0700164EXPORT_SYMBOL_GPL(call_rcu);
Paul E. McKenney9dc5ad32013-03-27 10:11:15 -0700165
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400166void __init rcu_init(void)
Paul E. McKenney9dc5ad32013-03-27 10:11:15 -0700167{
168 open_softirq(RCU_SOFTIRQ, rcu_process_callbacks);
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400169 rcu_early_boot_tests();
Paul E. McKenneye0fcba92018-08-14 08:45:54 -0700170 srcu_init();
Paul E. McKenney9dc5ad32013-03-27 10:11:15 -0700171}