atomic.h revision 1.35 1 1.35 riastrad /* $NetBSD: atomic.h,v 1.35 2021/12/19 11:04:28 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.2 riastrad static inline void
117 1.2 riastrad atomic_inc(atomic_t *atomic)
118 1.2 riastrad {
119 1.13 riastrad /* no membar */
120 1.2 riastrad atomic_inc_uint(&atomic->a_u.au_uint);
121 1.2 riastrad }
122 1.2 riastrad
123 1.2 riastrad static inline void
124 1.2 riastrad atomic_dec(atomic_t *atomic)
125 1.2 riastrad {
126 1.13 riastrad /* no membar */
127 1.2 riastrad atomic_dec_uint(&atomic->a_u.au_uint);
128 1.2 riastrad }
129 1.2 riastrad
130 1.2 riastrad static inline int
131 1.2 riastrad atomic_inc_return(atomic_t *atomic)
132 1.2 riastrad {
133 1.13 riastrad int v;
134 1.13 riastrad
135 1.13 riastrad smp_mb__before_atomic();
136 1.13 riastrad v = (int)atomic_inc_uint_nv(&atomic->a_u.au_uint);
137 1.13 riastrad smp_mb__after_atomic();
138 1.13 riastrad
139 1.13 riastrad return v;
140 1.2 riastrad }
141 1.2 riastrad
142 1.2 riastrad static inline int
143 1.2 riastrad atomic_dec_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_dec_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_and_test(atomic_t *atomic)
156 1.2 riastrad {
157 1.13 riastrad /* membar implied by atomic_dec_return */
158 1.13 riastrad return atomic_dec_return(atomic) == 0;
159 1.2 riastrad }
160 1.2 riastrad
161 1.28 riastrad static inline int
162 1.28 riastrad atomic_dec_if_positive(atomic_t *atomic)
163 1.28 riastrad {
164 1.28 riastrad int v;
165 1.28 riastrad
166 1.28 riastrad smp_mb__before_atomic();
167 1.28 riastrad do {
168 1.28 riastrad v = atomic->a_u.au_uint;
169 1.28 riastrad if (v <= 0)
170 1.28 riastrad break;
171 1.28 riastrad } while (atomic_cas_uint(&atomic->a_u.au_uint, v, v - 1) != v);
172 1.28 riastrad smp_mb__after_atomic();
173 1.28 riastrad
174 1.28 riastrad return v - 1;
175 1.28 riastrad }
176 1.28 riastrad
177 1.2 riastrad static inline void
178 1.8 riastrad atomic_or(int value, atomic_t *atomic)
179 1.8 riastrad {
180 1.13 riastrad /* no membar */
181 1.8 riastrad atomic_or_uint(&atomic->a_u.au_uint, value);
182 1.8 riastrad }
183 1.8 riastrad
184 1.8 riastrad static inline void
185 1.24 riastrad atomic_andnot(int value, atomic_t *atomic)
186 1.24 riastrad {
187 1.24 riastrad /* no membar */
188 1.24 riastrad atomic_and_uint(&atomic->a_u.au_uint, ~value);
189 1.24 riastrad }
190 1.24 riastrad
191 1.25 riastrad static inline int
192 1.25 riastrad atomic_fetch_xor(int value, atomic_t *atomic)
193 1.25 riastrad {
194 1.25 riastrad unsigned old, new;
195 1.25 riastrad
196 1.25 riastrad smp_mb__before_atomic();
197 1.25 riastrad do {
198 1.25 riastrad old = atomic->a_u.au_uint;
199 1.25 riastrad new = old ^ value;
200 1.25 riastrad } while (atomic_cas_uint(&atomic->a_u.au_uint, old, new) != old);
201 1.25 riastrad smp_mb__after_atomic();
202 1.25 riastrad
203 1.25 riastrad return old;
204 1.25 riastrad }
205 1.25 riastrad
206 1.24 riastrad static inline void
207 1.2 riastrad atomic_set_mask(unsigned long mask, atomic_t *atomic)
208 1.2 riastrad {
209 1.13 riastrad /* no membar */
210 1.2 riastrad atomic_or_uint(&atomic->a_u.au_uint, mask);
211 1.2 riastrad }
212 1.2 riastrad
213 1.2 riastrad static inline void
214 1.2 riastrad atomic_clear_mask(unsigned long mask, atomic_t *atomic)
215 1.2 riastrad {
216 1.13 riastrad /* no membar */
217 1.2 riastrad atomic_and_uint(&atomic->a_u.au_uint, ~mask);
218 1.2 riastrad }
219 1.2 riastrad
220 1.2 riastrad static inline int
221 1.2 riastrad atomic_add_unless(atomic_t *atomic, int addend, int zero)
222 1.2 riastrad {
223 1.2 riastrad int value;
224 1.2 riastrad
225 1.13 riastrad smp_mb__before_atomic();
226 1.2 riastrad do {
227 1.2 riastrad value = atomic->a_u.au_int;
228 1.2 riastrad if (value == zero)
229 1.13 riastrad break;
230 1.2 riastrad } while (atomic_cas_uint(&atomic->a_u.au_uint, value, (value + addend))
231 1.21 christos != (unsigned)value);
232 1.13 riastrad smp_mb__after_atomic();
233 1.2 riastrad
234 1.13 riastrad return value != zero;
235 1.2 riastrad }
236 1.2 riastrad
237 1.2 riastrad static inline int
238 1.2 riastrad atomic_inc_not_zero(atomic_t *atomic)
239 1.2 riastrad {
240 1.13 riastrad /* membar implied by atomic_add_unless */
241 1.2 riastrad return atomic_add_unless(atomic, 1, 0);
242 1.2 riastrad }
243 1.2 riastrad
244 1.5 riastrad static inline int
245 1.5 riastrad atomic_xchg(atomic_t *atomic, int new)
246 1.5 riastrad {
247 1.13 riastrad int old;
248 1.13 riastrad
249 1.13 riastrad smp_mb__before_atomic();
250 1.13 riastrad old = (int)atomic_swap_uint(&atomic->a_u.au_uint, (unsigned)new);
251 1.13 riastrad smp_mb__after_atomic();
252 1.13 riastrad
253 1.13 riastrad return old;
254 1.5 riastrad }
255 1.5 riastrad
256 1.5 riastrad static inline int
257 1.13 riastrad atomic_cmpxchg(atomic_t *atomic, int expect, int new)
258 1.5 riastrad {
259 1.13 riastrad int old;
260 1.13 riastrad
261 1.13 riastrad /*
262 1.13 riastrad * XXX As an optimization, under Linux's semantics we are
263 1.13 riastrad * allowed to skip the memory barrier if the comparison fails,
264 1.13 riastrad * but taking advantage of that is not convenient here.
265 1.13 riastrad */
266 1.13 riastrad smp_mb__before_atomic();
267 1.13 riastrad old = (int)atomic_cas_uint(&atomic->a_u.au_uint, (unsigned)expect,
268 1.5 riastrad (unsigned)new);
269 1.13 riastrad smp_mb__after_atomic();
270 1.13 riastrad
271 1.13 riastrad return old;
272 1.5 riastrad }
273 1.5 riastrad
274 1.6 riastrad struct atomic64 {
275 1.6 riastrad volatile uint64_t a_v;
276 1.6 riastrad };
277 1.6 riastrad
278 1.6 riastrad typedef struct atomic64 atomic64_t;
279 1.6 riastrad
280 1.16 riastrad #define ATOMIC64_INIT(v) { .a_v = (v) }
281 1.16 riastrad
282 1.15 riastrad int linux_atomic64_init(void);
283 1.15 riastrad void linux_atomic64_fini(void);
284 1.15 riastrad
285 1.15 riastrad #ifdef __HAVE_ATOMIC64_OPS
286 1.15 riastrad
287 1.6 riastrad static inline uint64_t
288 1.6 riastrad atomic64_read(const struct atomic64 *a)
289 1.6 riastrad {
290 1.13 riastrad /* no membar */
291 1.6 riastrad return a->a_v;
292 1.6 riastrad }
293 1.6 riastrad
294 1.6 riastrad static inline void
295 1.6 riastrad atomic64_set(struct atomic64 *a, uint64_t v)
296 1.6 riastrad {
297 1.13 riastrad /* no membar */
298 1.6 riastrad a->a_v = v;
299 1.6 riastrad }
300 1.6 riastrad
301 1.6 riastrad static inline void
302 1.17 riastrad atomic64_add(int64_t d, struct atomic64 *a)
303 1.6 riastrad {
304 1.13 riastrad /* no membar */
305 1.6 riastrad atomic_add_64(&a->a_v, d);
306 1.6 riastrad }
307 1.6 riastrad
308 1.6 riastrad static inline void
309 1.17 riastrad atomic64_sub(int64_t d, struct atomic64 *a)
310 1.6 riastrad {
311 1.13 riastrad /* no membar */
312 1.6 riastrad atomic_add_64(&a->a_v, -d);
313 1.6 riastrad }
314 1.6 riastrad
315 1.19 riastrad static inline int64_t
316 1.19 riastrad atomic64_add_return(int64_t d, struct atomic64 *a)
317 1.19 riastrad {
318 1.19 riastrad int64_t v;
319 1.19 riastrad
320 1.19 riastrad smp_mb__before_atomic();
321 1.19 riastrad v = (int64_t)atomic_add_64_nv(&a->a_v, d);
322 1.19 riastrad smp_mb__after_atomic();
323 1.19 riastrad
324 1.19 riastrad return v;
325 1.19 riastrad }
326 1.19 riastrad
327 1.6 riastrad static inline uint64_t
328 1.13 riastrad atomic64_xchg(struct atomic64 *a, uint64_t new)
329 1.6 riastrad {
330 1.13 riastrad uint64_t old;
331 1.13 riastrad
332 1.13 riastrad smp_mb__before_atomic();
333 1.13 riastrad old = atomic_swap_64(&a->a_v, new);
334 1.13 riastrad smp_mb__after_atomic();
335 1.13 riastrad
336 1.13 riastrad return old;
337 1.6 riastrad }
338 1.6 riastrad
339 1.9 riastrad static inline uint64_t
340 1.13 riastrad atomic64_cmpxchg(struct atomic64 *atomic, uint64_t expect, uint64_t new)
341 1.9 riastrad {
342 1.13 riastrad uint64_t old;
343 1.13 riastrad
344 1.13 riastrad /*
345 1.13 riastrad * XXX As an optimization, under Linux's semantics we are
346 1.13 riastrad * allowed to skip the memory barrier if the comparison fails,
347 1.13 riastrad * but taking advantage of that is not convenient here.
348 1.13 riastrad */
349 1.13 riastrad smp_mb__before_atomic();
350 1.13 riastrad old = atomic_cas_64(&atomic->a_v, expect, new);
351 1.13 riastrad smp_mb__after_atomic();
352 1.13 riastrad
353 1.13 riastrad return old;
354 1.9 riastrad }
355 1.9 riastrad
356 1.15 riastrad #else /* !defined(__HAVE_ATOMIC64_OPS) */
357 1.15 riastrad
358 1.18 riastrad #define atomic64_add linux_atomic64_add
359 1.19 riastrad #define atomic64_add_return linux_atomic64_add_return
360 1.18 riastrad #define atomic64_cmpxchg linux_atomic64_cmpxchg
361 1.15 riastrad #define atomic64_read linux_atomic64_read
362 1.15 riastrad #define atomic64_set linux_atomic64_set
363 1.15 riastrad #define atomic64_sub linux_atomic64_sub
364 1.15 riastrad #define atomic64_xchg linux_atomic64_xchg
365 1.15 riastrad
366 1.15 riastrad uint64_t atomic64_read(const struct atomic64 *);
367 1.15 riastrad void atomic64_set(struct atomic64 *, uint64_t);
368 1.17 riastrad void atomic64_add(int64_t, struct atomic64 *);
369 1.17 riastrad void atomic64_sub(int64_t, struct atomic64 *);
370 1.19 riastrad int64_t atomic64_add_return(int64_t, struct atomic64 *);
371 1.15 riastrad uint64_t atomic64_xchg(struct atomic64 *, uint64_t);
372 1.15 riastrad uint64_t atomic64_cmpxchg(struct atomic64 *, uint64_t, uint64_t);
373 1.15 riastrad
374 1.15 riastrad #endif
375 1.15 riastrad
376 1.19 riastrad static inline int64_t
377 1.19 riastrad atomic64_inc_return(struct atomic64 *a)
378 1.19 riastrad {
379 1.19 riastrad return atomic64_add_return(1, a);
380 1.19 riastrad }
381 1.19 riastrad
382 1.14 riastrad struct atomic_long {
383 1.14 riastrad volatile unsigned long al_v;
384 1.14 riastrad };
385 1.14 riastrad
386 1.14 riastrad typedef struct atomic_long atomic_long_t;
387 1.14 riastrad
388 1.14 riastrad static inline long
389 1.14 riastrad atomic_long_read(struct atomic_long *a)
390 1.14 riastrad {
391 1.14 riastrad /* no membar */
392 1.14 riastrad return (unsigned long)a->al_v;
393 1.14 riastrad }
394 1.14 riastrad
395 1.14 riastrad static inline void
396 1.14 riastrad atomic_long_set(struct atomic_long *a, long v)
397 1.14 riastrad {
398 1.14 riastrad /* no membar */
399 1.14 riastrad a->al_v = v;
400 1.14 riastrad }
401 1.14 riastrad
402 1.14 riastrad static inline long
403 1.14 riastrad atomic_long_add_unless(struct atomic_long *a, long addend, long zero)
404 1.14 riastrad {
405 1.14 riastrad long value;
406 1.14 riastrad
407 1.14 riastrad smp_mb__before_atomic();
408 1.14 riastrad do {
409 1.14 riastrad value = (long)a->al_v;
410 1.14 riastrad if (value == zero)
411 1.14 riastrad break;
412 1.14 riastrad } while (atomic_cas_ulong(&a->al_v, (unsigned long)value,
413 1.14 riastrad (unsigned long)(value + addend)) != (unsigned long)value);
414 1.14 riastrad smp_mb__after_atomic();
415 1.14 riastrad
416 1.14 riastrad return value != zero;
417 1.14 riastrad }
418 1.14 riastrad
419 1.14 riastrad static inline long
420 1.14 riastrad atomic_long_inc_not_zero(struct atomic_long *a)
421 1.14 riastrad {
422 1.14 riastrad /* membar implied by atomic_long_add_unless */
423 1.14 riastrad return atomic_long_add_unless(a, 1, 0);
424 1.14 riastrad }
425 1.14 riastrad
426 1.14 riastrad static inline long
427 1.30 riastrad atomic_long_xchg(struct atomic_long *a, long new)
428 1.30 riastrad {
429 1.30 riastrad long old;
430 1.30 riastrad
431 1.30 riastrad smp_mb__before_atomic();
432 1.30 riastrad old = (long)atomic_swap_ulong(&a->al_v, (unsigned long)new);
433 1.30 riastrad smp_mb__after_atomic();
434 1.30 riastrad
435 1.30 riastrad return old;
436 1.30 riastrad }
437 1.30 riastrad
438 1.30 riastrad static inline long
439 1.14 riastrad atomic_long_cmpxchg(struct atomic_long *a, long expect, long new)
440 1.14 riastrad {
441 1.14 riastrad long old;
442 1.14 riastrad
443 1.14 riastrad /*
444 1.14 riastrad * XXX As an optimization, under Linux's semantics we are
445 1.14 riastrad * allowed to skip the memory barrier if the comparison fails,
446 1.14 riastrad * but taking advantage of that is not convenient here.
447 1.14 riastrad */
448 1.14 riastrad smp_mb__before_atomic();
449 1.14 riastrad old = (long)atomic_cas_ulong(&a->al_v, (unsigned long)expect,
450 1.14 riastrad (unsigned long)new);
451 1.14 riastrad smp_mb__after_atomic();
452 1.14 riastrad
453 1.14 riastrad return old;
454 1.14 riastrad }
455 1.14 riastrad
456 1.2 riastrad #endif /* _LINUX_ATOMIC_H_ */
457