std::atomic_flag_wait, std::atomic_flag_wait_explicit

From cppreference.com
< cpp‎ | atomic
 
 
Concurrency support library
Threads
(C++11)
(C++20)
this_thread namespace
(C++11)
(C++11)
(C++11)
Cooperative cancellation
Mutual exclusion
(C++11)
Generic lock management
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Condition variables
(C++11)
Semaphores
Latches and Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
(C++11)
Safe Reclamation
(C++26)
Hazard Pointers
Atomic types
(C++11)
(C++20)
Initialization of atomic types
(C++11)(deprecated in C++20)
(C++11)(deprecated in C++20)
Memory ordering
Free functions for atomic operations
Free functions for atomic flags
atomic_flag_waitatomic_flag_wait_explicit
(C++20)(C++20)
 
Defined in header <atomic>
void atomic_flag_wait( const atomic_flag* object, bool old ) noexcept;
(1) (since C++20)
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;
(3) (since C++20)
void atomic_flag_wait_explicit( const volatile atomic_flag* object,
                                bool old, std::memory_order order ) noexcept;
(4) (since C++20)

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.

1,2) The memory synchronization order is std::memory_order_seq_cst.
3,4) The memory synchronization order is order.
If order is one of std::memory_order_release and std::memory_order_acq_rel, the behavior is undefined.

These functions are guaranteed to return only if value has changed, even if underlying implementation unblocks spuriously.

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

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.

Example

See also

notifies at least one thread waiting on the atomic object
(public member function of std::atomic_flag)
notifies all threads blocked waiting on the atomic object
(public member function of std::atomic_flag)
notifies a thread blocked in atomic_flag_wait
(function)
notifies all threads blocked in atomic_flag_wait
(function)