1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333 |
- #ifndef BOOST_ATOMIC_DETAIL_GCC_SPARC_HPP
- #define BOOST_ATOMIC_DETAIL_GCC_SPARC_HPP
- // Copyright (c) 2010 Helge Bahmann
- // Copyright (c) 2013 Tim Blechmann
- //
- // Distributed under the Boost Software License, Version 1.0.
- // See accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- #include <string.h>
- #include <cstddef>
- #include <boost/cstdint.hpp>
- #include <boost/atomic/detail/config.hpp>
- #ifdef BOOST_HAS_PRAGMA_ONCE
- #pragma once
- #endif
- namespace boost {
- namespace atomics {
- namespace detail {
- inline void
- platform_fence_before(memory_order order)
- {
- switch(order)
- {
- case memory_order_relaxed:
- case memory_order_acquire:
- case memory_order_consume:
- break;
- case memory_order_release:
- case memory_order_acq_rel:
- __asm__ __volatile__ ("membar #StoreStore | #LoadStore" ::: "memory");
- /* release */
- break;
- case memory_order_seq_cst:
- __asm__ __volatile__ ("membar #Sync" ::: "memory");
- /* seq */
- break;
- }
- }
- inline void
- platform_fence_after(memory_order order)
- {
- switch(order)
- {
- case memory_order_relaxed:
- case memory_order_release:
- break;
- case memory_order_acquire:
- case memory_order_acq_rel:
- __asm__ __volatile__ ("membar #LoadLoad | #LoadStore" ::: "memory");
- /* acquire */
- break;
- case memory_order_consume:
- /* consume */
- break;
- case memory_order_seq_cst:
- __asm__ __volatile__ ("membar #Sync" ::: "memory");
- /* seq */
- break;
- default:;
- }
- }
- inline void
- platform_fence_after_store(memory_order order)
- {
- switch(order)
- {
- case memory_order_seq_cst:
- __asm__ __volatile__ ("membar #Sync" ::: "memory");
- default:;
- }
- }
- inline void
- platform_fence_after_load(memory_order order)
- {
- platform_fence_after(order);
- }
- }
- }
- class atomic_flag
- {
- private:
- atomic_flag(const atomic_flag &) /* = delete */ ;
- atomic_flag & operator=(const atomic_flag &) /* = delete */ ;
- uint32_t v_;
- public:
- BOOST_CONSTEXPR atomic_flag(void) BOOST_NOEXCEPT : v_(0) {}
- void
- clear(memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- atomics::detail::platform_fence_before(order);
- const_cast<volatile uint32_t &>(v_) = 0;
- atomics::detail::platform_fence_after_store(order);
- }
- bool
- test_and_set(memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- atomics::detail::platform_fence_before(order);
- uint32_t tmp = 1;
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (tmp)
- : "r" (&v_), "r" (0)
- : "memory"
- );
- atomics::detail::platform_fence_after(order);
- return tmp;
- }
- };
- } /* namespace boost */
- #define BOOST_ATOMIC_FLAG_LOCK_FREE 2
- #include <boost/atomic/detail/base.hpp>
- #if !defined(BOOST_ATOMIC_FORCE_FALLBACK)
- #define BOOST_ATOMIC_CHAR_LOCK_FREE 2
- #define BOOST_ATOMIC_CHAR16_T_LOCK_FREE 2
- #define BOOST_ATOMIC_CHAR32_T_LOCK_FREE 2
- #define BOOST_ATOMIC_WCHAR_T_LOCK_FREE 2
- #define BOOST_ATOMIC_SHORT_LOCK_FREE 2
- #define BOOST_ATOMIC_INT_LOCK_FREE 2
- #define BOOST_ATOMIC_LONG_LOCK_FREE 2
- #define BOOST_ATOMIC_LLONG_LOCK_FREE 0
- #define BOOST_ATOMIC_POINTER_LOCK_FREE 2
- #define BOOST_ATOMIC_BOOL_LOCK_FREE 2
- namespace boost {
- #define BOOST_ATOMIC_THREAD_FENCE 2
- inline void
- atomic_thread_fence(memory_order order)
- {
- switch(order)
- {
- case memory_order_relaxed:
- break;
- case memory_order_release:
- __asm__ __volatile__ ("membar #StoreStore | #LoadStore" ::: "memory");
- break;
- case memory_order_acquire:
- __asm__ __volatile__ ("membar #LoadLoad | #LoadStore" ::: "memory");
- break;
- case memory_order_acq_rel:
- __asm__ __volatile__ ("membar #LoadLoad | #LoadStore | #StoreStore" ::: "memory");
- break;
- case memory_order_consume:
- break;
- case memory_order_seq_cst:
- __asm__ __volatile__ ("membar #Sync" ::: "memory");
- break;
- default:;
- }
- }
- #define BOOST_ATOMIC_SIGNAL_FENCE 2
- inline void
- atomic_signal_fence(memory_order)
- {
- __asm__ __volatile__ ("" ::: "memory");
- }
- namespace atomics {
- namespace detail {
- /* integral types */
- template<typename T>
- class base_atomic<T, int, 1, true>
- {
- private:
- typedef base_atomic this_type;
- typedef T value_type;
- typedef T difference_type;
- typedef int32_t storage_type;
- protected:
- typedef value_type value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type v) BOOST_NOEXCEPT : v_(v) {}
- void
- store(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(order);
- const_cast<volatile storage_type &>(v_) = v;
- platform_fence_after_store(order);
- }
- value_type
- load(memory_order order = memory_order_seq_cst) const volatile BOOST_NOEXCEPT
- {
- value_type v = const_cast<const volatile storage_type &>(v_);
- platform_fence_after_load(order);
- return v;
- }
- value_type
- fetch_add(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp + v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_sub(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp - v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- exchange(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(success_order);
- storage_type desired_s = desired;
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired_s)
- : "r" (&v_), "r" ((storage_type)expected)
- : "memory"
- );
- desired = desired_s;
- bool success = (desired == expected);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- expected = desired;
- return success;
- }
- bool
- compare_exchange_weak(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- value_type
- fetch_and(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp & v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_or(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp | v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_xor(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp ^ v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- BOOST_ATOMIC_DECLARE_INTEGRAL_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- storage_type v_;
- };
- template<typename T>
- class base_atomic<T, int, 1, false>
- {
- private:
- typedef base_atomic this_type;
- typedef T value_type;
- typedef T difference_type;
- typedef uint32_t storage_type;
- protected:
- typedef value_type value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type v) BOOST_NOEXCEPT : v_(v) {}
- void
- store(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(order);
- const_cast<volatile storage_type &>(v_) = v;
- platform_fence_after_store(order);
- }
- value_type
- load(memory_order order = memory_order_seq_cst) const volatile BOOST_NOEXCEPT
- {
- value_type v = const_cast<const volatile storage_type &>(v_);
- platform_fence_after_load(order);
- return v;
- }
- value_type
- fetch_add(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp + v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_sub(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp - v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- exchange(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(success_order);
- storage_type desired_s = desired;
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired_s)
- : "r" (&v_), "r" ((storage_type)expected)
- : "memory"
- );
- desired = desired_s;
- bool success = (desired == expected);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- expected = desired;
- return success;
- }
- bool
- compare_exchange_weak(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- value_type
- fetch_and(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp & v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_or(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp | v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_xor(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp ^ v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- BOOST_ATOMIC_DECLARE_INTEGRAL_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- storage_type v_;
- };
- template<typename T>
- class base_atomic<T, int, 2, true>
- {
- private:
- typedef base_atomic this_type;
- typedef T value_type;
- typedef T difference_type;
- typedef int32_t storage_type;
- protected:
- typedef value_type value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type v) BOOST_NOEXCEPT : v_(v) {}
- void
- store(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(order);
- const_cast<volatile storage_type &>(v_) = v;
- platform_fence_after_store(order);
- }
- value_type
- load(memory_order order = memory_order_seq_cst) const volatile BOOST_NOEXCEPT
- {
- value_type v = const_cast<const volatile storage_type &>(v_);
- platform_fence_after_load(order);
- return v;
- }
- value_type
- fetch_add(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp + v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_sub(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp - v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- exchange(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(success_order);
- storage_type desired_s = desired;
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired_s)
- : "r" (&v_), "r" ((storage_type)expected)
- : "memory"
- );
- desired = desired_s;
- bool success = (desired == expected);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- expected = desired;
- return success;
- }
- bool
- compare_exchange_weak(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- value_type
- fetch_and(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp & v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_or(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp | v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_xor(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp ^ v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- BOOST_ATOMIC_DECLARE_INTEGRAL_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- storage_type v_;
- };
- template<typename T>
- class base_atomic<T, int, 2, false>
- {
- private:
- typedef base_atomic this_type;
- typedef T value_type;
- typedef T difference_type;
- typedef uint32_t storage_type;
- protected:
- typedef value_type value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type v) BOOST_NOEXCEPT : v_(v) {}
- void
- store(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(order);
- const_cast<volatile storage_type &>(v_) = v;
- platform_fence_after_store(order);
- }
- value_type
- load(memory_order order = memory_order_seq_cst) const volatile BOOST_NOEXCEPT
- {
- value_type v = const_cast<const volatile storage_type &>(v_);
- platform_fence_after_load(order);
- return v;
- }
- value_type
- fetch_add(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp + v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_sub(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp - v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- exchange(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(success_order);
- storage_type desired_s = desired;
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired_s)
- : "r" (&v_), "r" ((storage_type)expected)
- : "memory"
- );
- desired = desired_s;
- bool success = (desired == expected);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- expected = desired;
- return success;
- }
- bool
- compare_exchange_weak(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- value_type
- fetch_and(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp & v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_or(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp | v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_xor(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp ^ v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- BOOST_ATOMIC_DECLARE_INTEGRAL_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- storage_type v_;
- };
- template<typename T, bool Sign>
- class base_atomic<T, int, 4, Sign>
- {
- private:
- typedef base_atomic this_type;
- typedef T value_type;
- typedef T difference_type;
- protected:
- typedef value_type value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type v) BOOST_NOEXCEPT : v_(v) {}
- void
- store(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(order);
- const_cast<volatile value_type &>(v_) = v;
- platform_fence_after_store(order);
- }
- value_type
- load(memory_order order = memory_order_seq_cst)const volatile BOOST_NOEXCEPT
- {
- value_type v = const_cast<const volatile value_type &>(v_);
- platform_fence_after_load(order);
- return v;
- }
- value_type
- fetch_add(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp + v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_sub(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp - v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- exchange(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(success_order);
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired)
- : "r" (&v_), "r" (expected)
- : "memory"
- );
- bool success = (desired == expected);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- expected = desired;
- return success;
- }
- bool
- compare_exchange_weak(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- value_type
- fetch_and(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp & v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_or(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp | v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_xor(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp ^ v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- BOOST_ATOMIC_DECLARE_INTEGRAL_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- value_type v_;
- };
- /* pointer types */
- template<bool Sign>
- class base_atomic<void *, void *, 4, Sign>
- {
- private:
- typedef base_atomic this_type;
- typedef std::ptrdiff_t difference_type;
- typedef void * value_type;
- protected:
- typedef value_type value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type v) BOOST_NOEXCEPT : v_(v) {}
- void
- store(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(order);
- const_cast<volatile value_type &>(v_) = v;
- platform_fence_after_store(order);
- }
- value_type load(memory_order order = memory_order_seq_cst)const volatile BOOST_NOEXCEPT
- {
- value_type v = const_cast<const volatile value_type &>(v_);
- platform_fence_after_load(order);
- return v;
- }
- value_type
- exchange(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(success_order);
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired)
- : "r" (&v_), "r" (expected)
- : "memory"
- );
- bool success = (desired == expected);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- expected = desired;
- return success;
- }
- bool compare_exchange_weak(value_type & expected, value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- value_type
- fetch_add(difference_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, (char*)tmp + v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_sub(difference_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, (char*)tmp - v, order, memory_order_relaxed));
- return tmp;
- }
- BOOST_ATOMIC_DECLARE_VOID_POINTER_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- value_type v_;
- };
- template<typename T, bool Sign>
- class base_atomic<T *, void *, 4, Sign>
- {
- private:
- typedef base_atomic this_type;
- typedef T * value_type;
- typedef std::ptrdiff_t difference_type;
- protected:
- typedef value_type value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type v) BOOST_NOEXCEPT : v_(v) {}
- void
- store(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(order);
- const_cast<volatile value_type &>(v_) = v;
- platform_fence_after_store(order);
- }
- value_type
- load(memory_order order = memory_order_seq_cst)const volatile BOOST_NOEXCEPT
- {
- value_type v = const_cast<const volatile value_type &>(v_);
- platform_fence_after_load(order);
- return v;
- }
- value_type
- exchange(value_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- platform_fence_before(success_order);
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired)
- : "r" (&v_), "r" (expected)
- : "memory"
- );
- bool success = (desired == expected);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- expected = desired;
- return success;
- }
- bool
- compare_exchange_weak(
- value_type & expected,
- value_type desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- value_type
- fetch_add(difference_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp + v, order, memory_order_relaxed));
- return tmp;
- }
- value_type
- fetch_sub(difference_type v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, tmp - v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- BOOST_ATOMIC_DECLARE_POINTER_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- value_type v_;
- };
- /* generic types */
- template<typename T, bool Sign>
- class base_atomic<T, void, 1, Sign>
- {
- private:
- typedef base_atomic this_type;
- typedef T value_type;
- typedef uint32_t storage_type;
- protected:
- typedef value_type const& value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type const& v) BOOST_NOEXCEPT : v_(0)
- {
- memcpy(&v_, &v, sizeof(value_type));
- }
- void
- store(value_type const& v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- storage_type tmp = 0;
- memcpy(&tmp, &v, sizeof(value_type));
- platform_fence_before(order);
- const_cast<volatile storage_type &>(v_) = tmp;
- platform_fence_after_store(order);
- }
- value_type
- load(memory_order order = memory_order_seq_cst)const volatile BOOST_NOEXCEPT
- {
- storage_type tmp = const_cast<volatile storage_type &>(v_);
- platform_fence_after_load(order);
- value_type v;
- memcpy(&v, &tmp, sizeof(value_type));
- return v;
- }
- value_type
- exchange(value_type const& v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type const& desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- storage_type expected_s = 0, desired_s = 0;
- memcpy(&expected_s, &expected, sizeof(value_type));
- memcpy(&desired_s, &desired, sizeof(value_type));
- platform_fence_before(success_order);
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired_s)
- : "r" (&v_), "r" (expected_s)
- : "memory"
- );
- bool success = (desired_s == expected_s);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- memcpy(&expected, &desired_s, sizeof(value_type));
- return success;
- }
- bool
- compare_exchange_weak(
- value_type & expected,
- value_type const& desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- BOOST_ATOMIC_DECLARE_BASE_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- storage_type v_;
- };
- template<typename T, bool Sign>
- class base_atomic<T, void, 2, Sign>
- {
- private:
- typedef base_atomic this_type;
- typedef T value_type;
- typedef uint32_t storage_type;
- protected:
- typedef value_type const& value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type const& v) BOOST_NOEXCEPT : v_(0)
- {
- memcpy(&v_, &v, sizeof(value_type));
- }
- void
- store(value_type const& v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- storage_type tmp = 0;
- memcpy(&tmp, &v, sizeof(value_type));
- platform_fence_before(order);
- const_cast<volatile storage_type &>(v_) = tmp;
- platform_fence_after_store(order);
- }
- value_type
- load(memory_order order = memory_order_seq_cst)const volatile BOOST_NOEXCEPT
- {
- storage_type tmp = const_cast<volatile storage_type &>(v_);
- platform_fence_after_load(order);
- value_type v;
- memcpy(&v, &tmp, sizeof(value_type));
- return v;
- }
- value_type
- exchange(value_type const& v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type const& desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- storage_type expected_s = 0, desired_s = 0;
- memcpy(&expected_s, &expected, sizeof(value_type));
- memcpy(&desired_s, &desired, sizeof(value_type));
- platform_fence_before(success_order);
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired_s)
- : "r" (&v_), "r" (expected_s)
- : "memory"
- );
- bool success = (desired_s == expected_s);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- memcpy(&expected, &desired_s, sizeof(value_type));
- return success;
- }
- bool
- compare_exchange_weak(
- value_type & expected,
- value_type const& desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- BOOST_ATOMIC_DECLARE_BASE_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- storage_type v_;
- };
- template<typename T, bool Sign>
- class base_atomic<T, void, 4, Sign>
- {
- private:
- typedef base_atomic this_type;
- typedef T value_type;
- typedef uint32_t storage_type;
- protected:
- typedef value_type const& value_arg_type;
- public:
- BOOST_DEFAULTED_FUNCTION(base_atomic(void), {})
- BOOST_CONSTEXPR explicit base_atomic(value_type const& v) BOOST_NOEXCEPT : v_(0)
- {
- memcpy(&v_, &v, sizeof(value_type));
- }
- void
- store(value_type const& v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- storage_type tmp = 0;
- memcpy(&tmp, &v, sizeof(value_type));
- platform_fence_before(order);
- const_cast<volatile storage_type &>(v_) = tmp;
- platform_fence_after_store(order);
- }
- value_type
- load(memory_order order = memory_order_seq_cst)const volatile BOOST_NOEXCEPT
- {
- storage_type tmp = const_cast<volatile storage_type &>(v_);
- platform_fence_after_load(order);
- value_type v;
- memcpy(&v, &tmp, sizeof(value_type));
- return v;
- }
- value_type
- exchange(value_type const& v, memory_order order = memory_order_seq_cst) volatile BOOST_NOEXCEPT
- {
- value_type tmp = load(memory_order_relaxed);
- do {} while(!compare_exchange_weak(tmp, v, order, memory_order_relaxed));
- return tmp;
- }
- bool
- compare_exchange_strong(
- value_type & expected,
- value_type const& desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- storage_type expected_s = 0, desired_s = 0;
- memcpy(&expected_s, &expected, sizeof(value_type));
- memcpy(&desired_s, &desired, sizeof(value_type));
- platform_fence_before(success_order);
- __asm__ (
- "cas [%1], %2, %0"
- : "+r" (desired_s)
- : "r" (&v_), "r" (expected_s)
- : "memory"
- );
- bool success = (desired_s == expected_s);
- if (success)
- platform_fence_after(success_order);
- else
- platform_fence_after(failure_order);
- memcpy(&expected, &desired_s, sizeof(value_type));
- return success;
- }
- bool
- compare_exchange_weak(
- value_type & expected,
- value_type const& desired,
- memory_order success_order,
- memory_order failure_order) volatile BOOST_NOEXCEPT
- {
- return compare_exchange_strong(expected, desired, success_order, failure_order);
- }
- bool
- is_lock_free(void) const volatile BOOST_NOEXCEPT
- {
- return true;
- }
- BOOST_ATOMIC_DECLARE_BASE_OPERATORS
- BOOST_DELETED_FUNCTION(base_atomic(base_atomic const&))
- BOOST_DELETED_FUNCTION(base_atomic& operator=(base_atomic const&))
- private:
- storage_type v_;
- };
- #endif /* !defined(BOOST_ATOMIC_FORCE_FALLBACK) */
- }
- }
- }
- #endif
|