synchronized能不能保证有序性

最新推荐文章于 2024-08-28 16:39:20 发布

萧炎

最新推荐文章于 2024-08-28 16:39:20 发布

阅读量1.8k

点赞数 10

分类专栏： # [LB-Fox] 并发编程专题文章标签： java 多线程 jvm

原文链接：https://blog.csdn.net/qq_43179428/article/details/106793975

版权

[LB-Fox] 并发编程专题专栏收录该内容

17 篇文章 2 订阅

订阅专栏

肯定能啊。
但是：
比如单例模式里面的双检锁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无法禁止指令重排，但可以保证有序性？
加了锁之后，只能有一个线程获得到了锁，获得不到锁的线程就要阻塞。所以同一时间只有一个线程执行，相当于单线程，而单线程的指令重排是没有问题的。

上述代码的字节码：

$[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-V6GotUsX-1615684653020)(C:\Users\tuoji\AppData\Roaming\Typora\typora-user-images\image-20210314091614367.png)]$

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

是禁止处理器优化和指令重排，就像volatile中使用内存屏障一样。