volatile 关键字声明的变量 编译器对访问该变量的代码不再优化,从而可以提供对特殊地址的稳定访问
例如:
int i = 10;
int j = i; // 1
int k = i; // 2
1 编译器取出 i = 10 赋给j后 编译器会认为i无变化,不再从内存中将i取出而是直接赋给k
volatile int i = 10;
int j = i; // 1
int k = i; // 2
volatile关键字高诉编译器 i是随时可变的,每次使用它的时候必须从内存中取出i的值,因而编译器产生的汇编代码会重新从i的地址读取
i的值,放在k中
源自 : 陈正冲《c语言深度剖析》
在linu内核中的应用:
linu内核中的原子操作
所谓原子操作,就是该操作绝不会在执行完毕前被任何其他任务或事件打断,也就说,它的最小的执行单位,不可能有比它更小的执行单位,因此这里的原子实际是使用了物理学里的物质微粒的概念。
原子操作需要硬件的支持,因此是架构相关的,其API和原子类型的定义都定义在内核源码树的include/asm/atomic.h文件中,它们都使用汇编语言实现,因为C语言并不能实现这样的操作。
原子操作主要用于实现资源计数,很多引用计数(refcnt)就是通过原子操作实现的。原子类型定义如下:
typedef struct
{
volatile int counter;
}
atomic_t;
|
volatile修饰字段告诉gcc不要对该类型的数据做优化处理,对它的访问都是对内存的访问,而不是对寄存器的访问。