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

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章