std::atomic_flag_wait, std::atomic_flag_wait_explicit
Defined in header <atomic>
|
||
(1) | (since C++20) | |
template< class T > void atomic_flag_wait( const atomic_flag* object, |
||
template< class T > void atomic_flag_wait( const volatile atomic_flag* object, |
||
(2) | (since C++20) | |
template< class T > void atomic_flag_wait_explicit( const atomic_flag* object, |
||
template< class T > void atomic_flag_wait_explicit( const volatile atomic_flag* object, |
||
Performs atomic waiting operations.
Compares the value representation of the object->test(std::memory_order_seq_cst) or object->test(order) with that of old
, and if those are bitwise equal then blocks until the one of result of test changes or *object is notified by std::atomic_flag::notify_one() or std::atomic_flag::notify_all().
These functions are allowed to unblock spuriously, i.e. return due to reasons other than value change or notification.
Parameters
object | - | pointer to the atomic flag to check and wait on |
old | - | the value to check the atomic flag 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
This section is incomplete Reason: no example |
See also
(C++20) |
notifies at least one thread waiting on the atomic object (public member function of std::atomic_flag ) |
(C++20) |
notifies all threads blocked waiting on the atomic object (public member function of std::atomic_flag ) |
(C++20) |
notifies a thread blocked in atomic_flag_wait (function) |
(C++20) |
notifies all threads blocked in atomic_flag_wait (function) |