Ruby  2.0.0p481(2014-05-08revision45883)
ruby_atomic.h
Go to the documentation of this file.
00001 #ifndef RUBY_ATOMIC_H
00002 #define RUBY_ATOMIC_H
00003 
00004 #if 0
00005 #elif defined HAVE_GCC_ATOMIC_BUILTINS
00006 typedef unsigned int rb_atomic_t;
00007 # define ATOMIC_SET(var, val)  (void)__atomic_exchange_n(&(var), (val), __ATOMIC_SEQ_CST)
00008 # define ATOMIC_INC(var) __atomic_fetch_add(&(var), 1, __ATOMIC_SEQ_CST)
00009 # define ATOMIC_DEC(var) __atomic_fetch_sub(&(var), 1, __ATOMIC_SEQ_CST)
00010 # define ATOMIC_OR(var, val) __atomic_or_fetch(&(var), (val), __ATOMIC_SEQ_CST)
00011 # define ATOMIC_EXCHANGE(var, val) __atomic_exchange_n(&(var), (val), __ATOMIC_SEQ_CST)
00012 # define ATOMIC_CAS(var, oldval, newval) \
00013 ({ __typeof__(oldval) oldvaldup = (oldval); /* oldval should not be modified */ \
00014    __atomic_compare_exchange_n(&(var), &oldvaldup, (newval), 0, __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST); \
00015    oldvaldup; })
00016 
00017 # define ATOMIC_SIZE_ADD(var, val) __atomic_fetch_add(&(var), (val), __ATOMIC_SEQ_CST)
00018 # define ATOMIC_SIZE_SUB(var, val) __atomic_fetch_sub(&(var), (val), __ATOMIC_SEQ_CST)
00019 
00020 # define ATOMIC_PTR_EXCHANGE(var, val) __atomic_exchange_n(&(var), (val), __ATOMIC_SEQ_CST)
00021 
00022 #elif defined HAVE_GCC_SYNC_BUILTINS
00023 /* @shyouhei hack to support atomic operations in case of gcc. Gcc
00024  * has its own pseudo-insns to support them.  See info, or
00025  * http://gcc.gnu.org/onlinedocs/gcc/Atomic-Builtins.html */
00026 
00027 typedef unsigned int rb_atomic_t; /* Anything OK */
00028 # define ATOMIC_SET(var, val)  (void)__sync_lock_test_and_set(&(var), (val))
00029 # define ATOMIC_INC(var) __sync_fetch_and_add(&(var), 1)
00030 # define ATOMIC_DEC(var) __sync_fetch_and_sub(&(var), 1)
00031 # define ATOMIC_OR(var, val) __sync_or_and_fetch(&(var), (val))
00032 # define ATOMIC_EXCHANGE(var, val) __sync_lock_test_and_set(&(var), (val))
00033 # define ATOMIC_CAS(var, oldval, newval) __sync_val_compare_and_swap(&(var), (oldval), (newval))
00034 
00035 # define ATOMIC_SIZE_ADD(var, val) __sync_fetch_and_add(&(var), (val))
00036 # define ATOMIC_SIZE_SUB(var, val) __sync_fetch_and_sub(&(var), (val))
00037 
00038 # define ATOMIC_PTR_EXCHANGE(var, val) __sync_lock_test_and_set(&(var), (val))
00039 
00040 #elif defined _WIN32
00041 #if defined _MSC_VER && _MSC_VER > 1200
00042 #pragma intrinsic(_InterlockedOr)
00043 #endif
00044 typedef LONG rb_atomic_t;
00045 
00046 # define ATOMIC_SET(var, val) InterlockedExchange(&(var), (val))
00047 # define ATOMIC_INC(var) InterlockedIncrement(&(var))
00048 # define ATOMIC_DEC(var) InterlockedDecrement(&(var))
00049 #if defined __GNUC__
00050 # define ATOMIC_OR(var, val) __asm__("lock\n\t" "orl\t%1, %0" : "=m"(var) : "Ir"(val))
00051 #elif defined _MSC_VER && _MSC_VER <= 1200
00052 # define ATOMIC_OR(var, val) rb_w32_atomic_or(&(var), (val))
00053 static inline void
00054 rb_w32_atomic_or(volatile rb_atomic_t *var, rb_atomic_t val)
00055 {
00056 #ifdef _M_IX86
00057     __asm mov eax, var;
00058     __asm mov ecx, val;
00059     __asm lock or [eax], ecx;
00060 #else
00061 #error unsupported architecture
00062 #endif
00063 }
00064 #else
00065 # define ATOMIC_OR(var, val) _InterlockedOr(&(var), (val))
00066 #endif
00067 # define ATOMIC_EXCHANGE(var, val) InterlockedExchange(&(var), (val))
00068 # define ATOMIC_CAS(var, oldval, newval) InterlockedCompareExchange(&(var), (newval), (oldval))
00069 # if defined _MSC_VER && _MSC_VER <= 1200
00070 static inline rb_atomic_t
00071 rb_w32_atomic_cas(volatile rb_atomic_t *var, rb_atomic_t oldval, rb_atomic_t newval)
00072 {
00073     return (rb_atomic_t)InterlockedCompareExchange((PVOID *)var, (PVOID)newval, (PVOID)oldval);
00074 }
00075 #   undef ATOMIC_CAS
00076 #   define ATOMIC_CAS(var, oldval, newval) rb_w32_atomic_cas(&(var), (oldval), (newval))
00077 # endif
00078 # ifdef _M_AMD64
00079 #  define ATOMIC_SIZE_ADD(var, val) InterlockedExchangeAdd64((LONG_LONG *)&(var), (val))
00080 #  define ATOMIC_SIZE_SUB(var, val) InterlockedExchangeAdd64((LONG_LONG *)&(var), -(LONG)(val))
00081 #  define ATOMIC_SIZE_INC(var) InterlockedIncrement64(&(var))
00082 #  define ATOMIC_SIZE_DEC(var) InterlockedDecrement64(&(var))
00083 #  define ATOMIC_SIZE_EXCHANGE(var, val) InterlockedExchange64(&(var), (val))
00084 #  define ATOMIC_SIZE_CAS(var, oldval, val) InterlockedCompareExchange64(&(var), (oldval), (val))
00085 # else
00086 #  define ATOMIC_SIZE_ADD(var, val) InterlockedExchangeAdd((LONG *)&(var), (val))
00087 #  define ATOMIC_SIZE_SUB(var, val) InterlockedExchangeAdd((LONG *)&(var), -(LONG)(val))
00088 #  define ATOMIC_SIZE_INC(var) InterlockedIncrement((LONG *)&(var))
00089 #  define ATOMIC_SIZE_DEC(var) InterlockedDecrement((LONG *)&(var))
00090 #  define ATOMIC_SIZE_EXCHANGE(var, val) InterlockedExchange((LONG *)&(var), (val))
00091 # endif
00092 
00093 #elif defined(__sun) && defined(HAVE_ATOMIC_H)
00094 #include <atomic.h>
00095 typedef unsigned int rb_atomic_t;
00096 
00097 # define ATOMIC_SET(var, val) (void)atomic_swap_uint(&(var), (val))
00098 # define ATOMIC_INC(var) atomic_inc_uint(&(var))
00099 # define ATOMIC_DEC(var) atomic_dec_uint(&(var))
00100 # define ATOMIC_OR(var, val) atomic_or_uint(&(var), (val))
00101 # define ATOMIC_EXCHANGE(var, val) atomic_swap_uint(&(var), (val))
00102 # define ATOMIC_CAS(var, oldval, newval) atomic_cas_uint(&(var), (oldval), (newval))
00103 
00104 # if SIZEOF_SIZE_T == SIZEOF_LONG
00105 #  define ATOMIC_SIZE_ADD(var, val) atomic_add_long(&(var), (val))
00106 #  define ATOMIC_SIZE_SUB(var, val) atomic_add_long(&(var), -(val))
00107 #  define ATOMIC_SIZE_INC(var) atomic_inc_ulong(&(var))
00108 #  define ATOMIC_SIZE_DEC(var) atomic_dec_ulong(&(var))
00109 #  define ATOMIC_SIZE_EXCHANGE(var, val) atomic_swap_ulong(&(var), (val))
00110 #  define ATOMIC_SIZE_CAS(var, oldval, val) atomic_cas_ulong(&(var), (oldval), (val))
00111 # else
00112 #  define ATOMIC_SIZE_ADD(var, val) atomic_add_int(&(var), (val))
00113 #  define ATOMIC_SIZE_SUB(var, val) atomic_add_int(&(var), -(val))
00114 #  define ATOMIC_SIZE_INC(var) atomic_inc_uint(&(var))
00115 #  define ATOMIC_SIZE_DEC(var) atomic_dec_uint(&(var))
00116 #  define ATOMIC_SIZE_EXCHANGE(var, val) atomic_swap_uint(&(var), (val))
00117 # endif
00118 
00119 #else
00120 typedef int rb_atomic_t;
00121 #define NEED_RUBY_ATOMIC_OPS
00122 extern rb_atomic_t ruby_atomic_exchange(rb_atomic_t *ptr, rb_atomic_t val);
00123 extern rb_atomic_t ruby_atomic_compare_and_swap(rb_atomic_t *ptr,
00124                                                 rb_atomic_t cmp,
00125                                                 rb_atomic_t newval);
00126 
00127 # define ATOMIC_SET(var, val) (void)((var) = (val))
00128 # define ATOMIC_INC(var) ((var)++)
00129 # define ATOMIC_DEC(var) ((var)--)
00130 # define ATOMIC_OR(var, val) ((var) |= (val))
00131 # define ATOMIC_EXCHANGE(var, val) ruby_atomic_exchange(&(var), (val))
00132 # define ATOMIC_CAS(var, oldval, newval) ruby_atomic_compare_and_swap(&(var), (oldval), (newval))
00133 
00134 # define ATOMIC_SIZE_ADD(var, val) (void)((var) += (val))
00135 # define ATOMIC_SIZE_SUB(var, val) (void)((var) -= (val))
00136 # define ATOMIC_SIZE_EXCHANGE(var, val) atomic_size_exchange(&(var), (val))
00137 static inline size_t
00138 atomic_size_exchange(size_t *ptr, size_t val)
00139 {
00140     size_t old = *ptr;
00141     *ptr = val;
00142     return old;
00143 }
00144 #endif
00145 
00146 #ifndef ATOMIC_SIZE_INC
00147 # define ATOMIC_SIZE_INC(var) ATOMIC_INC(var)
00148 #endif
00149 #ifndef ATOMIC_SIZE_DEC
00150 # define ATOMIC_SIZE_DEC(var) ATOMIC_DEC(var)
00151 #endif
00152 #ifndef ATOMIC_SIZE_EXCHANGE
00153 # define ATOMIC_SIZE_EXCHANGE(var, val) ATOMIC_EXCHANGE(var, val)
00154 #endif
00155 #ifndef ATOMIC_SIZE_CAS
00156 # define ATOMIC_SIZE_CAS(var, oldval, val) ATOMIC_CAS(var, oldval, val)
00157 #endif
00158 
00159 #ifndef ATOMIC_PTR_EXCHANGE
00160 # if SIZEOF_VOIDP == SIZEOF_SIZE_T
00161 #   define ATOMIC_PTR_EXCHANGE(var, val) (void *)ATOMIC_SIZE_EXCHANGE(*(size_t *)&(var), (size_t)(val))
00162 # endif
00163 #endif
00164 #ifndef ATOMIC_PTR_CAS
00165 # if SIZEOF_VOIDP == SIZEOF_SIZE_T
00166 #   define ATOMIC_PTR_CAS(var, oldval, val) (void *)ATOMIC_SIZE_CAS(*(size_t *)&(var), (size_t)(oldval), (size_t)(val))
00167 # endif
00168 #endif
00169 
00170 #endif /* RUBY_ATOMIC_H */
00171