atomic_is_lock_free

 

C

编译器支持

语言

头文件

类型支持

程序工具

变参函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

并发支持库

线程 thrd_create thrd_equal thrd_current    thrd_sleep thrd_yield thrd_exit thrd_detach thrd_join thrd_successthrd_timedoutthrd_busythrd_nomemthrd_error    原子操作 atomic_init ATOMIC_VAR_INIT (直至 C23) ATOMIC_***_LOCK_FREE atomic_is_lock_free atomic_store atomic_load atomic_exchange atomic_compare_exchange atomic_fetch_add atomic_fetch_sub atomic_fetch_or atomic_fetch_xor atomic_fetch_and

原子标志 atomic_flag ATOMIC_FLAG_INIT atomic_flag_test_and_set atomic_flag_clear 内存排序 memory_order kill_dependency atomic_thread_fence atomic_signal_fence 互斥 mtx_init mtx_lock mtx_timedlock mtx_trylock call_once mtx_unlock mtx_destroy mtx_plainmtx_recursivemtx_timed 条件变量 cnd_init cnd_signal cnd_broadcast cnd_wait cnd_timedwait cnd_destroy 线程局部存储 thread_local TSS_DTOR_ITERATIONS    tss_create tss_get tss_set tss_delete

 

在头文件 <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 原子对象时，volatile 语义得以保留。

泛型函数的名称是宏还是具有外部链接的标识符是未指定的。如果为了访问实际函数而抑制宏定义（例如用括号括起来，如 (atomic_is_lock_free)(...)），或者程序定义了一个与泛型函数同名的外部标识符，则行为是未定义的。

参数

obj

-

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

返回值

如果类型 A 的所有对象上的操作都是无锁的，则为 true，否则为 false。

示例

运行此代码

#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

缺陷报告

以下行为改变的缺陷报告被追溯地应用于以前发布的 C 标准。

缺陷报告	应用于	发布时的行为	正确的行为
DR 465	C11	此函数是按对象进行的	此函数是按类型进行的

参考资料

• C17 标准 (ISO/IEC 9899:2018)

• 7.17.5.1 The atomic_is_lock_free generic function (p: 205)

• C11 标准 (ISO/IEC 9899:2011)

• 7.17.5.1 The atomic_is_lock_free generic function (p: 280)

另请参阅

ATOMIC_BOOL_LOCK_FREEATOMIC_CHAR_LOCK_FREEATOMIC_CHAR16_T_LOCK_FREEATOMIC_CHAR32_T_LOCK_FREEATOMIC_WCHAR_T_LOCK_FREEATOMIC_SHORT_LOCK_FREEATOMIC_INT_LOCK_FREEATOMIC_LONG_LOCK_FREEATOMIC_LLONG_LOCK_FREEATOMIC_POINTER_LOCK_FREE (C11)	指示给定的原子类型是否是无锁的 (宏常量)
C++ 文档 for atomic_is_lock_free