Cpp-standard-library-cpp-atomic-compare-exchange

C ++アトミックライブラリ-Exchangeの比較

説明

アトミックオブジェクトの値を非アトミック引数とアトミックに比較し、等しい場合はアトミック交換を実行し、等しくない場合はアトミックロードを実行します。

宣言

以下は、std

atomic_compare_exchange_weakの宣言です。

template< class T >
bool atomic_compare_exchange_weak( volatile std::atomic<T>* obj,
                                   T* expected, T desired );

C 11

template< class T <
bool atomic_compare_exchange_weak( std::atomic<T>* obj,
                                   T* expected, T desired );

以下は、std

atomic_compare_exchange_strongの宣言です。

template< class T >
bool atomic_compare_exchange_strong( volatile std::atomic<T>* obj,
                                     T* expected, T desired );

C 11

template< class T >
bool atomic_compare_exchange_strong( std::atomic<T>* obj,
                                     T* expected, T desired );

以下は、std

atomic_compare_exchange_weak_explicitの宣言です。

template< class T >
bool atomic_compare_exchange_weak_explicit( volatile std::atomic<T>* obj,
                                            T* expected, T desired,
                                            std::memory_order succ,
                                            std::memory_order fail );

C 11

template< class T >
bool atomic_compare_exchange_weak_explicit( std::atomic<T>* obj,
                                            T* expected, T desired,
                                            std::memory_order succ,
                                            std::memory_order fail );

以下は、std

atomic_compare_exchange_strong_explicitの宣言です。

template< class T >
bool atomic_compare_exchange_strong_explicit( std::atomic<T>* obj,
                                              T* expected, T desired,
                                              std::memory_order succ,
                                              std::memory_order fail );

C 11

template< class T >
bool atomic_compare_exchange_strong_explicit( volatile std::atomic<T>* obj,
                                              T* expected, T desired,
                                              std::memory_order succ,
                                              std::memory_order fail );

パラメーター

• obj -変更するアトミックオブジェクトへのポインタで使用されます。
• desr -値をアトミックオブジェクトに格納するために使用されます。
• order -この操作のメモリ順序を同期するために使用されます。
• succ -比較が成功した場合、read-modify-write操作のメモリ同期順序で使用されます。 すべての値が許可されます。
• fail -比較が失敗した場合、ロード操作のメモリ同期順序で使用されます。 std :: memory_order_releaseまたはstd :: memory_order_acq_relにすることはできず、succより強い順序を指定することはできません。

戻り値

比較の結果を返します。* objが* expectedと等しい場合はtrue、そうでない場合はfalse。

例外

*No-noexcept* -このメンバー関数は例外をスローしません。

例

以下のstd

atomic_compare_exchangeの例では。

#include <atomic>

template<class T>
struct node {
   T data;
   node* next;
   node(const T& data) : data(data), next(nullptr) {}
};

template<class T>
class stack {
   std::atomic<node<T>*> head;
   public:
      void push(const T& data) {
         node<T>* new_node = new node<T>(data);
         new_node->next = head.load(std::memory_order_relaxed);
         while(!std::atomic_compare_exchange_weak_explicit(&head, &new_node->next,
            new_node, std::memory_order_release, std::memory_order_relaxed))
            ;
      }
};

int main() {
   stack<int> s;
   s.push(1);
   s.push(2);
   s.push(3);
}