Java多线程之内存可见性

一. 可见性介绍

1.可见性：一个线程对共享变量值的修改，能够及时地被其他线程看到。

2.共享变量：如果一个变量在多个线程的工作内存中都存在副本，那么这个变量就是这几个线程的共享变量

3.java内存模型（JMM Java Memory Model）：描述了java程序中各种变量（线程共享变量）的访问规则，以及在JVM中将变量存储到内存和从内存中读取变量这样的底层细节。

4.JMM：所有变量都存储在主内存中；每个线程都有自己独立的工作内存，里面保留该线程使用到的变量的副本（主内存中该变量的一份拷贝）。

5.两个规定：

线程对共享变量的所有操作都必须在自己的工作内存中进行，不能直接从主内存中读写；

不同线程之间无法直接访问其它线程的工作内存中的变量，线程间变量值的传递需要通过主内存来完成。

6.共享变量可见性实现的原理：

线程1对共享变量的修改要想被线程2及时看到，必须经过如下2个步骤：把工作内存1中更新过的共享变量刷新到主内存中；把主内存中最新的共享变量的值更新到工作内存2中。

二. synchronized实现可见性

1.synchronized能够实现：原子性（同步）；可见性

2.JMM关于synchronized的两个规定：

线程解锁前，必须把共享变量的最新值刷新到主内存中；

线程加锁时，将清空工作内存中共享变量的值，从而使用共享变量时需要从主内存中重新读取最新的值（注意：加锁和解锁需要的是同一把锁）。

这样，线程解锁前对共享变量的修改在下次加锁时对其它线程可见

3.线程执行互斥代码的过程：

3.1.获得互斥锁

3.2.清空工作内存

3.3.从主内存拷贝变量的最新副本到工作内存

3.4.执行代码

3.5.将更改后的共享变量的值刷新到主内存中

3.6.释放互斥锁

4.重排序

重排序：代码书写的顺序与实际执行的顺序不同，指令重排序是编译器或处理器为了提高程序性能而做的优化。

1.编译器优化的重排序（编译器优化）

2.指令级并行重排序（处理器优化）

3.内存系统的重排序（处理器优化）

5.as-if-serial

无论如何重排序，程序执行结果应该与代码顺序执行的结果一致。

6.导致共享变量在线程间不可见的原因：

6.1.线程的交叉执行

6.2.重排序结合线程交叉执行

6.3.共享变量更新后的值没有在工作内存与主内存间及时更新

三. volatile实现可见性

volatile关键字：能够保证volatile变量的可见性；不能保证volatile变量复合操作的原子性

如何实现：通过加入内存屏障和禁止重排序优化来实现

线程写volatile变量过程：

1.改变线程工作内存中volatile变量副本的值

2.将改变后的副本的值从工作内存刷新到主内存

线程读volatile变量过程：

1.从主内存中读取volatile变量的最新值到线程的工作内存中

2.从工作内存中读取volatile变量的副本

适用场合：

要在多线程中安全的使用volatile变量，必须同时满足：

1.对变量的写操作不依赖当前值

2.该变量没有包含在具有其他变量的不变式中

四.synchronized和volatile的比较

1.volatile不需要加锁，比synchronized更轻量级，不会阻塞线程

2.从内存可见性角度，volatile读相当于加锁，volatile写相当于解锁

3.synchronized既能保证可见性，又能保证原子性，而volatile只能保证可见性，不能保证原子性