atomic_is_lock_free

< c‎ | atomic
定义于头文件 <stdatomic.h>
_Bool atomic_is_lock_free( const volatile A* obj );
(C11 起)

确定所有 A 类型对象(obj所指向对象的类型)上的原子操作是否为免锁。在任何给定的程序执行中,调用 atomic_is_lock_free 的结果对于所有同一类型的指针相同。

这是为所有原子对象类型 A 定义的泛型函数。参数为指向 volatile 原子对象的指针,以接受非 volatile 与 volatile (例如内存映射 I/O )的原子对象,而 volatile 语义在应用此操作时保留。

泛型函数名是宏或是声明有外部链接的标识符是未指定的。若为访问实际函数压制宏定义(例如像 (atomic_is_lock_free)(...) 这样加括号),或程序定义拥有泛型函数名的外部标识符,则行为未定义。

参数

obj - 指向要调查的原子对象的指针

返回值

若所有 A 类型对象的原子操作为免锁,则为 true ,否则为 false

注意

C11 在出版时指名此函数针对每个对象,而非每个类型。这已为 DR 465 所订正。

示例

#include <stdio.h>
#include <stdatomic.h>
 
_Atomic struct A { int a[100]; } a;
_Atomic struct B { int x, y; } b;
int main(void)
{
    printf("_Atomic struct A is lock free? %s\n", 
            atomic_is_lock_free(&a) ? "true" : "false");
    printf("_Atomic struct B is lock free? %s\n", 
            atomic_is_lock_free(&b) ? "true" : "false");
}

可能的输出:

_Atomic struct A is lock free? false
_Atomic struct B is lock free? true

引用

  • C11 standard (ISO/IEC 9899:2011):
  • 7.17.5.1 The atomic_is_lock_free generic function (p: 280)

参阅

指示给定的原子类型为免锁
(宏常量)