什么是Java内存模型?
JMM((JavaMemoryModel)即为Java内存模型,JVM(Java Virtual Machine)是Java虚拟机,两者不能混为一谈。
下图为JMM模型图
其流程简单来说,就是主内存中的变量先写入到工作内存中,接着交给线程去进行运算,运算后工作内存中的变量副本值发生改变,然后再重新写入到主内存中。
其交互操作如下所示:
- lock (锁定):作用于主内存的变量,把一个变量标识为线程独占状态
- unlock (解锁):作用于主内存的变量,它把一个处于锁定状态的变量释放出来,释放后的变量才可以被其他线程锁定
- read (读取):作用于主内存变量,它把一个变量的值从主内存传输到线程的工作内存中,以便随后的load动作使用
- load (载入):作用于工作内存的变量,它把read操作从主存中变量放入工作内存中
- use (使用):作用于工作内存中的变量,它把工作内存中的变量传输给执行引擎,每当虚拟机遇到一个需要使用到变量的值,就会使用到这个指令
- assign (赋值):作用于工作内存中的变量,它把一个从执行引擎中接受到的值放入工作内存的变量副本中
- store (存储):作用于主内存中的变量,它把一个从工作内存中一个变量的值传送到主内存中,以便后续的write使用
- write (写入):作用于主内存中的变量,它把store操作从工作内存中得到的变量的值放入主内存的变量中
用张图来解释一下:
工作内存中的变量副本是线程独占的,不同于主内存中的共享变量,它不能被其他线程读取到值。也就是说,如果有A、B两个线程同时运行,当A线程的进行到第④步时,变量副本值发生修改i=1,但由于没有写回到主内存中,还处于线程独占的状态,B线程便不会知道i的值发生变化,如果B线程中是一个循环,当i=1时跳出循环,那么B线程永远不会跳出循环。
那如何让B线程知道A线程中的变量值发生了改变呢?这个时候就引入了一个概念,可见性——当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值。
关键字volatile
仔细的同学会发现,上述列的交互操作一共有8个,而图中只有6个,剩下的lock和unlock没有出现!而这就是volatile实现的关键点。
在讲volatile的实现原理之前,要先提一下MESI缓存一致性协议,它提供一个嗅探机制(可以简单理解为监听,具体是硬件层面的实现,个人也不太了解),在缓存(工作内存)写入到主内存时,使其他线程缓存中的该变量副本失效,不得不去主内存中获取正确的值。
volatile修饰的变量,在进行到第⑤步时,会加上一个lock操作,直到第⑥步完成之后,才会unlock,而这段时间内,别的线程是不能进行⑤⑥两步操作的。同时由于MESI的存在,线程B便能从主内存中拿到正确的i值进行操作。
一句话概括:volatile — 保证读写的都是主内存的变量。
原子性,可见性,有序性
可见性已经说过了,这里着重讲一下原子性和有序性。
- 原子性
即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。
还是以上面那张图来做解释,假设A,B线程相同都执行1W次加1的操作,如果A线程执行到第④步,处理器没有继续操作第⑤步,转而去B线程完成第④步操作,这个时候问题就出现了。
由于A线程没有及时的完成第⑤步,B线程中的变量副本依旧有效,所以他能够完成加1的操作,随后A,B线程都向主内存中写值,那么两次加1的操作最终等于只完成了一次。
这个时候,synchronized同步代码块的作用就体现出来了,它的底层是对对象的监视器monitor进行获取,当线程获取monitor后才能继续往下执行,否则就只能等待。而这个获取的过程是互斥的,所以同一时刻只有一个线程能够获取到monitor。
直观感受一下
- 有序性
为了优化性能,编译器和处理器通常会对指令做重排序。
这里以一个双重锁的单例模式来介绍。
public class SecondSingleton {
//volatile关键字保证可见性 同时禁用指令重排(jdk1.5后生效)
private static volatile SecondSingleton singleton;
private SecondSingleton(){
}
public static SecondSingleton getSingleton() {
if (singleton == null) {
synchronized (SecondSingleton.class) {
if(singleton == null){
singleton = new SecondSingleton();
}
}
}
return singleton;
}
}
singleton = new SecondSingleton()
这句,并非是一个原子操作,他在 JVM 中这句话大概做了下面 3 件事情:
1. 给 singleton 分配内存
2. 调用 SecondSingleton的构造函数来初始化成员变量
3. 将singleton 对象指向分配的内存空间
这时,如果进行重排序,执行顺序改为了1->3->2,同时另一个线程第3步执行完而第2步未执行时在执行语句:
if(singleton == null){
singleton = new SecondSingleton();
}
那么这时的singleton已经是有内存空间的(非null),但此时它没有成员变量,所以在实例化的时候会出现报错。
如何避免这个问题? 只需要声明变量的时候加上一个volatile便可以,它能禁止处理器的指令重排序。