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

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

目前成都创新互联已为近1000家的企业提供了网站建设、域名、网站空间成都网站托管、企业网站设计、沈北新网站维护等服务,公司将坚持客户导向、应用为本的策略,正道将秉承"和谐、参与、激情"的文化,与客户和合作伙伴齐心协力一起成长,共同发展。

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

一、关键字 volatile 是什么?

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

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

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

---来自百度百科

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

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

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

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

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

1.何时使用volatile?

常见使用volatile声明的情况:

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

比如,在STM32代码中:

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

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

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

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

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

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

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

举例:

自己写一个延时函数:

   
 
 
 
  1. void Delay(int Cnt)
  2. {
  3.   int i;
  4.   while(Cnt--)
  5.   {
  6.     i++;
  7.     for(i=0; i<10; i++);
  8.   }
  9. }

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

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

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

责任编辑:庞桂玉
来源: C语言与C++编程 C语言 编程语言

本文名称:C语言volatile关键字在编译优化过程中有何作用
分享路径:http://www.csdahua.cn/qtweb/news48/403948.html

网站建设、网络推广公司-快上网,是专注品牌与效果的网站制作,网络营销seo公司;服务项目有等

广告

声明:本网站发布的内容(图片、视频和文字)以用户投稿、用户转载内容为主,如果涉及侵权请尽快告知,我们将会在第一时间删除。文章观点不代表本网站立场,如需处理请联系客服。电话:028-86922220;邮箱:631063699@qq.com。内容未经允许不得转载,或转载时需注明来源: 快上网