概述
volatile关键字虽然从字面上理解起来比较简单,但是要用好不是一件容易的事情,本文是通过阅读Java并发编程:volatile关键字解析总结而来,作者从内层方面入手深入解析了volatile关键字的原理。
内存模型的相关概念
执行指令
主存(物理内存)、高速缓存(CPU),程序运行时需要将数据从
主存
复制一份到高速缓存
当中.
缓存的不一致问题
如果一个变量在多个CPU中都存在缓存(一般在多线程编程时才会出现),那么就可能存在缓存不一致的问题.
缓存的不一致2种解决方法:
1)通过在总线加LOCK#
锁的方式
由于在锁住总线期间,其他CPU无法访问内存,导致效率低下.
2)通过缓存一致性协议
当CPU写数据时,如果发现操作的变量是共享变量,即在其他CPU中也存在该变量的副本,会发出信号通知其他CPU将该变量的缓存行置为无效状态,
因此当其他CPU需要读取这个变量时,发现自己缓存中缓存该变量的缓存行是无效的,那么它就会从内存重新读取。
并发编程中的三个概念
原子性:
- 一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。
可见性:
- 当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值。
有序性
- 程序执行的顺序按照代码的先后顺序执行,指令重排序不会影响单个线程的执行,但是会影响到线程并发执行的正确性。
Java内存模型
- Java内存模型规定所有的变量都是存在主存当中(类似于前面说的物理内存);
- 每个线程都有自己的工作内存(类似于前面的高速缓存);
- 线程对变量的所有操作都必须在工作内存中进行,而不能直接对主存进行操作;
- 并且每个线程不能访问其他线程的工作内存。
原子性
- Java内存模型只保证了基本读取和赋值是原子性操作,
- 如果要实现更大范围操作的原子性,可以通过synchronized和Lock来实现
可见性
- 可以通过 volatile关键字来保证可见性,当一个共享变量被volatile修饰时,它会保证修改的值会立即被更新到主存,当有其他线程需要读取时,它会去内存中读取新值。
- 另外,通过synchronized和Lock也能够保证可见性,synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码,并且在释放锁之前会将对变量的修改刷新到主存当中.
有序性
- 可以通过volatile关键字或者synchronized和Lock来保证有序性
- Java内存模型具备一些先天的“有序性”,happens-before 原则
深入剖析volatile关键字
volatile修饰的两层语义:
1)保证了不同线程对这个变量进行操作时的可见性,即一个线程修改了某个变量的值,这新值对其他线程来说是立即可见的。
2)禁止进行指令重排序。
volatile保证原子性吗?
volatile也无法保证对变量的任何操作都是原子性的。
java.util.concurrent.atomic提供了一些原子操作类,其是利用CAS来实现原子性操作的(Compare And Swap),CAS实际上是利用处理器提供的CMPXCHG指令实现的,而处理器执行CMPXCHG指令是一个原子性操作。
volatile能保证有序性吗?
volatile关键字能禁止指令重排序,所以volatile能在一定程度上保证有序性。
volatile关键字从两个方面禁止指令重排:
1)当程序执行到volatile变量的读操作或者写操作时,在其前面的操作的更改肯定全部已经进行,且结果已经对后面的操作可见;在其后面的操作肯定还没有进行;
2)在进行指令优化时,不能将在对volatile变量访问的语句放在其后面执行,也不能把volatile变量后面的语句放到其前面执行。
volatile的原理和实现机制
观察加入volatile关键字和没有加入volatile关键字时所生成的汇编代码发现,加入volatile关键字时,会多出一个lock前缀指令
lock前缀指令实际上相当于一个内存屏障(也成内存栅栏),内存屏障会提供3个功能:
1)它确保指令重排序时不会把其后面的指令排到内存屏障之前的位置,也不会把前面的指令排到内存屏障的后面;即在执行到内存屏障这句指令时,在它前面的操作已经全部完成;
2)它会强制将对缓存的修改操作立即写入主存;
3)如果是写操作,它会导致其他CPU中对应的缓存行无效。
使用volatile关键字的场景
volatile关键字是无法替代synchronized关键字的,因为volatile关键字无法保证操作的原子性
使用volatile必须具备以下2个条件
1)对变量的写操作不依赖于当前值
2)该变量没有包含在具有其他变量的不变式中
常用场景
1) 状态标记量
2)double check