1. Volatile关键字
说简单点,volatile就是表示某人或某物是不稳定的、易变的。
volatile作为java中的关键词之一,用以声明变量的值可能随时会别的线程修改,使用volatile修饰的变量会强制将修改的值立即写入主存,主存中值的更新会使缓存中的值失效(非volatile变量不具备这样的特性,非volatile变量的值会被缓存,线程A更新了这个值,线程B读取这个变量的值时可能读到的并不是是线程A更新后的值)。volatile会禁止指令重排。
2. volatile特性
说到Volatile关键字,必然会想到线程安全以及线程安全的三大特性:
-
原子性
指定代码块是原子操作。
-
可见性
修改共享变量时,立即同步到主存中,并使该修改对其他线程可见
-
有序性
禁止读取共享变量后的代码、修改共享变量前的代码重排序。
volatile具有 可见性、有序性;但不具备原子性。
注意:volatile不具备原子性,这是volatile与java中的synchronized、java.util.concurrent.locks.Lock最大的功能差异,这一点在面试中也是非常容易问到的点。
2.1 实现可见性
保证此变量对所有线程的可见性
Volatile实现内存可见性是通过store和load指令完成的;也就是对volatile变量执行写操作时,会在写操作后加入一条store指令,即强迫线程将最新的值刷新到主内存中;而在读操作时,会加入一条load指令,即强迫从主内存中读入变量的值。
当一条线程修改了这个变量的值,新值对于其他线程可以说是可以立即得知的。Java内存模型规定了所有的变量都存储在主内存,每条线程还有自己的工作内存,线程的工作内存保存了该线程使用到的变量在主内存的副本拷贝,线程对变量的所有操作都必须在工作内存中进行,而不能直接读取主内存中的变量。《深入理解Java虚拟机第二版》P363
2.2 实现有序性
禁止指令重排序优化
普通的变量仅仅会保证在该方法的执行过程中所有依赖该赋值结果的地方都能获得正确的结果,而不能保证变量赋值操作的顺序与程序代码中的执行顺序一直。在一个线程的方法执行过程中无法感知到这点,故Java内存模型描述所谓的“线程内表示为串行的语义”《深入理解Java虚拟机第二版》P369
3. Volatile适用场景
- 适用于对变量的写操作不依赖于当前值,对变量的读取操作不依赖于非volatile变量。
- 适用于读多写少的场景。
- 可用作状态标志。
- JDK中volatie应用:JDK中ConcurrentHashMap的Entry的value和next被声明为volatile,AtomicLong中的value被声明为volatile。AtomicLong通过CAS原理(也可以理解为乐观锁)保证了原子性
再贴出一些Volatile的使用指南:volatile用法指南
4.volatile VS synchronized
volatile | synchronized | |
---|---|---|
修饰对象 | 修饰变量 | 修饰方法 |
可见性 | √ | √ |
有序性 | √ | √ |
原子性 | 0 | √ |
线程阻塞 | 不会 | 会 |
volatile不会让线程阻塞,响应速度比synchronized高,这是它的优点。