atomic.h revision 1.36 1 1.36 riastrad /* $NetBSD: atomic.h,v 1.36 2021/12/19 11:14:56 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.25 riastrad atomic_fetch_xor(int value, atomic_t *atomic)
205 1.25 riastrad {
206 1.25 riastrad unsigned old, new;
207 1.25 riastrad
208 1.25 riastrad smp_mb__before_atomic();
209 1.25 riastrad do {
210 1.25 riastrad old = atomic->a_u.au_uint;
211 1.25 riastrad new = old ^ value;
212 1.25 riastrad } while (atomic_cas_uint(&atomic->a_u.au_uint, old, new) != old);
213 1.25 riastrad smp_mb__after_atomic();
214 1.25 riastrad
215 1.25 riastrad return old;
216 1.25 riastrad }
217 1.25 riastrad
218 1.24 riastrad static inline void
219 1.2 riastrad atomic_set_mask(unsigned long mask, atomic_t *atomic)
220 1.2 riastrad {
221 1.13 riastrad /* no membar */
222 1.2 riastrad atomic_or_uint(&atomic->a_u.au_uint, mask);
223 1.2 riastrad }
224 1.2 riastrad
225 1.2 riastrad static inline void
226 1.2 riastrad atomic_clear_mask(unsigned long mask, atomic_t *atomic)
227 1.2 riastrad {
228 1.13 riastrad /* no membar */
229 1.2 riastrad atomic_and_uint(&atomic->a_u.au_uint, ~mask);
230 1.2 riastrad }
231 1.2 riastrad
232 1.2 riastrad static inline int
233 1.2 riastrad atomic_add_unless(atomic_t *atomic, int addend, int zero)
234 1.2 riastrad {
235 1.2 riastrad int value;
236 1.2 riastrad
237 1.13 riastrad smp_mb__before_atomic();
238 1.2 riastrad do {
239 1.2 riastrad value = atomic->a_u.au_int;
240 1.2 riastrad if (value == zero)
241 1.13 riastrad break;
242 1.2 riastrad } while (atomic_cas_uint(&atomic->a_u.au_uint, value, (value + addend))
243 1.21 christos != (unsigned)value);
244 1.13 riastrad smp_mb__after_atomic();
245 1.2 riastrad
246 1.13 riastrad return value != zero;
247 1.2 riastrad }
248 1.2 riastrad
249 1.2 riastrad static inline int
250 1.2 riastrad atomic_inc_not_zero(atomic_t *atomic)
251 1.2 riastrad {
252 1.13 riastrad /* membar implied by atomic_add_unless */
253 1.2 riastrad return atomic_add_unless(atomic, 1, 0);
254 1.2 riastrad }
255 1.2 riastrad
256 1.5 riastrad static inline int
257 1.5 riastrad atomic_xchg(atomic_t *atomic, int new)
258 1.5 riastrad {
259 1.13 riastrad int old;
260 1.13 riastrad
261 1.13 riastrad smp_mb__before_atomic();
262 1.13 riastrad old = (int)atomic_swap_uint(&atomic->a_u.au_uint, (unsigned)new);
263 1.13 riastrad smp_mb__after_atomic();
264 1.13 riastrad
265 1.13 riastrad return old;
266 1.5 riastrad }
267 1.5 riastrad
268 1.5 riastrad static inline int
269 1.13 riastrad atomic_cmpxchg(atomic_t *atomic, int expect, int new)
270 1.5 riastrad {
271 1.13 riastrad int old;
272 1.13 riastrad
273 1.13 riastrad /*
274 1.13 riastrad * XXX As an optimization, under Linux's semantics we are
275 1.13 riastrad * allowed to skip the memory barrier if the comparison fails,
276 1.13 riastrad * but taking advantage of that is not convenient here.
277 1.13 riastrad */
278 1.13 riastrad smp_mb__before_atomic();
279 1.13 riastrad old = (int)atomic_cas_uint(&atomic->a_u.au_uint, (unsigned)expect,
280 1.5 riastrad (unsigned)new);
281 1.13 riastrad smp_mb__after_atomic();
282 1.13 riastrad
283 1.13 riastrad return old;
284 1.5 riastrad }
285 1.5 riastrad
286 1.6 riastrad struct atomic64 {
287 1.6 riastrad volatile uint64_t a_v;
288 1.6 riastrad };
289 1.6 riastrad
290 1.6 riastrad typedef struct atomic64 atomic64_t;
291 1.6 riastrad
292 1.16 riastrad #define ATOMIC64_INIT(v) { .a_v = (v) }
293 1.16 riastrad
294 1.15 riastrad int linux_atomic64_init(void);
295 1.15 riastrad void linux_atomic64_fini(void);
296 1.15 riastrad
297 1.15 riastrad #ifdef __HAVE_ATOMIC64_OPS
298 1.15 riastrad
299 1.6 riastrad static inline uint64_t
300 1.6 riastrad atomic64_read(const struct atomic64 *a)
301 1.6 riastrad {
302 1.13 riastrad /* no membar */
303 1.6 riastrad return a->a_v;
304 1.6 riastrad }
305 1.6 riastrad
306 1.6 riastrad static inline void
307 1.6 riastrad atomic64_set(struct atomic64 *a, uint64_t v)
308 1.6 riastrad {
309 1.13 riastrad /* no membar */
310 1.6 riastrad a->a_v = v;
311 1.6 riastrad }
312 1.6 riastrad
313 1.6 riastrad static inline void
314 1.17 riastrad atomic64_add(int64_t d, struct atomic64 *a)
315 1.6 riastrad {
316 1.13 riastrad /* no membar */
317 1.6 riastrad atomic_add_64(&a->a_v, d);
318 1.6 riastrad }
319 1.6 riastrad
320 1.6 riastrad static inline void
321 1.17 riastrad atomic64_sub(int64_t d, struct atomic64 *a)
322 1.6 riastrad {
323 1.13 riastrad /* no membar */
324 1.6 riastrad atomic_add_64(&a->a_v, -d);
325 1.6 riastrad }
326 1.6 riastrad
327 1.19 riastrad static inline int64_t
328 1.19 riastrad atomic64_add_return(int64_t d, struct atomic64 *a)
329 1.19 riastrad {
330 1.19 riastrad int64_t v;
331 1.19 riastrad
332 1.19 riastrad smp_mb__before_atomic();
333 1.19 riastrad v = (int64_t)atomic_add_64_nv(&a->a_v, d);
334 1.19 riastrad smp_mb__after_atomic();
335 1.19 riastrad
336 1.19 riastrad return v;
337 1.19 riastrad }
338 1.19 riastrad
339 1.6 riastrad static inline uint64_t
340 1.13 riastrad atomic64_xchg(struct atomic64 *a, uint64_t new)
341 1.6 riastrad {
342 1.13 riastrad uint64_t old;
343 1.13 riastrad
344 1.13 riastrad smp_mb__before_atomic();
345 1.13 riastrad old = atomic_swap_64(&a->a_v, new);
346 1.13 riastrad smp_mb__after_atomic();
347 1.13 riastrad
348 1.13 riastrad return old;
349 1.6 riastrad }
350 1.6 riastrad
351 1.9 riastrad static inline uint64_t
352 1.13 riastrad atomic64_cmpxchg(struct atomic64 *atomic, uint64_t expect, uint64_t new)
353 1.9 riastrad {
354 1.13 riastrad uint64_t old;
355 1.13 riastrad
356 1.13 riastrad /*
357 1.13 riastrad * XXX As an optimization, under Linux's semantics we are
358 1.13 riastrad * allowed to skip the memory barrier if the comparison fails,
359 1.13 riastrad * but taking advantage of that is not convenient here.
360 1.13 riastrad */
361 1.13 riastrad smp_mb__before_atomic();
362 1.13 riastrad old = atomic_cas_64(&atomic->a_v, expect, new);
363 1.13 riastrad smp_mb__after_atomic();
364 1.13 riastrad
365 1.13 riastrad return old;
366 1.9 riastrad }
367 1.9 riastrad
368 1.15 riastrad #else /* !defined(__HAVE_ATOMIC64_OPS) */
369 1.15 riastrad
370 1.18 riastrad #define atomic64_add linux_atomic64_add
371 1.19 riastrad #define atomic64_add_return linux_atomic64_add_return
372 1.18 riastrad #define atomic64_cmpxchg linux_atomic64_cmpxchg
373 1.15 riastrad #define atomic64_read linux_atomic64_read
374 1.15 riastrad #define atomic64_set linux_atomic64_set
375 1.15 riastrad #define atomic64_sub linux_atomic64_sub
376 1.15 riastrad #define atomic64_xchg linux_atomic64_xchg
377 1.15 riastrad
378 1.15 riastrad uint64_t atomic64_read(const struct atomic64 *);
379 1.15 riastrad void atomic64_set(struct atomic64 *, uint64_t);
380 1.17 riastrad void atomic64_add(int64_t, struct atomic64 *);
381 1.17 riastrad void atomic64_sub(int64_t, struct atomic64 *);
382 1.19 riastrad int64_t atomic64_add_return(int64_t, struct atomic64 *);
383 1.15 riastrad uint64_t atomic64_xchg(struct atomic64 *, uint64_t);
384 1.15 riastrad uint64_t atomic64_cmpxchg(struct atomic64 *, uint64_t, uint64_t);
385 1.15 riastrad
386 1.15 riastrad #endif
387 1.15 riastrad
388 1.19 riastrad static inline int64_t
389 1.19 riastrad atomic64_inc_return(struct atomic64 *a)
390 1.19 riastrad {
391 1.19 riastrad return atomic64_add_return(1, a);
392 1.19 riastrad }
393 1.19 riastrad
394 1.14 riastrad struct atomic_long {
395 1.14 riastrad volatile unsigned long al_v;
396 1.14 riastrad };
397 1.14 riastrad
398 1.14 riastrad typedef struct atomic_long atomic_long_t;
399 1.14 riastrad
400 1.14 riastrad static inline long
401 1.14 riastrad atomic_long_read(struct atomic_long *a)
402 1.14 riastrad {
403 1.14 riastrad /* no membar */
404 1.14 riastrad return (unsigned long)a->al_v;
405 1.14 riastrad }
406 1.14 riastrad
407 1.14 riastrad static inline void
408 1.14 riastrad atomic_long_set(struct atomic_long *a, long v)
409 1.14 riastrad {
410 1.14 riastrad /* no membar */
411 1.14 riastrad a->al_v = v;
412 1.14 riastrad }
413 1.14 riastrad
414 1.14 riastrad static inline long
415 1.14 riastrad atomic_long_add_unless(struct atomic_long *a, long addend, long zero)
416 1.14 riastrad {
417 1.14 riastrad long value;
418 1.14 riastrad
419 1.14 riastrad smp_mb__before_atomic();
420 1.14 riastrad do {
421 1.14 riastrad value = (long)a->al_v;
422 1.14 riastrad if (value == zero)
423 1.14 riastrad break;
424 1.14 riastrad } while (atomic_cas_ulong(&a->al_v, (unsigned long)value,
425 1.14 riastrad (unsigned long)(value + addend)) != (unsigned long)value);
426 1.14 riastrad smp_mb__after_atomic();
427 1.14 riastrad
428 1.14 riastrad return value != zero;
429 1.14 riastrad }
430 1.14 riastrad
431 1.14 riastrad static inline long
432 1.14 riastrad atomic_long_inc_not_zero(struct atomic_long *a)
433 1.14 riastrad {
434 1.14 riastrad /* membar implied by atomic_long_add_unless */
435 1.14 riastrad return atomic_long_add_unless(a, 1, 0);
436 1.14 riastrad }
437 1.14 riastrad
438 1.14 riastrad static inline long
439 1.30 riastrad atomic_long_xchg(struct atomic_long *a, long new)
440 1.30 riastrad {
441 1.30 riastrad long old;
442 1.30 riastrad
443 1.30 riastrad smp_mb__before_atomic();
444 1.30 riastrad old = (long)atomic_swap_ulong(&a->al_v, (unsigned long)new);
445 1.30 riastrad smp_mb__after_atomic();
446 1.30 riastrad
447 1.30 riastrad return old;
448 1.30 riastrad }
449 1.30 riastrad
450 1.30 riastrad static inline long
451 1.14 riastrad atomic_long_cmpxchg(struct atomic_long *a, long expect, long new)
452 1.14 riastrad {
453 1.14 riastrad long old;
454 1.14 riastrad
455 1.14 riastrad /*
456 1.14 riastrad * XXX As an optimization, under Linux's semantics we are
457 1.14 riastrad * allowed to skip the memory barrier if the comparison fails,
458 1.14 riastrad * but taking advantage of that is not convenient here.
459 1.14 riastrad */
460 1.14 riastrad smp_mb__before_atomic();
461 1.14 riastrad old = (long)atomic_cas_ulong(&a->al_v, (unsigned long)expect,
462 1.14 riastrad (unsigned long)new);
463 1.14 riastrad smp_mb__after_atomic();
464 1.14 riastrad
465 1.14 riastrad return old;
466 1.14 riastrad }
467 1.14 riastrad
468 1.2 riastrad #endif /* _LINUX_ATOMIC_H_ */
469