Blame view

kernel/rcupdate.c 9.48 KB
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
  /*
   * Read-Copy Update mechanism for mutual exclusion
   *
   * 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.
   *
01c1c660f   Paul E. McKenney   Preempt-RCU: reor...
18
   * Copyright IBM Corporation, 2001
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
19
20
21
   *
   * Authors: Dipankar Sarma <dipankar@in.ibm.com>
   *	    Manfred Spraul <manfred@colorfullife.com>
a71fca58b   Paul E. McKenney   rcu: Fix whitespa...
22
   *
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
23
24
25
26
27
28
29
   * Based on the original work by Paul McKenney <paulmck@us.ibm.com>
   * and inputs from Rusty Russell, Andrea Arcangeli and Andi Kleen.
   * Papers:
   * http://www.rdrop.com/users/paulmck/paper/rclockpdcsproof.pdf
   * http://lse.sourceforge.net/locking/rclock_OLS.2001.05.01c.sc.pdf (OLS2001)
   *
   * For detailed explanation of Read-Copy Update mechanism see -
a71fca58b   Paul E. McKenney   rcu: Fix whitespa...
30
   *		http://lse.sourceforge.net/locking/rcupdate.html
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
31
32
33
34
35
36
37
38
39
   *
   */
  #include <linux/types.h>
  #include <linux/kernel.h>
  #include <linux/init.h>
  #include <linux/spinlock.h>
  #include <linux/smp.h>
  #include <linux/interrupt.h>
  #include <linux/sched.h>
60063497a   Arun Sharma   atomic: use <linu...
40
  #include <linux/atomic.h>
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
41
  #include <linux/bitops.h>
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
42
43
  #include <linux/percpu.h>
  #include <linux/notifier.h>
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
44
  #include <linux/cpu.h>
9331b3157   Ingo Molnar   [PATCH] convert k...
45
  #include <linux/mutex.h>
9984de1a5   Paul Gortmaker   kernel: Map most ...
46
  #include <linux/export.h>
e3818b8dc   Paul E. McKenney   rcu: Make rcu_rea...
47
  #include <linux/hardirq.h>
1da177e4c   Linus Torvalds   Linux-2.6.12-rc2
48

29c00b4a1   Paul E. McKenney   rcu: Add event-tr...
49
50
51
52
  #define CREATE_TRACE_POINTS
  #include <trace/events/rcu.h>
  
  #include "rcu.h"
162cc2794   Paul E. McKenney   rcu: Fix rcu_lock...
53
54
55
56
57
  #ifdef CONFIG_DEBUG_LOCK_ALLOC
  static struct lock_class_key rcu_lock_key;
  struct lockdep_map rcu_lock_map =
  	STATIC_LOCKDEP_MAP_INIT("rcu_read_lock", &rcu_lock_key);
  EXPORT_SYMBOL_GPL(rcu_lock_map);
632ee2001   Paul E. McKenney   rcu: Introduce lo...
58
59
60
61
62
63
64
65
66
67
  
  static struct lock_class_key rcu_bh_lock_key;
  struct lockdep_map rcu_bh_lock_map =
  	STATIC_LOCKDEP_MAP_INIT("rcu_read_lock_bh", &rcu_bh_lock_key);
  EXPORT_SYMBOL_GPL(rcu_bh_lock_map);
  
  static struct lock_class_key rcu_sched_lock_key;
  struct lockdep_map rcu_sched_lock_map =
  	STATIC_LOCKDEP_MAP_INIT("rcu_read_lock_sched", &rcu_sched_lock_key);
  EXPORT_SYMBOL_GPL(rcu_sched_lock_map);
162cc2794   Paul E. McKenney   rcu: Fix rcu_lock...
68
  #endif
e3818b8dc   Paul E. McKenney   rcu: Make rcu_rea...
69
  #ifdef CONFIG_DEBUG_LOCK_ALLOC
bc293d62b   Paul E. McKenney   rcu: Make RCU loc...
70
71
72
73
74
75
  int debug_lockdep_rcu_enabled(void)
  {
  	return rcu_scheduler_active && debug_locks &&
  	       current->lockdep_recursion == 0;
  }
  EXPORT_SYMBOL_GPL(debug_lockdep_rcu_enabled);
e3818b8dc   Paul E. McKenney   rcu: Make rcu_rea...
76
  /**
ca5ecddfa   Paul E. McKenney   rcu: define __rcu...
77
   * rcu_read_lock_bh_held() - might we be in RCU-bh read-side critical section?
e3818b8dc   Paul E. McKenney   rcu: Make rcu_rea...
78
79
80
81
   *
   * Check for bottom half being disabled, which covers both the
   * CONFIG_PROVE_RCU and not cases.  Note that if someone uses
   * rcu_read_lock_bh(), but then later enables BH, lockdep (if enabled)
ca5ecddfa   Paul E. McKenney   rcu: define __rcu...
82
83
84
   * will show the situation.  This is useful for debug checks in functions
   * that require that they be called within an RCU read-side critical
   * section.
e3818b8dc   Paul E. McKenney   rcu: Make rcu_rea...
85
86
87
88
89
90
91
   *
   * Check debug_lockdep_rcu_enabled() to prevent false positives during boot.
   */
  int rcu_read_lock_bh_held(void)
  {
  	if (!debug_lockdep_rcu_enabled())
  		return 1;
e6b80a3b0   Frederic Weisbecker   rcu: Detect illeg...
92
93
  	if (rcu_is_cpu_idle())
  		return 0;
773e3f935   Paul E. McKenney   rcu: move check f...
94
  	return in_softirq() || irqs_disabled();
e3818b8dc   Paul E. McKenney   rcu: Make rcu_rea...
95
96
97
98
  }
  EXPORT_SYMBOL_GPL(rcu_read_lock_bh_held);
  
  #endif /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
2c42818e9   Paul E. McKenney   rcu: Abstract com...
99
100
101
102
  struct rcu_synchronize {
  	struct rcu_head head;
  	struct completion completion;
  };
d9f1bb6ad   Paul E. McKenney   rcu: Make rcu_rea...
103
  /*
fbf6bfca7   Paul E. McKenney   rcupdate: fix com...
104
105
106
   * Awaken the corresponding synchronize_rcu() instance now that a
   * grace period has elapsed.
   */
2c42818e9   Paul E. McKenney   rcu: Abstract com...
107
  static void wakeme_after_rcu(struct rcu_head  *head)
21a1ea9eb   Dipankar Sarma   [PATCH] rcu batch...
108
  {
01c1c660f   Paul E. McKenney   Preempt-RCU: reor...
109
110
111
112
  	struct rcu_synchronize *rcu;
  
  	rcu = container_of(head, struct rcu_synchronize, head);
  	complete(&rcu->completion);
21a1ea9eb   Dipankar Sarma   [PATCH] rcu batch...
113
  }
ee84b8243   Paul E. McKenney   rcu: create rcu_m...
114

2c42818e9   Paul E. McKenney   rcu: Abstract com...
115
116
117
118
119
120
121
122
123
124
125
126
127
  void wait_rcu_gp(call_rcu_func_t crf)
  {
  	struct rcu_synchronize rcu;
  
  	init_rcu_head_on_stack(&rcu.head);
  	init_completion(&rcu.completion);
  	/* Will wake me after RCU finished. */
  	crf(&rcu.head, wakeme_after_rcu);
  	/* Wait for it. */
  	wait_for_completion(&rcu.completion);
  	destroy_rcu_head_on_stack(&rcu.head);
  }
  EXPORT_SYMBOL_GPL(wait_rcu_gp);
ee84b8243   Paul E. McKenney   rcu: create rcu_m...
128
129
130
131
132
133
134
135
136
137
  #ifdef CONFIG_PROVE_RCU
  /*
   * wrapper function to avoid #include problems.
   */
  int rcu_my_thread_group_empty(void)
  {
  	return thread_group_empty(current);
  }
  EXPORT_SYMBOL_GPL(rcu_my_thread_group_empty);
  #endif /* #ifdef CONFIG_PROVE_RCU */
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
  
  #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
  static inline void debug_init_rcu_head(struct rcu_head *head)
  {
  	debug_object_init(head, &rcuhead_debug_descr);
  }
  
  static inline void debug_rcu_head_free(struct rcu_head *head)
  {
  	debug_object_free(head, &rcuhead_debug_descr);
  }
  
  /*
   * fixup_init is called when:
   * - an active object is initialized
   */
  static int rcuhead_fixup_init(void *addr, enum debug_obj_state state)
  {
  	struct rcu_head *head = addr;
  
  	switch (state) {
  	case ODEBUG_STATE_ACTIVE:
  		/*
  		 * Ensure that queued callbacks are all executed.
  		 * If we detect that we are nested in a RCU read-side critical
  		 * section, we should simply fail, otherwise we would deadlock.
fc2ecf7ec   Mathieu Desnoyers   rcu: Enable DEBUG...
164
165
166
  		 * In !PREEMPT configurations, there is no way to tell if we are
  		 * in a RCU read-side critical section or not, so we never
  		 * attempt any fixup and just print a warning.
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
167
  		 */
fc2ecf7ec   Mathieu Desnoyers   rcu: Enable DEBUG...
168
  #ifndef CONFIG_PREEMPT
108aae223   Paul E. McKenney   rcu: Use WARN_ON_...
169
  		WARN_ON_ONCE(1);
fc2ecf7ec   Mathieu Desnoyers   rcu: Enable DEBUG...
170
171
  		return 0;
  #endif
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
172
173
  		if (rcu_preempt_depth() != 0 || preempt_count() != 0 ||
  		    irqs_disabled()) {
108aae223   Paul E. McKenney   rcu: Use WARN_ON_...
174
  			WARN_ON_ONCE(1);
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
  			return 0;
  		}
  		rcu_barrier();
  		rcu_barrier_sched();
  		rcu_barrier_bh();
  		debug_object_init(head, &rcuhead_debug_descr);
  		return 1;
  	default:
  		return 0;
  	}
  }
  
  /*
   * fixup_activate is called when:
   * - an active object is activated
   * - an unknown object is activated (might be a statically initialized object)
   * Activation is performed internally by call_rcu().
   */
  static int rcuhead_fixup_activate(void *addr, enum debug_obj_state state)
  {
  	struct rcu_head *head = addr;
  
  	switch (state) {
  
  	case ODEBUG_STATE_NOTAVAILABLE:
  		/*
  		 * This is not really a fixup. We just make sure that it is
  		 * tracked in the object tracker.
  		 */
  		debug_object_init(head, &rcuhead_debug_descr);
  		debug_object_activate(head, &rcuhead_debug_descr);
  		return 0;
  
  	case ODEBUG_STATE_ACTIVE:
  		/*
  		 * Ensure that queued callbacks are all executed.
  		 * If we detect that we are nested in a RCU read-side critical
  		 * section, we should simply fail, otherwise we would deadlock.
fc2ecf7ec   Mathieu Desnoyers   rcu: Enable DEBUG...
213
214
215
  		 * In !PREEMPT configurations, there is no way to tell if we are
  		 * in a RCU read-side critical section or not, so we never
  		 * attempt any fixup and just print a warning.
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
216
  		 */
fc2ecf7ec   Mathieu Desnoyers   rcu: Enable DEBUG...
217
  #ifndef CONFIG_PREEMPT
108aae223   Paul E. McKenney   rcu: Use WARN_ON_...
218
  		WARN_ON_ONCE(1);
fc2ecf7ec   Mathieu Desnoyers   rcu: Enable DEBUG...
219
220
  		return 0;
  #endif
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
221
222
  		if (rcu_preempt_depth() != 0 || preempt_count() != 0 ||
  		    irqs_disabled()) {
108aae223   Paul E. McKenney   rcu: Use WARN_ON_...
223
  			WARN_ON_ONCE(1);
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
  			return 0;
  		}
  		rcu_barrier();
  		rcu_barrier_sched();
  		rcu_barrier_bh();
  		debug_object_activate(head, &rcuhead_debug_descr);
  		return 1;
  	default:
  		return 0;
  	}
  }
  
  /*
   * fixup_free is called when:
   * - an active object is freed
   */
  static int rcuhead_fixup_free(void *addr, enum debug_obj_state state)
  {
  	struct rcu_head *head = addr;
  
  	switch (state) {
  	case ODEBUG_STATE_ACTIVE:
  		/*
  		 * Ensure that queued callbacks are all executed.
  		 * If we detect that we are nested in a RCU read-side critical
  		 * section, we should simply fail, otherwise we would deadlock.
fc2ecf7ec   Mathieu Desnoyers   rcu: Enable DEBUG...
250
251
252
  		 * In !PREEMPT configurations, there is no way to tell if we are
  		 * in a RCU read-side critical section or not, so we never
  		 * attempt any fixup and just print a warning.
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
253
  		 */
fc2ecf7ec   Mathieu Desnoyers   rcu: Enable DEBUG...
254
  #ifndef CONFIG_PREEMPT
108aae223   Paul E. McKenney   rcu: Use WARN_ON_...
255
  		WARN_ON_ONCE(1);
fc2ecf7ec   Mathieu Desnoyers   rcu: Enable DEBUG...
256
257
  		return 0;
  #endif
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
258
259
  		if (rcu_preempt_depth() != 0 || preempt_count() != 0 ||
  		    irqs_disabled()) {
108aae223   Paul E. McKenney   rcu: Use WARN_ON_...
260
  			WARN_ON_ONCE(1);
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
261
262
263
264
265
266
267
  			return 0;
  		}
  		rcu_barrier();
  		rcu_barrier_sched();
  		rcu_barrier_bh();
  		debug_object_free(head, &rcuhead_debug_descr);
  		return 1;
551d55a94   Mathieu Desnoyers   tree/tiny rcu: Ad...
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
  	default:
  		return 0;
  	}
  }
  
  /**
   * init_rcu_head_on_stack() - initialize on-stack rcu_head for debugobjects
   * @head: pointer to rcu_head structure to be initialized
   *
   * This function informs debugobjects of a new rcu_head structure that
   * has been allocated as an auto variable on the stack.  This function
   * is not required for rcu_head structures that are statically defined or
   * that are dynamically allocated on the heap.  This function has no
   * effect for !CONFIG_DEBUG_OBJECTS_RCU_HEAD kernel builds.
   */
  void init_rcu_head_on_stack(struct rcu_head *head)
  {
  	debug_object_init_on_stack(head, &rcuhead_debug_descr);
  }
  EXPORT_SYMBOL_GPL(init_rcu_head_on_stack);
  
  /**
   * destroy_rcu_head_on_stack() - destroy on-stack rcu_head for debugobjects
   * @head: pointer to rcu_head structure to be initialized
   *
   * This function informs debugobjects that an on-stack rcu_head structure
   * is about to go out of scope.  As with init_rcu_head_on_stack(), this
   * function is not required for rcu_head structures that are statically
   * defined or that are dynamically allocated on the heap.  Also as with
   * init_rcu_head_on_stack(), this function has no effect for
   * !CONFIG_DEBUG_OBJECTS_RCU_HEAD kernel builds.
   */
  void destroy_rcu_head_on_stack(struct rcu_head *head)
  {
  	debug_object_free(head, &rcuhead_debug_descr);
  }
  EXPORT_SYMBOL_GPL(destroy_rcu_head_on_stack);
  
  struct debug_obj_descr rcuhead_debug_descr = {
  	.name = "rcu_head",
  	.fixup_init = rcuhead_fixup_init,
  	.fixup_activate = rcuhead_fixup_activate,
  	.fixup_free = rcuhead_fixup_free,
  };
  EXPORT_SYMBOL_GPL(rcuhead_debug_descr);
  #endif /* #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD */
91afaf300   Paul E. McKenney   rcu: Add failure ...
314
315
316
317
318
319
320
321
322
323
  
  #if defined(CONFIG_TREE_RCU) || defined(CONFIG_TREE_PREEMPT_RCU) || defined(CONFIG_RCU_TRACE)
  void do_trace_rcu_torture_read(char *rcutorturename, struct rcu_head *rhp)
  {
  	trace_rcu_torture_read(rcutorturename, rhp);
  }
  EXPORT_SYMBOL_GPL(do_trace_rcu_torture_read);
  #else
  #define do_trace_rcu_torture_read(rcutorturename, rhp) do { } while (0)
  #endif