单片机编程时为啥 volatile 至关重要?
来源:嵌入式专栏 发布时间:2024-08-22 分享至微信


作者 | strongerHuang

微信公众号|strongerHuang


根据这么多年开发的经验,以及交流群各位网友的反馈,单片机出现bug的时候,有很大一部分情况都是“代码被优化”导致的,也就是编译器开启了编译优化。

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

什么是volatile?

volatile是一个类型修饰符(type specifier)。

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

volatile变量是说这变量可能会被意想不到地改变,这样,编译器就不会去假设这个变量的值了。
‍‍---来自百度百科

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

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

哪些场合会用到volatile关键字


当你理解 volatile关键字的含义之后,你就能明白,其实很多场合都能用到 volatile关键字。

1.全局变量
单片机开发,难免会用到全局变量。一些初级工程师,更是全局变量满天飞。这种情况下,使用volatile关键字也许能减少代码bug率。

2.寄存器
单片机开发,寄存器添加volatile关键字应该是必须的,如果你平时有仔细观察,正规一点的【库】都会添加volatile关键字。

具体细分的话,代码里面有很多地方都会用到volatile关键字。

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


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


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

1.何时使用volatile?
常见使用volatile声明的情况:
  • 访问内存映射外设。
  • 在多个线程之间共享全局变量。
  • 在中断例程或信号处理程序中访问全局变量。

比如,在STM32代码中:
#define __O volatile /*!< Defines 'write only' permissions */#define__IOvolatile/*!<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环境下编译出来的延时时间也可能不一样。

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


[ 新闻来源:嵌入式专栏,更多精彩资讯请下载icspec App。如对本稿件有异议,请联系微信客服specltkj]
存入云盘 收藏
举报
全部评论

暂无评论哦,快来评论一下吧!