std::atomic_is_lock_free, ATOMIC_xxx_LOCK_FREE

来自cppreference.com
< cpp‎ | atomic
 
 
 
定义于头文件 <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 通过指针说明,这有歧义并可能接受非法指针值 通过原子对象说明

参阅

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