std::atomic_is_lock_free, ATOMIC_xxx_LOCK_FREE

 

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++11 起)
template< class T > bool atomic_is_lock_free( const volatile std::atomic<T>* obj ) noexcept;
template< class T > bool atomic_is_lock_free( const std::atomic<T>* obj ) noexcept;
#define ATOMIC_BOOL_LOCK_FREE     /* unspecified */ #define ATOMIC_CHAR_LOCK_FREE     /* unspecified */ #define ATOMIC_CHAR16_T_LOCK_FREE /* unspecified */ #define ATOMIC_CHAR32_T_LOCK_FREE /* unspecified */ #define ATOMIC_WCHAR_T_LOCK_FREE  /* unspecified */ #define ATOMIC_SHORT_LOCK_FREE    /* unspecified */ #define ATOMIC_INT_LOCK_FREE      /* unspecified */ #define ATOMIC_LONG_LOCK_FREE     /* unspecified */ #define ATOMIC_LLONG_LOCK_FREE    /* unspecified */ #define ATOMIC_POINTER_LOCK_FREE  /* unspecified */			(2)	(C++11 起)
#define ATOMIC_CHAR8_T_LOCK_FREE     /* unspecified */			(3)	(C++20 起)

1) 如同通过调用 obj->is_lock_free() ，确定 obj 所指向的原对象是否免锁地实现。任何给定的程序执行中，免锁查询的结果对于所有同类型的原子对象相同。

2) 展开成整数常量表达式，其值

• 对于决不免锁的内建原子类型为 ​0​ ；
• 对于有时免锁的内建原子类型为 1 ；
• 对于始终免锁的内建原子类型为 2 。

参数

obj

-

指向要检验的原子对象的指针

返回值

若 *obj 为免锁原子对象则为 true ，否则 false 。

注解

std::atomic_flag 以外的所有原子类型可用互斥或其他锁定操作实现，而不一定用免锁的原子 CPU 指令。亦允许原子类型有时免锁，例如若给定架构上仅对齐的内存访问是天然原子的，则同类型的错误对齐对象必须用锁。

C++ 标准推荐（但不要求）免锁操作亦为免地址，即适用于使用共享内存的进程间交流。

示例

运行此代码

#include <iostream>
#include <utility>
#include <atomic>
 
struct A { int a[100]; };
struct B { int x, y; };
int main()
{
    std::atomic<A> a;
    std::atomic<B> b;
    std::cout << std::boolalpha
              << "std::atomic<A> is lock free? "
              << std::atomic_is_lock_free(&a) << '\n'
              << "std::atomic<B> is lock free? "
              << std::atomic_is_lock_free(&b) << '\n';
}

可能的输出：

std::atomic<A> is lock free? false
std::atomic<B> is lock free? true

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR	应用于	出版时的行为	正确行为
LWG 3249	C++11	atomic_is_lock_free 通过指针说明，这有歧义并可能接受非法指针值	通过原子对象说明

参阅

is_lock_free	检查原子对象是否免锁 (std::atomic<T> 的公开成员函数)
std::atomic_is_lock_free(std::shared_ptr)	对 std::shared_ptr 特化的原子操作 (函数模板)
atomic_flag (C++11)	免锁的布尔原子类型 (类)
is_always_lock_free [静态] (C++17)	指示该类型是否始终免锁 (std::atomic<T> 的公开静态成员常量)