+/**
+ * @file impatomic.h
+ * @brief Common header for C11/C++11 atomics
+ *
+ * Note that some features are unavailable, as they require support from a true
+ * C11/C++11 compiler.
+ */
+
+#ifndef __IMPATOMIC_H__
+#define __IMPATOMIC_H__
+
#include "memoryorder.h"
#include "cmodelint.h"
#ifdef __cplusplus
namespace std {
+#else
+#include <stdbool.h>
#endif
#define CPP0X( feature )
#ifdef __cplusplus
bool test_and_set( memory_order = memory_order_seq_cst ) volatile;
void clear( memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
CPP0X( atomic_flag() = default; )
CPP0X( atomic_flag( const atomic_flag& ) = delete; )
extern void atomic_flag_clear( volatile atomic_flag* );
extern void atomic_flag_clear_explicit
( volatile atomic_flag*, memory_order );
-extern void atomic_flag_fence
-( const volatile atomic_flag*, memory_order );
extern void __atomic_flag_wait__
( volatile atomic_flag* );
extern void __atomic_flag_wait_explicit__
inline void atomic_flag::clear( memory_order __x__ ) volatile
{ atomic_flag_clear_explicit( this, __x__ ); }
-inline void atomic_flag::fence( memory_order __x__ ) const volatile
-{ atomic_flag_fence( this, __x__ ); }
-
#endif
({ volatile __typeof__((__a__)->__f__)* __p__ = & ((__a__)->__f__); \
__typeof__(__m__) __v__ = (__m__); \
model_write_action((void *) __p__, __x__, (uint64_t) __v__); \
- __v__; })
+ __v__ = __v__; /* Silence clang (-Wunused-value) */ \
+ })
#define _ATOMIC_INIT_( __a__, __m__ ) \
({ volatile __typeof__((__a__)->__f__)* __p__ = & ((__a__)->__f__); \
__typeof__(__m__) __v__ = (__m__); \
model_init_action((void *) __p__, (uint64_t) __v__); \
- __v__; })
+ __v__ = __v__; /* Silence clang (-Wunused-value) */ \
+ })
#define _ATOMIC_MODIFY_( __a__, __o__, __m__, __x__ ) \
({ volatile __typeof__((__a__)->__f__)* __p__ = & ((__a__)->__f__); \
__typeof__((__a__)->__f__) __copy__= __old__; \
__copy__ __o__ __v__; \
model_rmw_action((void *)__p__, __x__, (uint64_t) __copy__); \
- __old__; })
+ __old__ = __old__; /* Silence clang (-Wunused-value) */ \
+ })
/* No spurious failure for now */
#define _ATOMIC_CMPSWP_WEAK_ _ATOMIC_CMPSWP_
else { model_rmwc_action((void *)__p__, __x__); *__q__ = __t__; __r__ = false;} \
__r__; })
-#define _ATOMIC_FENCE_( __a__, __x__ ) \
+#define _ATOMIC_FENCE_( __x__ ) \
({ model_fence_action(__x__);})
memory_order = memory_order_seq_cst) volatile;
bool compare_exchange_strong ( bool&, bool,
memory_order = memory_order_seq_cst) volatile;
- void fence( memory_order ) const volatile;
CPP0X( atomic_bool() = delete; )
CPP0X( constexpr explicit atomic_bool( bool __v__ ) : __f__( __v__ ) { } )
memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_bool*, bool*, bool,
memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_bool*, memory_order );
CPP0X(private:)
#endif
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( void*&, void*,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
void* fetch_add( ptrdiff_t, memory_order = memory_order_seq_cst ) volatile;
void* fetch_sub( ptrdiff_t, memory_order = memory_order_seq_cst ) volatile;
void**, void*, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_address*,
void**, void*, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_address*, memory_order );
friend void* atomic_fetch_add_explicit( volatile atomic_address*, ptrdiff_t,
memory_order );
friend void* atomic_fetch_sub_explicit( volatile atomic_address*, ptrdiff_t,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( char&, char,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
char fetch_add( char,
memory_order = memory_order_seq_cst ) volatile;
char fetch_sub( char,
char*, char, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_char*,
char*, char, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_char*, memory_order );
friend char atomic_fetch_add_explicit( volatile atomic_char*,
char, memory_order );
friend char atomic_fetch_sub_explicit( volatile atomic_char*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( signed char&, signed char,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
signed char fetch_add( signed char,
memory_order = memory_order_seq_cst ) volatile;
signed char fetch_sub( signed char,
signed char*, signed char, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_schar*,
signed char*, signed char, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_schar*, memory_order );
friend signed char atomic_fetch_add_explicit( volatile atomic_schar*,
signed char, memory_order );
friend signed char atomic_fetch_sub_explicit( volatile atomic_schar*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( unsigned char&, unsigned char,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
unsigned char fetch_add( unsigned char,
memory_order = memory_order_seq_cst ) volatile;
unsigned char fetch_sub( unsigned char,
unsigned char*, unsigned char, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_uchar*,
unsigned char*, unsigned char, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_uchar*, memory_order );
friend unsigned char atomic_fetch_add_explicit( volatile atomic_uchar*,
unsigned char, memory_order );
friend unsigned char atomic_fetch_sub_explicit( volatile atomic_uchar*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( short&, short,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
short fetch_add( short,
memory_order = memory_order_seq_cst ) volatile;
short fetch_sub( short,
short*, short, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_short*,
short*, short, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_short*, memory_order );
friend short atomic_fetch_add_explicit( volatile atomic_short*,
short, memory_order );
friend short atomic_fetch_sub_explicit( volatile atomic_short*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( unsigned short&, unsigned short,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
unsigned short fetch_add( unsigned short,
memory_order = memory_order_seq_cst ) volatile;
unsigned short fetch_sub( unsigned short,
unsigned short*, unsigned short, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_ushort*,
unsigned short*, unsigned short, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_ushort*, memory_order );
friend unsigned short atomic_fetch_add_explicit( volatile atomic_ushort*,
unsigned short, memory_order );
friend unsigned short atomic_fetch_sub_explicit( volatile atomic_ushort*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( int&, int,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
int fetch_add( int,
memory_order = memory_order_seq_cst ) volatile;
int fetch_sub( int,
int*, int, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_int*,
int*, int, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_int*, memory_order );
friend int atomic_fetch_add_explicit( volatile atomic_int*,
int, memory_order );
friend int atomic_fetch_sub_explicit( volatile atomic_int*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( unsigned int&, unsigned int,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
unsigned int fetch_add( unsigned int,
memory_order = memory_order_seq_cst ) volatile;
unsigned int fetch_sub( unsigned int,
unsigned int*, unsigned int, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_uint*,
unsigned int*, unsigned int, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_uint*, memory_order );
friend unsigned int atomic_fetch_add_explicit( volatile atomic_uint*,
unsigned int, memory_order );
friend unsigned int atomic_fetch_sub_explicit( volatile atomic_uint*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( long&, long,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
long fetch_add( long,
memory_order = memory_order_seq_cst ) volatile;
long fetch_sub( long,
long*, long, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_long*,
long*, long, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_long*, memory_order );
friend long atomic_fetch_add_explicit( volatile atomic_long*,
long, memory_order );
friend long atomic_fetch_sub_explicit( volatile atomic_long*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( unsigned long&, unsigned long,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
unsigned long fetch_add( unsigned long,
memory_order = memory_order_seq_cst ) volatile;
unsigned long fetch_sub( unsigned long,
unsigned long*, unsigned long, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_ulong*,
unsigned long*, unsigned long, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_ulong*, memory_order );
friend unsigned long atomic_fetch_add_explicit( volatile atomic_ulong*,
unsigned long, memory_order );
friend unsigned long atomic_fetch_sub_explicit( volatile atomic_ulong*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( long long&, long long,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
long long fetch_add( long long,
memory_order = memory_order_seq_cst ) volatile;
long long fetch_sub( long long,
long long*, long long, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_llong*,
long long*, long long, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_llong*, memory_order );
friend long long atomic_fetch_add_explicit( volatile atomic_llong*,
long long, memory_order );
friend long long atomic_fetch_sub_explicit( volatile atomic_llong*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( unsigned long long&, unsigned long long,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
unsigned long long fetch_add( unsigned long long,
memory_order = memory_order_seq_cst ) volatile;
unsigned long long fetch_sub( unsigned long long,
unsigned long long*, unsigned long long, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_ullong*,
unsigned long long*, unsigned long long, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_ullong*, memory_order );
friend unsigned long long atomic_fetch_add_explicit( volatile atomic_ullong*,
unsigned long long, memory_order );
friend unsigned long long atomic_fetch_sub_explicit( volatile atomic_ullong*,
memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( wchar_t&, wchar_t,
memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
wchar_t fetch_add( wchar_t,
memory_order = memory_order_seq_cst ) volatile;
wchar_t fetch_sub( wchar_t,
wchar_t*, wchar_t, memory_order, memory_order );
friend bool atomic_compare_exchange_strong_explicit( volatile atomic_wchar_t*,
wchar_t*, wchar_t, memory_order, memory_order );
- friend void atomic_fence( const volatile atomic_wchar_t*, memory_order );
friend wchar_t atomic_fetch_add_explicit( volatile atomic_wchar_t*,
wchar_t, memory_order );
friend wchar_t atomic_fetch_sub_explicit( volatile atomic_wchar_t*,
bool compare_exchange_strong( T&, T, memory_order, memory_order ) volatile;
bool compare_exchange_weak( T&, T, memory_order = memory_order_seq_cst ) volatile;
bool compare_exchange_strong( T&, T, memory_order = memory_order_seq_cst ) volatile;
- void fence( memory_order ) const volatile;
CPP0X( atomic() = default; )
CPP0X( constexpr explicit atomic( T __v__ ) : __f__( __v__ ) { } )
inline bool atomic_load
( volatile atomic_bool* __a__ ) { return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_bool* __a__, bool __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_bool* __a__, bool __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_bool* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_address* __a__ )
{ return false; }
inline void* atomic_load( volatile atomic_address* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_address* __a__, void* __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_address* __a__, void* __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_address* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_char* __a__ )
{ return false; }
inline char atomic_load( volatile atomic_char* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_char* __a__, char __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_char* __a__, char __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_char* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_schar* __a__ )
{ return false; }
inline signed char atomic_load( volatile atomic_schar* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_schar* __a__, signed char __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_schar* __a__, signed char __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_schar* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_uchar* __a__ )
{ return false; }
inline unsigned char atomic_load( volatile atomic_uchar* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_uchar* __a__, unsigned char __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_uchar* __a__, unsigned char __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_uchar* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_short* __a__ )
{ return false; }
inline short atomic_load( volatile atomic_short* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_short* __a__, short __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_short* __a__, short __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_short* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_ushort* __a__ )
{ return false; }
inline unsigned short atomic_load( volatile atomic_ushort* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_ushort* __a__, unsigned short __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_ushort* __a__, unsigned short __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_ushort* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_int* __a__ )
{ return false; }
inline int atomic_load( volatile atomic_int* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_int* __a__, int __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_int* __a__, int __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_int* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_uint* __a__ )
{ return false; }
inline unsigned int atomic_load( volatile atomic_uint* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_uint* __a__, unsigned int __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_uint* __a__, unsigned int __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_uint* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_long* __a__ )
{ return false; }
inline long atomic_load( volatile atomic_long* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_long* __a__, long __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_long* __a__, long __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_long* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_ulong* __a__ )
{ return false; }
inline unsigned long atomic_load( volatile atomic_ulong* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_ulong* __a__, unsigned long __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_ulong* __a__, unsigned long __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_ulong* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_llong* __a__ )
{ return false; }
inline long long atomic_load( volatile atomic_llong* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_llong* __a__, long long __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_llong* __a__, long long __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_llong* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_ullong* __a__ )
{ return false; }
inline unsigned long long atomic_load( volatile atomic_ullong* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_ullong* __a__, unsigned long long __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_ullong* __a__, unsigned long long __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_ullong* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline bool atomic_is_lock_free( const volatile atomic_wchar_t* __a__ )
{ return false; }
inline wchar_t atomic_load( volatile atomic_wchar_t* __a__ )
{ return atomic_load_explicit( __a__, memory_order_seq_cst ); }
+inline void atomic_init
+( volatile atomic_wchar_t* __a__, wchar_t __m__ )
+{ _ATOMIC_INIT_( __a__, __m__ ); }
+
inline void atomic_store_explicit
( volatile atomic_wchar_t* __a__, wchar_t __m__, memory_order __x__ )
{ _ATOMIC_STORE_( __a__, __m__, __x__ ); }
{ return atomic_compare_exchange_strong_explicit( __a__, __e__, __m__,
memory_order_seq_cst, memory_order_seq_cst ); }
-inline void atomic_fence
-( const volatile atomic_wchar_t* __a__, memory_order __x__ )
-{ _ATOMIC_FENCE_( __a__, __x__ ); }
-
inline void* atomic_fetch_add_explicit
( volatile atomic_address* __a__, ptrdiff_t __m__, memory_order __x__ )
{
- void* volatile* __p__ = &((__a__)->__f__);
- void* __r__ = (void *) model_rmwr_action((void *)__p__, __x__);
- model_rmw_action((void *)__p__, __x__, (uint64_t) ((char*)(*__p__) + __m__));
- return __r__; }
+ volatile __typeof__((__a__)->__f__)* __p__ = & ((__a__)->__f__);
+ __typeof__((__a__)->__f__) __old__=(__typeof__((__a__)->__f__)) model_rmwr_action((void *)__p__, __x__);
+ __typeof__((__a__)->__f__) __copy__= __old__;
+ __copy__ = (void *) (((char *)__copy__) + __m__);
+ model_rmw_action((void *)__p__, __x__, (uint64_t) __copy__);
+ return __old__;
+}
-inline void* atomic_fetch_add
+ inline void* atomic_fetch_add
( volatile atomic_address* __a__, ptrdiff_t __m__ )
{ return atomic_fetch_add_explicit( __a__, __m__, memory_order_seq_cst ); }
inline void* atomic_fetch_sub_explicit
( volatile atomic_address* __a__, ptrdiff_t __m__, memory_order __x__ )
-{
- void* volatile* __p__ = &((__a__)->__f__);
- void* __r__ = (void *) model_rmwr_action((void *)__p__, __x__);
- model_rmw_action((void *)__p__, __x__, (uint64_t)((char*)(*__p__) - __m__));
- return __r__; }
+{ volatile __typeof__((__a__)->__f__)* __p__ = & ((__a__)->__f__);
+ __typeof__((__a__)->__f__) __old__=(__typeof__((__a__)->__f__)) model_rmwr_action((void *)__p__, __x__);
+ __typeof__((__a__)->__f__) __copy__= __old__;
+ __copy__ = (void *) (((char *)__copy__) - __m__);
+ model_rmw_action((void *)__p__, __x__, (uint64_t) __copy__);
+ return __old__;
+}
inline void* atomic_fetch_sub
( volatile atomic_address* __a__, ptrdiff_t __m__ )
#define atomic_compare_exchange_strong_explicit( __a__, __e__, __m__, __x__, __y__ ) \
_ATOMIC_CMPSWP_( __a__, __e__, __m__, __x__ )
-#define atomic_fence( __a__, __x__ ) \
-({ _ATOMIC_FENCE_( __a__, __x__ ); })
-
#define atomic_fetch_add_explicit( __a__, __m__, __x__ ) \
_ATOMIC_MODIFY_( __a__, +=, __m__, __x__ )
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_bool::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_address::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_address::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_char::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_char::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_schar::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_schar::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_uchar::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_uchar::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_short::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_short::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_ushort::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_ushort::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_int::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_int::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_uint::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_uint::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_long::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_long::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_ulong::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_ulong::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_llong::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_llong::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_ullong::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_ullong::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
inline bool atomic_wchar_t::is_lock_free() const volatile
{ return false; }
__x__ == memory_order_acq_rel ? memory_order_acquire :
__x__ == memory_order_release ? memory_order_relaxed : __x__ ); }
-inline void atomic_wchar_t::fence
-( memory_order __x__ ) const volatile
-{ return atomic_fence( this, __x__ ); }
-
template< typename T >
inline bool atomic<T>::is_lock_free() const volatile
#endif
+#ifdef __cplusplus
+extern "C" {
+#endif
+static inline void atomic_thread_fence(memory_order order)
+{ _ATOMIC_FENCE_(order); }
+
+/** @todo Do we want to try to support a user's signal-handler? */
+static inline void atomic_signal_fence(memory_order order)
+{ /* No-op? */ }
+#ifdef __cplusplus
+}
+#endif
+
#ifdef __cplusplus
} // namespace std
#endif
+#endif /* __IMPATOMIC_H__ */
projects / model-checker.git / blobdiff