所谓原子操作,就是该操作绝不会在执行完毕前被任何其他任务或事件打断,也就说,它的最小的执行单位,不可能有比它更小的执行单位。因此这里的原子实际是使用了物理学里的物质微粒的概念。
原子操作需要硬件的支持,因此是架构相关的,其API和原子类型的定义都定义在内核源码树的include/asm/atomic.h文件中,它们都使用汇编语言实现,因为C语言并不能实现这样的操作。
原子操作主要用于实现资源计数,很多引用计数(refcnt)就是通过原子操作实现的。原子类型定义如下:
typedef struct
{
volatile int counter;
}
atomic_t;
volatile修饰字段告诉gcc不要对该类型的数据做优化处理,对它的访问都是对内存的访问,而不是对寄存器的访问。
Linux中的基本原子操作
宏或者函数 |
说明 |
Atomic_read |
返回原子变量的值 |
Atomic_set |
设置原子变量的值。 |
Atomic_add |
原子的递增计数的值。 |
Atomic_sub |
原子的递减计数的值。 |
atomic_cmpxchg |
原子比较并交换计数值。 |
atomic_clear_mask |
原子的清除掩码。 |
除此以外,还有一组操作64位原子变量的变体,以及一些位操作宏及函数。这里不再罗列。
/**
* 返回原子变量的值。
* 这里强制将counter转换为volatile int并取其值。目的就是为了避免编译优化。
*/
#define atomic_read(v) (*(volatile int *)&(v)->counter)
/**
* 设置原子变量的值。
*/
#define atomic_set(v,i) (((v)->counter) = (i))