V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
zxc1234
V2EX  ›  程序员

问个线程安全的问题

  •  
  •   zxc1234 · 2020-02-19 21:46:45 +08:00 · 1947 次点击
    这是一个创建于 1499 天前的主题,其中的信息可能已经有所发展或是发生改变。

    线程安全三大特性 1.原子性 2.可见性 3.有序性

    synchronized 可以实现 原子性,可见性,有序性 volatile 可以实现 可见性,有序性

    是这样子的吗

    8 条回复    2020-02-19 23:56:35 +08:00
    zxc1234
        1
    zxc1234  
    OP
       2020-02-19 22:01:53 +08:00
    synchronized 锁住的代码内 单线程内 也会发生指令重排吧?
    Ericcccccccc
        2
    Ericcccccccc  
       2020-02-19 22:47:21 +08:00
    @zxc1234 happen-before 主要还是内存屏障搞的
    sawyera
        3
    sawyera  
       2020-02-19 23:10:34 +08:00
    是这样的
    phantomzz
        4
    phantomzz  
       2020-02-19 23:41:54 +08:00
    @zxc1234 synchronized 无法避免重排序,但是通过内存屏障可以保证有序性。
    phantomzz
        5
    phantomzz  
       2020-02-19 23:43:23 +08:00
    内存模型可以看 JSR-133
    mightofcode
        6
    mightofcode  
       2020-02-19 23:44:36 +08:00
    关于这个我有点疑问,Synchronized 能保证原子性吗?

    Synchronized 里面的代码是可以调用 wait 的,进入 wait 之后,就可以被其他线程获取锁了,还符合原子性的定义么
    phantomzz
        7
    phantomzz  
       2020-02-19 23:53:21 +08:00
    @mightofcode wait()是属于显式释放锁,不影响 synchronized 的语义吧
    mightofcode
        8
    mightofcode  
       2020-02-19 23:56:35 +08:00
    @phantomzz 但是 Synchronized 里面套的东西就分成两部分了,不原子了
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   我们的愿景   ·   实用小工具   ·   2724 人在线   最高记录 6543   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 27ms · UTC 12:43 · PVG 20:43 · LAX 05:43 · JFK 08:43
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.