用volatile关键字防止变量被编译器优化

转载 2011年10月18日 14:21:45

2010-02-04 11:18

volatile 是在C ,C++,Java等中语言中的一种修饰关键字。
这个关键字在嵌入式系统中,是一个非常重要的一个使用。尽管在一般的Application中,可能很多人都不需要使用这个。但是在单片机中,如果不熟悉这个关键字,很有可能产生想像不到的意外。
那么,我就来谈谈Volatile的意义--

volatile在ANSI C(C89)以后的C标准规格和const一起被包含在内。在标准C中,这些关键字是必定存在的。

关于volatile的意义,根据标准C的定义、

    volatile的目的是,避免进行默认的优化处理.比如说对于编译器优化的功能,如果从编译器看来,有些多余的代码的话,编译器就会启动优化程序,并删除一些代码,但是这在嵌入式系统中很有可能是关键性的处理,必须不能保证被编译器删掉,所以提供了Volitile来声明,告诉编译器无论如何都不要删掉我。

举个例子--
■比如说下面条件的一段代码

extern int event_flag

void poll_event()
{
while (event_flag == 0) {
    /* 不操作event_flag */
    ....
}
....
}

我们不再循环中改变这里的event_flag的值,这样的话,event_flag 看起来就像是多余的,因此单片机编译器可能把此程序看为下段程序

void poll_event()
{
if (event_flag == 0) {
    while (1) {
      /* 不对event_flag操作 */
    ....
    }
}
....
}

对于一般的编译器,一般都会把程序优化成上述程序。
这样的优化确实可以提高代码速度,比如while循环中不再需要对条件的判断,所以很快,但是这是正确的吗?

对于单线程的程序,这是没有问题的,因为event_flag 就永远不会改变,但是对于多线程程序,RTOS的多任务处理的话,event_flag 的值可能被其他线程改变,这样问题就来了,因为被优化的代码并不具备对用event_flag 变化的能力。因此导致错误的意想不到的结果,如果此代码在ECU上执行的话,那我们的小命可就有可能没了。。。。

为了避免这种情况,我们使用volatile关键字来防止程序被编译器优化。具体的使用方法,我们用下面的程序来说明’

extern volatile int event_flag

这样声明event_flag全局变量的话,就不用担心event_flag 被优化掉,程序将按照设计来运行。
■还有一个例子
对于条件分歧以外,还有一下的例子

extern int* p_regster1;
extern int* p_regster2;

void set_regester2(int val)
{
/*在单片机中,必须进行的设定*/
*p_register1 = 1;
*p_register2 = 0;
*p_register2 = val;
*p_register1 = 0;
}

您可能看到p_register1 被赋值两次,还有p_register2也是,编译器认为,你怎么这么笨,定义两次,于是就把成程序优化为下面

void set_regester2(int val)
{
*p_register2 = val;
*p_register1 = 0;
}
这样的话,我们所规定的程序没有办法设置,可能导致一些想不到的问题。
为了回避这个问题,我们必须用Volitile来避免这个问题

extern volitile int* p_regster1;
extern volitile int* p_regster2;

现在单片机的编译器越来越先进,在很多地方,我们不再需要直接写汇编代码,但是在如果对编译器的优化程序没有深刻的理解,像上面的问题,就很危险,因为嵌入式工作在无人的环境中,因此对于编译器的理解,还有要需要一定程序的学习。

最后希望您能通过本文了解Volitile的基本使用。 如果有什么错误的地方,恳请您的指出。

防止表单重复提交-php开发网站

年会员免费学习。防止表单重复提交是恒老师《电商网站开发》视频教程的一个实战模块。详细讲解了用php进行防止表单重复提交。内容包含前端防止方法,让提交按钮不可用,后台php防止策略等等。欢迎反馈,微信号QQ68183131。怎么成为年会员见右侧
  • 2017年03月20日 10:38

详解C语言volatile关键字(禁止编译器优化-原地址读取)

volatile提醒编译器它后面所定义的变量随时都有可能改变,因此编译后的程序每次需要存储或读取这个变量的时候,都会直接从变量地址中读取数据。如果没有volatile关键字,则编译器可能优化读取和存储...
  • shaozhanyu
  • shaozhanyu
  • 2013-10-23 16:44:46
  • 2108

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

http://www.cnblogs.com/yc_sunniwell/archive/2010/07/14/1777432.html 1. 为什么用volatile?     C/C...
  • me4weizhen
  • me4weizhen
  • 2016-05-11 19:28:57
  • 1684

C++中volatile及编译器优化

修饰符volatile定义了一个“易变的、不稳定的、随时可能改变的”变量,对于被声明为volatile的变量的使用上跟普通的变量没有什么区别,最大的影响,就是编译器不能按照常规方式对其进行优化。 这就...
  • dcrmg
  • dcrmg
  • 2016-07-19 21:39:30
  • 2161

volatile 与 synchronized 区别

在Java中,为了保证多线程读写数据时保证数据的一致性,可以采用两种方式: 同步 如用synchronized关键字,或者使用锁对象. volatile 使用volatile关...
  • x2145637
  • x2145637
  • 2017-03-12 13:24:24
  • 226

volatile关键字的作用:防止变量被编译器优化

volatile关键字是一种类型修饰符,用它声明的类型变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。 精确地说就是,优化器在用到这个变量时必须每次都小心地重新读取这个...
  • lk07828
  • lk07828
  • 2015-01-07 17:13:43
  • 495

java-Transient关键字、Volatile关键字介绍和序列化、反序列化机制、单例类序列化

- Transient关键字 Java的serialization提供了一种持久化对象实例的机制。当持久化对象时,可能有一个特殊的对象数据成员,我们不想 用serialization机制来保...
  • u010156024
  • u010156024
  • 2015-09-14 18:52:19
  • 3780

C++中有关volatile关键字的作用--阻止编译器将其变量优化缓存到寄存器(和线程相关)(转自百度)

       就象大家更熟悉的const一样,volatile是一个类型修饰符(type specifier)。       它是被设计用来修饰被不同线程访问和修改的变量。       如果没...
  • roynee
  • roynee
  • 2009-06-19 00:40:00
  • 2433

一个关于防止编译器优化特定代码的问题

问题描述(为简化问题,设想的以下代码): 有1个全局变量: int a = 0; 2个线程: A线程负责对a进行写: while (1)     a++; B线程负责对a...
  • u012187684
  • u012187684
  • 2014-03-04 20:43:42
  • 922

volatile关键字作用与内存可见性、指令重排序概述[JAVA]

在理解volotile关键字的作用之前,先粗略解释下内存可见性与指令重排序。1. 内存可见性Java内存模型规定,对于多个线程共享的变量,存储在主内存当中,每个线程都有自己独立的工作内存,并且线程只能...
  • t894690230
  • t894690230
  • 2016-01-27 14:16:34
  • 2943
收藏助手
不良信息举报
您举报文章:用volatile关键字防止变量被编译器优化
举报原因:
原因补充:

(最多只允许输入30个字)