]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | /* |
2 | * Distributed under the Boost Software License, Version 1.0. | |
3 | * (See accompanying file LICENSE_1_0.txt or copy at | |
4 | * http://www.boost.org/LICENSE_1_0.txt) | |
5 | * | |
6 | * Copyright (c) 2014 Andrey Semashev | |
7 | */ | |
8 | /*! | |
9 | * \file atomic/detail/ops_extending_cas_based.hpp | |
10 | * | |
11 | * This header contains a boilerplate of the \c operations template implementation that requires sign/zero extension in arithmetic operations. | |
12 | */ | |
13 | ||
14 | #ifndef BOOST_ATOMIC_DETAIL_OPS_EXTENDING_CAS_BASED_HPP_INCLUDED_ | |
15 | #define BOOST_ATOMIC_DETAIL_OPS_EXTENDING_CAS_BASED_HPP_INCLUDED_ | |
16 | ||
17 | #include <cstddef> | |
18 | #include <boost/memory_order.hpp> | |
19 | #include <boost/atomic/detail/config.hpp> | |
f67539c2 TL |
20 | #include <boost/atomic/detail/storage_traits.hpp> |
21 | #include <boost/atomic/detail/integral_conversions.hpp> | |
7c673cae FG |
22 | |
23 | #ifdef BOOST_HAS_PRAGMA_ONCE | |
24 | #pragma once | |
25 | #endif | |
26 | ||
27 | namespace boost { | |
28 | namespace atomics { | |
29 | namespace detail { | |
30 | ||
31 | template< typename Base, std::size_t Size, bool Signed > | |
32 | struct extending_cas_based_operations : | |
33 | public Base | |
34 | { | |
35 | typedef typename Base::storage_type storage_type; | |
f67539c2 | 36 | typedef typename storage_traits< Size >::type emulated_storage_type; |
7c673cae FG |
37 | |
38 | static BOOST_FORCEINLINE storage_type fetch_add(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT | |
39 | { | |
40 | storage_type old_val; | |
41 | atomics::detail::non_atomic_load(storage, old_val); | |
11fdf7f2 | 42 | storage_type new_val; |
7c673cae FG |
43 | do |
44 | { | |
11fdf7f2 | 45 | new_val = atomics::detail::integral_extend< Signed, storage_type >(static_cast< emulated_storage_type >(old_val + v)); |
7c673cae | 46 | } |
11fdf7f2 | 47 | while (!Base::compare_exchange_weak(storage, old_val, new_val, order, memory_order_relaxed)); |
7c673cae FG |
48 | return old_val; |
49 | } | |
50 | ||
51 | static BOOST_FORCEINLINE storage_type fetch_sub(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT | |
52 | { | |
53 | storage_type old_val; | |
54 | atomics::detail::non_atomic_load(storage, old_val); | |
11fdf7f2 | 55 | storage_type new_val; |
7c673cae FG |
56 | do |
57 | { | |
11fdf7f2 | 58 | new_val = atomics::detail::integral_extend< Signed, storage_type >(static_cast< emulated_storage_type >(old_val - v)); |
7c673cae | 59 | } |
11fdf7f2 | 60 | while (!Base::compare_exchange_weak(storage, old_val, new_val, order, memory_order_relaxed)); |
7c673cae FG |
61 | return old_val; |
62 | } | |
63 | }; | |
64 | ||
65 | } // namespace detail | |
66 | } // namespace atomics | |
67 | } // namespace boost | |
68 | ||
69 | #endif // BOOST_ATOMIC_DETAIL_OPS_EXTENDING_CAS_BASED_HPP_INCLUDED_ |