全局变量加/不加 volatile 的影响

经常在我参与的技术交流群中，会有一些讨论涉及一些看似”奇怪”的问题。而我注意到，其中有好几次问题都与全局变量的优化相关。

对于初学者来说，他们可能并不太关注编译器优化的功能。但对于经验丰富的工程师来说，掌握代码优化是一项必备的技能。

今天我们要讲的主题是关于代码优化中，特别是与volatile关键字在优化过程中发挥的作用相关的内容。

关键字 volatile 是什么？

“

volatile是一个类型修饰符（type specifier）。

volatile的作用是作为指令关键字，确保本条指令不会因编译器的优化而省略，且要求每次直接读值。

volatile变量是说这变量可能会被意想不到地改变，这样，编译器就不会去假设这个变量的值了。

—来自百度百科

”

volatile的定义，应该在（读书）学习时都看过无数遍，但我相信绝大部分人都没有深刻理解其中含义。

当你真正编程、开发项目之后，你就会进一步理解其中含义。

volatile关键字对编译器优化的影响

我们都知道编译器有优化代码的功能，我们常用的集成开发环境（Keil、 IAR等）都有优化选项。

如果不使用关键字 volatile 申明变量，则编译器可能会对变量的访问并生成非预期的代码或删除预期的功能。

1.何时使用volatile？

常见使用volatile声明的情况：

• 访问内存映射外设。
• 在多个线程之间共享全局变量。
• 在中断例程或信号处理程序中访问全局变量。

比如，在STM32代码中：

#define     __O     volatile             /*!
#define     __IO    volatile             /*!

浏览代码，你会发现，很多地方都使用了“__IO”，也就是volatile.

在跑系统的项目中，线程间共享的全局变量，建议都加上volatile关键字，这一点，很多人没有在意。

2.不使用volatile时可能出现的问题

如果未将变量用volatile声明，则编译器会假定其值不能在其定义的范围之外进行修改。

因此，编译器可能会执行不需要的优化。这可以通过多种方式表现出来：

• 在轮询硬件时，代码可能会陷入循环。
• 多线程代码可能会表现出奇怪的行为。
• 优化可能会导致删除实现故意时序延迟的代码。

举例：

自己写一个延时函数：

void Delay(int Cnt)
{
  int i;

  while(Cnt--)
  {
    i++;
    for(i=0; i

你在不同优化等级情况下，延时时间可能会不一样；

同样的代码，你在Keil 和 IAR环境下编译出来的延时时间也可能不一样。

当然，更深入的理解就会牵涉到汇编代码，编译之后的汇编代码会比较直观的呈现差异。

以上就是良许教程网为各位朋友分享的Linu系统相关内容。想要了解更多Linux相关知识记得关注公众号“良许Linux”，或扫描下方二维码进行关注，更多干货等着你 ！