Blame view

kernel/rcutiny.c 6.67 KB
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
  /*
   * Read-Copy Update mechanism for mutual exclusion, the Bloatwatch edition.
   *
   * This program is free software; you can redistribute it and/or modify
   * it under the terms of the GNU General Public License as published by
   * the Free Software Foundation; either version 2 of the License, or
   * (at your option) any later version.
   *
   * This program is distributed in the hope that it will be useful,
   * but WITHOUT ANY WARRANTY; without even the implied warranty of
   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   * GNU General Public License for more details.
   *
   * You should have received a copy of the GNU General Public License
   * along with this program; if not, write to the Free Software
   * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
   *
   * Copyright IBM Corporation, 2008
   *
   * Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
   *
   * For detailed explanation of Read-Copy Update mechanism see -
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
23
   *		Documentation/RCU
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
24
   */
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
25
26
  #include <linux/completion.h>
  #include <linux/interrupt.h>
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
27
  #include <linux/notifier.h>
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
28
29
  #include <linux/rcupdate.h>
  #include <linux/kernel.h>
9984de1a5   Paul Gortmaker   kernel: Map most ...
30
  #include <linux/export.h>
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
31
  #include <linux/mutex.h>
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
32
33
34
  #include <linux/sched.h>
  #include <linux/types.h>
  #include <linux/init.h>
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
35
  #include <linux/time.h>
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
36
  #include <linux/cpu.h>
268bb0ce3   Linus Torvalds   sanitize <linux/p...
37
  #include <linux/prefetch.h>
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
38

29c00b4a1   Paul E. McKenney   rcu: Add event-tr...
39
  #ifdef CONFIG_RCU_TRACE
29c00b4a1   Paul E. McKenney   rcu: Add event-tr...
40
  #include <trace/events/rcu.h>
29c00b4a1   Paul E. McKenney   rcu: Add event-tr...
41
42
43
  #endif /* #else #ifdef CONFIG_RCU_TRACE */
  
  #include "rcu.h"
a57eb940d   Paul E. McKenney   rcu: Add a TINY_P...
44
  /* Forward declarations for rcutiny_plugin.h. */
24278d148   Paul E. McKenney   rcu: priority boo...
45
  struct rcu_ctrlblk;
965a002b4   Paul E. McKenney   rcu: Make TINY_RC...
46
47
48
  static void invoke_rcu_callbacks(void);
  static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp);
  static void rcu_process_callbacks(struct softirq_action *unused);
a57eb940d   Paul E. McKenney   rcu: Add a TINY_P...
49
50
51
52
53
  static void __call_rcu(struct rcu_head *head,
  		       void (*func)(struct rcu_head *rcu),
  		       struct rcu_ctrlblk *rcp);
  
  #include "rcutiny_plugin.h"
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
  #ifdef CONFIG_NO_HZ
  
  static long rcu_dynticks_nesting = 1;
  
  /*
   * Enter dynticks-idle mode, which is an extended quiescent state
   * if we have fully entered that mode (i.e., if the new value of
   * dynticks_nesting is zero).
   */
  void rcu_enter_nohz(void)
  {
  	if (--rcu_dynticks_nesting == 0)
  		rcu_sched_qs(0); /* implies rcu_bh_qsctr_inc(0) */
  }
  
  /*
   * Exit dynticks-idle mode, so that we are no longer in an extended
   * quiescent state.
   */
  void rcu_exit_nohz(void)
  {
  	rcu_dynticks_nesting++;
  }
  
  #endif /* #ifdef CONFIG_NO_HZ */
  
  /*
b554d7de8   Eric Dumazet   rcu: optimize rcu...
81
82
   * Helper function for rcu_sched_qs() and rcu_bh_qs().
   * Also irqs are disabled to avoid confusion due to interrupt handlers
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
83
   * invoking call_rcu().
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
84
85
86
   */
  static int rcu_qsctr_help(struct rcu_ctrlblk *rcp)
  {
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
87
88
89
  	if (rcp->rcucblist != NULL &&
  	    rcp->donetail != rcp->curtail) {
  		rcp->donetail = rcp->curtail;
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
90
91
  		return 1;
  	}
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
92

9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
93
94
95
96
97
98
99
100
101
102
  	return 0;
  }
  
  /*
   * Record an rcu quiescent state.  And an rcu_bh quiescent state while we
   * are at it, given that any rcu quiescent state is also an rcu_bh
   * quiescent state.  Use "+" instead of "||" to defeat short circuiting.
   */
  void rcu_sched_qs(int cpu)
  {
b554d7de8   Eric Dumazet   rcu: optimize rcu...
103
104
105
  	unsigned long flags;
  
  	local_irq_save(flags);
99652b54d   Paul E. McKenney   rcu: rename rcuti...
106
107
  	if (rcu_qsctr_help(&rcu_sched_ctrlblk) +
  	    rcu_qsctr_help(&rcu_bh_ctrlblk))
965a002b4   Paul E. McKenney   rcu: Make TINY_RC...
108
  		invoke_rcu_callbacks();
b554d7de8   Eric Dumazet   rcu: optimize rcu...
109
  	local_irq_restore(flags);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
110
111
112
113
114
115
116
  }
  
  /*
   * Record an rcu_bh quiescent state.
   */
  void rcu_bh_qs(int cpu)
  {
b554d7de8   Eric Dumazet   rcu: optimize rcu...
117
118
119
  	unsigned long flags;
  
  	local_irq_save(flags);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
120
  	if (rcu_qsctr_help(&rcu_bh_ctrlblk))
965a002b4   Paul E. McKenney   rcu: Make TINY_RC...
121
  		invoke_rcu_callbacks();
b554d7de8   Eric Dumazet   rcu: optimize rcu...
122
  	local_irq_restore(flags);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
  }
  
  /*
   * Check to see if the scheduling-clock interrupt came from an extended
   * quiescent state, and, if so, tell RCU about it.
   */
  void rcu_check_callbacks(int cpu, int user)
  {
  	if (user ||
  	    (idle_cpu(cpu) &&
  	     !in_softirq() &&
  	     hardirq_count() <= (1 << HARDIRQ_SHIFT)))
  		rcu_sched_qs(cpu);
  	else if (!in_softirq())
  		rcu_bh_qs(cpu);
a57eb940d   Paul E. McKenney   rcu: Add a TINY_P...
138
  	rcu_preempt_check_callbacks();
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
139
140
141
  }
  
  /*
b2c0710c4   Paul E. McKenney   rcu: move TINY_RC...
142
143
   * Invoke the RCU callbacks on the specified rcu_ctrlkblk structure
   * whose grace period has elapsed.
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
144
   */
965a002b4   Paul E. McKenney   rcu: Make TINY_RC...
145
  static void __rcu_process_callbacks(struct rcu_ctrlblk *rcp)
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
146
  {
d4c08f2ac   Paul E. McKenney   rcu: Add grace-pe...
147
  	char *rn = NULL;
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
148
  	struct rcu_head *next, *list;
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
149
  	unsigned long flags;
9e571a82f   Paul E. McKenney   rcu: add tracing ...
150
  	RCU_TRACE(int cb_count = 0);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
151
152
  
  	/* If no RCU callbacks ready to invoke, just return. */
29c00b4a1   Paul E. McKenney   rcu: Add event-tr...
153
  	if (&rcp->rcucblist == rcp->donetail) {
72fe701b7   Paul E. McKenney   rcu: Add RCU type...
154
155
  		RCU_TRACE(trace_rcu_batch_start(rcp->name, 0, -1));
  		RCU_TRACE(trace_rcu_batch_end(rcp->name, 0));
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
156
  		return;
29c00b4a1   Paul E. McKenney   rcu: Add event-tr...
157
  	}
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
158
159
160
  
  	/* Move the ready-to-invoke callbacks to a local list. */
  	local_irq_save(flags);
72fe701b7   Paul E. McKenney   rcu: Add RCU type...
161
  	RCU_TRACE(trace_rcu_batch_start(rcp->name, 0, -1));
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
162
163
164
165
166
  	list = rcp->rcucblist;
  	rcp->rcucblist = *rcp->donetail;
  	*rcp->donetail = NULL;
  	if (rcp->curtail == rcp->donetail)
  		rcp->curtail = &rcp->rcucblist;
a57eb940d   Paul E. McKenney   rcu: Add a TINY_P...
167
  	rcu_preempt_remove_callbacks(rcp);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
168
169
170
171
  	rcp->donetail = &rcp->rcucblist;
  	local_irq_restore(flags);
  
  	/* Invoke the callbacks on the local list. */
d4c08f2ac   Paul E. McKenney   rcu: Add grace-pe...
172
  	RCU_TRACE(rn = rcp->name);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
173
174
175
  	while (list) {
  		next = list->next;
  		prefetch(next);
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
176
  		debug_rcu_head_unqueue(list);
b2c0710c4   Paul E. McKenney   rcu: move TINY_RC...
177
  		local_bh_disable();
d4c08f2ac   Paul E. McKenney   rcu: Add grace-pe...
178
  		__rcu_reclaim(rn, list);
b2c0710c4   Paul E. McKenney   rcu: move TINY_RC...
179
  		local_bh_enable();
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
180
  		list = next;
9e571a82f   Paul E. McKenney   rcu: add tracing ...
181
  		RCU_TRACE(cb_count++);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
182
  	}
9e571a82f   Paul E. McKenney   rcu: add tracing ...
183
  	RCU_TRACE(rcu_trace_sub_qlen(rcp, cb_count));
72fe701b7   Paul E. McKenney   rcu: Add RCU type...
184
  	RCU_TRACE(trace_rcu_batch_end(rcp->name, cb_count));
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
185
  }
965a002b4   Paul E. McKenney   rcu: Make TINY_RC...
186
  static void rcu_process_callbacks(struct softirq_action *unused)
b2c0710c4   Paul E. McKenney   rcu: move TINY_RC...
187
  {
965a002b4   Paul E. McKenney   rcu: Make TINY_RC...
188
189
190
  	__rcu_process_callbacks(&rcu_sched_ctrlblk);
  	__rcu_process_callbacks(&rcu_bh_ctrlblk);
  	rcu_preempt_process_callbacks();
b2c0710c4   Paul E. McKenney   rcu: move TINY_RC...
191
192
193
  }
  
  /*
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
194
195
196
197
198
199
200
201
202
   * Wait for a grace period to elapse.  But it is illegal to invoke
   * synchronize_sched() from within an RCU read-side critical section.
   * Therefore, any legal call to synchronize_sched() is a quiescent
   * state, and so on a UP system, synchronize_sched() need do nothing.
   * Ditto for synchronize_rcu_bh().  (But Lai Jiangshan points out the
   * benefits of doing might_sleep() to reduce latency.)
   *
   * Cool, huh?  (Due to Josh Triplett.)
   *
da848c47b   Paul E. McKenney   rcu: shrink rcuti...
203
204
   * But we want to make this a static inline later.  The cond_resched()
   * currently makes this problematic.
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
205
206
207
208
209
210
   */
  void synchronize_sched(void)
  {
  	cond_resched();
  }
  EXPORT_SYMBOL_GPL(synchronize_sched);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
211
212
213
214
215
216
217
218
  /*
   * Helper function for call_rcu() and call_rcu_bh().
   */
  static void __call_rcu(struct rcu_head *head,
  		       void (*func)(struct rcu_head *rcu),
  		       struct rcu_ctrlblk *rcp)
  {
  	unsigned long flags;
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
219
  	debug_rcu_head_queue(head);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
220
221
  	head->func = func;
  	head->next = NULL;
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
222

9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
223
224
225
  	local_irq_save(flags);
  	*rcp->curtail = head;
  	rcp->curtail = &head->next;
9e571a82f   Paul E. McKenney   rcu: add tracing ...
226
  	RCU_TRACE(rcp->qlen++);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
227
228
229
230
  	local_irq_restore(flags);
  }
  
  /*
a57eb940d   Paul E. McKenney   rcu: Add a TINY_P...
231
   * Post an RCU callback to be invoked after the end of an RCU-sched grace
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
232
233
234
   * period.  But since we have but one CPU, that would be after any
   * quiescent state.
   */
a57eb940d   Paul E. McKenney   rcu: Add a TINY_P...
235
  void call_rcu_sched(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
236
  {
99652b54d   Paul E. McKenney   rcu: rename rcuti...
237
  	__call_rcu(head, func, &rcu_sched_ctrlblk);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
238
  }
a57eb940d   Paul E. McKenney   rcu: Add a TINY_P...
239
  EXPORT_SYMBOL_GPL(call_rcu_sched);
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
240
241
242
243
244
  
  /*
   * Post an RCU bottom-half callback to be invoked after any subsequent
   * quiescent state.
   */
4ce5b9034   Ingo Molnar   rcu: Do tiny clea...
245
  void call_rcu_bh(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
9b1d82fa1   Paul E. McKenney   rcu: "Tiny RCU", ...
246
247
248
249
  {
  	__call_rcu(head, func, &rcu_bh_ctrlblk);
  }
  EXPORT_SYMBOL_GPL(call_rcu_bh);