volatile关键字的意思为易变的,提醒编译器从变量地址中读取数据,而不是有时优化为暂时使用寄存器中的值。如果变量由别的程序或函数更新,特别是在中断中修改的话,编译器很可能会优化变量,将出现不一致的现象。
比如说在中断中修改一个变量的值,但中断什么时候触发编译器并不知道,那编译器就会以为那段代码不会执行,从而优化掉。那volatile就告诉编译器这个变量是易变的,不要优化它。
指令重排序的概念:
static int num = 0;
线程1:
num = 2;
ready = true;
线程2:
if (ready)
printf("%d",num);
-----------------------------------
在两个线程中,是没有数据依赖性的,可能线程1的执行顺序会变为
ready = true;
num = 2;
就会导致线程2输出默认的0
而加volatile关键字后,会在写操作后加store屏障指令,读操作前加入load屏障,防止指令重排序总结:
- 中断服务程序中修改的供其它程序检测的变量需要加volatile;
- 多任务环境下各任务间共享的标志应该加volatile;
- 存储器映射的硬件寄存器通常也要加volatile说明,因为每次对它的读写都可能有不同意义;