对于初学的读者来说,他们可能不太关心编译器优化的功能,但对于经验丰富的工程师来说,掌握代码优化是必不可少的技能。
今天我们要讲的话题是关于代码优化中关键字volatile的作用。
一、关键字volatile是什么
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”,或扫描下方二维码进行关注,更多干货等着你 !