Java内存模型JMM与可见性
Java内存模型JMM与可见性
标签（空格分隔）： java
1 何为JMM
JMM：通俗地讲，就是描述Java中各种变量（线程共享变量）的访问规则，以及在JVM中将变量存储到内存和从内存中读取变量这样的底层细节。
结合上图，先介绍几个概念：
主内存：保存了所有的变量。
共享变量：如果一个变量被多个线程使用，那么这个变量会在每个线程的工作内存中保有一个副本，这种变量就是共享变量。
工作内存：每个线程都有自己的工作内存，线程独享，保存了线程用到了变量的副本（主内存共享变量的一份拷贝）。工作内存负责与线程交互，也负责与主内存交互。
JMM对共享内存的操作做出了如下两条规定：
- 线程对共享内存的所有操作都必须在自己的工作内存中进行，不能直接从主内存中读写；
- 不同线程无法直接访问其他线程工作内存中的变量，因此共享变量的值传递需要通过主内存完成。
2 共享变量在线程间的可见性
由此可见不同线程都是直接操作自身工作内存中的副本，因此可能导致共享变量的修改在线程间不可见，所谓不可见，是指一个线程对共享变量的修改不能及时地被其他线程看到。导致共享变量在进程间不可见的原因有以下几个：
- 指令重排序 & 线程交叉执行
- 共享变量更新后的值没有在工作内存和主内存间及时更新
线程交叉执行：主要指线程调度。
指令重排序：为了发挥CPU性能，指令执行顺序可能与书写的不同，分为编译器优化的重排序(编译器优化)，指令集并行重排序（处理器优化），内存系统的重排序（处理器优化）。
共享变量更新：如果想让线程A对共享变量的修改被线程B看到，需要以下步骤：把线程A的工作内存中更新过的变量刷新到主内存中，再将主内存中最新的共享变量的值刷新到线程B的工作内存中。如果更新不及时，则会导致共享变量的不可见，数据不准确，线程不安全。
说到重排序，就不得不说一下as-if-serial语义：无论如何重排序，程序执行的结果应该与代码顺序执行的结果一致。（编译器，运行时和处理器都会保证Java在单线程下遵循as-if-serial语义）
下面看一段代码：
public class PossibleReordering {
static int x = 0, y = 0;
static int a = 0, b = 0;
public PossibleReordering() {}
public static void main(String[] args) throws InterruptedException {
int result[] = new int[4];
for(int i = 0; i < 1000000; i++){
Thread one = new Thread(new Runnable() {
@Override
public void run() {
a = 1;
x = b;
}
});
Thread two = new Thread(new Runnable() {
@Override
public void run() {
b = 1;
y = a;
}
});
x=y=a=b=0;
one.start();
two.start();
one.join();
two.join();
//注意，此时线程one和two均以结束，其对x，y的修改已经写回到主内存
int r = (x << 1) | (y);
result[r]++;
}
System.out.println(Arrays.toString(result));
}
}
该段代码可能输出的x和y有4种组合，分别为(0,0) (0,1) (1,0) (1,1)。一次典型的运行输出如下：[4, 941466, 58524, 6]。该输出代表(0,0)组合产生了4次，(0,1)组合产生了941466次，(1,0)组合产生了58524次，(1,1)组合产生了6次。
各种组合及其可能的原因如下表：
| 组合 | 可能的产生原因 |
|---|---|
| 0 1 | 线程one在two开始之前就完成 |
| 1 0 | 线程two在one开始前就完成 |
| 1 1 | 线程one和two交叉执行的结果 |
| 0 0 | 乱序执行或共享变量更新到主内存不及时 |
由此可见，因此在没有正确同步的情况下，即是要推断最简单的并发程序的行为也很困难。
可能的一种乱序执行情况如下图所示：
重排序不会导致单线程的内存可见性问题，但多线程交错执行时，可能导致可见性问题，那么如何解决线程间对共享变量修改的可见性问题呢?
3 Java在语言层面实现可见性的两种方式
使用synchronized实现可见性：
Java中synchronized关键字有两重含义，一是大家所熟知的实现原子性，二就是实现内存可见性。
synchronized可见性规范：
- 线程解锁前必须把共享变量的最新值刷新到主内存中
- 线程加锁时，将清空工作内存中共享变量的值，从而需要从主内存中重新读取最新值。
因此，线程解锁前对共享变量的修改在下次加锁时对其他线程可见。整个过程如下：获得互斥锁-》清空工作内存-》从主内存拷贝-》执行代码-》写回主内存-》释放互斥锁。
与此同时，synchronized还会限制编译器、运行时和硬件对内存操作重排序的方式，从而在实施重排序时不会破坏JMM提供的可见性保证。
| 共享变量在线程间不可见的原因 | synchronized解决方案 |
|---|---|
| 重排序 & 线程交叉执行 | 原子性(结合as-if-serial语义) |
| 共享变量未及时更新 | 通过synchronized可见性规范 |
使用volatile实现可见性：
Java中的volatile可以保证volatile变量的可见性，但不保证复合操作的原子性(如++)
volatile可见性规范：
- 对volatile变量执行写操作时，会在写操作后加入一条store写屏障指令，强制将缓存刷新到主内存中
- 对volatile变量执行读操作时，会在读操作前加入一条load读屏障指令，强制使缓冲区缓存失效，所以会从主内存读取最新值。
- 防止指令重排序。
通俗来讲：volatile变量在每次被线程访问时，都强迫从主内存中重读该变量的值，而当该变量发生变化时，又会强迫线程将最新的值刷新到主内存。这样在任何时刻，不同的线程总能看到该变量的最新值。
| 共享变量在线程间不可见的原因 | volatile解决方案 |
|---|---|
| 重排序 & 线程交叉执行 | 防止指令重排序 |
| 共享变量未及时更新 | 通过volatile可见性规范 |
synchronized与volatile对比：
- volatile不需要加锁，比synchronized轻量，不会阻塞线程。
- 从内存可见性角度来看，volatile读相当于加锁，volatile写相当于解锁。
- synchronized可以保证可见性+原子性。volatile只能保证可见性，不能保证原子性。
参考资料
慕课网：细说Java多线程之内存可见性
Java并发编程实战
程晓明：深入理解Java内存模型（一）——基础
