飞翔飞翔
主页
  • 计算机基础

    • TCP/IP协议
    • Linux命令
  • 数据库

    • SQL教程
  • 编程语言

    • C语言
    • Python2
    • Python3
  • 数据格式

    • JSON教程
  • 工具

    • Markdown指南
  • Git

    • GitFlow
  • Quartz

    • Quartz教程
  • Java

    • Java设计模式
  • 缓存

    • Redis教程
联系
阿里云
主页
  • 计算机基础

    • TCP/IP协议
    • Linux命令
  • 数据库

    • SQL教程
  • 编程语言

    • C语言
    • Python2
    • Python3
  • 数据格式

    • JSON教程
  • 工具

    • Markdown指南
  • Git

    • GitFlow
  • Quartz

    • Quartz教程
  • Java

    • Java设计模式
  • 缓存

    • Redis教程
联系
阿里云
  • 学习路径
  • 第1章 编程基础概念

    • 冯·诺依曼体系结构
    • 数据在计算机中的表示
    • 编程语言的层次
    • C语言的起源与发展
    • C99标准的主要改进
    • 开发环境搭建
    • 第一个C程序
    • 编译与运行流程
    • 可移植性风险的三级体系
  • 第2章 数据类型与运算

    • 字符集与标识符
    • 关键字
    • 注释
    • char 类型
    • short 与 int
    • long 与 long long
    • 有符号与无符号
    • 取值范围与 limits.h
    • float 与 double
    • long double
    • _Bool 类型
    • 变量声明与定义
    • 常量
    • 转义序列
    • 算术运算符
    • 赋值运算符
    • 自增自减运算符
    • 关系与判等运算符
    • 逻辑运算符
    • 位运算符
    • 条件运算符
    • 逗号运算符
    • 运算符优先级
    • 隐式类型转换
    • 显式类型转换
  • 第3章 控制流

    • 表达式语句与空语句
    • 复合语句
    • if 语句
    • switch 语句
    • while 循环
    • do-while 循环
    • for 循环
    • break 与 continue
    • goto 语句
    • return 语句
  • 第4章 函数与模块化编程

    • 函数定义
    • 函数声明与原型
    • main 函数
    • 函数调用机制
    • 传值调用
    • 数组参数
    • 作用域
    • 存储期
    • 链接属性
    • static 与 extern
    • 递归
    • 头文件与源文件
    • 头文件保护
    • include 规则
  • 第5章 数组与字符串

    • 一维数组声明与初始化
    • 数组的存储模型
    • 数组访问与越界
    • 数组操作
    • 二维数组
    • 变长数组 VLA
    • 字符串基础
    • 字符串输入输出
    • 字符串处理函数
    • 字符串与数字转换
  • 第6章 指针

    • 指针的概念
    • 指针的声明与使用
    • 指针运算
    • const 与指针
    • 数组名与指针
    • 指针遍历数组
    • 指针与多维数组
    • 指针作为函数参数
    • 函数返回指针
    • 函数指针
    • 二级指针
    • 复杂声明解析
  • 第7章 结构体、联合体与枚举

    • 结构体定义与声明
    • 结构体初始化
    • 结构体成员访问
    • 结构体嵌套
    • 结构体指针
    • 结构体与函数
    • 联合体
    • 联合体与类型双关
    • 枚举类型
    • 位域
    • 内存对齐与填充
  • 第8章 动态内存管理

    • malloc 与 free
    • calloc 与 realloc
    • 内存泄漏
    • 悬垂指针
    • 内存分配策略
    • 自定义内存池
    • Valgrind 与内存检测
    • 内存碎片
    • 内存对齐分配
    • 常见内存错误
  • 第9章 文件输入输出

    • 文件打开与关闭
    • 文本读写
    • 格式化输入输出
    • 二进制读写
    • 文件定位
    • 错误处理
    • 标准流
    • 临时文件
    • 文件操作示例
  • 第10章 预处理器

    • 预处理器基础
    • 宏定义
    • 带参数的宏
    • 条件编译
    • 头文件包含
    • 预定义宏
    • 宏的高级技巧
    • 预处理器陷阱
    • 编译器特定扩展
  • 第11章 标准库概览

    • 标准库概述
    • assert.h
    • ctype.h
    • errno.h
    • float.h
    • limits.h
    • locale.h
    • math.h
    • setjmp.h
    • signal.h
    • stdarg.h
    • stddef.h
    • stdlib.h
  • 第12章 进阶主题

    • 内联函数
    • 变长数组 VLA
    • 复数类型
    • 布尔类型
    • stdint 与 inttypes
    • 灵活数组成员
    • 匿名结构体与联合体
    • 静态断言
    • 线程支持
    • 原子操作

原子操作

C11 引入标准原子操作 <stdatomic.h>,提供无锁的线程安全操作。原子操作保证操作不可中断,是多线程编程中避免数据竞争的基础。C11 定义了原子类型、原子操作函数和内存序控制。

基本原子类型

#include <stdatomic.h>

_Atomic int counter;            /* 原子整数 */
atomic_int counter2;            /* 等价 */

atomic_int count = ATOMIC_VAR_INIT(0);   /* 初始化 */

原子操作

#include <stdatomic.h>
#include <stdio.h>

atomic_int counter = 0;

/* 原子增加 */
atomic_fetch_add(&counter, 1);      /* counter++ */

/* 原子读取 */
int val = atomic_load(&counter);

/* 原子写入 */
atomic_store(&counter, 10);

/* 比较并交换(CAS) */
int expected = 5;
atomic_compare_exchange_strong(&counter, &expected, 10);
/* 如果 counter == 5,设为 10,返回 true */
/* 否则 expected = counter,返回 false */

无锁计数器

#include <stdatomic.h>
#include <threads.h>

atomic_int counter = 0;

int increment(void *arg)
{
    for (int i = 0; i < 1000000; i++) {
        atomic_fetch_add(&counter, 1);
    }
    return 0;
}

int main(void)
{
    thrd_t t1, t2;
    thrd_create(&t1, increment, NULL);
    thrd_create(&t2, increment, NULL);
    
    thrd_join(t1, NULL);
    thrd_join(t2, NULL);
    
    printf("Counter: %d\n", atomic_load(&counter));   /* 2000000 */
    return 0;
}

内存序

/* 内存序控制 */
atomic_store_explicit(&flag, 1, memory_order_release);
atomic_load_explicit(&flag, memory_order_acquire);

/* 内存序类型 */
memory_order_relaxed;           /* 无同步 */
memory_order_consume;           /* 消费 */
memory_order_acquire;           /* 获取 */
memory_order_release;           /* 释放 */
memory_order_acq_rel;           /* 获取-释放 */
memory_order_seq_cst;           /* 顺序一致(默认) */

原子标志

atomic_flag lock = ATOMIC_FLAG_INIT;

/* 自旋锁 */
while (atomic_flag_test_and_set(&lock)) {
    /* 等待 */
}
/* 临界区 */
atomic_flag_clear(&lock);

兼容性

#ifdef __STDC_NO_ATOMICS__
    /* 编译器不支持原子操作 */
    /* 使用互斥锁替代 */
#else
    #include <stdatomic.h>
#endif

常见错误

非原子访问原子变量:

atomic_int counter;
counter++;                      /* 错误:非原子操作 */

/* 正确 */
atomic_fetch_add(&counter, 1);

ABA 问题:

/* CAS 的经典问题:值从 A→B→A,CAS 认为未改变 */
/* 解决方案:使用带版本号的指针 */

最佳实践

  • 共享可变数据用原子类型
  • 简单计数器用 atomic_fetch_add
  • 复杂操作仍用互斥锁
  • 理解内存序对性能的影响
  • 无锁算法需要深入理解内存模型
上一页
线程支持