Java单例之DCL双重检查锁

本文探讨了Java中单例模式的实现,从最简单的静态常量实例化到双重检查锁定(DCL)模式,详细解释了在多线程环境下如何确保单例的正确创建。通过代码示例展示了单例模式的进化过程,包括可能出现的并发问题和解决方案,强调了线程安全与效率的平衡。同时,提到了在并发编程中遇到的竞态条件及其影响。

话不多说上代码!其中main函数是模仿多线程访问单例,打印对象的hashCode值来查看多线程环境下拿到的实例是不是同一个。

package com.kali.jvm.singleton;

public class V1Singleton {
    private static final V1Singleton INSTANCE = new V1Singleton();

    private V1Singleton(){}

    public static V1Singleton getInstance(){
        return INSTANCE;
    }

    public static void main(String[] args) {

        for (int i = 0; i < 10000; i++) {
            new Thread(() ->{
                System.out.println(getInstance().hashCode());
            }).start();
        }
    }
}

这是最简单的单例模式。

以下是DCL单例模式形成的过程:

一、多线程情况下加锁:

package com.kali.jvm.singleton;

public class V3Singleton {
    private static V3Singleton SINGLETON_INSTANCE;

    private V3Singleton(){}

    public static synchronized V3Singleton getInstance(){
        if(SINGLETON_INSTANCE == null){
           try {
              Thread.sleep(10);
           } catch (InterruptedException e) {
              e.printStackTrace();
           }
           SINGLETON_INSTANCE = new V3Singleton();
        }
        return SINGLETON_INSTANCE;
    }

    public static void main(String[] args) {
        for (int i = 0; i < 10000; i++) {
            new Thread(() ->{
                System.out.println(getInstance().hashCode());
            }).start();
        }
    }
}

二、为了提高效率缩小锁的粒度:

package com.kali.jvm.singleton;

public class V3Singleton {
    private static V3Singleton SINGLETON_INSTANCE;

    private V3Singleton(){}

    public static V3Singleton getInstance(){
        if(SINGLETON_INSTANCE == null){
            synchronized (V3Singleton.class){
                try {
                    Thread.sleep(10);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                SINGLETON_INSTANCE = new V3Singleton();
            }
        }
        return SINGLETON_INSTANCE;
    }

    public static void main(String[] args) {
        for (int i = 0; i < 10000; i++) {
            new Thread(() ->{
                System.out.println(getInstance().hashCode());
            }).start();
        }
    }
}

在JAVA中多线程并发环境下会出错的数据被称为竞态条件。

三、上面缩小锁粒度后的程序在并发情况下还是会出现问题,当一个线程判断SINGLETON_INSTANCE为null时,恰好时间片到了,下一个线程来了之后判断为null,拿到了锁然后返回实例对象,释放锁,这时候第一个线程继续执行,因为已经判断了SINGLETON_INSTANCE为null,然后拿锁执行,又产生了一个实例。保证不了单例。所以加了双重所检查机制。

package com.kali.jvm.singleton;

/**
 * DCL双重检查锁
 * DCL单例到底需要加volatile?
 */
public class V2Singleton {
    private static V2Singleton SINGLETON_INSTANCE;

    private V2Singleton(){}

    public static V2Singleton getInstance(){
        if(SINGLETON_INSTANCE == null){
            synchronized (V2Singleton.class){
                if(SINGLETON_INSTANCE == null){
                    try {
                        Thread.sleep(10);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                    SINGLETON_INSTANCE = new V2Singleton();
                }
            }
        }
        return SINGLETON_INSTANCE;
    }

    public static void main(String[] args) {
        for (int i = 0; i < 10000; i++) {
            new Thread(() ->{
                System.out.println(getInstance().hashCode());
            }).start();
        }
    }
}
<think>嗯,用户问为什么单例模式双重检查锁要加两次锁。首先,我得回忆一下单例模式的基本概念。单例模式确保一个类只有一个实,并提供全局访问点。双重检查锁(Double-Checked Locking,DCL)是在多线程环境下实现懒汉式的一种方法。 用户可能已经了解过单例模式的简实现,比如直接在getInstance方法上加synchronized,但这样每次调用都会同步,性能开销大。所以他们想知道为什么双重检查锁需要两次检查,以及两次加锁的必要性。 首先,我需要解释双重检查锁的结构。通常代码是这样的: public class Singleton { private static volatile Singleton instance; public static Singleton getInstance() { if (instance == null) { // 第一次检查 synchronized (Singleton.class) { // 加锁 if (instance == null) { // 第二次检查 instance = new Singleton(); } } } return instance; } } 用户可能疑惑,为什么第一次检查之后还需要加锁,然后在锁内部再次检查。第一次检查是为了避免每次调用都加锁,提升性能。但如果没有第二次检查,可能会有多个线程同时通过第一次检查,然后在锁内创建多个实如,线程A和B都通过了第一次检查,然后A获取锁创建实,释放锁后B进入锁,如果没有第二次检查,B会再次创建实,这样就破坏了。 所以第二次检查是必要的,确保在锁内只有一个线程创建实。另外,用户可能对volatile关键字的作用有疑问。这里需要提到指令重排的问题。在没有volatile修饰的情况下,Java内存模型允许指令重排,可能导致instance引用被赋值但对象还未初始化完成,其他线程可能访问到不完整的实。volatile可以禁止指令重排,保证可见性。 用户可能没有意识到,两次检查的原因在于多线程环境下的竞态条件。第一次检查快速判断是否需要加锁,减少锁的开销;第二次检查在锁内部确保只有一个线程初始化实。同时,volatile的作用也是关键点,需要解释清楚。 可能用户的实际问题是在自己的代码中遇到了线程安全的问题,或者面试中被问到这个问题,需要深入理解DCL的原理。因此,回答时需要详细说明每个步骤的必要性,以及可能导致的后果,比如不加volatile的风险,或者省略第二次检查的问题。 总结下来,回答的结构应该是先介绍双重检查锁的结构,然后逐步分析两次检查和volatile的作用,最后总结为什么需要这样的设计。需要确保技术细节准确,比如指令重排、内存可见性、synchronized的作用范围等。</think>在单例模式中,**双重检查锁(Double-Checked Locking, DCL)** 通过两次判空和两次锁机制,既保证线程安全,又减少同步开销。其核心逻辑和必要性如下: --- ### **一、双重检查锁的典型实现** ```java public class Singleton { // 关键:volatile 修饰实 private static volatile Singleton instance; public static Singleton getInstance() { if (instance == null) { // 第一次检查:避免不必要的加锁 synchronized (Singleton.class) { // 加锁:保证线程安全 if (instance == null) { // 第二次检查:防止重复创建 instance = new Singleton(); // 创建实 } } } return instance; } } ``` --- ### **二、为什么需要两次判空?** #### 1. **第一次判空:性能优化** - **作用**:避免每次调用`getInstance()`都进入同步块。 - **场景**:当实已存在时,直接返回,无需加锁。 - **若省略**:所有线程都必须排队等待锁,失去“懒加载”的性能优势。 #### 2. **第二次判空:线程安全** - **作用**:防止多个线程同时通过第一次判空后,重复创建实。 - **场景**: - 线程A和线程B同时通过第一次判空。 - 线程A先获取锁,创建实后释放锁。 - 线程B进入同步块时,若没有第二次判空,会再次创建实。 - **若省略**:导致被多次实化,破坏唯一性。 --- ### **三、为什么需要`volatile`修饰实?** #### 1. **禁止指令重排序(关键原因)** - `instance = new Singleton()` 的字节码分为三步: 1. 分配内存空间 2. 初始化对象(调用构造函数) 3. 将引用指向内存地址(`instance`赋值) - **问题**:JVM可能对步骤2和3进行重排序。 - 若线程A执行顺序为1→3→2,此时`instance`已非空,但对象未初始化。 - 线程B调用`getInstance()`,直接使用未初始化的`instance`,导致程序错误。 #### 2. **保证内存可见性** - `volatile`确保一个线程修改`instance`后,其他线程能立即看到最新值。 #### 3. **若省略`volatile`** 即使双重检查锁逻辑正确,仍可能因指令重排序导致线程安全问题。 --- ### **四、对比其他实现方式** | 实现方式 | 优点 | 缺点 | |-------------------|--------------------------|-----------------------------------| | 饿汉式 | 简、线程安全 | 无法懒加载,可能浪费资源 | | 同步方法(`synchronized`方法) | 线程安全 | 每次调用都加锁,性能差 | | 静态内部类 | 懒加载、线程安全 | 无法应对反射或序列化破坏的场景 | | **双重检查锁DCL)** | 懒加载、性能高、线程安全 | 需配合`volatile`,实现稍复杂 | --- ### **五、实际应用注意事项** 1. **避免反射破坏** - 在构造函数中添加防御代码: ```java private Singleton() { if (instance != null) { throw new RuntimeException("禁止反射创建!"); } } ``` 2. **序列化安全** - 实现`readResolve()`方法: ```java protected Object readResolve() { return getInstance(); } ``` --- ### **总结** 双重检查锁通过**两次判空**分别实现**性能优化**和**线程安全**,并依赖`volatile`解决指令重排序问题。它是高并发场景下实现高效、安全懒加载的标准方案。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值