C语言拾遗-C语言关键字-volatile

摘要：volatile提醒编译器它后面所定义的变量随时都有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，都会直接从变量地址中读取数据。如果没有volatile关键字，则编译器可能优化读取和存储，可能暂时使用寄存器中的值，如果这个变量由别的程序更新了的话，将出现不一致的现象。

volatile

1 编译器优化介绍：

由于内存访问速度远不及CPU处理速度，为提高机器整体性能，在硬件上引入硬件高速缓存Cache，加速对内存的访问。另外在现代CPU中指令的执行并不一定严格按照顺序执行，没有相关性的指令可以乱序执行，以充分利用CPU的指令流水线，提高执行速度。以上是硬件级别的优化。再看软件一级的优化：一种是在编写代码时由程序员优化，另一种是由编译器进行优化。编译器优化常用的方法有：将内存变量缓存到寄存器；调整指令顺序充分利用CPU指令流水线，常见的是重新排序读写指令。对常规内存进行优化的时候，这些优化是透明的，而且效率很好。由编译器优化或者硬件重新排序引起的问题的解决办法是在从硬件（或者其他处理器）的角度看必须以特定顺序执行的操作之间设置内存屏障（memory barrier），Linux提供了一个宏解决编译器的执行顺序问题。

void Barrier(void)

这个函数通知编译器插入一个内存屏障，但对硬件无效，编译后的代码会把当前CPU寄存器中的所有修改过的数值存入内存，需要这些数据的时候再重新从内存中读出。

2.volatile总是与优化有关，编译器有一种技术叫做数据流分析，分析程序中的变量在哪里赋值、在哪里使用、在哪里失效，分析结果可以用于常量合并，常量传播等优化，进一步可以消除一些代码。但有时这些优化不是程序所需要的，这时可以用volatile关键字禁止做这些优化。

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关键字。

volatile使用场合

只要变量可能被意外的修改，就需要把该变量声明为volatile。实际应用中，只有三种类型数据可能被修改。

1. 外设寄存器地址映射
2. 在中断服务程序中修改全局变量
3. 在多线程、多任务应用中，全局变量被多个任务读写

我们将分别讨论上述三种情况。

外设寄存器

嵌入式系统包含真正的硬件，通常会有复杂的外设。这些外设寄存器的值可能被异步的修改。举个简单的例子，我们要把一个8-bit状态寄存器的地址映射到0x1234.在程序中循环查看该状态寄存器的值是否变为非0. 下面是最容易想到，但错误的实现方法

当你打开编译器优化时，程序总是执行失败。因为编译器会生成下面的汇编代码：

程序被优化的原因很简单，既然已经把变量的值读入累加器，就没有必要重新一遍，编译器认为值是不会变化的。就这样，在第三行，程序进入了无限死循环。为了告诉编译器我们的真正意图，我们需要修改函数的声明：

编译器生成的汇编代码：

像这样，我们得到了正确的动作。

中断服务程序

在中断服务程序中，经常会修改一些全局变量值，来作为主程序中的判断条件。例如，在串口中断服务程序中，可能会检测是否接收到了ETX(假如是消息的结束标识符)字符。如果接收到了ETX，ISR设置一个全局标志位。

错误的做法：

在关闭编译器优化的情况下，程序可能执行正常。然而，任何像样点而优化都会“break”这段程序。问题是编译器并不知道etx_rcvd可能被ISR中被修改。编译器只知道，表达式!ext_rcvd始终为真，你讲用于无法退出循环。结果，循环后面的代码可能被编译器优化掉。幸运的话，你的编译器可能会发出警告;不幸的话，(或者你不认真的查看编译器警告)，你的程序无法正常执行。当然，你可以责怪编译器执行了“糟糕的优化”。

解决方式是，将变量etx_rcvd声明为volatile，所有问题(当然，也可能是部分)就消失了。

多线程应用

在实时系统中，尽管有想queues,pipes等这些同步机制，使用全局变量实现两个任务共享信息的做法依然很常见。即使在你的程序中加入了抢占式调度器，你的编译器依然无法知道什么是上下文切换，或何时发生上下文切换。因此，从概念上讲，多任务修改全局变量的的做法与中断服务程序中修改全局变量的做法是相同的。因此，所有这类全局变量都应该声明为volatile。例如，下面的程序

当打开编译器优化时，这段程序可能执行失败。解决方法是将cntr声明为volatile。

参考链接

https://www.sohu.com/a/151096625_777180
https://www.cnblogs.com/fnlingnzb-learner/p/6380673.html
https://www.cnblogs.com/OpenCoder/p/7723825.html