atomic_fetch_add, atomic_fetch_add_explicit

来自cppreference.com
< c‎ | atomic
在标头 <stdatomic.h> 定义
C atomic_fetch_add( volatile A* obj, M arg );
(1) (C11 起)
C atomic_fetch_add_explicit( volatile A* obj, M arg, memory_order order );
(2) (C11 起)

arg*obj 的旧值的加法结果原子地替换 obj 所指向的值,并返回 *obj 先前保有的值。此操作是读修改写操作。第一版本按照 memory_order_seq_cst 排序内存访问,第二版本按照 order 排序内存访问。

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

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

对于有符号整数类型,定义算术为使用补码表示。无未定义结果。对于指针类型,结果可能是未定义地址,但运算不会另有未定义行为。

参数

obj - 指向要修改的原子对象的指针
arg - 要加到存储于原子对象中的值的值
order - 此操作的内存同步顺序:容许所有值

返回值

obj 所指向的原子对象先前保有的值。

示例

#include <stdio.h>
#include <threads.h>
#include <stdatomic.h>
 
atomic_int acnt;
int cnt;
 
int f(void* thr_data)
{
    for(int n = 0; n < 1000; ++n) {
        atomic_fetch_add_explicit(&acnt, 1, memory_order_relaxed); // 原子的
        ++cnt; // 未定义行为,实际上会失去一些更新
    }
    return 0;
}
 
int main(void)
{
    thrd_t thr[10];
    for(int n = 0; n < 10; ++n)
        thrd_create(&thr[n], f, NULL);
    for(int n = 0; n < 10; ++n)
        thrd_join(thr[n], NULL);
 
    printf("The atomic counter is %u\n", acnt);
    printf("The non-atomic counter is %u\n", cnt);
}

可能的输出:

The atomic counter is 10000
The non-atomic counter is 9511

引用

  • C17 标准(ISO/IEC 9899:2018):
  • 7.17.7.5 The atomic_fetch and modify generic functions (第 208 页)
  • C11 标准(ISO/IEC 9899:2011):
  • 7.17.7.5 The atomic_fetch and modify generic functions (第 284-285 页)

参阅

原子减法
(函数)