多线程开发之内修可见

 

直观的了解线程运行状态切换示意图，对方法不熟悉的可以查阅api。

 

volatile的主要功能是：变量对多线程的可见性和禁止JVM指令重排序。

 

volatile可见性

介绍volatile之前，我们先看下面的例子。

 

让代码运行在JVM设置为Server服务器的环境中，配置Eclipse中JVM的运行参数为 -server，设置界面如下

单击Run按钮后出现了死循环的效果，是什么原因造成的呢？

在启动RunThread.java线程时，变量private boolean isRunning = true 存在于公共堆栈及线程的私有堆栈中，这个过程是线程将数据从主内存读入到自己的私有工作内存中。在JVM被设置为 -server模式时为了线程运行的效率，线程一直在私有堆栈中取得isRunning的值是true，只有当线程执行完毕之后，才会去更新公共堆栈的值。而代码thread.setRunning(false)，虽然被执行，但这是父线程(其他线程执行一样)的操作，更新的是公共堆栈中的isRunning变量值为false，所以一直就是死循环的状态。内存结构如下。

这个问题其实就是私有堆栈和公共堆栈中的值不同步造成的。解决这样的问题就要使用volatile关键字，volatile只能修饰于变量，volatile private boolean isRunning = true，它的作用是当线程访问isRunning时，强制性从公共堆栈中进行取值。将上面的代码这样修改之后，就不会出现死循环了。

通过使用volatile关键字，强制的从公共内存中读取变量的值，内存结构如下。

synchronized其实也能保证数据的可见性，在进入synchronized同步方法之前会将公共内存中的变量同步到线程工作内存中，但synchronized是牺牲了线程的运行效率。所以在需要保证数据可见性的时候，绝大多数是使用volatile。

 

volatile禁止指令重排序

 

我们先看看多线程并发内存模型。

在线程load和save数据时，是可以分为以下步骤的。

(1) read和load阶段：从主存复制变量到当前线程工作内存；

(2) use和assign阶段：执行代码，改变线程工作内存变量值；

(3) store和write阶段：用工作内存数据刷新主存对应变量值。

在多线程并发环境中，由于load、use、assign这三步非原子性，count变量值是能够被并发修改的，会出现数据脏读，利用synchronized将这三步加锁同步起来，线程阻塞访问，就可以解决数据脏读问题。这说明volatile是不能有效保证数据原子性的。

但是在synchronized同步方法外，所有的执行代码就一定能保证正确执行吗？

在Java内存模型中，JVM允许编译器和处理器对代码指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。

我们来看一个JVM指令重排序的例子。

上面这段代码，由于不影响单线程的执行规范，线程1 存在语句2会在语句1之前执行，那么就可能导致context还没被初始化，而线程2中就使用未初始化的context去进行操作，导致程序出错。这就是代码指令重排序带来的多线程并发执行错误。

我们修改代码：volatile boolean inited = false，由于volatile能禁止指令重排序，这样线程1 context就一定能在inited = true 之前加载完成，线程2就能正常工作。

volatile 禁止JVM指令重排序的两个特性：

(1) 当程序执行到volatile变量的读/写操作时，在其前面的操作肯定已经全部完成，且结果已经对后面的操作可见，在其后面的操作肯定还没有进行；

(2) 在进行指令优化时，不能将volatile变量前面的语句放在其后面执行，也不能将volatile变量后面的语句放到其前面执行。

 

使用volatile场景

(1) 状态标记法

(2) double check

synchronized关键字 是防止多个线程同时执行一段代码，那么就会很影响程序执行效率，它包含两个特性：互斥性和可见性。

volatile关键字 在某些情况下性能要优于synchronized，但要注意volatile是无法替代synchronized的，因为volatile无法保证操作的原子性(互斥性)。它包含两个特性：可见性和有序性(禁止指令重排)。

学习多线程开发，要着重“外练互斥，内修可见”，这是掌握多线程并发的重要技术点。

 

有机会 在介绍Java虚拟机的时候，会讲解synchronized和volatile关键字的实现原理。

 

更多推送文章请关注公众号：