std::atomic_wait, std::atomic_wait_explicit

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

原子操作库

类

atomic (C++11)

atomic_ref (C++20)

函数

atomic_storeatomic_store_explicit (C++11)(C++11)

atomic_loadatomic_load_explicit (C++11)(C++11)

atomic_exchangeatomic_exchange_explicit (C++11)(C++11)

atomic_compare_exchange_weakatomic_compare_exchange_weak_explicitatomic_compare_exchange_strongatomic_compare_exchange_strong_explicit (C++11)(C++11)(C++11)(C++11)

atomic_fetch_addatomic_fetch_add_explicit (C++11)(C++11)

atomic_fetch_subatomic_fetch_sub_explicit (C++11)(C++11)

atomic_fetch_andatomic_fetch_and_explicit (C++11)(C++11)

atomic_fetch_oratomic_fetch_or_explicit (C++11)(C++11)

atomic_fetch_xoratomic_fetch_xor_explicit (C++11)(C++11)

atomic_is_lock_free (C++11)

atomic_waitatomic_wait_explicit (C++20)(C++20)

atomic_notify_one (C++20)

atomic_notify_all (C++20)

原子标志

atomic_flag (C++11)

atomic_flag_test_and_setatomic_flag_test_and_set_explicit (C++11)(C++11)

atomic_flag_clearatomic_flag_clear_explicit (C++11)(C++11)

atomic_flag_testatomic_flag_test_explicit (C++20)(C++20)

atomic_flag_waitatomic_flag_wait_explicit (C++20)(C++20)

atomic_flag_notify_one (C++20)

atomic_flag_notify_all (C++20)

初始化

atomic_init (C++11)(C++20 中弃用)

ATOMIC_VAR_INIT (C++11)(C++20 中弃用)

ATOMIC_FLAG_INIT (C++11)(C++20 中弃用)

内存顺序

memory_order (C++11)

kill_dependency (C++11)

atomic_thread_fence (C++11)

atomic_signal_fence (C++11)

 

定义于头文件 <atomic>
	(1)	(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)	(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;

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

• 比较 object->load(std::memory_order_seq_cst) 或 object->load(order) 与 old 的值表示。
  • 若它们逐位相等则阻塞直至 *this 被 std::atomic::notify_one() 或 std::atomic::notify_all() 提醒，或线程被虚假地除阻。
  • 否则返回。

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

1) 等价于 object->wait(old, std::memory_order_seq_cst) 。

2) 等价于 object->wait(old, order) 。

参数

object	-	指向要检查并在其上等待的原子对象的指针
old	-	要检测的原子对象不再含有的值
order	-	此操作所用的内存同步顺序：必须不是 std::memory_order::release 或 std::memory_order::acq_rel

返回值

（无）

注解

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

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

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

参阅

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