首页/文章/ 详情

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

8号线攻城狮

3年前浏览180

作者 | strongerHuang

微信公众号 | strongerHuang

经常会看到我的技术交流群在讨论一些“奇怪”的问题，其中有好几次我都发现是他们全局变量“惹的祸”，问题就是全局变量被优化导致的。

可能初学者不怎么关心编译器优化的功能，但对于经验丰富的工程师来说，掌握代码优化是必备技能。

今天讲述的话题就是关于代码优化中，关键字volatile在优化过程中起到的作用。

关键字 volatile 是什么？

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

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

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

---来自百度百科

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

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

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

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

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

1.何时使用volatile？

常见使用volatile声明的情况：

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

比如，在STM32代码中：

  #define     __O     volatile             /*!< Defines 'write only' permissions */#define     __IO    volatile             /*!< Defines 'read / write' permissions */

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

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

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

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

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

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

举例：

自己写一个延时函数：

  void Delay(int Cnt){  int i;
  while(Cnt--)  {    i++;    for(i=0; i<10; i++);  }}

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

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

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

声明：

本号对所有原创、转载文章的陈述与观点均保持中立，推送文章仅供读者学习和交流。文章、图片等版权归原作者享有，如有侵权，联系删除。

—— The End ——

来源：8号线攻城狮

电路

著作权归作者所有，欢迎分享，未经许可，不得转载

首次发布时间：2023-06-08

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

声明： 本号对所有原创、转载文章的陈述与观点均保持中立，推送文章仅供读者学习和交流。文章、图片等版权归原作者享有，如有侵权，联系删除。

—— The End ——

声明：

本号对所有原创、转载文章的陈述与观点均保持中立，推送文章仅供读者学习和交流。文章、图片等版权归原作者享有，如有侵权，联系删除。