C++雾中风景13:volatile解惑
笔者入职百度时,二面面试官的让我聊聊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 具有Release和Acquire语义,这我想给许多 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解惑的更多相关文章
- Java多线程编程那些事:volatile解惑--转
http://www.infoq.com/cn/articles/java-multi-thread-volatile/ 1. 前言 volatile关键字可能是Java开发人员“熟悉而又陌生”的一个 ...
- 13.volatile与synchronized比较
synchronized,volatile都解决了共享变量 value 的内存可见性问题,但是前者是独占锁,同时只能有一个线程调用 get()方法,其他调用线程会被阻塞, 同时会存在线程上下文切换和线 ...
- Java单例模式和volatile关键字
单例模式是最简单的设计模式,实现也非常"简单".一直以为我写没有问题,直到被 Coverity 打脸. 1. 暴露问题 前段时间,有段代码被 Coverity 警告了,简化一下代码 ...
- C# volatile 关键字
volatile 就像大家更熟悉的const一样,volatile是一个类型修饰符(type specifier).它是被设计用来修饰被不同线程访问和修改的变量.如果不加入volatile,基本上会导 ...
- java并发编程实践笔记
文章转自:http://kenwublog.com/java-concurrency-in-practise-note 1, 保证线程安全的三种方法 :a, 不要跨线程访问共享变量b, 使共享变量是 ...
- 2016阿里巴巴校招offer面经
前段时间参加阿里巴巴校招,非常荣幸,很快就拿到了offer,经历了三轮技术面试和一轮hr面,面试官们都非常nice,在此感谢一下各位面试官,你们辛苦了,百忙之中抽时间面试!为了帮助更多人想进阿里巴巴的 ...
- Java关键字及其作用
Java关键字及其作用 一. 关键字总览 访问控制 private protected public 类,方法和变量修饰符 abstract class extends fin ...
- Java keyword具体解释
訪问控制修饰符号 1) private 私有的 private keyword是訪问控制修饰符,能够应用于类.方法或字段(在类中声明的变量). 仅仅能在声明 private(内部)类.方 ...
- rte_mempool内存管理
DPDK以两种方式对外提供内存管理方法,一个是rte_mempool,主要用于网卡数据包的收发:一个是rte_malloc,主要为应用程序提供内存使用接口.本文讨论rte_mempool.rte_me ...
随机推荐
- Vmware Workstation _linux yum 仓库搭建
0:检查 vm虚拟机光盘是否已经连接 1. 检测yum 仓库是否已经配置好 [root@oracle ~]# yum list all 如果输入这条指令可以正确显示出rpm 包的列表,则说明yum 仓 ...
- nodejs之glob与globby
glob glob允许使用规则,从而获取对应规则匹配的文件.这个glob工具基于javascript.它使用了 minimatch 库来进行匹配 安装 npm install glob 引入 cons ...
- 直径上的乱搞 bzoj1999求树直径上的结点+单调队列,bzoj1912负权树求直径+求直径边
直径上的乱搞一般要求出这条直径上的点集或者边集 bzoj1999:对直径上的点集进行操作 /* 给出一颗树,在树的直径上截取长度不超过s的路径 定义点u到s的距离为u到s的最短路径长度 定义s的偏心距 ...
- poj2441状态压缩dp基础
/* 给定n头牛,m个谷仓,每头牛只能在一些特定的谷仓,一个谷仓只能有一头牛 问可行的安排方式 dp[i][j]表示前i头牛组成状态j的方案数,状态0表示无牛,1表示有牛 使用滚动数组即可 枚举到第i ...
- oracle 备份脚本
本文是一个shell脚本.主要用于Oracle 数据库备份.默认情况下,在周一晚上进行全备.其他时间进行累积增量备份. 使用方法: 假如脚本保存名为: oracle_backup.sh 使用方法为 o ...
- 【转】asp.net Core 系列【一】——创建Web应用
ASP.NET Core 中的 Razor 页面介绍 Razor 页面是 ASP.NET Core MVC 的一个新功能,它可以使基于页面的编码方式更简单高效. 若要查找使用模型视图控制器方法的教程, ...
- Sqoop使用,mysql,hbase,hive等相互转换
Sqoop 是一款用来在不同数据存储软件之间进行数据传输的开源软件,它支持多种类型的数据储存软件. 安装 Sqoop 1.下载sqoop并加mysql驱动包 http://mirror.bit.edu ...
- 混合编译.c/.cpp与.cu文件
混合编译.c/.cpp与.cu文件 项目中用到cuda编程,写了kernel函数,需要nvcc编译器来编译..c/.cpp的文件,假定用gcc编译. 如何混合编译它们,整体思路是:.cu文件编译出的东 ...
- 一脸懵逼学习KafKa集群的安装搭建--(一种高吞吐量的分布式发布订阅消息系统)
kafka的前言知识: :Kafka是什么? 在流式计算中,Kafka一般用来缓存数据,Storm通过消费Kafka的数据进行计算.kafka是一个生产-消费模型. Producer:生产者,只负责数 ...
- [转] Async/Await替代Promise的6个理由
Node.js 7.6已经支持async/await了,如果你还没有试过,这篇博客将告诉你为什么要用它. Async/Await简介 对于从未听说过async/await的朋友,下面是简介: asyn ...