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 ,能够正确的进行使用。学有不精,如有谬误,请多多指教~~~
低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。
持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。
- 上一篇
阿里开源自用 OpenJDK 版本,Java 社区迎来中国力量
阿里开源自用 OpenJDK 版本,Java 社区迎来中国力量 3 月 21 日,阿里巴巴将宣布开源 Alibaba Dragonwell。届时,开发者可通过阿里云开发者中心及 Github 社区下载使用。InfoQ 记者独家专访了阿里云智能基础产品事业部资深技术专家李三红、阿里云智能基础产品事业部研究员 Kingsum Chow (周经森),听他们如何看待 Alibaba Dragonwell 与 Java 归途。 作者 | 赵钰莹受访嘉宾 |阿里云智能基础产品事业部资深技术专家李三红阿里云智能基础产品事业部研究员Kingsum Chow (周经森)阿里巴巴即将重磅开源 OpenJDK 长期支持版本 Alibaba Dragonwell。众所周知,Oracle 对 Java 的态度已经发生系列转变,由于 Java 用户群体庞大
- 下一篇
关于python中函数的思考
基本语言特性 函数是几乎任何程序语言都支持的基本语言特性。然而,不同的语言对函数的看法却是不同的,这不仅导致了函数在语言中的地位,也产生出了不同的编程风格。在scheme语言中,函数与普通数据别无二致,所以自然而然的将函数作为第一类对象,同时scheme更强函数式编程和函数递归,以追求计算的本质。在java中,函数与普通数据是区分开的,即函数不能直接被传递,只能被包裹到类中再通过实例对象被传递,高度的强调面向对象编程。在python中,函数也被当做第一类对象,支持少量的函数式编程风格,但依然以面向对象为主。 关于第一类对象的思考 所谓第一类对象,就是指这样的一种对象: 可以赋值给变量 可以传参给函数 可以从函数中传出 第一句话其实已经包含了后两句,所以它们可以概括为一句话:类似23,'hello',True,instance这种可以赋值给变量的对象。 首先,我觉得编程语言应该将函数对象作为第一类对象,这应该成为编程语言的标准特性,函数对象和数字23没有什么区别,它们本质上都是数据,所以函数对象可以和普通数据一样被各种操作。但在java中,函数对象被看成与普通数据是不同的,这一点我觉得并...
相关文章
文章评论
共有0条评论来说两句吧...
文章二维码
点击排行
推荐阅读
最新文章
- Linux系统CentOS6、CentOS7手动修改IP地址
- CentOS6,7,8上安装Nginx,支持https2.0的开启
- Windows10,CentOS7,CentOS8安装MongoDB4.0.16
- Docker快速安装Oracle11G,搭建oracle11g学习环境
- Springboot2将连接池hikari替换为druid,体验最强大的数据库连接池
- SpringBoot2配置默认Tomcat设置,开启更多高级功能
- Docker使用Oracle官方镜像安装(12C,18C,19C)
- CentOS7安装Docker,走上虚拟化容器引擎之路
- CentOS6,CentOS7官方镜像安装Oracle11G
- CentOS8编译安装MySQL8.0.19