单例的双重检验锁模式

1:单例模式（Singleton Pattern）是 Java 中最简单的设计模式之一。这种类型的设计模式属于创建型模式，它提供了一种创建对象的最佳方式。

这种模式涉及到一个单一的类，该类负责创建自己的对象，同时确保只有单个对象被创建。这个类提供了一种访问其唯一的对象的方式，可以直接访问，不需要实例化该类的对象。
2：单例模式的实现有很多种本文着重讨论双重校验锁 首先写如下代码：

package com.huobao.order.Test;

/**
 * Created by hyl
 * on 2019/8/26.
 */
public class SingleTest {

    private  static SingleTest singleTest;

    private SingleTest(){}

    public static  SingleTest getSingleTest(){
        if(singleTest == null){
            synchronized (SingleTest.class){
                if(singleTest == null){
                    singleTest = new SingleTest();
                }
            }
        }
        return  singleTest;
    }

}

这个方案看起来很完美，也看到好多人说这种模式可以保证单列。然而这个方案有一些问题却很容易被忽略(指令重排问题)。其发生在 singleTest = new SingleTest();时候
用javap -c 查看字节码

Code:
0: getstatic     #2                  // Field singleTest:Lcom/huobao/order/Test/SingleTest;
3: ifnonnull     37
6: ldc           #3                  // class com/huobao/order/Test/SingleTest
8: dup
9: astore_0
10: monitorenter
11: getstatic     #2                  // Field singleTest:Lcom/huobao/order/Test/SingleTest;
14: ifnonnull     27
// 创建 SingleTest 对象实例，分配内存
17: new           #3                  // class com/huobao/order/Test/SingleTest
// 复制栈顶地址，并再将其压入栈顶
20: dup
// 调用构造器方法，初始化 SingleTest 对象
21: invokespecial #4                  // Method "<init>":()V
24: putstatic     #2                  // Field singleTest:Lcom/huobao/order/Test/SingleTest;
27: aload_0
28: monitorexit
29: goto          37
// 存入局部方法变量表
32: astore_1
33: aload_0
34: monitorexit
35: aload_1
36: athrow
37: getstatic     #2                  // Field singleTest:Lcom/huobao/order/Test/SingleTest;
40: areturn
Exception table:
from    to  target type
11    29    32   any
32    35    32   any
}

从字节码可以看到创建一个对象实例，可以分为三步：

1.分配对象内存
2.调用构造器方法，执行初始化
3.将对象引用赋值给变量。
虚拟机实际运行时，以上指令可能发生重排序。以上代码 2,3 可能发生重排序，但是并不会重排序 1 的顺序。也就是说 1 这个指令都需要先执行，因为 2,3 指令需要依托 1 指令执行结果。（
Java 语言规规定了线程执行程序时需要遵守 intra-thread semantics。**intra-thread semantics ** 保证重排序不会改变单线程内的程序执行结果。这个重排序在没有改变单线程程序的执行结果的前提下，可以提高程序的执行性能。
）
因此上列代码如有t1,t2两个线程同时访问时有一定几率出现单例失败如：当t1进入对象实列化的事时候刚发发生指令重排，此时线程t2进入，此时对象singleTest已经不为null，但对象还未初始化，所以线程t2会发生异常。
所以在 private static SingleTest singleTest;加入volatile关键字private volatile static SingleTest singleTest;
volatile 主要有两个作用：
1.防止指令重排 (保证其他线程访问到的对象是一个初始化后的对象),
2.可见性 （下次在写volatile是如何保可见性的）