-
volatile关键字是防止在共享的空间发生读取的错误。只保证其可见性，不保证原子性；使用volatile指每次从内存中读取数据，而不是从编译器优化后的缓存中读取数据，简单来讲就是防止编译器优化。
-
在单任务环境中，如果在两次读取变量之间不改变变量的值，编译器就会发生优化，会将RAM中的值赋值到寄存器中；由于访问寄存器的效率要高于RAM，所以在需要读取变量时，直接寄存器中获取变量的值，而不是从RAM中。
-
在多任务环境中，虽然在两次读取变量之间不改变变量的值，在一些情况下变量的值还是会发生改变，比如在发生中断程序或者有其他的线程。这时候如果编译器优化，依旧从寄存器中获取变量的值，修改的值就得不到及时的响应(在RAM还未将新的值赋值给寄存器，就已经获取到寄存器的值)。
-
要想防止编译器优化，就需要在声明变量时加volatile关键字，加关键字后，就在RAM中读取变量的值，而不是直接在寄存器中取值。
许多程序员都无法正确理解C语言关键字volatile，这并不奇怪。因为大多数C语言书籍通常都是一两句一带而过，本文将告诉你如何正确使用它。
在C/C++嵌入式代码中，你是否经历过以下情况：
代码执行正常–直到你打开了编译器优化
代码执行正常–直到打开了中断
古怪的硬件驱动
RTOS的任务独立运行正常–直到生成了其他任务
如果你的回答是“yes”，很有可能你没有使用C语言关键字volatile。你并不是唯一的，很多程序员都不能正确使用volatile。不幸的是，大多数c语言书籍对volatile的藐视，只是简单地一带而过。
volatile用于声明变量时的使用的限定符。它告诉编译器该变量值可能随时发生变化，且这种变化并不是代码引起的。给编译器这个暗示是很重要的。在开始前，我们向来看一看volatile的语法。
C语言关键字volatile语法
声明一个变量为volatile，可以在数据类型之前或之后加上关键字volatile。下面的语句，把foo声明一个volatile的整型。
volatile int foo;
int volatile foo;
把指针指向的变量声明为volatile很常见，尤其是I/O寄存器的地址映射。下面的语句，把pReg声明为一个指向8-bit无符号指针，指针指向的内容为volatile。
volatile uint8_t * pReg;
uint8_t volatile * pReg;
volatile的指针指向非volatile的变量很少见（我只使用过一次），但我还是给出相应的语法。
int * volatile p;
最后，如果你再struct或者union前使用volatile关键字，表明struct或者union的所有内容都是volatile。如果这不是你的本意，可以在struct或者union成员上使用volatile关键字。
正确使用C语言关键字volatile
只要变量可能被意外的修改，就需要把该变量声明为volatile。在实际应用中，只有三种类型数据可能被修改：
外设寄存器地址映射
在中断服务程序中修改全局变量
在多线程、多任务应用中，全局变量被多个任务读写
接下来，我们将分别讨论上述三种情况。
外设寄存器
嵌入式系统包含真正的硬件，通常会有复杂的外设。这些外设寄存器的值可能被异步的修改。举个简单的例子，我们要把一个8-bit状态寄存器的地址映射到0x1234。在程序中循环查看该状态寄存器的值是否变为非0。
下面是最容易想到，但错误的实现方法：
uint8_t *pReg = (uint_t *)0x1234;
//wait for register to become non-zer
while(*pReg == 0){} // do something else
当你打开编译器优化时，程序总是执行失败。因为编译器会生成下面的汇编代码：
mov ptr, #0x1234
mov a, @ptr
loop:
bz loop
程序被优化的原因很简单，既然已经把变量的值读入累加器，就没有必要重新一遍，编译器认为值是不会变化的。就这样，在第三行，程序进入了无限死循环。为了告诉编译器我们的真正意图，我们需要修改函数的声明：
uint8_t volatile *pReg =(uint8_t * volatile *)0x1234;
编译器生成的汇编代码：
mov ptr, #0x1234
loop:
mov a, &ptr
bz loop
像这样，我们得到了正确的动作。
中断服务程序
在中断服务程序中，经常会修改一些全局变量值，来作为主程序中的判断条件。例如，在串口中断服务程序中，可能会检测是否接收到了ETX（假如是消息的结束标识符）字符。如果接收到了ETX，ISR设置一个全局标志位。
错误的做法：
int etx_rcvd = FALSE;
void main()
{
...
while(!ext_rcvd){
//wait
}
...
}
interrupt void rx_isr(void)
{
...
if(ETX == rx_char){
etx_rcvd = TRUE;
}
...
}
在关闭编译器优化的情况下，程序可能执行正常。然而，任何像样点而优化都会“break”这段程序。问题是编译器并不知道etx_rcvd可能被ISR中被修改。编译器只知道，表达式!ext_rcvd始终为真，你讲用于无法退出循环。结果，循环后面的代码可能被编译器优化掉。
幸运的话，你的编译器可能会发出警告；不幸的话，(或者你不认真的查看编译器警告)，你的程序无法正常执行。当然，你可以责怪编译器执行了“糟糕的优化”。
解决方式是，将变量etx_rcvd声明为volatile，所有问题（当然，也可能是部分问题）就消失了。
多线程应用
在实时系统中，尽管有想queues,pipes等这些同步机制，使用全局变量实现两个任务共享信息的做法依然很常见。即使在你的程序中加入了抢占式调度器，你的编译器依然无法知道什么是上下文切换，或何时发生上下文切换。因此从概念上讲，多任务修改全局变量的的做法与中断服务程序中修改全局变量的做法是相同的。因此，所有这类全局变量都应该声明为volatile。
例如下面的程序：
int etx_rcvd = FALSE;
void main()
{
...
while(!ext_rcvd){
// wait
}
...
}
interrupt void rx_isr(void)
{
...
if(ETX = rx_char){
ext_rcvd = TRUE;
}
...
}
网友评论