synchronized能不能保证有序性??

肯定能啊。
但是:
比如单例模式里面的双检锁dcl,为什么还要加volatile禁止指令重排序呢??

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中使用内存屏障一样。

猜你喜欢

转载自blog.csdn.net/qq_43179428/article/details/106793975