Namespaces
Variants
Views
Actions

Difference between revisions of "cpp/atomic/atomic wait"

From cppreference.com
< cpp‎ | atomic
(noexcept)
m (Example)
Line 59: Line 59:
  
 
===Example===
 
===Example===
{{todo}}
+
{{example}}
  
 
===See also===
 
===See also===

Revision as of 07:57, 8 February 2020

 
 
 
Defined in header <atomic>
(1) (since C++20)
template< class T >

void atomic_wait( const std::atomic<T>* object,

                  typename std::atomic<T>::value_type old ) noexcept;
template< class T >

void atomic_wait( const volatile std::atomic<T>* object,

                  typename std::atomic<T>::value_type old ) noexcept;
(2) (since C++20)
template< class T >

void atomic_wait_explicit( const std::atomic<T>* object,
                           typename std::atomic<T>::value_type old,

                           std::memory_order order ) noexcept;
template< class T >

void atomic_wait_explicit( const volatile std::atomic<T>* object,
                           typename std::atomic<T>::value_type old,

                           std::memory_order order ) noexcept;

Performs atomic waiting operations.

Compares the value representation of the object->load(std::memory_order_seq_cst) or object->load(order) with that of old, and if those are bitwise equal then blocks until the one of result of loading changes or *object is notified by std::atomic::notify_one() or std::atomic::notify_one().

1) Equivalent to object->wait(old, std::memory_order_seq_cst).
2) Equivalent to object->wait(old, std::memory_order_seq_cst).

These functions are allowed to unblock spuriously, i.e. return due to reasons other than value change or notification.

Contents

Parameters

object - pointer to the atomic object to check and wait on
old - the value to check the atomic object no longer contains
order - the memory synchronization ordering for this operation: must not be std::memory_order::release or std::memory_order::acq_rel

Return value

(none)

Notes

This form of change-detection is often more efficient than simple polling or pure spinlocks.

Due to the ABA problem, transient changes from old to another value and back to old might be missed, and not unblock.

The comparison is bitwise (similar to std::memcpy); no comparison operator is used. Padding bits that never participate in an object's value representation are ignored.

Example

See also

notifies at least one thread waiting on the atomic object
(public member function of std::atomic<T>) [edit]
notifies all threads blocked waiting on the atomic object
(public member function of std::atomic<T>) [edit]
notifies a thread blocked in atomic_wait
(function template) [edit]
notifies all threads blocked in atomic_wait
(function template) [edit]