Volatile关键字和单例模式(双重校验锁)

本文深入解析Java中的Volatile关键字,探讨其如何确保变量的可见性和禁止指令重排序,以及为何不能保证原子性。通过示例代码展示Volatile在单例模式、线程通信中的应用,对比synchronized和AtomicInteger的使用。

Volatile关键字

  • Volatile是Java虚拟机提供的轻量级同步机制
    • 保证可见性
    • 不保证原子性
    • 禁止指令重排序

要想对Volatile有更好的了解Volatile就需要来谈谈JMM

1、JMM

JMM(Java内存模型)本身是一种抽象的概念并不真实存在,它描述的是一组规范或者规则,通过这组规范定义了程序中的各个变量(包括实例字段,静态字段和构成数组对象的元素)的访问方式。

1.1、JVM和JMM

JVM:Java虚拟机
JMM:Java内存模型

1.2、JMM关于同步的规定

  1. 线程解锁前,必须把共享变量的值刷新回主内存
  2. 线程加锁前,必须读取主内存的最新值到自己的工作内存
  3. 加锁解锁是同一把锁

由于JVM运行程序的实体是线程,而每个线程创建时JVM都会为其创建一个工作内存(有些地方称为栈空间),工作内存是每个线程的自有数据空间,而Java内存模型中规定所有变量都存储在主内存,主内存是共享内存区域,所有线程都可以访问,但线程对变量的操作(读取赋值等)必须在工作内存中进行,首先将变量从主内存拷贝在自己的工作内存,然后对变量进行操作,操作完成后再将变量写回主内存,不能直接操作主内存中的变量,各线程中的工作内存中存储着主内存中的变量副本拷贝,因此不同的线程间无法访问对方的工作内存,线程间通信(传值)必须通过主内存来完成,其简要访问过程如下图:
在这里插入图片描述

1.3、JMM的三大特性

1、可见性
2、原子性
3、有序性

2、Volatile保证可见性

import java.util.concurrent.TimeUnit;

public class JMMDemo {
    //不加volatile程序就会死循环
    //加volatile保证程序的可见性
    private volatile static int num = 0;
    public static void main(String[] args) {//main线程

        new Thread(()->{//线程1
            while (num == 0) {

            }
        }).start();
        try {
            TimeUnit.SECONDS.sleep(1);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        num = 1;
        System.out.println(num);
    }
}

3、Volatile不保证原子性

  • 原子性:不可分割,完整性,即某个线程在做某个具体业务时,中间不可以被加塞或者被分割。需要整体完整。要么同时成功,要么同时失败
public static void main(String[] args) {
    Mydate mydate = new Mydate();
    for (int i = 0; i < 20; i++) {
        new Thread(new Runnable() {
            public void run() {
                for (int j = 1; j <= 1000; j++) {
                    mydate.add();
                }
            }
        },String.valueOf(i)).start();
    }
    //需要等待20个线程都计算完了,再用main线程取得最终的结果
    while (Thread.activeCount() > 2) {
        Thread.yield();
    }
    System.out.println(Thread.currentThread().getName()+" finally number:"+mydate.number);
}

class Mydate{
    volatile int number = 0;
    public  void addTo60() {
        this.number = 60;
    }

    //加了关键字volatile修饰的
    public void add() {
        number++;
    }
}
  • 结果

main finally number:19491(每次结果都会不一样)

怎么解决

  • 加synchronized
  • 使用AtomicInteger
    代码:
public class Test {
    public static void main(String[] args) {
        Mydate mydate = new Mydate();
        for (int i = 0; i < 20; i++) {
            new Thread(new Runnable() {
                public void run() {
                    for (int j = 1; j <= 1000; j++) {
                        mydate.add();
                        mydate.addMyAtomic();
                    }
                }
            },String.valueOf(i)).start();
        }
        //需要等待20个线程都计算完了,再用main线程取得最终的结果
        while (Thread.activeCount() > 2) {
            Thread.yield();
        }
        System.out.println(Thread.currentThread().getName()+" int type finally number:"+mydate.number);
        System.out.println(Thread.currentThread().getName()+" AtomicInteger type,finally number:"+mydate.atomicInteger);
    }
}
class Mydate{
    volatile int number = 0;
    public  void addTo60() {
        this.number = 60;
    }

    //加了关键字volatile修饰的
    public void add() {
        number++;
    }

    AtomicInteger atomicInteger = new AtomicInteger();
    public void addMyAtomic() {
        atomicInteger.getAndIncrement();
    }
}

结果:

main int type finally number:19662
main AtomicInteger type,finally number:20000

4、禁止指令重排序

什么是指令重排:你写的程序,计算机并不是比按照你写的那样去执行de

源代码–>编译器优化的重排—>指令并行也会重排—>内存系统和也会重排—>执行

处理器在进行指令重排序的时候,考虑:数据之间的依赖性!

int x = 1;//1
int y = 2;//2
x = x + 5;//3
y = x * x;//4

//我们所期望的:1234  但是执行的时候可能会是   2134   1324
//可不可能是:4123 不可能

5、总结

  • 工作内存与主内存同步延迟现象导致的可见性问题
    可以使用synchronized或volatile关键字解决,它们都可以使一个线程修改后的变量立即对其他线程可见

  • 对于指令重排序导致的可见性问题和有序性问题
    可以利用volatile关键字来解决,因为volatile的另一个作用就是禁止重排序优化

7.单例模式

public class SingletonDemo {
    private volatile static SingletonDemo instance = null;
    private SingletonDemo() {
        System.out.println(Thread.currentThread().getName()+" 我是构造方法SingletonDemo()");
    }

    public static SingletonDemo getInstance() {
    	//双重校验锁
        if(instance == null) {
            synchronized (SingletonDemo.class) {
                if(instance == null) {
                    instance = new SingletonDemo();
                }
            }
        }
        return instance;
    }

    public static void main(String[] args) {
        for (int i = 1; i <= 10; i++) {
            new Thread(new Runnable() {
                public void run() {
                    SingletonDemo.getInstance();
                }
            },String.valueOf(i)).start();
        }
    }
}
<think>我们正在讨论双重校验锁单例模式volatile关键字的作用。根据提供的引用,特别是引用[1]、[2]、[3]、[4]、[5],我们可以总结出以下关键点:1.**双重检查定(DCL)的目的**:在保证线程安全的同时,减少同步带来的性能开销。通过两次检查(一次在同步块外,一次在同步块内)来确保只有在实未初始化时才进行同步创建。2.**为什么需要volatile**:主要原因是防止指令重排序(instructionreordering)导致的线程安全问题。在Java中,创建一个对象(`instance=newSingleton();`)并不是一个原子操作,它分为三个步骤:-分配内存空间-初始化对象(调用构造函数)-将实引用指向分配的内存地址但是,由于指令重排序的优化,步骤2步骤3可能会被重新排序。也就是说,可能出现先分配内存空间,然后将引用指向该内存,最后才初始化对象的情况。3.**重排序带来的问题**:假设有两个线程AB:-线程A进入同步块,执行`instance=newSingleton();`,此时由于重排序,对象还未初始化完成,但引用已经不为null(即已经指向了分配的内存地址)。-此时线程B调用`getInstance()`,在第一次检查`instance==null`时发现不为null,于是直接返回`instance`,但此时`instance`指向的对象还未初始化完成(构造函数未执行完),导致线程B使用了一个不完整的对象。4.**volatile的作用**:-禁止指令重排序:使用volatile修饰的变量,会插入内存屏障(MemoryBarrier),确保写操作之前的指令不会被重排序到写操作之后,读操作之后的指令不会被重排序到读操作之前。-保证可见性:当一个线程修改了volatile变量的值,其他线程能立即看到修改后的值。在单例模式中,volatile修饰的`instance`变量,可以确保在对象初始化完成之后,才将引用赋值给`instance`,从而避免其他线程看到未初始化的对象。5.**引用中的说明**:-引用[1][2]指出volatile主要是为了保证线程安全,避免指令重排序问题。-引用[3][4]强调volatile防止了JVM的指令重排序,确保对象只会被创建一次。-引用[5]详细解析了指令重排序导致的问题以及volatile如何解决。因此,在双重校验锁单例模式中,`volatile`关键字是必需的,它解决了由于指令重排序导致的线程安全问题。###总结:-**没有volatile**:可能发生指令重排序,导致其他线程获取到未完全初始化的实。-**使用volatile**:禁止与实创建相关的指令重排序,保证对象初始化完成后再赋值给引用,从而确保线程安全。###相关问题:1.除了双重检查,还有哪些线程安全的实现方式?2.volatile关键字在Java内存模型(JMM)中还有哪些作用?3.为什么双重检查中需要两次判空?4.指令重排序在哪些情况下会发生?</think>### 双重校验锁单例模式中 `volatile` 关键字的作用解析 在双重检查定(Double-Checked Locking, DCL)实现单例模式时,`volatile` 关键字的核心作用是**防止指令重排序**,确保多线程环境下对象初始化的原子性可见性。以下是详细解析: #### 1. **对象创建的非原子性问题** 对象实化 `instance = new Singleton()` 包含三个关键步骤: 1. 分配对象内存空间 2. 初始化对象(调用构造函数) 3. 将引用指向内存地址 ```java instance = new Singleton(); // 非原子操作 ``` 在没有 `volatile` 的情况下,JVM 可能对指令进行重排序,将步骤3提前到步骤2之前执行(即先分配地址再初始化)。这种重排序在线程中无影响,但在多线程中会导致严重问题。 #### 2. **多线程下的失效场景** 假设线程A执行创建操作时发生指令重排序: 1. 分配内存空间 2. **将引用指向内存地址(此时 instance ≠ null)** 3. 初始化对象(构造函数未完成) 此时线程B调用 `getInstance()`: ```java if (instance == null) { // 判断为 false(因为引用已存在) return instance; // 返回未初始化的半成品对象! } ``` **结果**:线程B获得了一个未完成初始化的对象,可能导致空指针异常或状态错误。 #### 3. **`volatile` 的解决方案** 通过 `volatile` 修饰实变量: ```java private static volatile Singleton instance; ``` 该关键字实现两个关键保障: 1. **禁止指令重排序** 在写操作前后插入内存屏障(Memory Barrier),确保: - 对象完全初始化完成 - **之后**才将引用赋值给 `instance` 2. **保证可见性** 确保一个线程修改 `instance` 后,其他线程能立即看到最新值(通过主内存同步) #### 4. **内存屏障原理** `volatile` 在字节码层面生成以下屏障: ``` StoreStore Barrier // 阻止初始化操作之前的写重排序 初始化对象 StoreLoad Barrier // 阻止初始化与引用赋值的重排序 赋值 instance LoadLoad Barrier // 确保后续读操作能看到完整对象 ``` #### 5. **与普通定的对比** | 方案 | 性能 | 线程安全 | 初始化时机 | |--------------------|------------|----------|------------------| | 同步方法 | 差(每次调用加) | 安全 | 首次调用 | | 双重检查volatile | 好 | **不安全** | 首次调用 | | 双重检查+volatile | 好 | 安全 | 首次调用 | > 引用[5]明确指出:*"volatile 可以防止某些 JVM 在多线程环境中可能出现的指令重排序问题,确保对象只会被创建一次"*[^5]。 ### 总结 `volatile` 在 DCL 单例模式中是**必需的**,它解决了以下问题: 1. **防止指令重排序** → 避免返回未初始化的对象 2. **保证内存可见性** → 确保所有线程看到一致状态 3. **维持性能优势** → 仅在首次初始化时同步 > 引用[3]强调:*"虽然之前了解了双重检查定模式的原理,但是却忽略变量使用了 volatile"*[^3],这恰恰是线程安全的关键所在。 ```mermaid sequenceDiagram participant ThreadA as 线程A(创建者) participant Memory as 主内存 participant ThreadB as 线程B(使用者) ThreadA->>Memory: 1.分配内存 ThreadA->>Memory: 2.初始化对象(构造函数) ThreadA->>Memory: 3.volatile写屏障(禁止重排序) ThreadA->>Memory: 4.赋值instance Memory-->>ThreadB: 5.volatile读屏障(强制同步) ThreadB->>Memory: 6.安全获取完整对象 ```
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值