std::atomic_wait, std::atomic_wait_explicit
来自 cppreference.cn
| 定义于头文件 <atomic> |
||
| 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 的值表示。
- 如果它们按位相等，则阻塞，直到 *object 被 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::memcmp）；不使用比较运算符。从不参与对象值表示的填充位将被忽略。
[编辑] 示例
| 本节尚不完整 原因：没有示例 |
[编辑] 参见
| (C++20) |
阻塞线程，直到收到通知且原子值更改 ( std::atomic<T> 的公共成员函数) |
| (C++20) |
通知至少一个等待原子对象的线程 ( std::atomic<T> 的公共成员函数) |
| (C++20) |
通知所有阻塞等待原子对象的线程 ( std::atomic<T> 的公共成员函数) |
| (C++20) |
通知在 atomic_wait 中阻塞的线程 (函数模板) |
| (C++20) |
通知所有在 atomic_wait 中阻塞的线程 (函数模板) |
