std::atomic_flag_wait, std::atomic_flag_wait_explicit

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

技术规范

符号索引

外部库

 

并发支持库

线程 thread (C++11) jthread (C++20) stop_token (C++20) stop_source (C++20) stop_callback (C++20) hardware_destructive_interference_sizehardware_constructive_interference_size (C++17)(C++17) this_thread 命名空间 get_id (C++11) yield (C++11) sleep_for (C++11) sleep_until (C++11) 原子类型 atomic (C++11) atomic_ref (C++20) atomic_flag (C++11) 原子类型的初始化 atomic_init (C++11)(C++20 中弃用) ATOMIC_VAR_INIT (C++11)(C++20 中弃用) ATOMIC_FLAG_INIT (C++11) 原子操作的自由函数 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_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) 内存序 memory_order (C++11) kill_dependency (C++11) atomic_thread_fence (C++11) atomic_signal_fence (C++11) 互斥 mutex (C++11) recursive_mutex (C++11) shared_mutex (C++17) timed_mutex (C++11) recursive_timed_mutex (C++11) shared_timed_mutex (C++14) 通用锁管理 lock_guard (C++11) scoped_lock (C++17) unique_lock (C++11) shared_lock (C++14) defer_lock_ttry_to_lock_tadopt_lock_t (C++11)(C++11)(C++11) lock (C++11) try_lock (C++11) defer_locktry_to_lockadopt_lock (C++11)(C++11)(C++11) once_flag (C++11) call_once (C++11) 条件变量 condition_variable (C++11) condition_variable_any (C++11) notify_all_at_thread_exit (C++11) cv_status (C++11) 信号量 counting_semaphorebinary_semaphore (C++20)(C++20) 闩与屏障 latch (C++20) barrier (C++20) future promise (C++11) future (C++11) shared_future (C++11) packaged_task (C++11) async (C++11) launch (C++11) future_status (C++11) future_error (C++11) future_category (C++11) future_errc (C++11)

 

在标头 <atomic> 定义
void atomic_flag_wait( const atomic_flag* object, bool old ) noexcept;	(1)	(C++20 起)
void atomic_flag_wait( const volatile atomic_flag* object, bool old ) noexcept;	(2)	(C++20 起)
void atomic_flag_wait_explicit( const atomic_flag* object,                                 bool old, std::memory_order order ) noexcept;	(3)	(C++20 起)
void atomic_flag_wait_explicit( const volatile atomic_flag* object,                                 bool old, std::memory_order order ) noexcept;	(4)	(C++20 起)

进行原子等待操作。

比较 object->test(std::memory_order_seq_cst) 或 object->test(order) 与 old，如果它们逐位相等，那么阻塞到加载结果的值表示更改或者 *this 被 std::atomic_flag::notify_one() 或 std::atomic_flag::notify_all() 提醒（或线程被虚假地除阻）。

1,2) 内存同步顺序是 std::memory_order_seq_cst。

3,4) 内存同步顺序是 order。

如果 order 是 std::memory_order::release 和 std::memory_order::acq_rel 之一，那么行为未定义。

这些函数保证只有在值更改了的情况下才返回，即使底层实现虚假地除阻。

参数

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

返回值

（无）

注解

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

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

示例

notify_one (C++20)	提醒至少一个在原子对象上的等待中阻塞的线程 (std::atomic_flag 的公开成员函数)
notify_all (C++20)	提醒所有在原子对象上的等待中阻塞的线程 (std::atomic_flag 的公开成员函数)
atomic_flag_notify_one (C++20)	提醒一个在 atomic_flag_wait 中阻塞的线程 (函数)
atomic_flag_notify_all (C++20)	提醒所有在 atomic_flag_wait 中阻塞的线程 (函数)