]> git.proxmox.com Git - mirror_ubuntu-artful-kernel.git/blame - lib/percpu-refcount.c
percpu_ref: unify staggered atomic switching wait behavior
[mirror_ubuntu-artful-kernel.git] / lib / percpu-refcount.c
CommitLineData
215e262f
KO
1#define pr_fmt(fmt) "%s: " fmt "\n", __func__
2
3#include <linux/kernel.h>
490c79a6
TH
4#include <linux/sched.h>
5#include <linux/wait.h>
215e262f
KO
6#include <linux/percpu-refcount.h>
7
8/*
9 * Initially, a percpu refcount is just a set of percpu counters. Initially, we
10 * don't try to detect the ref hitting 0 - which means that get/put can just
11 * increment or decrement the local counter. Note that the counter on a
12 * particular cpu can (and will) wrap - this is fine, when we go to shutdown the
13 * percpu counters will all sum to the correct value
14 *
bdb428c8 15 * (More precisely: because modular arithmetic is commutative the sum of all the
eecc16ba
TH
16 * percpu_count vars will be equal to what it would have been if all the gets
17 * and puts were done to a single integer, even if some of the percpu integers
215e262f
KO
18 * overflow or underflow).
19 *
20 * The real trick to implementing percpu refcounts is shutdown. We can't detect
21 * the ref hitting 0 on every put - this would require global synchronization
22 * and defeat the whole purpose of using percpu refs.
23 *
24 * What we do is require the user to keep track of the initial refcount; we know
25 * the ref can't hit 0 before the user drops the initial ref, so as long as we
26 * convert to non percpu mode before the initial ref is dropped everything
27 * works.
28 *
29 * Converting to non percpu mode is done with some RCUish stuff in
e625305b
TH
30 * percpu_ref_kill. Additionally, we need a bias value so that the
31 * atomic_long_t can't hit 0 before we've added up all the percpu refs.
215e262f
KO
32 */
33
eecc16ba 34#define PERCPU_COUNT_BIAS (1LU << (BITS_PER_LONG - 1))
215e262f 35
490c79a6
TH
36static DECLARE_WAIT_QUEUE_HEAD(percpu_ref_switch_waitq);
37
eecc16ba 38static unsigned long __percpu *percpu_count_ptr(struct percpu_ref *ref)
eae7975d 39{
eecc16ba 40 return (unsigned long __percpu *)
27344a90 41 (ref->percpu_count_ptr & ~__PERCPU_REF_ATOMIC_DEAD);
eae7975d
TH
42}
43
215e262f
KO
44/**
45 * percpu_ref_init - initialize a percpu refcount
ac899061
TH
46 * @ref: percpu_ref to initialize
47 * @release: function which will be called when refcount hits 0
2aad2a86 48 * @flags: PERCPU_REF_INIT_* flags
a34375ef 49 * @gfp: allocation mask to use
215e262f 50 *
2aad2a86
TH
51 * Initializes @ref. If @flags is zero, @ref starts in percpu mode with a
52 * refcount of 1; analagous to atomic_long_set(ref, 1). See the
53 * definitions of PERCPU_REF_INIT_* flags for flag behaviors.
215e262f
KO
54 *
55 * Note that @release must not sleep - it may potentially be called from RCU
56 * callback context by percpu_ref_kill().
57 */
a34375ef 58int percpu_ref_init(struct percpu_ref *ref, percpu_ref_func_t *release,
2aad2a86 59 unsigned int flags, gfp_t gfp)
215e262f 60{
27344a90
TH
61 size_t align = max_t(size_t, 1 << __PERCPU_REF_FLAG_BITS,
62 __alignof__(unsigned long));
2aad2a86 63 unsigned long start_count = 0;
215e262f 64
27344a90
TH
65 ref->percpu_count_ptr = (unsigned long)
66 __alloc_percpu_gfp(sizeof(unsigned long), align, gfp);
eecc16ba 67 if (!ref->percpu_count_ptr)
215e262f
KO
68 return -ENOMEM;
69
1cae13e7
TH
70 ref->force_atomic = flags & PERCPU_REF_INIT_ATOMIC;
71
2aad2a86
TH
72 if (flags & (PERCPU_REF_INIT_ATOMIC | PERCPU_REF_INIT_DEAD))
73 ref->percpu_count_ptr |= __PERCPU_REF_ATOMIC;
74 else
75 start_count += PERCPU_COUNT_BIAS;
76
77 if (flags & PERCPU_REF_INIT_DEAD)
78 ref->percpu_count_ptr |= __PERCPU_REF_DEAD;
79 else
80 start_count++;
81
82 atomic_long_set(&ref->count, start_count);
83
215e262f
KO
84 ref->release = release;
85 return 0;
86}
5e9dd373 87EXPORT_SYMBOL_GPL(percpu_ref_init);
215e262f 88
bc497bd3 89/**
9a1049da
TH
90 * percpu_ref_exit - undo percpu_ref_init()
91 * @ref: percpu_ref to exit
bc497bd3 92 *
9a1049da
TH
93 * This function exits @ref. The caller is responsible for ensuring that
94 * @ref is no longer in active use. The usual places to invoke this
95 * function from are the @ref->release() callback or in init failure path
96 * where percpu_ref_init() succeeded but other parts of the initialization
97 * of the embedding object failed.
bc497bd3 98 */
9a1049da 99void percpu_ref_exit(struct percpu_ref *ref)
bc497bd3 100{
eecc16ba 101 unsigned long __percpu *percpu_count = percpu_count_ptr(ref);
bc497bd3 102
eecc16ba
TH
103 if (percpu_count) {
104 free_percpu(percpu_count);
27344a90 105 ref->percpu_count_ptr = __PERCPU_REF_ATOMIC_DEAD;
bc497bd3
TH
106 }
107}
9a1049da 108EXPORT_SYMBOL_GPL(percpu_ref_exit);
bc497bd3 109
490c79a6
TH
110static void percpu_ref_call_confirm_rcu(struct rcu_head *rcu)
111{
112 struct percpu_ref *ref = container_of(rcu, struct percpu_ref, rcu);
113
114 ref->confirm_switch(ref);
115 ref->confirm_switch = NULL;
116 wake_up_all(&percpu_ref_switch_waitq);
117
118 /* drop ref from percpu_ref_switch_to_atomic() */
119 percpu_ref_put(ref);
120}
121
122static void percpu_ref_switch_to_atomic_rcu(struct rcu_head *rcu)
215e262f
KO
123{
124 struct percpu_ref *ref = container_of(rcu, struct percpu_ref, rcu);
eecc16ba 125 unsigned long __percpu *percpu_count = percpu_count_ptr(ref);
e625305b 126 unsigned long count = 0;
215e262f
KO
127 int cpu;
128
215e262f 129 for_each_possible_cpu(cpu)
eecc16ba 130 count += *per_cpu_ptr(percpu_count, cpu);
215e262f 131
eecc16ba 132 pr_debug("global %ld percpu %ld",
e625305b 133 atomic_long_read(&ref->count), (long)count);
215e262f
KO
134
135 /*
136 * It's crucial that we sum the percpu counters _before_ adding the sum
137 * to &ref->count; since gets could be happening on one cpu while puts
138 * happen on another, adding a single cpu's count could cause
139 * @ref->count to hit 0 before we've got a consistent value - but the
140 * sum of all the counts will be consistent and correct.
141 *
142 * Subtracting the bias value then has to happen _after_ adding count to
143 * &ref->count; we need the bias value to prevent &ref->count from
144 * reaching 0 before we add the percpu counts. But doing it at the same
145 * time is equivalent and saves us atomic operations:
146 */
eecc16ba 147 atomic_long_add((long)count - PERCPU_COUNT_BIAS, &ref->count);
215e262f 148
e625305b 149 WARN_ONCE(atomic_long_read(&ref->count) <= 0,
490c79a6 150 "percpu ref (%pf) <= 0 (%ld) after switching to atomic",
e625305b 151 ref->release, atomic_long_read(&ref->count));
687b0ad2 152
490c79a6
TH
153 /* @ref is viewed as dead on all CPUs, send out switch confirmation */
154 percpu_ref_call_confirm_rcu(rcu);
155}
dbece3a0 156
490c79a6
TH
157static void percpu_ref_noop_confirm_switch(struct percpu_ref *ref)
158{
159}
160
161static void __percpu_ref_switch_to_atomic(struct percpu_ref *ref,
162 percpu_ref_func_t *confirm_switch)
163{
18808354
TH
164 /*
165 * If the previous ATOMIC switching hasn't finished yet, wait for
166 * its completion. If the caller ensures that ATOMIC switching
167 * isn't in progress, this function can be called from any context.
168 * Do an extra confirm_switch test to circumvent the unconditional
169 * might_sleep() in wait_event().
170 */
171 if (ref->confirm_switch)
172 wait_event(percpu_ref_switch_waitq, !ref->confirm_switch);
173
b2302c7f 174 if (ref->percpu_count_ptr & __PERCPU_REF_ATOMIC) {
18808354 175 if (confirm_switch)
b2302c7f 176 confirm_switch(ref);
b2302c7f 177 return;
490c79a6 178 }
215e262f 179
b2302c7f
TH
180 /* switching from percpu to atomic */
181 ref->percpu_count_ptr |= __PERCPU_REF_ATOMIC;
182
183 /*
184 * Non-NULL ->confirm_switch is used to indicate that switching is
185 * in progress. Use noop one if unspecified.
186 */
b2302c7f
TH
187 ref->confirm_switch = confirm_switch ?: percpu_ref_noop_confirm_switch;
188
189 percpu_ref_get(ref); /* put after confirmation */
190 call_rcu_sched(&ref->rcu, percpu_ref_switch_to_atomic_rcu);
215e262f 191}
a2237370 192
f47ad457 193static void __percpu_ref_switch_to_percpu(struct percpu_ref *ref)
a2237370 194{
eecc16ba 195 unsigned long __percpu *percpu_count = percpu_count_ptr(ref);
a2237370
TH
196 int cpu;
197
18808354
TH
198 /*
199 * If the previous ATOMIC switching hasn't finished yet, wait for
200 * its completion. If the caller ensures that ATOMIC switching
201 * isn't in progress, this function can be called from any context.
202 * Do an extra confirm_switch test to circumvent the unconditional
203 * might_sleep() in wait_event().
204 */
205 if (ref->confirm_switch)
206 wait_event(percpu_ref_switch_waitq, !ref->confirm_switch);
207
eecc16ba 208 BUG_ON(!percpu_count);
a2237370 209
f47ad457
TH
210 if (!(ref->percpu_count_ptr & __PERCPU_REF_ATOMIC))
211 return;
212
f47ad457 213 atomic_long_add(PERCPU_COUNT_BIAS, &ref->count);
a2237370
TH
214
215 /*
216 * Restore per-cpu operation. smp_store_release() is paired with
9e804d1f
TH
217 * smp_read_barrier_depends() in __ref_is_percpu() and guarantees
218 * that the zeroing is visible to all percpu accesses which can see
f47ad457 219 * the following __PERCPU_REF_ATOMIC clearing.
a2237370
TH
220 */
221 for_each_possible_cpu(cpu)
eecc16ba 222 *per_cpu_ptr(percpu_count, cpu) = 0;
a2237370 223
eecc16ba 224 smp_store_release(&ref->percpu_count_ptr,
f47ad457
TH
225 ref->percpu_count_ptr & ~__PERCPU_REF_ATOMIC);
226}
227
b2302c7f
TH
228/**
229 * percpu_ref_switch_to_atomic - switch a percpu_ref to atomic mode
230 * @ref: percpu_ref to switch to atomic mode
231 * @confirm_switch: optional confirmation callback
232 *
233 * There's no reason to use this function for the usual reference counting.
234 * Use percpu_ref_kill[_and_confirm]().
235 *
236 * Schedule switching of @ref to atomic mode. All its percpu counts will
237 * be collected to the main atomic counter. On completion, when all CPUs
238 * are guaraneed to be in atomic mode, @confirm_switch, which may not
239 * block, is invoked. This function may be invoked concurrently with all
240 * the get/put operations and can safely be mixed with kill and reinit
241 * operations. Note that @ref will stay in atomic mode across kill/reinit
242 * cycles until percpu_ref_switch_to_percpu() is called.
243 *
244 * This function normally doesn't block and can be called from any context
245 * but it may block if @confirm_kill is specified and @ref is already in
246 * the process of switching to atomic mode. In such cases, @confirm_switch
247 * will be invoked after the switching is complete.
248 */
249void percpu_ref_switch_to_atomic(struct percpu_ref *ref,
250 percpu_ref_func_t *confirm_switch)
251{
252 ref->force_atomic = true;
253 __percpu_ref_switch_to_atomic(ref, confirm_switch);
254}
255
f47ad457
TH
256/**
257 * percpu_ref_switch_to_percpu - switch a percpu_ref to percpu mode
258 * @ref: percpu_ref to switch to percpu mode
259 *
260 * There's no reason to use this function for the usual reference counting.
261 * To re-use an expired ref, use percpu_ref_reinit().
262 *
263 * Switch @ref to percpu mode. This function may be invoked concurrently
264 * with all the get/put operations and can safely be mixed with kill and
1cae13e7
TH
265 * reinit operations. This function reverses the sticky atomic state set
266 * by PERCPU_REF_INIT_ATOMIC or percpu_ref_switch_to_atomic(). If @ref is
267 * dying or dead, the actual switching takes place on the following
268 * percpu_ref_reinit().
f47ad457
TH
269 *
270 * This function normally doesn't block and can be called from any context
271 * but it may block if @ref is in the process of switching to atomic mode
272 * by percpu_ref_switch_atomic().
273 */
274void percpu_ref_switch_to_percpu(struct percpu_ref *ref)
275{
1cae13e7
TH
276 ref->force_atomic = false;
277
f47ad457
TH
278 /* a dying or dead ref can't be switched to percpu mode w/o reinit */
279 if (!(ref->percpu_count_ptr & __PERCPU_REF_DEAD))
280 __percpu_ref_switch_to_percpu(ref);
a2237370 281}
490c79a6
TH
282
283/**
284 * percpu_ref_kill_and_confirm - drop the initial ref and schedule confirmation
285 * @ref: percpu_ref to kill
286 * @confirm_kill: optional confirmation callback
287 *
288 * Equivalent to percpu_ref_kill() but also schedules kill confirmation if
289 * @confirm_kill is not NULL. @confirm_kill, which may not block, will be
290 * called after @ref is seen as dead from all CPUs at which point all
291 * further invocations of percpu_ref_tryget_live() will fail. See
292 * percpu_ref_tryget_live() for details.
293 *
294 * This function normally doesn't block and can be called from any context
f47ad457 295 * but it may block if @confirm_kill is specified and @ref is in the
a2f5630c 296 * process of switching to atomic mode by percpu_ref_switch_to_atomic().
490c79a6
TH
297 */
298void percpu_ref_kill_and_confirm(struct percpu_ref *ref,
299 percpu_ref_func_t *confirm_kill)
300{
301 WARN_ONCE(ref->percpu_count_ptr & __PERCPU_REF_DEAD,
302 "%s called more than once on %pf!", __func__, ref->release);
303
304 ref->percpu_count_ptr |= __PERCPU_REF_DEAD;
305 __percpu_ref_switch_to_atomic(ref, confirm_kill);
306 percpu_ref_put(ref);
307}
308EXPORT_SYMBOL_GPL(percpu_ref_kill_and_confirm);
f47ad457
TH
309
310/**
311 * percpu_ref_reinit - re-initialize a percpu refcount
312 * @ref: perpcu_ref to re-initialize
313 *
314 * Re-initialize @ref so that it's in the same state as when it finished
1cae13e7
TH
315 * percpu_ref_init() ignoring %PERCPU_REF_INIT_DEAD. @ref must have been
316 * initialized successfully and reached 0 but not exited.
f47ad457
TH
317 *
318 * Note that percpu_ref_tryget[_live]() are safe to perform on @ref while
319 * this function is in progress.
320 */
321void percpu_ref_reinit(struct percpu_ref *ref)
322{
323 WARN_ON_ONCE(!percpu_ref_is_zero(ref));
324
325 ref->percpu_count_ptr &= ~__PERCPU_REF_DEAD;
326 percpu_ref_get(ref);
1cae13e7
TH
327 if (!ref->force_atomic)
328 __percpu_ref_switch_to_percpu(ref);
f47ad457
TH
329}
330EXPORT_SYMBOL_GPL(percpu_ref_reinit);