Blame view

include/linux/srcu.h 7.8 KB
621934ee7   Paul E. McKenney   [PATCH] srcu-3: R...
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
  /*
   * Sleepable 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.
   *
   * Copyright (C) IBM Corporation, 2006
   *
   * Author: Paul McKenney <paulmck@us.ibm.com>
   *
   * For detailed explanation of Read-Copy Update mechanism see -
   * 		Documentation/RCU/ *.txt
   *
   */
eabc06940   Alan Stern   [PATCH] Add SRCU-...
26
27
  #ifndef _LINUX_SRCU_H
  #define _LINUX_SRCU_H
d14aada8e   Paul E. McKenney   rcu: make SRCU us...
28
  #include <linux/mutex.h>
ff195cb69   Paul E. McKenney   rcu: Warn when sr...
29
  #include <linux/rcupdate.h>
d14aada8e   Paul E. McKenney   rcu: make SRCU us...
30

621934ee7   Paul E. McKenney   [PATCH] srcu-3: R...
31
32
33
34
35
36
  struct srcu_struct_array {
  	int c[2];
  };
  
  struct srcu_struct {
  	int completed;
43cf38eb5   Tejun Heo   percpu: add __per...
37
  	struct srcu_struct_array __percpu *per_cpu_ref;
621934ee7   Paul E. McKenney   [PATCH] srcu-3: R...
38
  	struct mutex mutex;
632ee2001   Paul E. McKenney   rcu: Introduce lo...
39
40
41
  #ifdef CONFIG_DEBUG_LOCK_ALLOC
  	struct lockdep_map dep_map;
  #endif /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
621934ee7   Paul E. McKenney   [PATCH] srcu-3: R...
42
43
44
45
46
47
48
  };
  
  #ifndef CONFIG_PREEMPT
  #define srcu_barrier() barrier()
  #else /* #ifndef CONFIG_PREEMPT */
  #define srcu_barrier()
  #endif /* #else #ifndef CONFIG_PREEMPT */
632ee2001   Paul E. McKenney   rcu: Introduce lo...
49
50
51
52
53
54
55
56
57
58
59
  #ifdef CONFIG_DEBUG_LOCK_ALLOC
  
  int __init_srcu_struct(struct srcu_struct *sp, const char *name,
  		       struct lock_class_key *key);
  
  #define init_srcu_struct(sp) \
  ({ \
  	static struct lock_class_key __srcu_key; \
  	\
  	__init_srcu_struct((sp), #sp, &__srcu_key); \
  })
632ee2001   Paul E. McKenney   rcu: Introduce lo...
60
  #else /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
e6a92013b   Alan Stern   [PATCH] SRCU: rep...
61
  int init_srcu_struct(struct srcu_struct *sp);
632ee2001   Paul E. McKenney   rcu: Introduce lo...
62

632ee2001   Paul E. McKenney   rcu: Introduce lo...
63
  #endif /* #else #ifdef CONFIG_DEBUG_LOCK_ALLOC */
621934ee7   Paul E. McKenney   [PATCH] srcu-3: R...
64
  void cleanup_srcu_struct(struct srcu_struct *sp);
632ee2001   Paul E. McKenney   rcu: Introduce lo...
65
66
  int __srcu_read_lock(struct srcu_struct *sp) __acquires(sp);
  void __srcu_read_unlock(struct srcu_struct *sp, int idx) __releases(sp);
621934ee7   Paul E. McKenney   [PATCH] srcu-3: R...
67
  void synchronize_srcu(struct srcu_struct *sp);
0cd397d33   Paul E. McKenney   rcu: Add synchron...
68
  void synchronize_srcu_expedited(struct srcu_struct *sp);
621934ee7   Paul E. McKenney   [PATCH] srcu-3: R...
69
  long srcu_batches_completed(struct srcu_struct *sp);
eabc06940   Alan Stern   [PATCH] Add SRCU-...
70

632ee2001   Paul E. McKenney   rcu: Introduce lo...
71
72
73
74
75
  #ifdef CONFIG_DEBUG_LOCK_ALLOC
  
  /**
   * srcu_read_lock_held - might we be in SRCU read-side critical section?
   *
d20200b59   Paul E. McKenney   rcu: Fix bogus CO...
76
77
   * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an SRCU
   * read-side critical section.  In absence of CONFIG_DEBUG_LOCK_ALLOC,
632ee2001   Paul E. McKenney   rcu: Introduce lo...
78
79
   * this assumes we are in an SRCU read-side critical section unless it can
   * prove otherwise.
ff195cb69   Paul E. McKenney   rcu: Warn when sr...
80
   *
867f236bd   Paul E. McKenney   rcu: Make srcu_re...
81
82
83
   * Checks debug_lockdep_rcu_enabled() to prevent false positives during boot
   * and while lockdep is disabled.
   *
ff195cb69   Paul E. McKenney   rcu: Warn when sr...
84
85
86
87
88
89
90
91
92
93
94
95
   * Note that if the CPU is in the idle loop from an RCU point of view
   * (ie: that we are in the section between rcu_idle_enter() and
   * rcu_idle_exit()) then srcu_read_lock_held() returns false even if
   * the CPU did an srcu_read_lock().  The reason for this is that RCU
   * ignores CPUs that are in such a section, considering these as in
   * extended quiescent state, so such a CPU is effectively never in an
   * RCU read-side critical section regardless of what RCU primitives it
   * invokes.  This state of affairs is required --- we need to keep an
   * RCU-free window in idle where the CPU may possibly enter into low
   * power mode. This way we can notice an extended quiescent state to
   * other CPUs that started a grace period. Otherwise we would delay any
   * grace period as long as we run in the idle task.
632ee2001   Paul E. McKenney   rcu: Introduce lo...
96
97
98
   */
  static inline int srcu_read_lock_held(struct srcu_struct *sp)
  {
ff195cb69   Paul E. McKenney   rcu: Warn when sr...
99
100
  	if (rcu_is_cpu_idle())
  		return 0;
867f236bd   Paul E. McKenney   rcu: Make srcu_re...
101
  	if (!debug_lockdep_rcu_enabled())
ff195cb69   Paul E. McKenney   rcu: Warn when sr...
102
103
104
  		return 1;
  
  	return lock_is_held(&sp->dep_map);
632ee2001   Paul E. McKenney   rcu: Introduce lo...
105
106
107
108
109
110
111
112
113
114
115
116
  }
  
  #else /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
  
  static inline int srcu_read_lock_held(struct srcu_struct *sp)
  {
  	return 1;
  }
  
  #endif /* #else #ifdef CONFIG_DEBUG_LOCK_ALLOC */
  
  /**
ca5ecddfa   Paul E. McKenney   rcu: define __rcu...
117
118
119
120
121
   * srcu_dereference_check - fetch SRCU-protected pointer for later dereferencing
   * @p: the pointer to fetch and protect for later dereferencing
   * @sp: pointer to the srcu_struct, which is used to check that we
   *	really are in an SRCU read-side critical section.
   * @c: condition to check for update-side use
c26d34a58   Paul E. McKenney   rcu: Add lockdep-...
122
   *
ca5ecddfa   Paul E. McKenney   rcu: define __rcu...
123
124
125
126
   * If PROVE_RCU is enabled, invoking this outside of an RCU read-side
   * critical section will result in an RCU-lockdep splat, unless @c evaluates
   * to 1.  The @c argument will normally be a logical expression containing
   * lockdep_is_held() calls.
c26d34a58   Paul E. McKenney   rcu: Add lockdep-...
127
   */
ca5ecddfa   Paul E. McKenney   rcu: define __rcu...
128
129
130
131
132
133
134
135
136
137
138
139
140
141
  #define srcu_dereference_check(p, sp, c) \
  	__rcu_dereference_check((p), srcu_read_lock_held(sp) || (c), __rcu)
  
  /**
   * srcu_dereference - fetch SRCU-protected pointer for later dereferencing
   * @p: the pointer to fetch and protect for later dereferencing
   * @sp: pointer to the srcu_struct, which is used to check that we
   *	really are in an SRCU read-side critical section.
   *
   * Makes rcu_dereference_check() do the dirty work.  If PROVE_RCU
   * is enabled, invoking this outside of an RCU read-side critical
   * section will result in an RCU-lockdep splat.
   */
  #define srcu_dereference(p, sp) srcu_dereference_check((p), (sp), 0)
c26d34a58   Paul E. McKenney   rcu: Add lockdep-...
142
143
  
  /**
632ee2001   Paul E. McKenney   rcu: Introduce lo...
144
145
146
147
   * srcu_read_lock - register a new reader for an SRCU-protected structure.
   * @sp: srcu_struct in which to register the new reader.
   *
   * Enter an SRCU read-side critical section.  Note that SRCU read-side
73d4da4d3   Paul E. McKenney   rcu: Upgrade srcu...
148
149
150
151
152
153
   * critical sections may be nested.  However, it is illegal to
   * call anything that waits on an SRCU grace period for the same
   * srcu_struct, whether directly or indirectly.  Please note that
   * one way to indirectly wait on an SRCU grace period is to acquire
   * a mutex that is held elsewhere while calling synchronize_srcu() or
   * synchronize_srcu_expedited().
3842a0832   Paul E. McKenney   rcu: Document sam...
154
155
156
157
158
   *
   * Note that srcu_read_lock() and the matching srcu_read_unlock() must
   * occur in the same context, for example, it is illegal to invoke
   * srcu_read_unlock() in an irq handler if the matching srcu_read_lock()
   * was invoked in process context.
632ee2001   Paul E. McKenney   rcu: Introduce lo...
159
160
161
162
   */
  static inline int srcu_read_lock(struct srcu_struct *sp) __acquires(sp)
  {
  	int retval = __srcu_read_lock(sp);
ff195cb69   Paul E. McKenney   rcu: Warn when sr...
163
  	rcu_lock_acquire(&(sp)->dep_map);
632ee2001   Paul E. McKenney   rcu: Introduce lo...
164
165
166
167
168
169
170
171
172
173
174
175
176
  	return retval;
  }
  
  /**
   * srcu_read_unlock - unregister a old reader from an SRCU-protected structure.
   * @sp: srcu_struct in which to unregister the old reader.
   * @idx: return value from corresponding srcu_read_lock().
   *
   * Exit an SRCU read-side critical section.
   */
  static inline void srcu_read_unlock(struct srcu_struct *sp, int idx)
  	__releases(sp)
  {
ff195cb69   Paul E. McKenney   rcu: Warn when sr...
177
  	rcu_lock_release(&(sp)->dep_map);
632ee2001   Paul E. McKenney   rcu: Introduce lo...
178
179
  	__srcu_read_unlock(sp, idx);
  }
0c53dd8b3   Paul E. McKenney   rcu: Introduce ra...
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
213
214
215
216
217
218
219
220
221
  /**
   * srcu_read_lock_raw - register a new reader for an SRCU-protected structure.
   * @sp: srcu_struct in which to register the new reader.
   *
   * Enter an SRCU read-side critical section.  Similar to srcu_read_lock(),
   * but avoids the RCU-lockdep checking.  This means that it is legal to
   * use srcu_read_lock_raw() in one context, for example, in an exception
   * handler, and then have the matching srcu_read_unlock_raw() in another
   * context, for example in the task that took the exception.
   *
   * However, the entire SRCU read-side critical section must reside within a
   * single task.  For example, beware of using srcu_read_lock_raw() in
   * a device interrupt handler and srcu_read_unlock() in the interrupted
   * task:  This will not work if interrupts are threaded.
   */
  static inline int srcu_read_lock_raw(struct srcu_struct *sp)
  {
  	unsigned long flags;
  	int ret;
  
  	local_irq_save(flags);
  	ret =  __srcu_read_lock(sp);
  	local_irq_restore(flags);
  	return ret;
  }
  
  /**
   * srcu_read_unlock_raw - unregister reader from an SRCU-protected structure.
   * @sp: srcu_struct in which to unregister the old reader.
   * @idx: return value from corresponding srcu_read_lock_raw().
   *
   * Exit an SRCU read-side critical section without lockdep-RCU checking.
   * See srcu_read_lock_raw() for more details.
   */
  static inline void srcu_read_unlock_raw(struct srcu_struct *sp, int idx)
  {
  	unsigned long flags;
  
  	local_irq_save(flags);
  	__srcu_read_unlock(sp, idx);
  	local_irq_restore(flags);
  }
eabc06940   Alan Stern   [PATCH] Add SRCU-...
222
  #endif