单例模式之DCL懒汉式解析(双重检验锁)

单例模式之DCL懒汉式解析(双重检验锁)

双重检验锁不安全的原因

• 在下面的代码进行到: lazyMan = new LazyMan();的时候有可能会进行指令重排.
• lazyMan = new LazyMan(); 这一句代码其实有3个操作
• 1. 分配内存空间
  2. 执行构造方法 初始化对象
  3. 把对象指向 内存空间
• A 线程的执行顺序可能是1 3 2, 并且由于不是原子性操作过程, A在操作的过程会可能会有其他线程来执行操作
  假如A 执行完3 还没执行2的时候, 线程B进来执行在第一个if (lazyMan == null)的地方, 由于A执行完3, 会认为lazyMan不为null(因为已经指向了内存空间) , 所以B会返回未完成构造的lazyMan会有问题, 需要在lazyMan上加volatile修饰

// 懒汉式: 用的时候创建
public class LazyMan {
    private LazyMan() {
    }
	
	// volatile保证lazyMan创建过程中不进行指令重排
    private volatile static LazyMan lazyMan;



    // 双重检验锁 DCL懒汉
    public static LazyMan getLazyMan() {
        if (lazyMan == null) {
        	// 获取LazyMan这个类的锁
            synchronized (LazyMan.class) {
                if (lazyMan == null) {
                    try {
                        TimeUnit.SECONDS.sleep(1);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                    lazyMan = new LazyMan();
                    /**
                     * 不是原子性操作
                     * 1. 分配内存空间
                     * 2. 执行构造方法 初始化对象
                     * 3. 把对象指向 内存空间
                     *
                     * 会进行指令重排
                     * A 线程的执行顺序可能是1 3 2
                     *   当A 执行完3 还没执行2的时候  线程B进来执行  由于执行完3 会认为lazyMan
                     *   不为null(因为已经指向了内存空间) 所以B会返回未完成构造的lazyMan
                     *   需要在lazyMan上加volatile修饰
                     */

                }
            }
        }
        return lazyMan;
    }


    // 模拟多线程
    public static void main(String[] args) {
        for (int i = 0; i < 10; i++) {
            new Thread(() -> {
                System.out.println(Thread.currentThread().getName() + "lazyMan : " + getLazyMan());
            }, "" + i).start();
        }
    }
}

• 控制台输出: 同一个实例

0lazyMan : com.zheng.juc.single.LazyMan@42b95647
9lazyMan : com.zheng.juc.single.LazyMan@42b95647
4lazyMan : com.zheng.juc.single.LazyMan@42b95647
6lazyMan : com.zheng.juc.single.LazyMan@42b95647
5lazyMan : com.zheng.juc.single.LazyMan@42b95647
2lazyMan : com.zheng.juc.single.LazyMan@42b95647
1lazyMan : com.zheng.juc.single.LazyMan@42b95647
7lazyMan : com.zheng.juc.single.LazyMan@42b95647
3lazyMan : com.zheng.juc.single.LazyMan@42b95647
8lazyMan : com.zheng.juc.single.LazyMan@42b95647