| /* |
| * 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) |
| * |
| * Copyright (c) 2018 Andrey Semashev |
| */ |
| /*! |
| * \file atomic/detail/extra_ops_emulated.hpp |
| * |
| * This header contains emulated (lock-based) implementation of the extra atomic operations. |
| */ |
| |
| #ifndef BOOST_ATOMIC_DETAIL_EXTRA_OPS_EMULATED_HPP_INCLUDED_ |
| #define BOOST_ATOMIC_DETAIL_EXTRA_OPS_EMULATED_HPP_INCLUDED_ |
| |
| #include <cstddef> |
| #include <boost/static_assert.hpp> |
| #include <boost/memory_order.hpp> |
| #include <boost/atomic/detail/config.hpp> |
| #include <boost/atomic/detail/storage_traits.hpp> |
| #include <boost/atomic/detail/extra_operations_fwd.hpp> |
| #include <boost/atomic/detail/header.hpp> |
| |
| #ifdef BOOST_HAS_PRAGMA_ONCE |
| #pragma once |
| #endif |
| |
| namespace boost { |
| namespace atomics { |
| namespace detail { |
| |
| //! Emulated implementation of extra operations |
| template< typename Base, std::size_t Size, bool Signed > |
| struct extra_operations_emulated : |
| public Base |
| { |
| typedef Base base_type; |
| typedef typename base_type::storage_type storage_type; |
| typedef typename base_type::scoped_lock scoped_lock; |
| |
| static storage_type fetch_negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type& s = const_cast< storage_type& >(storage); |
| scoped_lock lock(&storage); |
| storage_type old_val = s; |
| s = static_cast< storage_type >(-old_val); |
| return old_val; |
| } |
| |
| static storage_type negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type& s = const_cast< storage_type& >(storage); |
| scoped_lock lock(&storage); |
| storage_type new_val = static_cast< storage_type >(-s); |
| s = new_val; |
| return new_val; |
| } |
| |
| static storage_type add(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type& s = const_cast< storage_type& >(storage); |
| scoped_lock lock(&storage); |
| storage_type new_val = s; |
| new_val += v; |
| s = new_val; |
| return new_val; |
| } |
| |
| static storage_type sub(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type& s = const_cast< storage_type& >(storage); |
| scoped_lock lock(&storage); |
| storage_type new_val = s; |
| new_val -= v; |
| s = new_val; |
| return new_val; |
| } |
| |
| static storage_type bitwise_and(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type& s = const_cast< storage_type& >(storage); |
| scoped_lock lock(&storage); |
| storage_type new_val = s; |
| new_val &= v; |
| s = new_val; |
| return new_val; |
| } |
| |
| static storage_type bitwise_or(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type& s = const_cast< storage_type& >(storage); |
| scoped_lock lock(&storage); |
| storage_type new_val = s; |
| new_val |= v; |
| s = new_val; |
| return new_val; |
| } |
| |
| static storage_type bitwise_xor(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type& s = const_cast< storage_type& >(storage); |
| scoped_lock lock(&storage); |
| storage_type new_val = s; |
| new_val ^= v; |
| s = new_val; |
| return new_val; |
| } |
| |
| static storage_type fetch_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type& s = const_cast< storage_type& >(storage); |
| scoped_lock lock(&storage); |
| storage_type old_val = s; |
| s = static_cast< storage_type >(~old_val); |
| return old_val; |
| } |
| |
| static storage_type bitwise_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type& s = const_cast< storage_type& >(storage); |
| scoped_lock lock(&storage); |
| storage_type new_val = static_cast< storage_type >(~s); |
| s = new_val; |
| return new_val; |
| } |
| |
| static BOOST_FORCEINLINE void opaque_add(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| base_type::fetch_add(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE void opaque_sub(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| base_type::fetch_sub(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE void opaque_negate(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| fetch_negate(storage, order); |
| } |
| |
| static BOOST_FORCEINLINE void opaque_and(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| base_type::fetch_and(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE void opaque_or(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| base_type::fetch_or(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE void opaque_xor(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| base_type::fetch_xor(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE void opaque_complement(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| fetch_complement(storage, order); |
| } |
| |
| static BOOST_FORCEINLINE bool add_and_test(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| return !!add(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE bool sub_and_test(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| return !!sub(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE bool negate_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| return !!negate(storage, order); |
| } |
| |
| static BOOST_FORCEINLINE bool and_and_test(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| return !!bitwise_and(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE bool or_and_test(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| return !!bitwise_or(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE bool xor_and_test(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| return !!bitwise_xor(storage, v, order); |
| } |
| |
| static BOOST_FORCEINLINE bool complement_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| return !!bitwise_complement(storage, order); |
| } |
| |
| static BOOST_FORCEINLINE bool bit_test_and_set(storage_type volatile& storage, unsigned int bit_number, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type mask = static_cast< storage_type >(static_cast< storage_type >(1u) << bit_number); |
| storage_type old_val = base_type::fetch_or(storage, mask, order); |
| return !!(old_val & mask); |
| } |
| |
| static BOOST_FORCEINLINE bool bit_test_and_reset(storage_type volatile& storage, unsigned int bit_number, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type mask = static_cast< storage_type >(static_cast< storage_type >(1u) << bit_number); |
| storage_type old_val = base_type::fetch_and(storage, ~mask, order); |
| return !!(old_val & mask); |
| } |
| |
| static BOOST_FORCEINLINE bool bit_test_and_complement(storage_type volatile& storage, unsigned int bit_number, memory_order order) BOOST_NOEXCEPT |
| { |
| BOOST_STATIC_ASSERT_MSG(!base_type::is_interprocess, "Boost.Atomic: operation invoked on a non-lock-free inter-process atomic object"); |
| storage_type mask = static_cast< storage_type >(static_cast< storage_type >(1u) << bit_number); |
| storage_type old_val = base_type::fetch_xor(storage, mask, order); |
| return !!(old_val & mask); |
| } |
| }; |
| |
| template< typename Base, std::size_t Size, bool Signed > |
| struct extra_operations< Base, Size, Signed, false > : |
| public extra_operations_emulated< Base, Size, Signed > |
| { |
| }; |
| |
| } // namespace detail |
| } // namespace atomics |
| } // namespace boost |
| |
| #include <boost/atomic/detail/footer.hpp> |
| |
| #endif // BOOST_ATOMIC_DETAIL_EXTRA_OPS_EMULATED_HPP_INCLUDED_ |