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

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

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

方式2:
注意这里是有问题的。可能会发生指令重排,所以最好加上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中使用内存屏障一样。

  • 12
    点赞
  • 18
    收藏
    觉得还不错? 一键收藏
  • 7
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 7
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值