线程学习（22）-dcl(double-checked locking)

样例

double-checked locking,即dcl，代表多重校验锁。

一听这个名字，就会想到双重校验锁单例模式，以及前面所说的犹豫模式。下面先写个正确的单例。

package com.bo.threadstudy.five;

import lombok.extern.slf4j.Slf4j;

@Slf4j
public class SingleTest04 {
    //防止指令重排
    private static volatile SingleTest04 single;
    private SingleTest04(){

    }
    public static SingleTest04 getSingle(){
        if(single == null){
            synchronized (SingleTest04.class){
                if(single == null){
                    single = new SingleTest04();
                }
            }
        }
        //在两个线程发生竞争时，第一个线程发生指令重排，先给single对象赋值，然后再创建对象，此时第二个线程确认single不为空，但是对象没创建完，出现问题
        return single;
    }

}

上面的代码是一个完整的双重校验锁。

第一个if防止每次试图创建对象时，都需要进入synchronized中进行判断。

第二个if防止多线程剑发生指令交错，最终导致创建出多个对象。

volatile代表了防止创建对象时发生指令重排，最终出现问题。原因写在注释上了。

这里主要就着volatile来分析一下。

分析

javap反编译的指令集

 17代表创建对象，对象引用入栈

20代表拷贝一份对象引用

21表示利用对象引用，调用构造方法

24表示利用对象引用，赋值给static的single变量。

首先先声明一点，synchronized虽然可以保证有序性，但不静止指令重排，只是因为synchronized保证同时只有一段代码块可以竞争到锁，和其它代码块不会发生冲突，才保证了有序性。

而现在，不用volatile来对single对象来进行修饰，那么21和24可能出现指令重排现象。即先赋值，然后再调用构造方法创建对象。那么就会出现，现在single不为空，但是对象没有创建完，别的线程此时获取到single变量不为空，直接拿对象来用。所以会出现问题。

如果

 加了volatile就是下方注释的内容了，禁止了指令重排，保证了代码不会出现问题。

 如上面的注释内容所示，读写 volatile 变量时会加入内存屏障（Memory Barrier（Memory Fence）），保证下面
两点：
可见性
写屏障（sfence）保证在该屏障之前的 t1 对共享变量的改动，都同步到主存当中
而读屏障（lfence）保证在该屏障之后 t2 对共享变量的读取，加载的是主存中最新数据
有序性
写屏障会确保指令重排序时，不会将写屏障之前的代码排在写屏障之后
读屏障会确保指令重排序时，不会将读屏障之后的代码排在读屏障之前
更底层是读写变量时使用 lock 指令来多核 CPU 之间的可见性与有序性

 

学到现在，才理解了线程的三大特性，原子性，可见性，有序性。其实多线程开发的一切，就是保证并行提升效率的基础上，尽可能保证线程安全，以及更加细粒度的线程安全。