1、JMM(java内存模型)
要了解volatile是什么,首先需要知道JMM是什么?
JMM全称是java内存模型(Java Memory Mode)。
为什么需要java内存模型,是因为在不同的硬件生产商和不同的操作系统下,内存的访问逻辑有一定的差异,结果就是当你的代码在某个系统环境下运行良好,并且线程安全,但是换了个系统就出现各种问题。Java内存模型,就是为了屏蔽系统和硬件的差异,让一套代码在不同平台下能到达相同的访问结果。
JVM中将内存划分为主内存和工作内存。
主内存对应java堆中的对象实例,工作内存对应的是栈区域,如果从更底层来说,可以把主内存理解为硬件的物理存储,工作内存对应为程序运行时的运行内存。
2、volatile
运行此段代码,会发现线程一直在执行,这是因为当result改变时,此时虽然已经存放到了主内存,但是线程里的工作内存却一直没有去读取,导致线程一直在不断的执行。
public class MyVolatile {
private static boolean result = true;
public static void main(String[] args) {
//工作内存
new Thread(()->{
while (result){
}
}).start();
//主内存
try {
//让main线程睡眠俩秒
TimeUnit.SECONDS.sleep(2);
//将result修改为false
result = false;
//输出标记符号
System.out.println("当前result的值为:" + result);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
运行结果:
为什么需要volatile?
JVM在设计时,如果JAVA线程每次读取和写入变量都直接操作主内存,对性能影响比较大,所以每条线程拥有各自的工作内存,工作内存中的变量实际上是对主内存中的一份拷贝,线程对变量的读取和写入,直接在工作内存中操作,而不能直接去操作主内存中的变量。但是这样就会出现一个问题,当一个线程修改了自己工作内存中变量,对其他线程是不可见的,会导致线程不安全的问题。此时就可以使用volatile来解决问题。
volitile 是 Java 虚拟机提供的轻量级的同步机制,具有三大特性:
- 保证可见性
- 不保证原子性
- 禁止指令重排
volatile的可见性可以让变量改变时,立即刷新到主内存,这时可以让工作线程立即读到。符合以下俩个规则:
① 线程对变量进行修改之后,要立刻回写到主内存。
② 线程对变量读取的时候,要从主内存中读,而不是缓存。
所以只需要在:
// volatile 不加volatile没有可见性
private volatile static boolean result = true; //在static加上volatile关键字即可完美解决问题
加上volatile关键字即可解决问题。
同时,volatile虽然是不错的机制,但却不能保证原子性。
原子性理解:
不可分割,完整性,也就是某个线程正在做某个具体的业务的时候,中间不可以被加塞或者被分割,需要整体完整,要么同时成功,要么同时失败。
指令重排:
计算机在执行程序时,为了提高性能,编译器和处理器的常常会对指令做重排,计算机在执行程序时,为了提高性能,编译器和处理器的常常会对指令做重排,但在多线程环境中线程交替执行,由于编译器优化重排的存在,两个线程中使用的变量能否保证一致性是无法确定的,结果无法预测。
要实现原子性,最简单的方式就是加synchronized锁,即同步代码块,这样可以解决原子性问题。或者使用其他锁来保证原子性。
3、对指令重排的理解
在java中创建一个对象并非是一个原子操作,可以被分解成三行伪代码:
//1:分配对象的内存空间
memory = allocate();
//2:初始化对象
ctorInstance(memory);
//3:设置instance指向刚分配的内存地址
instance = memory;
上面三行伪代码中的2和3之间,可能会被重排序,即编译器或处理器为提高性能改变代码执行顺序,这一部分的内容稍后会详细解释,重排序之后的伪代码是这样的:
//1:分配对象的内存空间
memory = allocate();
//3:设置instance指向刚分配的内存地址
instance = memory;
//2:初始化对象
ctorInstance(memory);
在单线程程序下,重排序不会对最终结果产生影响,但是并发的情况下,可能会导致某些线程访问到未初始化的变量。
模拟一个2个线程创建单例的场景,如下表:
时间 | 线程A | 线程B |
---|---|---|
t1 | A1:分配对象内存空间 | |
t2 | A3:设置instance指向内存空间 | – |
t3 | – | B1:判断instance是否为空 |
t4 | – | B2:由于instance不为null,线程B将访问instance引用的对象 |
t5 | A2:初始化对象 | |
t6 | A4:访问instance引用的对象 | – |
按照这样的顺序执行,线程B将会获得一个未初始化的对象,并且自始至终,线程B无需获取锁!
指令重排小结:
volatile 实现了禁止指令重排优化,从而避免 多线程环境下程序出现乱序执行的现象。了解一个概念,内存屏障(Memory Barrier)又称内存栅栏,是一个CPU 指令,它的作用有两个:
1、保证特定操作的执行顺序。
2、保证某些变量的内存可见性(利用该特性实现volatile的内存可见性)。
4、总结
使用volatile可以保证可见性和有序性,synchronized可以保证有序性、原子性(加锁),线程安全性获得保证
工作内存与主内存同步延迟现象导致的可见性问题,可以使用 synchronized 或 volatile 关键字解决,它们都可以使一个线程修改后的变量立即对其他线程可见。
对于指令重排导致的可见性问题 和 有序性问题,可以利用 volatile 关键字解决,因为 volatile 的另外一个作用就是禁止重排序优化。