Java内存可见性

若是一个线程对共享变量的修改，可以被其它线程看到，那么就能说明共享变量在线程之间是可见的。若是一个变量在多个线程的工做内存中都存在副本，那么这个变量就是这几个线程的共享变量。Java内存模型（Java Memory Model,JMM）描述了Java程序中各类变量（线程共享变量）的访问规则，以及在JVM中将变量存储到内存和从内存中读取出变量这样的底层细节。全部的变量都储存在主内存中。每一个线程都有本身独立的工做内存，里面保存了该线程使用到的变量的副本（主内存中该变量的一份拷贝），以下图所示。

为何会出现共享变量可见性的问题，这是由于线程对共享变量的全部操做都必须在本身的工做内存中进行，不能从主内存中读写；并且不一样线程之间没法直接访问其它线程工做内存中的变量，线程间变量值的传递须要经过主内存来完成。线程1对共享变量的修改要想被线程2及时看到，必需要通过以下两个步骤：
1. 把工做内存1中更新过的共享变量刷新到主内存中；
2. 把内存中最新的共享变量的值更新到工做内存2中
Java语言层面支持的可见性实现方式有两种：
1. synchronized
2. volatile

synchronized不只能经过互斥锁来实现同步，并且还可以实现可见性。Java内存模型关于Synchronized有两条规定：
* 线程释放锁以前，JMM会将工做内存中的共享变量刷新到主内存中；
* 线程加锁时，将清空工做内存中共享变量的值，从而使用共享变量时须要从主内存中从新读取最新的值
线程执行互斥代码的过程：
1. 获取监视器锁
2. 清空工做内存
3. 从主内存中拷贝变量的最新副本到工做内存
4. 执行代码
5. 将更改后的共享变量的值刷新到主内存
6. 释放监视器锁
若是某个任务处于一个对标记为synchronized的方法的调用中，那么在这个线程从该方法返回以前，其它全部要调用类中任何标记为synchronized方法的线程都会被阻塞。
volatile经过加入内存屏障和禁止指令重排序优化来实现的：
* 对volatile变量执行写操做时，会在写操做后加入一条store屏障指令，这样就会把读写时的数据缓存加载到主内存中；
* 对volatile变量执行读操做时，会在读操做前加入一条load屏障指令，这样就会从主内存中加载变量；
因此说，volatile变量在每次被线程访问时，都强迫从主内存中重读该变量的值，而当该变量发生变化时，就会强迫线程将最新的值刷新到主内存，这样任什么时候刻，不一样的线程总能看到该变量的最新值。
线程写volatile变量的过程：
1. 改变线程工做内存中volatile变量副本的值；
2. 将改变后的副本的值从工做内存刷新到主内存中
线程读volatile变量的过程：
1. 从主内存中读取volatile变量的最新值到线程的工做内存中；
2. 从工做内存中读取volatile变量的副本