xref: /netbsd-src/common/lib/libc/atomic/atomic_init_testset.c (revision 5be0c2a9f68724826c47f16e1a040ebd89707519)
1*5be0c2a9Sthorpej /*	$NetBSD: atomic_init_testset.c,v 1.19 2024/01/21 03:42:08 thorpej Exp $	*/
2d418b9feSad 
3d418b9feSad /*-
4d418b9feSad  * Copyright (c) 2008 The NetBSD Foundation, Inc.
5d418b9feSad  * All rights reserved.
6d418b9feSad  *
7d418b9feSad  * Redistribution and use in source and binary forms, with or without
8d418b9feSad  * modification, are permitted provided that the following conditions
9d418b9feSad  * are met:
10d418b9feSad  * 1. Redistributions of source code must retain the above copyright
11d418b9feSad  *    notice, this list of conditions and the following disclaimer.
12d418b9feSad  * 2. Redistributions in binary form must reproduce the above copyright
13d418b9feSad  *    notice, this list of conditions and the following disclaimer in the
14d418b9feSad  *    documentation and/or other materials provided with the distribution.
15d418b9feSad  *
16d418b9feSad  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17d418b9feSad  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18d418b9feSad  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19d418b9feSad  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20d418b9feSad  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21d418b9feSad  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22d418b9feSad  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23d418b9feSad  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24d418b9feSad  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25d418b9feSad  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26d418b9feSad  * POSSIBILITY OF SUCH DAMAGE.
27d418b9feSad  */
28d418b9feSad 
29d418b9feSad /*
30d418b9feSad  * libc glue for atomic operations where the hardware does not provide
31d418b9feSad  * compare-and-swap.  It's assumed that this will only be used on 32-bit
32d418b9feSad  * platforms.
33d418b9feSad  *
34d418b9feSad  * This should be compiled with '-fno-reorder-blocks -fomit-frame-pointer'
35d418b9feSad  * if using gcc.
36d418b9feSad  */
37d418b9feSad 
38d418b9feSad #include <sys/cdefs.h>
39*5be0c2a9Sthorpej __RCSID("$NetBSD: atomic_init_testset.c,v 1.19 2024/01/21 03:42:08 thorpej Exp $");
40d418b9feSad 
41*5be0c2a9Sthorpej #include "extern.h"
42d418b9feSad #include "atomic_op_namespace.h"
43d418b9feSad 
44d418b9feSad #include <sys/types.h>
45d418b9feSad #include <sys/atomic.h>
46d418b9feSad #include <sys/lock.h>
47d418b9feSad #include <sys/ras.h>
48d418b9feSad #include <sys/sysctl.h>
49d418b9feSad 
50d418b9feSad #include <string.h>
51d418b9feSad 
52d418b9feSad #define	I2	__SIMPLELOCK_UNLOCKED, __SIMPLELOCK_UNLOCKED,
53d418b9feSad #define	I16	I2 I2 I2 I2 I2 I2 I2 I2
54d418b9feSad #define	I128	I16 I16 I16 I16 I16 I16 I16 I16
55d418b9feSad 
56d418b9feSad static __cpu_simple_lock_t atomic_locks[128] = { I128 };
577d33c238Smartin /*
587d33c238Smartin  * Pick a lock out of above array depending on the object address
597d33c238Smartin  * passed. Most variables used atomically will not be in the same
607d33c238Smartin  * cacheline - and if they are, using the same lock is fine.
617d33c238Smartin  */
627d33c238Smartin #define HASH(PTR)	(((uintptr_t)(PTR) >> 3) & 127)
635dbd6a69Sskrll 
645dbd6a69Sskrll #ifdef	__HAVE_ASM_ATOMIC_CAS_UP
655dbd6a69Sskrll extern uint32_t _atomic_cas_up(volatile uint32_t *, uint32_t, uint32_t);
665dbd6a69Sskrll #else
675dbd6a69Sskrll static uint32_t _atomic_cas_up(volatile uint32_t *, uint32_t, uint32_t);
685dbd6a69Sskrll #endif
695dbd6a69Sskrll static uint32_t (*_atomic_cas_fn)(volatile uint32_t *, uint32_t, uint32_t) =
705dbd6a69Sskrll     _atomic_cas_up;
71335ea842Smatt RAS_DECL(_atomic_cas);
72335ea842Smatt 
73d9d3fe3dSmatt #ifdef	__HAVE_ATOMIC_CAS_64_UP
74d9d3fe3dSmatt #ifdef	__HAVE_ASM_ATOMIC_CAS_64_UP
75d9d3fe3dSmatt extern uint64_t _atomic_cas_64_up(volatile uint64_t *, uint64_t, uint64_t);
76d9d3fe3dSmatt #else
77d9d3fe3dSmatt static uint64_t _atomic_cas_64_up(volatile uint64_t *, uint64_t, uint64_t);
78d9d3fe3dSmatt #endif
79d9d3fe3dSmatt static uint64_t (*_atomic_cas_64_fn)(volatile uint64_t *, uint64_t, uint64_t) =
80d9d3fe3dSmatt     _atomic_cas_64_up;
81d9d3fe3dSmatt RAS_DECL(_atomic_cas_64);
82d9d3fe3dSmatt #endif
83d9d3fe3dSmatt 
84335ea842Smatt #ifdef	__HAVE_ASM_ATOMIC_CAS_16_UP
85335ea842Smatt extern uint16_t _atomic_cas_16_up(volatile uint16_t *, uint16_t, uint16_t);
86335ea842Smatt #else
87335ea842Smatt static uint16_t _atomic_cas_16_up(volatile uint16_t *, uint16_t, uint16_t);
88335ea842Smatt #endif
89335ea842Smatt static uint16_t (*_atomic_cas_16_fn)(volatile uint16_t *, uint16_t, uint16_t) =
90335ea842Smatt     _atomic_cas_16_up;
91335ea842Smatt RAS_DECL(_atomic_cas_16);
92335ea842Smatt 
93335ea842Smatt #ifdef	__HAVE_ASM_ATOMIC_CAS_8_UP
94335ea842Smatt extern uint8_t _atomic_cas_8_up(volatile uint8_t *, uint8_t, uint8_t);
95335ea842Smatt #else
96335ea842Smatt static uint8_t _atomic_cas_8_up(volatile uint8_t *, uint8_t, uint8_t);
97335ea842Smatt #endif
98335ea842Smatt static uint8_t (*_atomic_cas_8_fn)(volatile uint8_t *, uint8_t, uint8_t) =
99335ea842Smatt     _atomic_cas_8_up;
100335ea842Smatt RAS_DECL(_atomic_cas_8);
101d418b9feSad 
1025dbd6a69Sskrll #ifndef	__HAVE_ASM_ATOMIC_CAS_UP
103d418b9feSad static uint32_t
_atomic_cas_up(volatile uint32_t * ptr,uint32_t old,uint32_t new)104d418b9feSad _atomic_cas_up(volatile uint32_t *ptr, uint32_t old, uint32_t new)
105d418b9feSad {
106d418b9feSad 	uint32_t ret;
107d418b9feSad 
108d418b9feSad 	RAS_START(_atomic_cas);
109d418b9feSad 	ret = *ptr;
110eff625dcSad 	if (__predict_false(ret != old)) {
111d418b9feSad 		return ret;
112d418b9feSad 	}
113d418b9feSad 	*ptr = new;
114d418b9feSad 	RAS_END(_atomic_cas);
115d418b9feSad 
116d418b9feSad 	return ret;
117d418b9feSad }
1184e2c4c42Sscw #endif
119d418b9feSad 
120d9d3fe3dSmatt #if defined(__HAVE_ATOMIC_CAS_64_UP) && !defined(__HAVE_ASM_ATOMIC_CAS_64_UP)
121d9d3fe3dSmatt static uint64_t
_atomic_cas_64_up(volatile uint64_t * ptr,uint64_t old,uint64_t new)122d9d3fe3dSmatt _atomic_cas_64_up(volatile uint64_t *ptr, uint64_t old, uint64_t new)
123d9d3fe3dSmatt {
124d9d3fe3dSmatt 	uint64_t ret;
125d9d3fe3dSmatt 
126d9d3fe3dSmatt 	RAS_START(_atomic_cas_64);
127d9d3fe3dSmatt 	ret = *ptr;
128d9d3fe3dSmatt 	if (__predict_false(ret != old)) {
129d9d3fe3dSmatt 		return ret;
130d9d3fe3dSmatt 	}
131d9d3fe3dSmatt 	*ptr = new;
132d9d3fe3dSmatt 	RAS_END(_atomic_cas_64);
133d9d3fe3dSmatt 
134d9d3fe3dSmatt 	return ret;
135d9d3fe3dSmatt }
136d9d3fe3dSmatt #endif
137d9d3fe3dSmatt 
138335ea842Smatt #ifndef	__HAVE_ASM_ATOMIC_CAS_16_UP
139335ea842Smatt static uint16_t
_atomic_cas_16_up(volatile uint16_t * ptr,uint16_t old,uint16_t new)14025bbb579Smartin _atomic_cas_16_up(volatile uint16_t *ptr, uint16_t old, uint16_t new)
141335ea842Smatt {
142335ea842Smatt 	uint16_t ret;
143335ea842Smatt 
144335ea842Smatt 	RAS_START(_atomic_cas_16);
145335ea842Smatt 	ret = *ptr;
146335ea842Smatt 	if (__predict_false(ret != old)) {
147335ea842Smatt 		return ret;
148335ea842Smatt 	}
149335ea842Smatt 	*ptr = new;
150335ea842Smatt 	RAS_END(_atomic_cas_16);
151335ea842Smatt 
152335ea842Smatt 	return ret;
153335ea842Smatt }
154335ea842Smatt #endif
155335ea842Smatt 
156428c02d9Smartin #ifndef	__HAVE_ASM_ATOMIC_CAS_8_UP
157335ea842Smatt static uint8_t
_atomic_cas_8_up(volatile uint8_t * ptr,uint8_t old,uint8_t new)158428c02d9Smartin _atomic_cas_8_up(volatile uint8_t *ptr, uint8_t old, uint8_t new)
159335ea842Smatt {
160335ea842Smatt 	uint8_t ret;
161335ea842Smatt 
162335ea842Smatt 	RAS_START(_atomic_cas_8);
163335ea842Smatt 	ret = *ptr;
164335ea842Smatt 	if (__predict_false(ret != old)) {
165335ea842Smatt 		return ret;
166335ea842Smatt 	}
167335ea842Smatt 	*ptr = new;
16825bbb579Smartin 	RAS_END(_atomic_cas_8);
169335ea842Smatt 
170335ea842Smatt 	return ret;
171335ea842Smatt }
172335ea842Smatt #endif
173335ea842Smatt 
174d418b9feSad static uint32_t
_atomic_cas_mp(volatile uint32_t * ptr,uint32_t old,uint32_t new)175d418b9feSad _atomic_cas_mp(volatile uint32_t *ptr, uint32_t old, uint32_t new)
176d418b9feSad {
177d418b9feSad 	__cpu_simple_lock_t *lock;
178d418b9feSad 	uint32_t ret;
179d418b9feSad 
1807d33c238Smartin 	lock = &atomic_locks[HASH(ptr)];
1817d33c238Smartin 	__cpu_simple_lock(lock);
1827d33c238Smartin 	ret = *ptr;
1837d33c238Smartin 	if (__predict_true(ret == old)) {
1847d33c238Smartin 		*ptr = new;
1857d33c238Smartin 	}
1867d33c238Smartin 	__cpu_simple_unlock(lock);
1877d33c238Smartin 
1887d33c238Smartin 	return ret;
1897d33c238Smartin }
1907d33c238Smartin 
191d9d3fe3dSmatt #ifdef	__HAVE_ATOMIC_CAS_64_UP
192d9d3fe3dSmatt static uint64_t
_atomic_cas_64_mp(volatile uint64_t * ptr,uint64_t old,uint64_t new)193d9d3fe3dSmatt _atomic_cas_64_mp(volatile uint64_t *ptr, uint64_t old, uint64_t new)
194d9d3fe3dSmatt {
195d9d3fe3dSmatt 	__cpu_simple_lock_t *lock;
196d9d3fe3dSmatt 	uint64_t ret;
197d9d3fe3dSmatt 
198d9d3fe3dSmatt 	lock = &atomic_locks[HASH(ptr)];
199d9d3fe3dSmatt 	__cpu_simple_lock(lock);
200d9d3fe3dSmatt 	ret = *ptr;
201d9d3fe3dSmatt 	if (__predict_true(ret == old)) {
202d9d3fe3dSmatt 		*ptr = new;
203d9d3fe3dSmatt 	}
204d9d3fe3dSmatt 	__cpu_simple_unlock(lock);
205d9d3fe3dSmatt 
206d9d3fe3dSmatt 	return ret;
207d9d3fe3dSmatt }
208d9d3fe3dSmatt #endif
209d9d3fe3dSmatt 
2107d33c238Smartin static uint16_t
_atomic_cas_16_mp(volatile uint16_t * ptr,uint16_t old,uint16_t new)2117d33c238Smartin _atomic_cas_16_mp(volatile uint16_t *ptr, uint16_t old, uint16_t new)
2127d33c238Smartin {
2137d33c238Smartin 	__cpu_simple_lock_t *lock;
2147d33c238Smartin 	uint16_t ret;
2157d33c238Smartin 
2167d33c238Smartin 	lock = &atomic_locks[HASH(ptr)];
2177d33c238Smartin 	__cpu_simple_lock(lock);
2187d33c238Smartin 	ret = *ptr;
2197d33c238Smartin 	if (__predict_true(ret == old)) {
2207d33c238Smartin 		*ptr = new;
2217d33c238Smartin 	}
2227d33c238Smartin 	__cpu_simple_unlock(lock);
2237d33c238Smartin 
2247d33c238Smartin 	return ret;
2257d33c238Smartin }
2267d33c238Smartin 
2277d33c238Smartin static uint8_t
_atomic_cas_8_mp(volatile uint8_t * ptr,uint8_t old,uint8_t new)2287d33c238Smartin _atomic_cas_8_mp(volatile uint8_t *ptr, uint8_t old, uint8_t new)
2297d33c238Smartin {
2307d33c238Smartin 	__cpu_simple_lock_t *lock;
2317d33c238Smartin 	uint8_t ret;
2327d33c238Smartin 
2337d33c238Smartin 	lock = &atomic_locks[HASH(ptr)];
234d418b9feSad 	__cpu_simple_lock(lock);
235d418b9feSad 	ret = *ptr;
236d418b9feSad 	if (__predict_true(ret == old)) {
237d418b9feSad 		*ptr = new;
238d418b9feSad 	}
239d418b9feSad 	__cpu_simple_unlock(lock);
240d418b9feSad 
241d418b9feSad 	return ret;
242d418b9feSad }
243d418b9feSad 
244d418b9feSad uint32_t
_atomic_cas_32(volatile uint32_t * ptr,uint32_t old,uint32_t new)245d418b9feSad _atomic_cas_32(volatile uint32_t *ptr, uint32_t old, uint32_t new)
246d418b9feSad {
247d418b9feSad 
248d418b9feSad 	return (*_atomic_cas_fn)(ptr, old, new);
249d418b9feSad }
250d418b9feSad 
251d9d3fe3dSmatt #ifdef	__HAVE_ATOMIC_CAS_64_UP
252d9d3fe3dSmatt uint64_t _atomic_cas_64(volatile uint64_t *, uint64_t, uint64_t);
253d9d3fe3dSmatt 
254d9d3fe3dSmatt uint64_t
_atomic_cas_64(volatile uint64_t * ptr,uint64_t old,uint64_t new)255d9d3fe3dSmatt _atomic_cas_64(volatile uint64_t *ptr, uint64_t old, uint64_t new)
256d9d3fe3dSmatt {
257d9d3fe3dSmatt 
258d9d3fe3dSmatt 	return (*_atomic_cas_64_fn)(ptr, old, new);
259d9d3fe3dSmatt }
260d9d3fe3dSmatt #endif
261335ea842Smatt 
262335ea842Smatt uint16_t
_atomic_cas_16(volatile uint16_t * ptr,uint16_t old,uint16_t new)263335ea842Smatt _atomic_cas_16(volatile uint16_t *ptr, uint16_t old, uint16_t new)
264335ea842Smatt {
265335ea842Smatt 
266335ea842Smatt 	return (*_atomic_cas_16_fn)(ptr, old, new);
267335ea842Smatt }
268335ea842Smatt 
269335ea842Smatt uint8_t _atomic_cas_8(volatile uint8_t *, uint8_t, uint8_t);
270335ea842Smatt 
271335ea842Smatt uint8_t
_atomic_cas_8(volatile uint8_t * ptr,uint8_t old,uint8_t new)272335ea842Smatt _atomic_cas_8(volatile uint8_t *ptr, uint8_t old, uint8_t new)
273335ea842Smatt {
274335ea842Smatt 
275335ea842Smatt 	return (*_atomic_cas_8_fn)(ptr, old, new);
276335ea842Smatt }
277335ea842Smatt 
2786b87cd26Schristos void __section(".text.startup") __attribute__ ((__visibility__("hidden")))
__libc_atomic_init(void)279646fc3baSad __libc_atomic_init(void)
280d418b9feSad {
281d418b9feSad 	int ncpu, mib[2];
282d418b9feSad 	size_t len;
283d418b9feSad 
284d418b9feSad 	_atomic_cas_fn = _atomic_cas_mp;
285d9d3fe3dSmatt #ifdef	__HAVE_ATOMIC_CAS_64_UP
286d9d3fe3dSmatt 	_atomic_cas_64_fn = _atomic_cas_64_mp;
287d9d3fe3dSmatt #endif
2887d33c238Smartin 	_atomic_cas_16_fn = _atomic_cas_16_mp;
2897d33c238Smartin 	_atomic_cas_8_fn = _atomic_cas_8_mp;
290d418b9feSad 
291d418b9feSad 	mib[0] = CTL_HW;
292d418b9feSad 	mib[1] = HW_NCPU;
293d418b9feSad 	len = sizeof(ncpu);
294d418b9feSad 	if (sysctl(mib, 2, &ncpu, &len, NULL, 0) == -1)
295d418b9feSad 		return;
296d418b9feSad 	if (ncpu > 1)
297d418b9feSad 		return;
2988be1e866Smartin 
299d418b9feSad 	if (rasctl(RAS_ADDR(_atomic_cas), RAS_SIZE(_atomic_cas),
300d418b9feSad 	    RAS_INSTALL) == 0) {
301d418b9feSad 		_atomic_cas_fn = _atomic_cas_up;
302d418b9feSad 	}
303335ea842Smatt 
3048be1e866Smartin 
305d9d3fe3dSmatt #ifdef	__HAVE_ATOMIC_CAS_64_UP
306d9d3fe3dSmatt 	if (rasctl(RAS_ADDR(_atomic_cas_64), RAS_SIZE(_atomic_cas_64),
307d9d3fe3dSmatt 	    RAS_INSTALL) == 0) {
308d9d3fe3dSmatt 		_atomic_cas_64_fn = _atomic_cas_64_up;
309d9d3fe3dSmatt 	}
310d9d3fe3dSmatt #endif
311d9d3fe3dSmatt 
312335ea842Smatt 	if (rasctl(RAS_ADDR(_atomic_cas_16), RAS_SIZE(_atomic_cas_16),
313335ea842Smatt 	    RAS_INSTALL) == 0) {
314335ea842Smatt 		_atomic_cas_16_fn = _atomic_cas_16_up;
315335ea842Smatt 	}
316335ea842Smatt 
317335ea842Smatt 	if (rasctl(RAS_ADDR(_atomic_cas_8), RAS_SIZE(_atomic_cas_8),
318335ea842Smatt 	    RAS_INSTALL) == 0) {
319335ea842Smatt 		_atomic_cas_8_fn = _atomic_cas_8_up;
320335ea842Smatt 	}
321d418b9feSad }
322d418b9feSad 
323d418b9feSad #undef atomic_cas_32
324d418b9feSad #undef atomic_cas_uint
325646fc3baSad #undef atomic_cas_ulong
326646fc3baSad #undef atomic_cas_ptr
32776acd274Sjoerg #undef atomic_cas_32_ni
32876acd274Sjoerg #undef atomic_cas_uint_ni
32976acd274Sjoerg #undef atomic_cas_ulong_ni
33076acd274Sjoerg #undef atomic_cas_ptr_ni
331646fc3baSad 
332646fc3baSad atomic_op_alias(atomic_cas_32,_atomic_cas_32)
333d418b9feSad atomic_op_alias(atomic_cas_uint,_atomic_cas_32)
334d418b9feSad __strong_alias(_atomic_cas_uint,_atomic_cas_32)
335d418b9feSad atomic_op_alias(atomic_cas_ulong,_atomic_cas_32)
336d418b9feSad __strong_alias(_atomic_cas_ulong,_atomic_cas_32)
337d418b9feSad atomic_op_alias(atomic_cas_ptr,_atomic_cas_32)
338d418b9feSad __strong_alias(_atomic_cas_ptr,_atomic_cas_32)
339646fc3baSad 
340646fc3baSad atomic_op_alias(atomic_cas_32_ni,_atomic_cas_32)
341646fc3baSad __strong_alias(_atomic_cas_32_ni,_atomic_cas_32)
342646fc3baSad atomic_op_alias(atomic_cas_uint_ni,_atomic_cas_32)
343646fc3baSad __strong_alias(_atomic_cas_uint_ni,_atomic_cas_32)
344646fc3baSad atomic_op_alias(atomic_cas_ulong_ni,_atomic_cas_32)
345646fc3baSad __strong_alias(_atomic_cas_ulong_ni,_atomic_cas_32)
346646fc3baSad atomic_op_alias(atomic_cas_ptr_ni,_atomic_cas_32)
347646fc3baSad __strong_alias(_atomic_cas_ptr_ni,_atomic_cas_32)
348335ea842Smatt 
349d9d3fe3dSmatt //atomic_op_alias(atomic_cas_16,_atomic_cas_16)
350d9d3fe3dSmatt //atomic_op_alias(atomic_cas_16_ni,_atomic_cas_16)
351d9d3fe3dSmatt //atomic_op_alias(atomic_cas_8,_atomic_cas_8)
352d9d3fe3dSmatt //atomic_op_alias(atomic_cas_8_ni,_atomic_cas_8)
353d9d3fe3dSmatt #ifdef	__HAVE_ATOMIC_CAS_64_UP
354b79193caSmartin atomic_op_alias(atomic_cas_64_ni,_atomic_cas_64)
355b79193caSmartin __strong_alias(_atomic_cas_64_ni,_atomic_cas_64)
356d9d3fe3dSmatt crt_alias(__sync_val_compare_and_swap_8,_atomic_cas_64)
357d9d3fe3dSmatt #endif
358b290679aSmartin crt_alias(__sync_val_compare_and_swap_4,_atomic_cas_32)
359b290679aSmartin crt_alias(__sync_val_compare_and_swap_2,_atomic_cas_16)
360b290679aSmartin crt_alias(__sync_val_compare_and_swap_1,_atomic_cas_8)
361