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 之一,则行为未定义。
目录 |
[编辑] 参数
对象 | - | 指向要检查和等待的原子对象的指针 |
old | - | 要检查原子对象不再包含的值 |
顺序 | - | 内存同步顺序 |
[编辑] 返回值
(无)
[编辑] 注意
这种形式的变更检测通常比简单的轮询或纯自旋锁更高效。
由于 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 中阻塞的线程 (函数模板) |