说到volatile关键字,首先需要从编译器优化开始说起。
1. 编译器优化
我们知道内存的访问速度是比不上CPU的处理速度的,为了提高性能,一般可以做出以下面两方面优化:
-
硬件方面:引入高速缓存Cache,加速对内存的访问。另外现代CPU指令执行不一定严格按照顺序执行,没有相关性的执行可以乱执行,以充分利用CPU的指令流水线,提高执行速度。
-
软件级的优化:一种是由编写代码的程序员优化,另一种是由编译器进行优化。编译器优化方法有:将内存变量缓存到寄存器中。
由于访问寄存器比访问内存快得多,编译器在存取变量时为了提高存储速度,编译器优化有时会先把变量读到一个寄存器中,之后再取变量的值就直接从寄存器中取。但是在一些情况下就会读取到脏数据(如:多线程、中断),影响程序的运行结果。
2. volatile 关键字
2.1 原理
volatile
翻译后意思是“易变的”,应该解释为“直接存取原始内存地址”比较合适。 “易变”是因为外在因素引起的,像多线程、中断等。
某C语言书籍这么定义volatile关键字:volatile关键字告诉编译器该变量随时都有可能改变,因此编译后的程序每次需要读取或修改这个变量时,不对该变量做优化,直接从变量的内存中读取数据,从而可以提供对特数地址的稳定访问。如果没有volatile关键字,则编译器可能优化存储,可能会使用寄存器中的值,如果这个变量在一些特殊情况下被更新了,就会出现数据不一致现象。
2.2 用途
volatile
一般用在以下几种情况:
-
中断服务程序中修改的供其他程序使用的变量,需要加volatile。
当变量在触发某中断程序中修改,编译器在主函数中没有修改该变量,而是从该寄存器中读取变量副本。
-
多任务环境下各任务间共享的标志,应该加volatile。
本线程中,读取一个变量,编译器优化会先把变量读取到一个寄存器中。以后就从寄存器中取值,当别的线程改变了内存变量,寄存器变量没有改变,是的程序读到的值和实际的变量值不一致。
-
存储器映射的硬件寄存器通常也需要加volatile说明,因为每次对它读写都可能有不同意义。
假设要对一个设备进行初始化,该设备某一个寄存器为
0xff800000
。for(i=0;i< 10;i++) *output = i;
前面循环半天都是废话,对最后的结果毫无影响,因为最终只是将output这个指针赋值为9,省略了对该硬件IO端口反复读的操作。
2.3 其他问题
-
一个参数既可以是const还可以是volatile吗?
可以。例如只读的状态寄存器。它是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。
-
一个指针可以是volatile 吗?
可以。当一个中服务子程序修改一个指向buffer的指针时。
-
频繁地使用volatile很可能会增加代码尺寸和降低性能,因此要合理的使用volatile。