你说一下对Java中的volatile的理解吧
前言
volatile
相关的知识其实自己一直都是有掌握的,能大概讲出一些知识,例如:它可以保证可见性;禁止指令重排。这两个特性张口就来,但要再往深了问,具体是如何实现这两个特性的,以及在什么场景下使用volatile
,为什么不直接用synchronized
这种深入和扩展相关的问题,就回答的不好了。因为volatile
是面试必问的知识,所以这次准备把这部分知识也给啃掉。
系统处理效率与Java内存模型
在计算机中,每条程序指令都是在CPU中执行的,而CPU执行指令的数据都是临时存储在内存中的,但是CPU的执行速度远超内存的读取速度,如果所有的CPU指令都是通过内存来读取数据的话那么将大大的降低了系统的处理效率,所以现代计算机系统都不得不加入一层或多层读写速度尽可能接近处理器运算速度的高速缓存(Cache)来作为内存与处理器之间的缓冲。
将运算需要使用的数据复制到缓存中,让运算能快速进行,当运算结束后,在从缓存同步回内存之中,这样处理器就无须等待缓慢的内存读写了。
虽然说增加了高速缓存提高了CPU的处理效率,但是也带来了新的问题 :
现代计算机都是多核CPU,一开始,内存中的变量A的值是1,第一个CPU读取了数据,第二个CPU也将数据读取到了自己的高速缓存当中,当第一个CPU对变量A进行加1操作时,变量A的值变成了2,然后将将变量A的值写回内存中,这时第二个CPU也对变量A进行加1操作时,由于第二个CPU中高速缓存中的值还是1,所以加1操作后的结果为2,然后第二个CPU又将变量A的值同步回内存中,这样就导致执行了两次加1操作后,变量A的值最终是2,而不是3。
这种被多个CPU访问的变量,通常称为共享变量。
而产生的上面的问题,就是引入了高速缓存后的,主内存和缓存内容不一致的问题。
因为每个处理器有自己的高速缓存,但是它们又共享同一块主内存,所以必然会出现主内存不知该以哪个高速缓存中的变量为准的情况。
上面这个缓存不一致的问题,我们先记下来,继续来看Java内存模型,其实Java内存模型描述的上面讲的计算机系统高速缓存和内存之间的关系类似。
Java内存模型描述了,各种变量的访问规则,以及将变量存储到内存和从内存读取变量的这种底层细节。
在Java内存模型中关注的变量都是共享变量(实例变量、类变量)。
所有的共享变量都是存储在主内存中的,但是每个线程在访问变量的时候也都会在自己的工作内存(处理器高速缓存)中保留一份共享变量的副本。
Java内存模型(Java Memory Model,简称JMM)规定:
线程对变量的所有操作(读,写)都必须在工作内存中进行,不能直接操作主内存中的数据。
不同线程之间 也不能直接访问对方工作内存中的变量,线程间的变量值传递必须通过主内存进行中转传递。
在JMM中工作内存和主内存的关系如下图:
Volatile的可见性(保证立即可见)
继续我们上面的缓存一致性的问题,这个问题,在Java内存模型中,就是可见性的问题,即一个线程修改了共享变量的值,对另一个线程来说是不是立即可见的。如果不是立即可见的,那么就会出现缓存一致性的问题,如果是立即可见的,那么另一个线程在进行操作的时候,拿到的变量值就是最新的。就可以解决可见性的问题。
那么怎么解决可见性问题呢?
方案一:加锁
将共享变量加锁,无论是synchronized
还是Lock
都可以,加锁达到的目的是在同一时间内只能有一个线程能对共享变量进行操作,就是说,共享变量从读取到工作内存到更新值后,同步回主内存的过程中,其他线程是操作不了这个变量的。这样自然就解决了可见性的问题了,但是这样的效率比较低,操作不了共享变量的线程就只能阻塞。
方案二:volatile修饰修饰共享变量
当一个共享变量被volatile
修饰后,会保证每个线程将变量修改后的值立即同步回主内存中,当其他线程有需要读取变量时会读取到最新的变量值。
那么volatile做了些什么操作就能解决可见性的问题呢?
被volatile修饰的变量,在被线程操作时,会有这样的机制:
就是线程对变量操作时会从主内存中读取到自己的工作内存中,当线程对变量进行了修改后,那么其他已经读取了此变量的线程中的变量副本就会失效,这样其他线程在使用变量的时候,发现已经失效,那么就会去主内存中重新获取,这样获取到的就只最新的值了。
那么volatile
这个关键字是如何实现这套机制的呢?
因为一台计算机有多台CPU,同一个变量,在多个CPU中缓存的值有可能不一样,那么以谁缓存的值为准呢?
既然大家都有自己的值,那么各个CPU间就产生了一种协议,来保证按照一定的规律为准,来确定共享变量的准确值,这样各个CPU在读写共享变量时都按照协议来操作。
这就是缓存一致性协议。
最著名的缓存一致性协议就是Intel的MESI
了,说MESI时,先解释一下,缓存行:
缓存行(cache line):CPU高速缓存的中可以分配的最小存储单位,高速缓存中的变量都是存在缓存行中的。
MESI的核心思想就是,当CPU对变量进行写操作时发现,变量是共享变量,那么就会通知其他CPU中将该变量的缓存行设置为无效状态。当其他CPU在操作变量时发现此变量在的缓存行已经无效,那么就会去主内存中重新读取最新的变量。
那么其他CPU是如何发现变量被修改了的呢?
因为CPU和其他部件的进行通信是通过总线来进行的,所以每个CPU通过嗅探总线上的传播数据,来检查自己缓存的值是不是过期了,当处理器发现自己换成行对应的内存地址被修改后,就会将自己工作内存中的缓存行设置成无须状态,当CPU对此变量进行修改时会重新从系统主内存中读取变量。
Volatile的有序性(禁止指令重排)
一般来说,我们写程序的时候,都是要把先代码从上往下写,默认的认为程序是自顶向下顺序执行的,但是CPU为了提高效率,在保证最终结果准确的情况下,是会对指令进行重新排序的。就是说写在前的代码不一定先执行,在后面的也不一定晚执行。
举个例子:
int a = 5; // 代码1
int b = 8; // 代码2
a = a + 4; // 代码3
int c = a + b; // 代码4
上面四行代码的执行顺序有可能是
JMM在是允许指令重排序的,在保证最后结果正确的情况下,处理器可以尽情的发挥,提高执行效率。
当多个线程执行代码的时候重排序的情况就更为突出了,各个CPU为了提高自己的效率,有可能会产生竞争情况,这样就有可能导致最终执行的正确性。
所以为了保证在多个线程下最终执行的正确性,将变量用volatile
进行修饰,这样就会达到禁止指令重排序的效果(其实也可以通过加锁,还有一些其他已知规则来实现禁止指令重排序,但是我们这里只讨论volatile
的实现方式)。
那么volatile
是如何实现指令重排序的呢?
答案是:内存屏障
内存屏障是一组CPU指令,用于实现对内存操作的顺序限制。
Java编译器,会在生成指令系列时,在适当的位置会插入内存屏障来禁止处理器对指令的重新排序。
volatile
会在变量写操作的前后加入两个内存屏障,来保证前面的写指令和后面的读指令是有序的。
volatile
在变量的读操作后面插入两个指令,禁止后面的读指令和写指令重排序。
有序性,不仅只有volatile能保证,其他的实现方式也能保证,但是如果每一种实现方式都要了解那对于开发人员来说就比较困难了。
所以从JDK5就出现了happen-before原则,也叫先行发生原则。
先行发生原则总结起来就是:如果一个操作A的产生的影响能被另一个操作B观察到,那么可以说,这个操作A先行发生与操作B。
这里所说的影响包括内存中的变量的修改,调用了方法,发送量消息等。
volatile中的先行发生原则是,对一个volatile
变量的写操作,先行发生于后面任何地方对这个变量的读操作。
Volatile无法保证原子性
原子性,是指一个操作过程要么都成功,要么都失败,是一个独立的完整的。
就像上面说的,如果多个线程对一个变量进行累加,那么肯定得不到想要的结果,因为累加就不是一个原子操作。
要保证累加最终结果正确,要么对累加变量加锁,要么就用AotomicInteger
这样的变量。
/**
* 双重检查加锁式单例
*/
public class DoubleCheckLockSingleton implements Serializable{
/**
* 静态变量,用来存放实例。
*/
private volatile static DoubleCheckLockSingleton doubleCheckLockSingleton = null;
/**
* 私有化构造方法,禁止外部创建实例。
*/
private DoubleCheckLockSingleton(){}
/**
* 双重检查加锁的方式保证线程安全又能获得到唯一实例
* @return
*/
public static DoubleCheckLockSingleton getInstance(){
//第一次检查实例是否已经存在,不存在则进入代码块
if(null == doubleCheckLockSingleton){
synchronized (DoubleCheckLockSingleton.class){
//第二次检查
if(null==doubleCheckLockSingleton){
doubleCheckLockSingleton = new DoubleCheckLockSingleton();
}
}
}
return doubleCheckLockSingleton;
}
}
为什么要进行双重检查呢?
当第一个线程走到第一次检查时发现对象为空,然后进入锁,第二次就检查时也为空,那么就去创建对象,但是这个时候又来了一个线程来到了第一次检查,发现为空,但是这个时候因为锁被占用,所以就只能阻塞等待,然后第一个线程创建对象成功了,由于对象是被volatile修饰的能够立即反馈到其他线程上,所以在第一个线程释放锁之后,第二个线程进入了锁,然后进行第二次检查时,发现对象已经被创建了,那么就不在创建对象了。从而保证的单例。
还有就是如果创建对象,步骤:
- 分配内存空间。
- 调用构造器,实例化。
- 返回内存地址给引用。
如果这三个指令顺序被重排了,那么当多线程来获取对象的时候就会造成对象虽然实例化了,但是没有分配内存空间,会有空指针的风险。
所以加上了volatile
的对象,也保证了在第二次检查时不会被已经在创建过程中的对象有被检测为空的风险。
总结一下
volatile
其实可以看作是轻量级的synchronized
,虽然说volatile
不能保证原子性,但是如果在多线程下的操作本身就是原子性操作(例如赋值操作),那么使用volatile会由于synchronized
。
volatile
可以适用于,某个标识flag,一旦被修改了就需要被其他线程立即可见的情况。也可以修饰作为触发器的变量,一旦变量被任何一个线程修改了,就去触发执行某个操作。
volatile
的变量写操作happen-before,后面任何对此volatile变量的读操作。
你说一下对Java中的volatile的理解吧的更多相关文章
- java中关于volatile的理解疑问?
作者:xyzZ链接:https://www.zhihu.com/question/49656589/answer/117826278来源:知乎著作权归作者所有.商业转载请联系作者获得授权,非商业转载请 ...
- java中的volatile关键字
java中的volatile关键字 一个变量被声明为volatile类型,表示这个变量可能随时被其他线程改变,所以不能把它cache到线程内存(如寄存器)中. 一般情况下volatile不能代替syn ...
- Java中的volatile关键字的功能
Java中的volatile关键字的功能 volatile是java中的一个类型修饰符.它是被设计用来修饰被不同线程访问和修改的变量.如果不加入volatile,基本上会导致这样的结果:要么无法编写多 ...
- 深入理解Java中的volatile关键字
在再有人问你Java内存模型是什么,就把这篇文章发给他中我们曾经介绍过,Java语言为了解决并发编程中存在的原子性.可见性和有序性问题,提供了一系列和并发处理相关的关键字,比如synchronized ...
- 一定要你明白Java中的volatile
今天Tony来和大家聊聊Java中关键字volatile. 字节码 首先volatile int a = 3;和int a = 3;, 加不加volatile关键字,最终生成的字节码都一样的.有兴趣的 ...
- java中的Volatile关键字使用
文章目录 什么时候使用volatile Happens-Before java中的Volatile关键字使用 在本文中,我们会介绍java中的一个关键字volatile. volatile的中文意思是 ...
- java中线程同步的理解(非常通俗易懂)
转载至:https://blog.csdn.net/u012179540/article/details/40685207 Java中线程同步的理解 我们可以在计算机上运行各种计算机软件程序.每一个运 ...
- Java中线程同步的理解 - 其实应该叫做Java线程排队
Java中线程同步的理解 我们可以在计算机上运行各种计算机软件程序.每一个运行的程序可能包括多个独立运行的线程(Thread). 线程(Thread)是一份独立运行的程序,有自己专用的运行栈.线程有可 ...
- java中关键字volatile的作用
用在多线程,同步变量. 线程为了提高效率,将某成员变量(如A)拷贝了一份(如B),线程中对A的访问其实访问的是B.只在某些动作时才进行A和B的同步.因此存在A和B不一致的情况.volatile就是用来 ...
随机推荐
- STM32CubeMX HAL库串口: 使用DMA数据发送、使用DMA不定长度数据接收
转载自 https://blog.csdn.net/euxnijuoh/article/details/81638676
- selenium学习之基本操作(一)
通过selenium的使用可以驱动浏览器来模拟加载网页,简单定位元素和获取对应的数据:# find_elements_by_id #(根据id属性值获取元素列表)# find_elements_by_ ...
- 【奇淫巧技】XSS绕过技巧
XSS记录 1.首先是弹窗函数: alert(1) prompt(1) confirm(1)eval() 2.然后是字符的编码和浏览器的解析机制: 要讲编码绕过,首先我们要理解浏览器的解析过程,浏览器 ...
- 【随笔】Apache降权和禁用PHP危险函数
测试环境: Windows Server 2003 + phpstudy 首先在win2003里运行phpstudy,这里注意需要选择应用系统服务模式,应用之后重启phpstudy. 打开系统服务(开 ...
- 简说Modbus-RTU与Modbus-ASCII
Modbus在串行总线通信中的协议有RTU和ASCII两种.RTU是Remote Terminal Unit的缩写,意思是远程终端单元.ASCII是American Standard Code for ...
- 【MySQL Errors】Table 'xxx' is marked as crashed and should be repaired 的解决方案
现象描述 访问 Zabbix Web,出现如下错误提示: • Error in query [SELECT * FROM history_uint h WHERE h.itemid='25067' O ...
- 拜托,别再问我怎么自学 Java 了!和盘托出
假如有那么残酷的一天,我不小心喝错了一瓶药,一下子抹掉了我这十多年的编程经验,把我变成了一只小白.我想自学 Java,并且想要找到一份工作,我预计需要 6 个月的时间,前提条件是每天都处于高效率的学习 ...
- Logstash 国内加速下载 转
Logstash. 国内直接从官网(https://www.elastic.co)下载比较困难,需要一些技术手段.这里提供一个国内的镜像下载地址列表,方便网友下载. 找不到想要的版本?您可以访问 索引 ...
- SQL SERVER调优常用方法 sql优化
说起SQL SERVER的调优,我想大伙也很想知道这方面的知识.本人也正在探索的路上,大家有什么好的意见,欢迎一起探讨.研究.博取众人之长,才能扬长避短.本文中的内容主要是摘自<程序员的SQL金 ...
- 存储系列1-openfiler开源存储管理平台实践
(一)openfiler介绍 Openfiler能把标准x86/64架构的系统变为一个更强大的NAS.SAN存储和IP存储网关,为管理员提供一个强大的管理平台,并能应付未来的存储需求.openfile ...