std::atomic_wait, std::atomic_wait_explicit

来自cppreference.com
< cpp‎ | atomic
 
 
并发支持库
线程
(C++11)
(C++20)
(C++20)
this_thread 命名空间
(C++11)
(C++11)
(C++11)
原子类型
(C++11)
(C++20)
原子类型的初始化
(C++11)(C++20 中弃用)
(C++11)(C++20 中弃用)
原子操作的自由函数
atomic_waitatomic_wait_explicit
(C++20)(C++20)
原子标志的自由函数
内存序
互斥
(C++11)
通用锁管理
(C++11)
(C++11)
(C++11)
(C++11)(C++11)(C++11)
(C++11)
(C++11)
条件变量
(C++11)
信号量
闩与屏障
(C++20)
(C++20)
future
(C++11)
(C++11)
(C++11)
(C++11)
 
template< class T >

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

                  typename std::atomic<T>::value_type old );
(1) (C++20 起)
template< class T >

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

                  typename std::atomic<T>::value_type old );
(2) (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 );
(3) (C++20 起)
template< class T >

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

                           std::memory_order order );
(4) (C++20 起)

进行原子等待操作。表现为重复进行下列步骤:

  • 比较 object->load()(对于重载 (1,2))或 object->load(order)(对于重载 (3,4))与 old值表示
    • 如果它们逐位相等,那么阻塞到 *thisstd::atomic::notify_one()std::atomic::notify_all() 提醒,或线程被虚假地除阻。
    • 否则返回。

允许这些函数虚假地除阻,即由于值更改或提醒之外的原因返回。

1,2) 等价于 object->wait(old)
3,4) 等价于 object->wait(old, order)
如果 orderstd::memory_order::releasestd::memory_order::acq_rel 之一,那么行为未定义。

参数

object - 指向要检查并在它之上等待的原子对象的指针
old - 要检测的原子对象不再含有的值
order - 内存同步顺序

返回值

(无)

注解

更改检测的这种形式通常比简单轮询或纯自旋锁高效。

由于 ABA 问题,可能错失从 old 到另一值再回到 old 的更改,而不除阻。

比较是逐位的(类似 std::memcpy);不使用比较运算符。忽略决不参与对象值表示的填充位。

示例

参阅

(C++20)
阻塞线程直至被提醒且原子值更改
(std::atomic<T> 的公开成员函数)
提醒至少一个在原子对象上的等待中阻塞的线程
(std::atomic<T> 的公开成员函数)
提醒所有在原子对象上的等待中阻塞的线程
(std::atomic<T> 的公开成员函数)
提醒一个在 atomic_wait 中阻塞的线程
(函数模板)
提醒所有在 atomic_wait 中阻塞的线程
(函数模板)