Linux基础 -- C语言用户态原子操作之 GCC内置函数篇

GCC 提供的内置函数关于原子操作的使用说明

GCC 提供了一组内置函数用于进行原子操作，这些函数位于 __sync 和 __atomic 两个系列中。以下是这两个系列内置函数的详细说明、使用方法以及注意事项。

__sync 内置函数

__sync 系列的内置函数提供了一些基本的原子操作，它们是 GCC 最早引入的原子操作函数。

基本内置函数

• __sync_fetch_and_add(type *ptr, type value, ...)
• __sync_fetch_and_sub(type *ptr, type value, ...)
• __sync_fetch_and_or(type *ptr, type value, ...)
• __sync_fetch_and_and(type *ptr, type value, ...)
• __sync_fetch_and_xor(type *ptr, type value, ...)
• __sync_fetch_and_nand(type *ptr, type value, ...)

这些函数返回操作之前的值，并对传入的指针 ptr 执行原子加、减、或、与、异或和非与操作。

使用示例

int var = 0;
int old_value = __sync_fetch_and_add(&var, 1); // var 加 1，返回操作前的值

注意事项

1. 这些函数默认使用完全内存栅栏，确保操作的顺序性。
2. 这些函数在多线程环境下是安全的，但性能可能不如 __atomic 系列函数。

__atomic 内置函数

__atomic 系列内置函数是 GCC 为了更好地支持 C11 原子操作而引入的。这些函数提供了更丰富的原子操作和内存序列控制。

基本内置函数

• __atomic_load(type *ptr, type *ret, int memorder)
• __atomic_store(type *ptr, type *val, int memorder)
• __atomic_exchange(type *ptr, type *val, type *ret, int memorder)
• __atomic_compare_exchange(type *ptr, type *expected, type *desired, bool weak, int success_memorder, int failure_memorder)

这些函数分别用于原子加载、存储、交换和比较交换操作。

使用示例

int var = 0;
int old_value;

// 原子加载
__atomic_load(&var, &old_value, __ATOMIC_SEQ_CST);

// 原子存储
int new_value = 1;
__atomic_store(&var, &new_value, __ATOMIC_SEQ_CST);

// 原子交换
int desired = 2;
__atomic_exchange(&var, &desired, &old_value, __ATOMIC_SEQ_CST);

// 原子比较交换
int expected = 0;
desired = 3;
bool success = __atomic_compare_exchange(&var, &expected, &desired, false, __ATOMIC_SEQ_CST, __ATOMIC_SEQ_CST);

注意事项

1. __atomic 系列函数提供的内存序列选项包括：

   • __ATOMIC_RELAXED
   • __ATOMIC_CONSUME
   • __ATOMIC_ACQUIRE
   • __ATOMIC_RELEASE
   • __ATOMIC_ACQ_REL
   • __ATOMIC_SEQ_CST

   这些选项允许更细粒度地控制内存操作的顺序性。

2. __atomic 系列函数性能通常优于 __sync 系列函数，因为它们可以根据需要使用更轻量级的内存序列。

3. 在比较交换操作中，注意区分弱和强比较交换。弱比较交换可能会在没有改变值的情况下返回假失败，而强比较交换则不会。

4. 在多线程环境下使用这些函数时，确保选择合适的内存序列以避免数据竞争和不一致性。

通过使用 GCC 提供的这些内置函数，开发者可以更高效地实现原子操作，从而提高多线程程序的性能和可靠性。