C语言 volatile 关键字在编译优化过程中有何作用

Posted C语言与C++编程

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了C语言 volatile 关键字在编译优化过程中有何作用相关的知识,希望对你有一定的参考价值。


来自公众号: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环境下编译出来的延时时间也可能不一样。


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


●输入m获取文章

C语言与C++编程

分享C/C++技术文章

以上是关于C语言 volatile 关键字在编译优化过程中有何作用的主要内容,如果未能解决你的问题,请参考以下文章

C语言之volatile关键字

volatile关键字。编译器不优化,多线程会改。防止随时变动的

C语言中volatile在啥情况下使用

C语言关键词volatile的用法

详解C中volatile关键字

C语言中的关键字volatile