atomic_t原子操作

所谓原子操作,就是该操作绝不会在执行完毕前被任何其他任务或事件打断,也就说,它的最小的执行单位,不可能有比它更小的执行单位,因此这里的原子实际是使用了物理学里的物质微粒的概念。
  原子操作需要硬件的支持,因此是架构相关的,其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实现)
该操作常用来条件变量如 wait_event(queue,condition)
static atomic_t IO_port_available = ATOMIC_INIT(1);
atomic_dec_and_test (&IO_port_available)
如果不满足条件,先要恢复:atomic_inc(&IO_port_available);
接着再拥塞并且判断if (wait_event_interruptible (IO_port_wait, atomic_read (&IO_port_available)))
判断是否结束拥塞
持有该原子操作的一方可进行如下操作:
atomic_inc(&IO_port_available); /* release the device */
wake_up_interruptible_sync(&IO_port_wait); /* awake other uid‘s */

时间: 2024-11-05 20:43:32

atomic_t原子操作的相关文章

原子操作和原子指令

引子 考虑如下的简单程序,全局变量x初始值为0: int x = 0; void thread1_func() { x++; print(x); } void thread2_func() { x++; print(x); } 程序输出 1 2 或 2 2很容易理解,但也有可能输出为1 1. Why? 原因便是x++不是原子操作,如果把它转为CPU指令形式,则很容易理解: (1) Load x (2) Inc x (3) Store x 当第一个线程运行完第一步时,第二个线程也运行到此,这时它们

Linux内核设计与实现 读书笔记

第三章 进程管理 1. fork系统调用从内核返回两次: 一次返回到子进程,一次返回到父进程 2. task_struct结构是用slab分配器分配的,2.6以前的是放在内核栈的栈底的:所有进程的task_struct连在一起组成了一个双向链表 3. 2.6内核的内核栈底放的是thread_info结构,其中有指向task_struct的指针: 4. current宏可以找到当前进程的task_struct:X86是通过先找到thread_info结构,而PPC是有专门的寄存器存当前task_s

原子操作&优化和内存屏障

原子操作 假定运行在两个CPU上的两个内核控制路径试图执行非原子操作同时"读-修改-写"同一存储器单元.首先,两个CPU都试图读同一单元,但是存储器仲裁器插手,只允许其中的一个访问而让另一个延迟.然而,当第一个读操作已经完成后,延迟的CPU从那个存储器单元正好读到同一个(旧)值.然后,两个CPU都试图向那个存储器单元写一新值,总线存储器访问再一次被存储器仲裁器串行化,最终,两个写操作都成功.但是,全局的结果是不对的,因为两个CPU写入同一(新)值.因此,两个交错的"读-修改-

原子操作(atomic operation)

深入分析Volatile的实现原理 引言 在多线程并发编程中synchronized和Volatile都扮演着重要的角色,Volatile是轻量级的synchronized,它在多处理器开发中保证了共享变量的"可见性".可见性的意思是当一个线程修改一个共享变量时,另外一个线程能读到这个修改的值. 它在某些情况下比synchronized的开销更小,本文将深入分析在硬件层面上Inter处理器是如何实现Volatile的,通过深入分析能帮助我们正确的使用Volatile变量. 术语定义 术

原子操作--ARM架构

说明:内核版本号为3.10.101 一.ARM架构中的原子操作实现 在原子操作(一)中我们已经提到,各个架构组织为“复仇者”联盟,统一了基本的原子变量操作,这里我们就拿atomic_dec(v)来看看通天ARM的实现. 首先是atomic_dec(v)原子减一操作的宏定义.这个宏的定义在文件arch/arm/include/asm/atomic.h中: #define atomic_dec(v) atomic_sub(1, v) 对于ARM架构不同的版本,stomic_sub(i,v)的实现是不

Linux内核同步原语之原子操作

避免对同一数据的并发访问(通常由中断.对称多处理器.内核抢占等引起)称为同步. --题记 内核源码:Linux-2.6.38.8.tar.bz2 目标平台:ARM体系结构 原子操作确保对同一数据的"读取-修改-写入"操作在它的执行期间不会被打断,要么全部执行完成,要么根本不会执行.例如在ARM上对全局变量的++运算至少要经历以下三步: [cpp] view plain copy print? ldr r3, [r3, #0] add r2, r3, #1 str r2, [r3, #0

linux 原子操作

原子操作 原子操作,顾名思义,就是说像原子一样不可再细分不可被中途打断.一个操作是原子操作,意思就是说这个操作是以原子的方式被执行,要一口气执行完,执行过程不能够被OS的其他行为打断,是一个整体的过程,在其执行过程中,OS的其它行为是插不进来的. 在linux中提供了两种形式的原子操作:    一种是对整数进行的操作    一种是对单独的位进行操作 在linux中有一个专门的atomic_t类型(一个24位原子访问计数器)和一些对atomic类型变量进行相应操作的的函数其atomic_t原型如下

linux内核同步之每CPU变量、原子操作、内存屏障、自旋锁【转】

转自:http://blog.csdn.net/goodluckwhh/article/details/9005585 版权声明:本文为博主原创文章,未经博主允许不得转载. 目录(?)[-] 一每CPU变量 二原子操作 三优化和内存屏障 四自旋锁 自旋锁 自旋锁的数据结构和宏函数 读写自旋锁 读写自旋锁的相关函数 linux内核中的各种“任务”都能看到内核地址空间,因而它们之间也需要同步和互斥.linux内核支持的同步/互斥手段包括: 技术 功能 作用范围 每CPU变量 为每个CPU复制一份数据

linux系统原子操作

一.概念 原子操作提供了指令原子执行,中间没有中断.就像原子被认为是不可分割颗粒一样,原子操作(atomic operation)是不可分割的操作.      c语言中一个变量的自加1操作,看起来很简单,好像只需要一条指令而不被打断.但这个操作实现起来,CPU的执行是有一个过程的,分为读取到寄存器,寄存器数学运算,回写到内存.这个实际情况,会给我们程序编写时带来隐患,举例来说明. Thread 1                  Thread 2      ------------------