synchronized能不能保证有序性？？单例模式下的懒汉和双检锁的思考

本文详细探讨了单例模式的两种实现方式，分析了它们在多线程环境下的表现，特别是对指令重排问题的讨论，以及如何通过volatile和synchronized关键字确保线程安全和对象的正确初始化。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

方式１（没有线程安全问题。就是锁力度有点大，性能可能差一点点，所以才出现后续代码）

class Singleton{
    private static Singleton instance;
    private  Singleton(){}
    public static synchronized Singleton getInstance(){
        if(instance==null){
           instance=new Singleton();
        }
        return instance;
    }
}

方式２：
注意这里是有问题的。可能会发生指令重排，所以最好加上ｖｏｌａｔｉｌｅ

class Singleton{
    private static Singleton instance;
    private  Singleton(){}
    public static Singleton getInstance(){
        if(instance==null){
            synchronized (Singleton.class){
                if(instance==null){ 
                    instance=new Singleton();
                }
            }
        }
        return instance;
    }
}

－－－－－－－－－－－－－－－－－－－－－－－

那我们首先要明白：
为啥synchronized无法禁止指令重排，但可以保证有序性？
加了锁之后，只能有一个线程获得到了锁，获得不到锁的线程就要阻塞。所以同一时间只有一个线程执行，相当于单线程，而单线程的指令重排是没有问题的。

上述双检锁代码的字节码：
在这里插入图片描述

17:new 一个对象
20：复制一份对象引用//地址
21:利用一个对象引用，调用构造方法。//根据引用地址调用
24:表示利用一个对象引用，赋值给static instance

jvm(java virtual machine)可能会先执行24,在执行21。即先赋值，再引用。加了synchronized相当于是单线程。没有问题的。但比如线程1获得到了锁，先执行24，在执行21。此时线程2也执行判断实例不为空，直接执行到了37步，得到了静态变量引用，然后return，之后开始使用这个对象了。与此同时线程1的 21（初始化）还没有完成。
所以问题就是线程2使用的对象可能是未完全初始化的对象。
最好的解决有序性问题的办法，就是禁止处理器优化和指令重排，就像volatile中使用内存屏障一样。