求构建: Java 单例 double-check volatile 关键字的反例。 - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
acr0ss
V2EX    Java

求构建: Java 单例 double-check volatile 关键字的反例。

  •  
  •   acr0ss 2021-07-30 14:57:27 +08:00 2533 次点击
    这是一个创建于 1588 天前的主题,其中的信息可能已经有所发展或是发生改变。

    单例模式中 Lazy 模式中,使用 double-check 必须使用 volatile 关键字。

    能否构建一个不使用 volatile 出错的例子?

    1. 需要在 double-check 的单例基础上修改
    2. 运行时间长点也无妨

    PS: 本人已知 volatile 关键字的特性:

  • 内存可见性
  • 防止指令重排序
  • 6 条回复    2021-08-02 13:55:14 +08:00
    tougee
        1
    tougee  
       2021-07-30 15:18:29 +08:00
    https://mthli.xyz/double-checked-locking-singleton/
    这个博客有个例子,运行次数够多就行
    acr0ss
        2
    acr0ss  
    OP
       2021-07-30 16:55:56 +08:00
    @tougee 多谢,我去研究下。
    securityCoding
        3
    securityCoding  
       2021-07-30 19:46:03 +08:00
    java 有时候烦的就是这些玩意 , 像单例的多种写法到底有多少价值
    mreasonyang
        4
    mreasonyang  
       2021-07-31 14:23:05 +08:00 via iPhone
    实际使用中单例场景很难复现不加 volatile 导致的指令重排问题。但由于总是有概率发生的,所以还是需要加上的
    cubecube
        5
    cubecube  
       2021-08-02 00:51:29 +08:00   1
    你是 M1 的话,可以试试构造一个。intel 的 cpu 的话 double check 单例 没有 volatile 应该是安全的。
    之前知乎上回答过,大致原因是
    x86 是强一致性的,storestore 不需要额外的 barrier 。x86 处理器只支持 storeload 重排,因此很多 jmm 的可见性,重排问题在 x86 上根本不存在,比如著名的 double check 。

    @tougee 这个文章里面测试的是 partial initialize,还不算 double check
    ztcaoll222
        6
    ztcaoll222  
       2021-08-02 13:55:14 +08:00
    除非真的需要 lazy,不然一律用枚举实现,其他的只要用反射都能破解
    /div>
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     3458 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 23ms UTC 10:39 PVG 18:39 LAX 02:39 JFK 05:39
    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