Defined in header <atomic> | ||
---|---|---|
(1) | (since C++20) | |
void atomic_flag_wait( const atomic_flag* object, bool old ) noexcept; | ||
void atomic_flag_wait( const volatile atomic_flag* object, bool old ) noexcept; | ||
(2) | (since C++20) | |
void atomic_flag_wait_explicit( const atomic_flag* object, bool old, std::memory_order order ) noexcept; | ||
void atomic_flag_wait_explicit( const volatile atomic_flag* object, bool old, std::memory_order order ) noexcept; |
Performs atomic waiting operations.
Compares object->test(std::memory_order_seq_cst)
or object->test(order)
with old
, and if they are equal then blocks until *object
is notified by std::atomic_flag::notify_one()
or std::atomic_flag::notify_all()
(or the thread is unblocked spuriously). This is repeated until the values compare unequal.
object->wait(old, std::memory_order_seq_cst)
.object->wait(old, order)
.These functions are guaranteed to return only if value has changed, even if underlying implementation unblocks spuriously.
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 |
(none).
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.
(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) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/atomic/atomic_flag_wait