Java 关键字 synchronized 能不能禁止指令重排序? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
请不要在回答技术问题时复制粘贴 AI 生成的内容
tuzhenyu
V2EX    程序员

Java 关键字 synchronized 能不能禁止指令重排序?

  •  
  •   tuzhenyu 2017-10-14 19:49:48 +08:00 6462 次点击
    这是一个创建于 3006 天前的主题,其中的信息可能已经有所发展或是发生改变。

    在一些书上和博客上看到说 synchronized 有禁止指令重排序的作用,如果这样的话单例模式的双重检查锁模式就不需要 volatile 修饰了吧?求助大佬...

    12 条回复    2017-10-16 13:05:38 +08:00
    sagaxu
        1
    sagaxu  
       2017-10-14 20:19:33 +08:00 via Android
    理解有误
    juxingzhutou
        2
    juxingzhutou  
       2017-10-14 20:23:00 +08:00
    synchronized 都已经加锁了你还要双重锁检查干嘛?
    tuzhenyu
        3
    tuzhenyu  
    OP
       2017-10-14 20:24:21 +08:00
    @sagaxu 是 synchronized 没有禁止指令重排序的作用吗?
    tuzhenyu
        4
    tuzhenyu  
    OP
       2017-10-14 20:27:22 +08:00
    @juxingzhutou   单例模式的双重检查是双重非空检查,只加了一个 synchronized 锁

    public class DoubleCheckedLocking {
    private static Instance instance;

    public static Instance getInstance() {
    if (instance == null) {
    synchronized (DoubleCheckedLocking.class) {
    if (instance == null)
    instance = new Instance();
    }
    }
    return instance;
    }
    }
    iEverX
        5
    iEverX  
       2017-10-14 20:31:50 +08:00
    没有,需要加 volatile 的
    juxingzhutou
        6
    juxingzhutou  
       2017-10-14 20:36:26 +08:00
    @tuzhenyu 你这样写的话 synchronized 并不能保证在它之前的非空判断的“顺序”问题,根据 JSR-133 定义的 JMM,synchronized 的加锁和解锁之间能够有确定的顺序,但是多个线程下 synchonized 之前的非空判断之间并不能保证顺序。所以需要用 volatile 来保证非空判断之间的 happens-before 关系。

    有兴趣的话建议你完整地看一下 JSR-133 相关的文章。
    tuzhenyu
        7
    tuzhenyu  
    OP
       2017-10-14 20:42:51 +08:00
    @juxingzhutou 好的 谢谢!
    tuzhenyu
        8
    tuzhenyu  
    OP
       2017-10-14 20:43:12 +08:00
    @iEverX 谢谢!
    NUT
        9
    NUT  
       2017-10-15 15:36:02 +08:00
    @juxingzhutou 正解。
    @tuzhenyu JMM 会保证程序在允许范围内执行指令混排,所以在视觉上会给人造成顺序执行的假象。除了用 syn 意外还能使用 乐观锁的 思想来处理。看着这个 访问 http://www.hollischuang.com/archives/1866
    XiLemon
        10
    XiLemon  
       2017-10-15 16:35:20 +08:00 via iPhone
    楼主搜一搜陈皓和 wuchong 的单例模式正确写法的 blog
    hantsy
        11
    hantsy  
       2017-10-16 10:00:09 +08:00
    来看看 Bob Lee ( Guice 作者) 的双检模型:
    http://blog.crazybob.org/2007/01/lazy-loading-singletons.html
    ppaapc
        12
    ppaapc  
       2017-10-16 13:05:38 +08:00
    加了 synchronized 关键字还需要禁止指令重排序干嘛
    关于     帮助文档   自助推广系统     博客     API     FAQ     Solana     3897 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 31ms UTC 05:11 PVG 13:11 LAX 21:11 JFK 00:11
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86