atomic.h revision 1.37 1 1.37 riastrad /* $NetBSD: atomic.h,v 1.37 2021/12/19 11:16:00 riastradh Exp $ */
2 1.2 riastrad
3 1.2 riastrad /*-
4 1.2 riastrad * Copyright (c) 2013 The NetBSD Foundation, Inc.
5 1.2 riastrad * All rights reserved.
6 1.2 riastrad *
7 1.2 riastrad * This code is derived from software contributed to The NetBSD Foundation
8 1.2 riastrad * by Taylor R. Campbell.
9 1.2 riastrad *
10 1.2 riastrad * Redistribution and use in source and binary forms, with or without
11 1.2 riastrad * modification, are permitted provided that the following conditions
12 1.2 riastrad * are met:
13 1.2 riastrad * 1. Redistributions of source code must retain the above copyright
14 1.2 riastrad * notice, this list of conditions and the following disclaimer.
15 1.2 riastrad * 2. Redistributions in binary form must reproduce the above copyright
16 1.2 riastrad * notice, this list of conditions and the following disclaimer in the
17 1.2 riastrad * documentation and/or other materials provided with the distribution.
18 1.2 riastrad *
19 1.2 riastrad * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.2 riastrad * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.2 riastrad * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.2 riastrad * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.2 riastrad * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.2 riastrad * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.2 riastrad * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.2 riastrad * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.2 riastrad * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.2 riastrad * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.2 riastrad * POSSIBILITY OF SUCH DAMAGE.
30 1.2 riastrad */
31 1.2 riastrad
32 1.2 riastrad #ifndef _LINUX_ATOMIC_H_
33 1.2 riastrad #define _LINUX_ATOMIC_H_
34 1.2 riastrad
35 1.2 riastrad #include <sys/atomic.h>
36 1.2 riastrad
37 1.2 riastrad #include <machine/limits.h>
38 1.2 riastrad
39 1.22 maya #include <asm/barrier.h>
40 1.22 maya
41 1.23 riastrad #define xchg(P, V) \
42 1.23 riastrad (sizeof(*(P)) == 4 ? atomic_swap_32((volatile uint32_t *)P, V) \
43 1.23 riastrad : sizeof(*(P)) == 8 ? atomic_swap_64((volatile uint64_t *)P, V) \
44 1.23 riastrad : (__builtin_abort(), 0))
45 1.23 riastrad
46 1.35 riastrad #define cmpxchg(P, O, N) \
47 1.35 riastrad (sizeof(*(P)) == 4 ? atomic_cas_32((volatile uint32_t *)P, O, N) \
48 1.35 riastrad : sizeof(*(P)) == 8 ? atomic_cas_64((volatile uint64_t *)P, O, N) \
49 1.35 riastrad : (__builtin_abort(), 0))
50 1.35 riastrad
51 1.13 riastrad /*
52 1.13 riastrad * atomic (u)int operations
53 1.13 riastrad *
54 1.13 riastrad * Atomics that return a value, other than atomic_read, imply a
55 1.13 riastrad * full memory_sync barrier. Those that do not return a value
56 1.13 riastrad * imply no memory barrier.
57 1.13 riastrad */
58 1.13 riastrad
59 1.2 riastrad struct atomic {
60 1.2 riastrad union {
61 1.3 riastrad volatile int au_int;
62 1.3 riastrad volatile unsigned int au_uint;
63 1.2 riastrad } a_u;
64 1.2 riastrad };
65 1.2 riastrad
66 1.2 riastrad #define ATOMIC_INIT(i) { .a_u = { .au_int = (i) } }
67 1.2 riastrad
68 1.2 riastrad typedef struct atomic atomic_t;
69 1.2 riastrad
70 1.2 riastrad static inline int
71 1.27 riastrad atomic_read(const atomic_t *atomic)
72 1.2 riastrad {
73 1.13 riastrad /* no membar */
74 1.3 riastrad return atomic->a_u.au_int;
75 1.2 riastrad }
76 1.2 riastrad
77 1.2 riastrad static inline void
78 1.2 riastrad atomic_set(atomic_t *atomic, int value)
79 1.2 riastrad {
80 1.13 riastrad /* no membar */
81 1.2 riastrad atomic->a_u.au_int = value;
82 1.2 riastrad }
83 1.2 riastrad
84 1.2 riastrad static inline void
85 1.31 riastrad atomic_set_release(atomic_t *atomic, int value)
86 1.31 riastrad {
87 1.31 riastrad atomic_store_release(&atomic->a_u.au_int, value);
88 1.31 riastrad }
89 1.31 riastrad
90 1.31 riastrad static inline void
91 1.2 riastrad atomic_add(int addend, atomic_t *atomic)
92 1.2 riastrad {
93 1.13 riastrad /* no membar */
94 1.2 riastrad atomic_add_int(&atomic->a_u.au_uint, addend);
95 1.2 riastrad }
96 1.2 riastrad
97 1.2 riastrad static inline void
98 1.2 riastrad atomic_sub(int subtrahend, atomic_t *atomic)
99 1.2 riastrad {
100 1.13 riastrad /* no membar */
101 1.2 riastrad atomic_add_int(&atomic->a_u.au_uint, -subtrahend);
102 1.2 riastrad }
103 1.2 riastrad
104 1.2 riastrad static inline int
105 1.2 riastrad atomic_add_return(int addend, atomic_t *atomic)
106 1.2 riastrad {
107 1.13 riastrad int v;
108 1.13 riastrad
109 1.13 riastrad smp_mb__before_atomic();
110 1.13 riastrad v = (int)atomic_add_int_nv(&atomic->a_u.au_uint, addend);
111 1.13 riastrad smp_mb__after_atomic();
112 1.13 riastrad
113 1.13 riastrad return v;
114 1.2 riastrad }
115 1.2 riastrad
116 1.36 riastrad static inline int
117 1.36 riastrad atomic_sub_return(int subtrahend, atomic_t *atomic)
118 1.36 riastrad {
119 1.36 riastrad int v;
120 1.36 riastrad
121 1.36 riastrad smp_mb__before_atomic();
122 1.36 riastrad v = (int)atomic_add_int_nv(&atomic->a_u.au_uint, -subtrahend);
123 1.36 riastrad smp_mb__after_atomic();
124 1.36 riastrad
125 1.36 riastrad return v;
126 1.36 riastrad }
127 1.36 riastrad
128 1.2 riastrad static inline void
129 1.2 riastrad atomic_inc(atomic_t *atomic)
130 1.2 riastrad {
131 1.13 riastrad /* no membar */
132 1.2 riastrad atomic_inc_uint(&atomic->a_u.au_uint);
133 1.2 riastrad }
134 1.2 riastrad
135 1.2 riastrad static inline void
136 1.2 riastrad atomic_dec(atomic_t *atomic)
137 1.2 riastrad {
138 1.13 riastrad /* no membar */
139 1.2 riastrad atomic_dec_uint(&atomic->a_u.au_uint);
140 1.2 riastrad }
141 1.2 riastrad
142 1.2 riastrad static inline int
143 1.2 riastrad atomic_inc_return(atomic_t *atomic)
144 1.2 riastrad {
145 1.13 riastrad int v;
146 1.13 riastrad
147 1.13 riastrad smp_mb__before_atomic();
148 1.13 riastrad v = (int)atomic_inc_uint_nv(&atomic->a_u.au_uint);
149 1.13 riastrad smp_mb__after_atomic();
150 1.13 riastrad
151 1.13 riastrad return v;
152 1.2 riastrad }
153 1.2 riastrad
154 1.2 riastrad static inline int
155 1.2 riastrad atomic_dec_return(atomic_t *atomic)
156 1.2 riastrad {
157 1.13 riastrad int v;
158 1.13 riastrad
159 1.13 riastrad smp_mb__before_atomic();
160 1.13 riastrad v = (int)atomic_dec_uint_nv(&atomic->a_u.au_uint);
161 1.13 riastrad smp_mb__after_atomic();
162 1.13 riastrad
163 1.13 riastrad return v;
164 1.2 riastrad }
165 1.2 riastrad
166 1.2 riastrad static inline int
167 1.2 riastrad atomic_dec_and_test(atomic_t *atomic)
168 1.2 riastrad {
169 1.13 riastrad /* membar implied by atomic_dec_return */
170 1.13 riastrad return atomic_dec_return(atomic) == 0;
171 1.2 riastrad }
172 1.2 riastrad
173 1.28 riastrad static inline int
174 1.28 riastrad atomic_dec_if_positive(atomic_t *atomic)
175 1.28 riastrad {
176 1.28 riastrad int v;
177 1.28 riastrad
178 1.28 riastrad smp_mb__before_atomic();
179 1.28 riastrad do {
180 1.28 riastrad v = atomic->a_u.au_uint;
181 1.28 riastrad if (v <= 0)
182 1.28 riastrad break;
183 1.28 riastrad } while (atomic_cas_uint(&atomic->a_u.au_uint, v, v - 1) != v);
184 1.28 riastrad smp_mb__after_atomic();
185 1.28 riastrad
186 1.28 riastrad return v - 1;
187 1.28 riastrad }
188 1.28 riastrad
189 1.2 riastrad static inline void
190 1.8 riastrad atomic_or(int value, atomic_t *atomic)
191 1.8 riastrad {
192 1.13 riastrad /* no membar */
193 1.8 riastrad atomic_or_uint(&atomic->a_u.au_uint, value);
194 1.8 riastrad }
195 1.8 riastrad
196 1.8 riastrad static inline void
197 1.24 riastrad atomic_andnot(int value, atomic_t *atomic)
198 1.24 riastrad {
199 1.24 riastrad /* no membar */
200 1.24 riastrad atomic_and_uint(&atomic->a_u.au_uint, ~value);
201 1.24 riastrad }
202 1.24 riastrad
203 1.25 riastrad static inline int
204 1.37 riastrad atomic_fetch_add(int value, atomic_t *atomic)
205 1.37 riastrad {
206 1.37 riastrad unsigned old, new;
207 1.37 riastrad
208 1.37 riastrad smp_mb__before_atomic();
209 1.37 riastrad do {
210 1.37 riastrad old = atomic->a_u.au_uint;
211 1.37 riastrad new = old + value;
212 1.37 riastrad } while (atomic_cas_uint(&atomic->a_u.au_uint, old, new) != old);
213 1.37 riastrad smp_mb__after_atomic();
214 1.37 riastrad
215 1.37 riastrad return old;
216 1.37 riastrad }
217 1.37 riastrad
218 1.37 riastrad static inline int
219 1.37 riastrad atomic_fetch_inc(atomic_t *atomic)
220 1.37 riastrad {
221 1.37 riastrad return atomic_fetch_add(1, atomic);
222 1.37 riastrad }
223 1.37 riastrad
224 1.37 riastrad static inline int
225 1.25 riastrad atomic_fetch_xor(int value, atomic_t *atomic)
226 1.25 riastrad {
227 1.25 riastrad unsigned old, new;
228 1.25 riastrad
229 1.25 riastrad smp_mb__before_atomic();
230 1.25 riastrad do {
231 1.25 riastrad old = atomic->a_u.au_uint;
232 1.25 riastrad new = old ^ value;
233 1.25 riastrad } while (atomic_cas_uint(&atomic->a_u.au_uint, old, new) != old);
234 1.25 riastrad smp_mb__after_atomic();
235 1.25 riastrad
236 1.25 riastrad return old;
237 1.25 riastrad }
238 1.25 riastrad
239 1.24 riastrad static inline void
240 1.2 riastrad atomic_set_mask(unsigned long mask, atomic_t *atomic)
241 1.2 riastrad {
242 1.13 riastrad /* no membar */
243 1.2 riastrad atomic_or_uint(&atomic->a_u.au_uint, mask);
244 1.2 riastrad }
245 1.2 riastrad
246 1.2 riastrad static inline void
247 1.2 riastrad atomic_clear_mask(unsigned long mask, atomic_t *atomic)
248 1.2 riastrad {
249 1.13 riastrad /* no membar */
250 1.2 riastrad atomic_and_uint(&atomic->a_u.au_uint, ~mask);
251 1.2 riastrad }
252 1.2 riastrad
253 1.2 riastrad static inline int
254 1.2 riastrad atomic_add_unless(atomic_t *atomic, int addend, int zero)
255 1.2 riastrad {
256 1.2 riastrad int value;
257 1.2 riastrad
258 1.13 riastrad smp_mb__before_atomic();
259 1.2 riastrad do {
260 1.2 riastrad value = atomic->a_u.au_int;
261 1.2 riastrad if (value == zero)
262 1.13 riastrad break;
263 1.2 riastrad } while (atomic_cas_uint(&atomic->a_u.au_uint, value, (value + addend))
264 1.21 christos != (unsigned)value);
265 1.13 riastrad smp_mb__after_atomic();
266 1.2 riastrad
267 1.13 riastrad return value != zero;
268 1.2 riastrad }
269 1.2 riastrad
270 1.2 riastrad static inline int
271 1.2 riastrad atomic_inc_not_zero(atomic_t *atomic)
272 1.2 riastrad {
273 1.13 riastrad /* membar implied by atomic_add_unless */
274 1.2 riastrad return atomic_add_unless(atomic, 1, 0);
275 1.2 riastrad }
276 1.2 riastrad
277 1.5 riastrad static inline int
278 1.5 riastrad atomic_xchg(atomic_t *atomic, int new)
279 1.5 riastrad {
280 1.13 riastrad int old;
281 1.13 riastrad
282 1.13 riastrad smp_mb__before_atomic();
283 1.13 riastrad old = (int)atomic_swap_uint(&atomic->a_u.au_uint, (unsigned)new);
284 1.13 riastrad smp_mb__after_atomic();
285 1.13 riastrad
286 1.13 riastrad return old;
287 1.5 riastrad }
288 1.5 riastrad
289 1.5 riastrad static inline int
290 1.13 riastrad atomic_cmpxchg(atomic_t *atomic, int expect, int new)
291 1.5 riastrad {
292 1.13 riastrad int old;
293 1.13 riastrad
294 1.13 riastrad /*
295 1.13 riastrad * XXX As an optimization, under Linux's semantics we are
296 1.13 riastrad * allowed to skip the memory barrier if the comparison fails,
297 1.13 riastrad * but taking advantage of that is not convenient here.
298 1.13 riastrad */
299 1.13 riastrad smp_mb__before_atomic();
300 1.13 riastrad old = (int)atomic_cas_uint(&atomic->a_u.au_uint, (unsigned)expect,
301 1.5 riastrad (unsigned)new);
302 1.13 riastrad smp_mb__after_atomic();
303 1.13 riastrad
304 1.13 riastrad return old;
305 1.5 riastrad }
306 1.5 riastrad
307 1.6 riastrad struct atomic64 {
308 1.6 riastrad volatile uint64_t a_v;
309 1.6 riastrad };
310 1.6 riastrad
311 1.6 riastrad typedef struct atomic64 atomic64_t;
312 1.6 riastrad
313 1.16 riastrad #define ATOMIC64_INIT(v) { .a_v = (v) }
314 1.16 riastrad
315 1.15 riastrad int linux_atomic64_init(void);
316 1.15 riastrad void linux_atomic64_fini(void);
317 1.15 riastrad
318 1.15 riastrad #ifdef __HAVE_ATOMIC64_OPS
319 1.15 riastrad
320 1.6 riastrad static inline uint64_t
321 1.6 riastrad atomic64_read(const struct atomic64 *a)
322 1.6 riastrad {
323 1.13 riastrad /* no membar */
324 1.6 riastrad return a->a_v;
325 1.6 riastrad }
326 1.6 riastrad
327 1.6 riastrad static inline void
328 1.6 riastrad atomic64_set(struct atomic64 *a, uint64_t v)
329 1.6 riastrad {
330 1.13 riastrad /* no membar */
331 1.6 riastrad a->a_v = v;
332 1.6 riastrad }
333 1.6 riastrad
334 1.6 riastrad static inline void
335 1.17 riastrad atomic64_add(int64_t d, struct atomic64 *a)
336 1.6 riastrad {
337 1.13 riastrad /* no membar */
338 1.6 riastrad atomic_add_64(&a->a_v, d);
339 1.6 riastrad }
340 1.6 riastrad
341 1.6 riastrad static inline void
342 1.17 riastrad atomic64_sub(int64_t d, struct atomic64 *a)
343 1.6 riastrad {
344 1.13 riastrad /* no membar */
345 1.6 riastrad atomic_add_64(&a->a_v, -d);
346 1.6 riastrad }
347 1.6 riastrad
348 1.19 riastrad static inline int64_t
349 1.19 riastrad atomic64_add_return(int64_t d, struct atomic64 *a)
350 1.19 riastrad {
351 1.19 riastrad int64_t v;
352 1.19 riastrad
353 1.19 riastrad smp_mb__before_atomic();
354 1.19 riastrad v = (int64_t)atomic_add_64_nv(&a->a_v, d);
355 1.19 riastrad smp_mb__after_atomic();
356 1.19 riastrad
357 1.19 riastrad return v;
358 1.19 riastrad }
359 1.19 riastrad
360 1.6 riastrad static inline uint64_t
361 1.13 riastrad atomic64_xchg(struct atomic64 *a, uint64_t new)
362 1.6 riastrad {
363 1.13 riastrad uint64_t old;
364 1.13 riastrad
365 1.13 riastrad smp_mb__before_atomic();
366 1.13 riastrad old = atomic_swap_64(&a->a_v, new);
367 1.13 riastrad smp_mb__after_atomic();
368 1.13 riastrad
369 1.13 riastrad return old;
370 1.6 riastrad }
371 1.6 riastrad
372 1.9 riastrad static inline uint64_t
373 1.13 riastrad atomic64_cmpxchg(struct atomic64 *atomic, uint64_t expect, uint64_t new)
374 1.9 riastrad {
375 1.13 riastrad uint64_t old;
376 1.13 riastrad
377 1.13 riastrad /*
378 1.13 riastrad * XXX As an optimization, under Linux's semantics we are
379 1.13 riastrad * allowed to skip the memory barrier if the comparison fails,
380 1.13 riastrad * but taking advantage of that is not convenient here.
381 1.13 riastrad */
382 1.13 riastrad smp_mb__before_atomic();
383 1.13 riastrad old = atomic_cas_64(&atomic->a_v, expect, new);
384 1.13 riastrad smp_mb__after_atomic();
385 1.13 riastrad
386 1.13 riastrad return old;
387 1.9 riastrad }
388 1.9 riastrad
389 1.15 riastrad #else /* !defined(__HAVE_ATOMIC64_OPS) */
390 1.15 riastrad
391 1.18 riastrad #define atomic64_add linux_atomic64_add
392 1.19 riastrad #define atomic64_add_return linux_atomic64_add_return
393 1.18 riastrad #define atomic64_cmpxchg linux_atomic64_cmpxchg
394 1.15 riastrad #define atomic64_read linux_atomic64_read
395 1.15 riastrad #define atomic64_set linux_atomic64_set
396 1.15 riastrad #define atomic64_sub linux_atomic64_sub
397 1.15 riastrad #define atomic64_xchg linux_atomic64_xchg
398 1.15 riastrad
399 1.15 riastrad uint64_t atomic64_read(const struct atomic64 *);
400 1.15 riastrad void atomic64_set(struct atomic64 *, uint64_t);
401 1.17 riastrad void atomic64_add(int64_t, struct atomic64 *);
402 1.17 riastrad void atomic64_sub(int64_t, struct atomic64 *);
403 1.19 riastrad int64_t atomic64_add_return(int64_t, struct atomic64 *);
404 1.15 riastrad uint64_t atomic64_xchg(struct atomic64 *, uint64_t);
405 1.15 riastrad uint64_t atomic64_cmpxchg(struct atomic64 *, uint64_t, uint64_t);
406 1.15 riastrad
407 1.15 riastrad #endif
408 1.15 riastrad
409 1.19 riastrad static inline int64_t
410 1.19 riastrad atomic64_inc_return(struct atomic64 *a)
411 1.19 riastrad {
412 1.19 riastrad return atomic64_add_return(1, a);
413 1.19 riastrad }
414 1.19 riastrad
415 1.14 riastrad struct atomic_long {
416 1.14 riastrad volatile unsigned long al_v;
417 1.14 riastrad };
418 1.14 riastrad
419 1.14 riastrad typedef struct atomic_long atomic_long_t;
420 1.14 riastrad
421 1.14 riastrad static inline long
422 1.14 riastrad atomic_long_read(struct atomic_long *a)
423 1.14 riastrad {
424 1.14 riastrad /* no membar */
425 1.14 riastrad return (unsigned long)a->al_v;
426 1.14 riastrad }
427 1.14 riastrad
428 1.14 riastrad static inline void
429 1.14 riastrad atomic_long_set(struct atomic_long *a, long v)
430 1.14 riastrad {
431 1.14 riastrad /* no membar */
432 1.14 riastrad a->al_v = v;
433 1.14 riastrad }
434 1.14 riastrad
435 1.14 riastrad static inline long
436 1.14 riastrad atomic_long_add_unless(struct atomic_long *a, long addend, long zero)
437 1.14 riastrad {
438 1.14 riastrad long value;
439 1.14 riastrad
440 1.14 riastrad smp_mb__before_atomic();
441 1.14 riastrad do {
442 1.14 riastrad value = (long)a->al_v;
443 1.14 riastrad if (value == zero)
444 1.14 riastrad break;
445 1.14 riastrad } while (atomic_cas_ulong(&a->al_v, (unsigned long)value,
446 1.14 riastrad (unsigned long)(value + addend)) != (unsigned long)value);
447 1.14 riastrad smp_mb__after_atomic();
448 1.14 riastrad
449 1.14 riastrad return value != zero;
450 1.14 riastrad }
451 1.14 riastrad
452 1.14 riastrad static inline long
453 1.14 riastrad atomic_long_inc_not_zero(struct atomic_long *a)
454 1.14 riastrad {
455 1.14 riastrad /* membar implied by atomic_long_add_unless */
456 1.14 riastrad return atomic_long_add_unless(a, 1, 0);
457 1.14 riastrad }
458 1.14 riastrad
459 1.14 riastrad static inline long
460 1.30 riastrad atomic_long_xchg(struct atomic_long *a, long new)
461 1.30 riastrad {
462 1.30 riastrad long old;
463 1.30 riastrad
464 1.30 riastrad smp_mb__before_atomic();
465 1.30 riastrad old = (long)atomic_swap_ulong(&a->al_v, (unsigned long)new);
466 1.30 riastrad smp_mb__after_atomic();
467 1.30 riastrad
468 1.30 riastrad return old;
469 1.30 riastrad }
470 1.30 riastrad
471 1.30 riastrad static inline long
472 1.14 riastrad atomic_long_cmpxchg(struct atomic_long *a, long expect, long new)
473 1.14 riastrad {
474 1.14 riastrad long old;
475 1.14 riastrad
476 1.14 riastrad /*
477 1.14 riastrad * XXX As an optimization, under Linux's semantics we are
478 1.14 riastrad * allowed to skip the memory barrier if the comparison fails,
479 1.14 riastrad * but taking advantage of that is not convenient here.
480 1.14 riastrad */
481 1.14 riastrad smp_mb__before_atomic();
482 1.14 riastrad old = (long)atomic_cas_ulong(&a->al_v, (unsigned long)expect,
483 1.14 riastrad (unsigned long)new);
484 1.14 riastrad smp_mb__after_atomic();
485 1.14 riastrad
486 1.14 riastrad return old;
487 1.14 riastrad }
488 1.14 riastrad
489 1.2 riastrad #endif /* _LINUX_ATOMIC_H_ */
490