Home | History | Annotate | Line # | Download | only in linux
atomic.h revision 1.3.6.2
      1 /*	$NetBSD: atomic.h,v 1.3.6.2 2014/05/22 11:40:56 yamt Exp $	*/
      2 
      3 /*-
      4  * Copyright (c) 2013 The NetBSD Foundation, Inc.
      5  * All rights reserved.
      6  *
      7  * This code is derived from software contributed to The NetBSD Foundation
      8  * by Taylor R. Campbell.
      9  *
     10  * Redistribution and use in source and binary forms, with or without
     11  * modification, are permitted provided that the following conditions
     12  * are met:
     13  * 1. Redistributions of source code must retain the above copyright
     14  *    notice, this list of conditions and the following disclaimer.
     15  * 2. Redistributions in binary form must reproduce the above copyright
     16  *    notice, this list of conditions and the following disclaimer in the
     17  *    documentation and/or other materials provided with the distribution.
     18  *
     19  * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
     20  * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
     21  * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
     22  * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
     23  * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
     24  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
     25  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
     26  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
     27  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
     28  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
     29  * POSSIBILITY OF SUCH DAMAGE.
     30  */
     31 
     32 #ifndef _LINUX_ATOMIC_H_
     33 #define _LINUX_ATOMIC_H_
     34 
     35 #include <sys/atomic.h>
     36 
     37 #include <machine/limits.h>
     38 
     39 struct atomic {
     40 	union {
     41 		volatile int au_int;
     42 		volatile unsigned int au_uint;
     43 	} a_u;
     44 };
     45 
     46 #define	ATOMIC_INIT(i)	{ .a_u = { .au_int = (i) } }
     47 
     48 typedef struct atomic atomic_t;
     49 
     50 static inline int
     51 atomic_read(atomic_t *atomic)
     52 {
     53 	return atomic->a_u.au_int;
     54 }
     55 
     56 static inline void
     57 atomic_set(atomic_t *atomic, int value)
     58 {
     59 	atomic->a_u.au_int = value;
     60 }
     61 
     62 static inline void
     63 atomic_add(int addend, atomic_t *atomic)
     64 {
     65 	atomic_add_int(&atomic->a_u.au_uint, addend);
     66 }
     67 
     68 static inline void
     69 atomic_sub(int subtrahend, atomic_t *atomic)
     70 {
     71 	atomic_add_int(&atomic->a_u.au_uint, -subtrahend);
     72 }
     73 
     74 static inline int
     75 atomic_add_return(int addend, atomic_t *atomic)
     76 {
     77 	return (int)atomic_add_int_nv(&atomic->a_u.au_uint, addend);
     78 }
     79 
     80 static inline void
     81 atomic_inc(atomic_t *atomic)
     82 {
     83 	atomic_inc_uint(&atomic->a_u.au_uint);
     84 }
     85 
     86 static inline void
     87 atomic_dec(atomic_t *atomic)
     88 {
     89 	atomic_dec_uint(&atomic->a_u.au_uint);
     90 }
     91 
     92 static inline int
     93 atomic_inc_return(atomic_t *atomic)
     94 {
     95 	return (int)atomic_inc_uint_nv(&atomic->a_u.au_uint);
     96 }
     97 
     98 static inline int
     99 atomic_dec_return(atomic_t *atomic)
    100 {
    101 	return (int)atomic_dec_uint_nv(&atomic->a_u.au_uint);
    102 }
    103 
    104 static inline int
    105 atomic_dec_and_test(atomic_t *atomic)
    106 {
    107 	return (-1 == (int)atomic_dec_uint_nv(&atomic->a_u.au_uint));
    108 }
    109 
    110 static inline void
    111 atomic_set_mask(unsigned long mask, atomic_t *atomic)
    112 {
    113 	atomic_or_uint(&atomic->a_u.au_uint, mask);
    114 }
    115 
    116 static inline void
    117 atomic_clear_mask(unsigned long mask, atomic_t *atomic)
    118 {
    119 	atomic_and_uint(&atomic->a_u.au_uint, ~mask);
    120 }
    121 
    122 static inline int
    123 atomic_add_unless(atomic_t *atomic, int addend, int zero)
    124 {
    125 	int value;
    126 
    127 	do {
    128 		value = atomic->a_u.au_int;
    129 		if (value == zero)
    130 			return 0;
    131 	} while (atomic_cas_uint(&atomic->a_u.au_uint, value, (value + addend))
    132 	    != value);
    133 
    134 	return 1;
    135 }
    136 
    137 static inline int
    138 atomic_inc_not_zero(atomic_t *atomic)
    139 {
    140 	return atomic_add_unless(atomic, 1, 0);
    141 }
    142 
    143 static inline void
    144 set_bit(unsigned int bit, volatile unsigned long *ptr)
    145 {
    146 	const unsigned int units = (sizeof(*ptr) * CHAR_BIT);
    147 
    148 	atomic_or_ulong(&ptr[bit / units], (1UL << (bit % units)));
    149 }
    150 
    151 static inline void
    152 clear_bit(unsigned int bit, volatile unsigned long *ptr)
    153 {
    154 	const unsigned int units = (sizeof(*ptr) * CHAR_BIT);
    155 
    156 	atomic_and_ulong(&ptr[bit / units], ~(1UL << (bit % units)));
    157 }
    158 
    159 static inline void
    160 change_bit(unsigned int bit, volatile unsigned long *ptr)
    161 {
    162 	const unsigned int units = (sizeof(*ptr) * CHAR_BIT);
    163 	volatile unsigned long *const p = &ptr[bit / units];
    164 	const unsigned long mask = (1UL << (bit % units));
    165 	unsigned long v;
    166 
    167 	do v = *p; while (atomic_cas_ulong(p, v, (v ^ mask)) != v);
    168 }
    169 
    170 static inline unsigned long
    171 test_and_set_bit(unsigned int bit, volatile unsigned long *ptr)
    172 {
    173 	const unsigned int units = (sizeof(*ptr) * CHAR_BIT);
    174 	volatile unsigned long *const p = &ptr[bit / units];
    175 	const unsigned long mask = (1UL << (bit % units));
    176 	unsigned long v;
    177 
    178 	do v = *p; while (atomic_cas_ulong(p, v, (v | mask)) != v);
    179 
    180 	return (v & mask);
    181 }
    182 
    183 static inline unsigned long
    184 test_and_clear_bit(unsigned int bit, volatile unsigned long *ptr)
    185 {
    186 	const unsigned int units = (sizeof(*ptr) * CHAR_BIT);
    187 	volatile unsigned long *const p = &ptr[bit / units];
    188 	const unsigned long mask = (1UL << (bit % units));
    189 	unsigned long v;
    190 
    191 	do v = *p; while (atomic_cas_ulong(p, v, (v & ~mask)) != v);
    192 
    193 	return (v & mask);
    194 }
    195 
    196 static inline unsigned long
    197 test_and_change_bit(unsigned int bit, volatile unsigned long *ptr)
    198 {
    199 	const unsigned int units = (sizeof(*ptr) * CHAR_BIT);
    200 	volatile unsigned long *const p = &ptr[bit / units];
    201 	const unsigned long mask = (1UL << (bit % units));
    202 	unsigned long v;
    203 
    204 	do v = *p; while (atomic_cas_ulong(p, v, (v ^ mask)) != v);
    205 
    206 	return (v & mask);
    207 }
    208 
    209 #if defined(MULTIPROCESSOR) && !defined(__HAVE_ATOMIC_AS_MEMBAR)
    210 /*
    211  * XXX These memory barriers are doubtless overkill, but I am having
    212  * trouble understanding the intent and use of the Linux atomic membar
    213  * API.  I think that for reference counting purposes, the sequences
    214  * should be insn/inc/enter and exit/dec/insn, but the use of the
    215  * before/after memory barriers is not consistent throughout Linux.
    216  */
    217 #  define	smp_mb__before_atomic_inc()	membar_sync()
    218 #  define	smp_mb__after_atomic_inc()	membar_sync()
    219 #  define	smp_mb__before_atomic_dec()	membar_sync()
    220 #  define	smp_mb__after_atomic_dec()	membar_sync()
    221 #else
    222 #  define	smp_mb__before_atomic_inc()	__insn_barrier()
    223 #  define	smp_mb__after_atomic_inc()	__insn_barrier()
    224 #  define	smp_mb__before_atomic_dec()	__insn_barrier()
    225 #  define	smp_mb__after_atomic_dec()	__insn_barrier()
    226 #endif
    227 
    228 #endif  /* _LINUX_ATOMIC_H_ */
    229