首先看一下单词“volatile”的释义:

volatile [ˈvɑlətl]

adj.  易变的,不稳定的; (液体或油)易挥发的; 爆炸性的; 快活的,轻快的;

下边是“C++ Primer”对volatile讲解的部分摘录:

“当一个对象的值可能会在编译器的控制或监测之外被改变时,该对象应该声明为volatile。因此,编译器执行的某些例行优化行为不能应用在已经指定为volatile的对象上……volatile修饰符的主要目的是提示编译器,该对象的值可能在编译器未监测到的情况下被改变。因此编译器不能武断地对引用这些对象的代码作优化处理。”

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

这就引入了两个问题:

编译器为何对访问变量的方式做优化以及如何优化?

编译器为何优化:

首先有这么个前提明确一下:编译器对变量的存取速度,寄存器快于内存,最慢是硬盘。

寄存器快于内存的主要原因体现在两者工作方式的差别上:

寄存器本身位于CPU内部,使用起来非常简单:第一,找到相关的位,第二,读取这些位,Over。

相比之下,内存的工作方式就复杂很多:

1.找到数据的指针(指针可能存放在寄存器内,所以这一步就已经包括寄存器的全部工作了。)

2.将指针送往内存管理单元(MMU),由MMU将虚拟的内存地址翻译成实际的物理地址。

3.将物理地址送往内存控制器(memory
controller),由内存控制器找出该地址在哪一根内存插槽(bank)上。

4.确定数据在哪一个内存块(chunk)上,从该块读取数据。

5.数据先送回内存控制器,再送回CPU,然后开始使用。

相对复杂的工作流程产生了更多的时延,累计起来就比寄存器慢很多,为了提高执行效率,编译器会对有必要优化的变量做访问方式上的处理,这就是编译器对变量的优化。

如何优化:

多数情况下,变量是存放在内存而非寄存器中的,这样对变量的存取效率很低。对于频繁使用的变量,编译器自动地把变量mov到寄存器里,使用的时候直接访问寄存器里的值,以加快存取速度,这就是寄存器对变量的优化。

早期C编译程序时不会把变量保存在寄存器中,除非显示使用关键字register修饰变量:

register long int value=123456789;

该关键字提醒编译器,所定义的变量会在程序中频繁被使用,建议编译器将其保存在CPU的寄存器中,以加快存取速度。其后随着编译技术的进步,编译器比程序员能更好的决定变量是应该存储在内存还是寄存器中,早在C++ 98/03标准中就明确,用register关键字声明的变量和不使用该关键字声明的变量一样,都具有自动存储期,现在在标准C++中,虽然还可以使用该关键字,但已经不再影响变量的实际定义。

对于被volatile 关键字修饰的变量,已经提前告知编译器该变量可能被某些编译器未知的因素更改,比如:操作系统、硬件或者其它线程等。遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问,也就是说系统总是从它所在的内存地址读取数据,而非寄存器,并且使用完成之后立即按原路保存该变量的更改到内存。

volatile用法

volatile的用法跟关键字const用法一样
<pre name="code" class="cpp">volatile long clock_register;

被volatile修饰的变量表示该变量会在意想不到的情况下改变,而const修饰的变量表示变量是不可改变的,那么一个变量能否同时使用volatile和const修饰呢?

volatile const long clock_register;
const volatile long clock-register;

答案是肯定的,一个例子是只读的状态寄存器,用volatile修饰表示它可能会被意想不到的情况改变,这里是指编译器外部的情况,用const修饰表示在程序内部,不应该试图去人为修改它的值。


C++中volatile及编译器优化的更多相关文章

  1. Visual C++中的编译器优化

    博客搬到了fresky.github.io - Dawei XU,请各位看官挪步.最新的一篇是:Visual C++中的编译器优化.

  2. 【转】C 编译器优化过程中的 Bug

    C 编译器优化过程中的 Bug 一个朋友向我指出一个最近他们发现的 GCC 编译器优化过程(加上 -O3 选项)里的 bug,导致他们的产品出现非常诡异的行为.这使我想起以前见过的一个 GCC bug ...

  3. Xcode4.4(LLVM4.0编译器)中NSArray, NSDictionary, NSNumber优化写法

    Xcode4.4(LLVM4.0编译器)中NSArray, NSDictionary, NSNumber优化写法 从xcode4.4开始,LLVM4.0编译器为Objective-C添加一些新的特性. ...

  4. C#编译器优化那点事 c# 如果一个对象的值为null,那么它调用扩展方法时为甚么不报错 webAPI 控制器(Controller)太多怎么办? .NET MVC项目设置包含Areas中的页面为默认启动页 (五)Net Core使用静态文件 学习ASP.NET Core Razor 编程系列八——并发处理

    C#编译器优化那点事   使用C#编写程序,给最终用户的程序,是需要使用release配置的,而release配置和debug配置,有一个关键区别,就是release的编译器优化默认是启用的.优化代码 ...

  5. C++ 中 volatile 的使用

    一.作用 volatile的作用是: 作为指令关键字,确保本条指令不会因编译器的优化而省略,且要求每次直接读值. 简单地说就是防止编译器对代码进行优化.比如如下程序:XBYTE[2]=0x55;XBY ...

  6. Java中Volatile关键字详解

    一.基本概念 先补充一下概念:Java并发中的可见性与原子性 可见性: 可见性是一种复杂的属性,因为可见性中的错误总是会违背我们的直觉.通常,我们无法确保执行读操作的线程能适时地看到其他线程写入的值, ...

  7. 详解C中volatile关键字

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

  8. java多线程中 volatile与synchronized的区别-阿里面试

    volatile 与 synchronized 的比较(阿里面试官问的问题) ①volatile轻量级,只能修饰变量.synchronized重量级,还可修饰方法 ②volatile只能保证数据的可见 ...

  9. Java中volatile关键字解析

    一.内存模型的相关概念 大家都知道,计算机在执行程序时,每条指令都是在CPU中执行的,而执行指令过程中,势必涉及到数据的读取和写入.由于程序运行过程中的临时数据是存放在主存(物理内存)当中的,这时就存 ...

随机推荐

  1. Linux 下 GCC 编译共享库控制导出函数的方法

    通过一些实际项目的开发,发现这样一个现象,在 Windows 下可以通过指定 __declspec(dllexport) 定义来控制 DLL(动态链接库)中哪些函数可以导出,暴露给其他程序链接使用,哪 ...

  2. 在C#中使用Json.Net进行序列化和反序列化及定制化

    序列化(Serialize)是将对象转换成字节流,并将其用于存储或传输的过程,主要用途是保存对象的状态,以便在需要时重新创建该对象:反序列化(Deserialize)则是将上面的字节流转换为相应对象的 ...

  3. 小窥React360——用React创建360全景VR体验

    前言    混迹VR届的发烧友兼开发者们一定不要错过这款FaceBook推出的跨端VR开发框架——React360,称为360全景体验框架更为准确,因为其前身是FaceBook和Oculus2017年 ...

  4. BZOJ——1614: [Usaco2007 Jan]Telephone Lines架设电话线

    Time Limit: 5 Sec  Memory Limit: 64 MBSubmit: 1930  Solved: 823[Submit][Status][Discuss] Description ...

  5. 利用BURPSUITE检测CSRF漏洞

    CSRF漏洞的手动判定:修改referer头或直接删除referer头,看在提交表单时,网站是否还是正常响应. 下面演示用Burpsuite对CSRF进行鉴定. 抓包. 成功修改密码完成漏洞的利用.

  6. Java修饰符关键字的顺序

    Java语言规范建议按以下顺序列出修饰符: 1. Annotations 2. public 3. protected 4. private 5. abstract 6. static 7. fina ...

  7. android 子菜单

    <!-- 定义基础布局LinearLayout --> <LinearLayout xmlns:android="http://schemas.android.com/ap ...

  8. Activiti Model Editor组件

    通过Activiti Modeler架构图可知,Activiti Explorer采用的是Vaadin框架. Vaadin 是一种 Java Web 应用程序的开发框架, 其设计目标是便利地创建和维护 ...

  9. Tomcat部署项目时出错java.lang.IllegalStateException: ContainerBase.addChild: start:org.apache.catalina.Life

    Tomcat部署项目时出错java.lang.IllegalStateException: ContainerBase.addChild: start:org.apache.catalina.Life ...

  10. Android中Intent具体解释(二)之使用Intent广播事件及Broadcast Receiver简单介绍

    通过第一篇的解说,我们已经看到了怎样使用Intent来启动新的应用程序组件,可是实际上他们也能够使用sendBroadcast方法来在组件间匿名的广播消息. 作为一个系统级别的消息传递机制,Inten ...