std::atomic_wait, std::atomic_wait_explicit
来自cppreference.com
template< class T > void atomic_wait( const std::atomic<T>* object, |
(1) | (C++20 起) |
template< class T > void atomic_wait( const volatile std::atomic<T>* object, |
(2) | (C++20 起) |
template< class T > void atomic_wait_explicit( const std::atomic<T>* object, |
(3) | (C++20 起) |
template< class T > void atomic_wait_explicit( const volatile std::atomic<T>* object, |
(4) | (C++20 起) |
进行原子等待操作。表现为重复进行下列步骤:
- 比较 object->load()(对于重载 (1,2))或 object->load(order)(对于重载 (3,4))与 old 的值表示。
- 如果它们逐位相等,那么阻塞到 *this 被 std::atomic::notify_one() 或 std::atomic::notify_all() 提醒,或线程被虚假地除阻。
- 否则返回。
允许这些函数虚假地除阻,即由于值更改或提醒之外的原因返回。
1,2) 等价于 object->wait(old)。
3,4) 等价于 object->wait(old, order)。
如果 order 是 std::memory_order::release 和 std::memory_order::acq_rel 之一,那么行为未定义。
参数
object | - | 指向要检查并在它之上等待的原子对象的指针 |
old | - | 要检测的原子对象不再含有的值 |
order | - | 内存同步顺序 |
返回值
(无)
注解
更改检测的这种形式通常比简单轮询或纯自旋锁高效。
由于 ABA 问题,可能错失从 old 到另一值再回到 old 的更改,而不除阻。
比较是逐位的(类似 std::memcpy);不使用比较运算符。忽略决不参与对象值表示的填充位。
示例
本节未完成 原因:暂无示例 |
参阅
(C++20) |
阻塞线程直至被提醒且原子值更改 ( std::atomic<T> 的公开成员函数) |
(C++20) |
提醒至少一个在原子对象上的等待中阻塞的线程 ( std::atomic<T> 的公开成员函数) |
(C++20) |
提醒所有在原子对象上的等待中阻塞的线程 ( std::atomic<T> 的公开成员函数) |
(C++20) |
提醒一个在 atomic_wait 中阻塞的线程 (函数模板) |
(C++20) |
提醒所有在 atomic_wait 中阻塞的线程 (函数模板) |