笔者入职百度时,二面面试官的让我聊聊C++之中的volatile关键词。volatile在Java和C++之中的差别可谓是天差地别,我只是简单聊了聊Java之中的volatile,面试官对我的回答并不满意。后续学习《C++ Prmier》时,对volatile的理解也是云里雾里。入职百度之后,发现身边的同学时候对volatile也是误会颇多。(果然是“面试造核弹,工作拧螺丝”)所以笔者花了一些时间,整理了这篇文章,希望各位C++程序员能彻底厘清volatile

1.volatile的误会

volatile这个单词在英文之中的意思是:易变的,不稳定的的含义。所以顾名思义,一旦变量通过了volatile关键词修饰之后,说明变量是易变的和不稳定的。而C++之中最大的误会就是认为volatile关键词与并发编程有关,至于为何会引起这样的误会呢?笔者觉得罪魁祸首可能是下面的原因:

Java中的volatile

volatile影响最为深远的就是Java之中的功用,笔者第一次接触这个关键词也是在Java之中。(加上数目庞大的Java程序员~~)Java之中volatile的效果是:

  • 确保内存可见性

    读和写一个volatile变量具有全局有序性。每个线程访问一个volatile变量时都会读取它在内存之中的当前值,而不是使用一个缓存中的值。这样能够确保当某线程对volatile变量进行了修改后,后面执行的其他线程能看到volatile变量的变动。所以在简单的多线程程序之中,volatile变量可以起到轻量级的同步作用。但是volatile关键字并不保证线程读写变量的相对顺序,所以适用场景有限。
  • 禁止指令重排序

    指令重排序是JVM 为了提高程序的运行效率,在不影响单线程程序执行结果的前提下,对各种指令执行的过程进行重新排序和优化,来增加程序处理时的并行度。指令重排序在单线程下能够保证正确,但是在多线程的环境下就很难确保指令重排序的语义正确。

JDK5引入concurrent包中atomic,JDK6将synchronized关键字的性能优化后。绝大多数场景,笔者都不再推荐使用volatile这个关键字了。

MSVC 微软的锅

早期的 MSVC之中 volatile 具有ReleaseAcquire语义,这我想给许多 C++程序猿造成了误解。后续微软将这个关键字做了一个切换:volatile:ms,用加 ms 的修饰来延续之前的语义。

2.volatile 的作用

其实上一节对volatile 的误用做了讨论。接下来笔者来带大家看看,实际 volatile 关键字到底起到怎么样的作用。先看如下的代码:

int n = 10;
int main() {
int a = n;
int b = n;
return 0;
}

我们将这段代码转换为汇编代码,笔者这里使用的** gcc 版本为5.4.0**:



接下来,我们将变量添加上 volatile关键字,看看会出现什么效果:

int n = 10;
int main() {
volatile int a = n;
volatile int b = n;
return 0;
}

重新编译这部分代码转换为汇编代码,我们来看看:



看到这部分汇编代码,想必各位应该对 volatile关键词的作用应该心中有数了。volatile相当于显式的要求编译器禁止对 volatile 变量进行优化,并且要求每个变量赋值时,需要显式从寄存器%eax拷贝。volatile 关键字在嵌入式编程之中会需要用到,在特定环境下,寄存器的变量可能会发生变化。volatile 所以声明了寄存器部分的数据是『易变的』,需要防止编译器优化变量,强制载入寄存器。

但是如果需要实现类似 Java 之中 volatile 的效果呢?可以在代码之中显式插入内存屏障,让 CPU 强制刷新寄存器的变量到内存之中。

int n = 10;
int main() {
volatile int a = n;
asm volatile("" ::: "memory");
volatile int b = n;
return 0;
}

现在我们再来看看编译生成的汇编代码:



由上述的汇编代码我们可以看到,在添加了内存屏障之后,对变量的赋值操作需要显式的内存之中取值。实际 Java 在实现 volatile 关键字时,也是通过上述语句来实现的。

3.小结

volatile 关键字本身在 现代的C++和 Java 之中都不再推荐使用了。在 C++之中有很多对 volatile 的误用。希望这篇文章能够帮助大家解惑 volatile ,能够正确的进行使用。学有不精,如有谬误,请多多指教~~~

C++雾中风景13:volatile解惑的更多相关文章

  1. Java多线程编程那些事:volatile解惑--转

    http://www.infoq.com/cn/articles/java-multi-thread-volatile/ 1. 前言 volatile关键字可能是Java开发人员“熟悉而又陌生”的一个 ...

  2. 13.volatile与synchronized比较

    synchronized,volatile都解决了共享变量 value 的内存可见性问题,但是前者是独占锁,同时只能有一个线程调用 get()方法,其他调用线程会被阻塞, 同时会存在线程上下文切换和线 ...

  3. Java单例模式和volatile关键字

    单例模式是最简单的设计模式,实现也非常"简单".一直以为我写没有问题,直到被 Coverity 打脸. 1. 暴露问题 前段时间,有段代码被 Coverity 警告了,简化一下代码 ...

  4. C# volatile 关键字

    volatile 就像大家更熟悉的const一样,volatile是一个类型修饰符(type specifier).它是被设计用来修饰被不同线程访问和修改的变量.如果不加入volatile,基本上会导 ...

  5. java并发编程实践笔记

    文章转自:http://kenwublog.com/java-concurrency-in-practise-note 1, 保证线程安全的三种方法 :a, 不要跨线程访问共享变量b, 使共享变量是 ...

  6. 2016阿里巴巴校招offer面经

    前段时间参加阿里巴巴校招,非常荣幸,很快就拿到了offer,经历了三轮技术面试和一轮hr面,面试官们都非常nice,在此感谢一下各位面试官,你们辛苦了,百忙之中抽时间面试!为了帮助更多人想进阿里巴巴的 ...

  7. Java关键字及其作用

    Java关键字及其作用 一. 关键字总览 访问控制 private protected public             类,方法和变量修饰符 abstract class extends fin ...

  8. Java keyword具体解释

    訪问控制修饰符号 1)        private 私有的 private keyword是訪问控制修饰符,能够应用于类.方法或字段(在类中声明的变量). 仅仅能在声明 private(内部)类.方 ...

  9. rte_mempool内存管理

    DPDK以两种方式对外提供内存管理方法,一个是rte_mempool,主要用于网卡数据包的收发:一个是rte_malloc,主要为应用程序提供内存使用接口.本文讨论rte_mempool.rte_me ...

随机推荐

  1. 配置 Confluence 6 安全的最佳实践

    让一个系统能够变得更加坚固的最好办法是将系统独立出来.请参考你公司的安全管理策略和相关人员来找到你公司应该采用何种安全策略.这里有很多事情需要我们考虑,例如考虑如何安装我们的操作系统,应用服务器,数据 ...

  2. Confluence 6 € 欧元字符集不能正常显示

    € (euro) 标记 是一个 3 字节字符,在 (UTF-8)中这个字符被表示为 0xE2, 0x82, 0xAC. 有时候,你的系统中没有设置所有的地方为相同的字符集的时候(Confluence, ...

  3. Confluence 6 使用 Velocity 宏

    当编辑自定义 Decorator 模板文件的时候,有一些宏可被用来定义页面中复杂或者多变的内容,例如菜单,链接等.你可以插入这些宏到你的模板中.更多的信息,请参考Working With Decora ...

  4. 【Java】「深入理解Java虚拟机」学习笔记(1) - Java语言发展趋势

    0.前言 从这篇随笔开始记录Java虚拟机的内容,以前只是对Java的应用,聚焦的是业务,了解的只是语言层面,现在想深入学习一下. 对JVM的学习肯定不是看一遍书就能掌握的,在今后的学习和实践中如果有 ...

  5. ajax执行成功后,在success回调函数中把后台返回的list还原到html的table中

    需求描述:前台通过onclick触发ajax,到后台返回一个list(json格式的),把list插入到html的table中. 思路简介: ̄□ ̄|| 刚开始的时候,是没有思路的,就卡在了,怎么把 a ...

  6. 20165314 2016-2017-2 《Java程序设计》第3周学习总结

    20165314 2016-2017-2 <Java程序设计>第3周学习总结 教材学习内容总结 类体包含成员变量和域变量 局部变量只在方法内有效 对象的创建以及对象对自己变量和方法通过用. ...

  7. 充分认识Mysql

    使用开源产品是一种潮流.在使用之前,我们首先需要对Mysql 有一定的了解,特别是Mysql 的缺点.只有了解其缺点后,我们才知道,能不能真正的应用到我们的业务场景中去. 2.1 Mysql 数据库简 ...

  8. Python数据类型之字符串

    一:概述 Python中的字符串的一些概念 可以看作是字符的集合,在数据类型里没有单个字符的数据类型,可以用单个字符表示的一个字符串数据类型 字符串是一种不可变的序列类型,单个字符从左到右按照顺序排列 ...

  9. python删除列表元素

    1.需求  num = [1,2,2,2,3,4,2,2,2,2,2,2,22,2]把列表中的有2的元素全部删除           2.编程代码 nums = [1,2,2,2,3,4,2,2,2, ...

  10. MySql定期存档数据

    # 创建归档表(只复制表结构和索引) CREATE TABLE Orders_2016 like Orders; # 删除归档表的所有索引(这样可以提高插入速度) # 以前的数据导入归档表 INSER ...