深度剖析Java的volatile实现原理,再也不怕面试官问了

上篇文章我们讲了synchronized的用法和实现原理,我们总爱说synchronized是重量级锁,volatile是轻量级锁 。为什么volatile是轻量级锁,体现在哪些方面?以及volatile的作用和实现原理是怎样的?本篇带你一块学习一下 。
1. volatile是什么?volatile是Java提供的一种轻量级的同步机制 。与synchronized修饰方法、代码块不同,volatile只用来修饰变量 。并且与synchronized、ReentrantLock等重量级锁不同的是,volatile更轻量级,因为它不会引起线程上下文的切换和调度 。
2. volatile的作用说volatile作用之前 , 先说一下并发编程的三大特性:原子性、可见性和有序性 。

  • 原子性
    即一个或者多个操作作为一个整体,要么全部执行,要么都不执行,并且操作在执行过程中不会被线程调度机制打断;而且这种操作一旦开始,就一直运行到结束 , 中间不会有任何上下文切换 。
  • 可见性
    可见性是指当多个线程访问同一个变量时 , 一个线程修改了这个变量的值 , 其他线程能够立即看得到修改的值 。
  • 有序性
    为了提高程序的执行效率 , 编译器会对编译后的指令进行重排序 , 即代码的编写顺序不一定就是代码的执行顺序 。
并发编程中只有同时满足这三大特性,才能保证程序正确的执行 。而volatile的只保证了可见性和有序性,不保证原子性 。
volatile的作用只有两个:
  1. 保证内存的可见性
  2. 禁止JVM内存重排序(保证有序性)
在并发多线程情况下 , 为什么会有可见性问题?如果不做控制,为什么一个线程修改了共享变量的值,其他线程不能立即看到?这就需要聊到JMM(Java内存模型,Java Memory Model) 。
3. JMM是什么JMM(Java内存模型,Java Memory Model)定义程序访问变量的规范,为了屏蔽不同操作系统之间的差异 。
由于Java共享变量是存储在主内存中,而Java线程无法直接访问主内存中数据,只能把主内存中的数据读到本地内存(相当于拷贝一份副本) , 修改完本地内存的数据,再写回主内存 。而此时另一个线程也把主内存的数据拷贝到自己私有的本地内存中,虽然线程1已经修改了主内存从数据,线程2却无法感知到 , 所以就出现了内存可见性问题 。
深度剖析Java的volatile实现原理,再也不怕面试官问了

文章插图
4. 可见性问题JMM定义的这套模型 , 会有可见性问题 。当线程1修改了本地内存的数据 , 并刷会主内存中,其他线程中本地内存的数据并没有变化 。也就是一个线程修改了共享变量的值,其他线程无法立即感知到 。
深度剖析Java的volatile实现原理,再也不怕面试官问了

文章插图
【深度剖析Java的volatile实现原理,再也不怕面试官问了】像上图的流程,两个线程都把count=0的变量拷贝到自己私有的本地内存中,线程1把count的值修改为1,并写回主内存,而线程2本地内存的count值还是0 。
那么volatile是怎么解决可见性问题呢?
volatile主要通过汇编lock前缀指令,它会锁定当前内存区域的缓存(缓存行),并且立即将当前缓存行数据写入主内存(耗时非常短) , 回写主内存的时候会通过MESI协议使其他线程缓存了该变量的地址失效,从而导致其他线程需要重新去主内存中重新读取数据到其工作线程中 。
什么是MESI协议?
MESI协议(Modified Exclusive Shared Or Invalid)是各处理器访问缓存时都遵循一致性协议 。核心思想是:
当CPU写数据时,如果发现操作的变量是共享变量,即在其他CPU中也存在该变量的副本,会发出信号通知其他CPU将该变量的缓存行置为无效状态 , 因此当其他CPU需要读取这个变量时 , 发现自己缓存中缓存该变量的缓存行是无效的,那么它就会从内存重新读取 。
MESI分别代表缓存行数据所处的四种状态,通过对这四种状态的切换,来达到对缓存数据进行管理的目的 。
状态描述监听任务M 修改(Modify)该缓存行有效,数据被修改了 , 和内存中的数据不一致,数据只存在于本缓存行中缓存行必须时刻监听所有试图读该缓存行相对应的内存的操作,其他缓存须在本缓存行写回内存并将状态置为E之后才能操作该缓存行对应的内存数据E 独享、互斥(Exclusive)该缓存行有效,数据和内存中的数据一致,数据只存在于本缓存行中缓存行必须监听其他缓存读主内存中该缓存行相对应的内存的操作,一旦有这种操作,该缓存行需要变成S状态S 共享(Shared)该缓存行有效 , 数据和内存中的数据一致,数据同时存在于其他缓存中缓存行必须监听其他缓存是该缓存行无效或者独享该缓存行的请求,并将该缓存行置为I状态I 无效(Invalid)该缓存行数据无效无而MESI协议是通过总线嗅探技术实现的:

推荐阅读