atomic_t相关操作

本文深入探讨了原子操作的概念、原理及其实现方式,特别关注了其在资源计数、引用计数等场景中的应用,以TCP/IP协议栈中的IP碎片处理为例,展示了原子操作在实际编程中的具体用法。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

 所谓原子操作,就是该操作绝不会在执行完毕前被任何其他任务或事件打断,也就说,它的最小的执行单位,不可能有比它更小的执行单位,因此这里的原子实际是使用了物理学里的物质微粒的概念。
  原子操作需要硬件的支持,因此是架构相关的,其API和原子类型的定义都定义在内核源码树的include/asm/atomic.h文件中,它们都使用汇编语言实现,因为C语言并不能实现这样的操作。
  原子操作主要用于实现资源计数,很多引用计数(refcnt)就是通过原子操作实现的。原子类型定义如下:
typedef struct
 {
 volatile int counter;
 }
 atomic_t; 
 

  volatile修饰字段告诉gcc不要对该类型的数据做优化处理,对它的访问都是对内存的访问,而不是对寄存器的访问。
  原子操作API包括:
 
  该函数对原子类型的变量进行原子读操作,它返回原子类型的变量v的值。
atomic_read(atomic_t * v); 
 
  该函数设置原子类型的变量v的值为i。
atomic_set(atomic_t * v, int i); 
 
  该函数给原子类型的变量v增加值i。
void atomic_add(int i, atomic_t *v); 
 
  该函数从原子类型的变量v中减去i。
atomic_sub(int i, atomic_t *v);

  该函数从原子类型的变量v中减去i,并判断结果是否为0,如果为0,返回真,否则返回假。
int atomic_sub_and_test(int i, atomic_t *v);

  该函数对原子类型变量v原子地增加1。
void atomic_inc(atomic_t *v); 

  该函数对原子类型的变量v原子地减1。
void atomic_dec(atomic_t *v); 

  该函数对原子类型的变量v原子地减1,并判断结果是否为0,如果为0,返回真,否则返回假。
int atomic_dec_and_test(atomic_t *v);

  该函数对原子类型的变量v原子地增加1,并判断结果是否为0,如果为0,返回真,否则返回假。
int atomic_inc_and_test(atomic_t *v); 
 
  该函数对原子类型的变量v原子地增加I,并判断结果是否为负数,如果是,返回真,否则返回假。
int atomic_add_negative(int i, atomic_t *v);

  该函数对原子类型的变量v原子地增加i,并且返回指向v的指针。
int atomic_add_return(int i, atomic_t *v);

  该函数从原子类型的变量v中减去i,并且返回指向v的指针。
int atomic_sub_return(int i, atomic_t *v); 
 
  该函数对原子类型的变量v原子地增加1并且返回指向v的指针。
int atomic_inc_return(atomic_t * v); 
 
  该函数对原子类型的变量v原子地减1并且返回指向v的指针。
int atomic_dec_return(atomic_t * v); 
 
 
  原子操作通常用于实现资源的引用计数,在TCP/IP协议栈的IP碎片处理中,就使用了引用计数,碎片队列结构struct ipq描述了一个IP碎片,字段refcnt就是引用计数器,它的类型为atomic_t,当创建IP碎片时(在函数ip_frag_create中), 使用atomic_set函数把它设置为1,当引用该IP碎片时,就使用函数atomic_inc把引用计数加1。
  当不需要引用该IP碎片时,就使用函数ipq_put来释放该IP碎片,ipq_put使用函数atomic_dec_and_test把 引用计数减1并判断引用计数是否为0,如果是就释放IP碎片。函数ipq_kill把IP碎片从ipq队列中删除,并把该删除的IP碎片的引用计数减 1(通过使用函数atomic_dec实现

`atomic_t` 是 Linux 内核中用于保证操作原子性的一种数据类型。它主要用于实现无锁、原子性的整数操作,确保在多处理器环境下的线程安全。`atomic_t` 类型的操作通常是通过内联汇编或内核提供的原子操作接口实现的,这些操作保证了在执行过程中不会被中断。 以下是一些 `atomic_t` 的基本使用示例: 1. 初始化 `atomic_t` 变量: ```c atomic_t atomic_var; atomic_set(&atomic_var, 0); // 设置atomic_var的值为0 ``` 2. 原子性地增加 `atomic_t` 变量的值: ```c atomic_inc(&atomic_var); // 原子性地将atomic_var的值加1 ``` 3. 原子性地减少 `atomic_t` 变量的值: ```c atomic_dec(&atomic_var); // 原子性地将atomic_var的值减1 ``` 4. 原子性地添加一个给定的值到 `atomic_t` 变量: ```c atomic_add(5, &atomic_var); // 原子性地将atomic_var的值加5 ``` 5. 原子性地读取 `atomic_t` 变量的值: ```c int val = atomic_read(&atomic_var); ``` 6. 检查 `atomic_t` 变量的值,并在满足条件时减少它: ```c if (atomic_dec_and_test(&atomic_var)) { // 如果atomic_var的值在减1后为0,则执行此代码块 } ``` 7. 如果需要进行其他比较操作,可以使用如 `atomic_sub_and_test` 或 `atomic_add_negative` 等函数。 使用 `atomic_t` 的注意事项: - 只能使用内核提供的原子操作函数对 `atomic_t` 变量进行操作。 - 不要直接对 `atomic_t` 类型的变量进行普通的整数操作,否则可能会破坏原子性。 - 大多数的原子操作都返回一个值,这个值通常用于测试操作结果。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值