线程安全三大特性 1.原子性 2.可见性 3.有序性
synchronized 可以实现 原子性,可见性,有序性 volatile 可以实现 可见性,有序性
是这样子的吗
1
zxc1234 OP synchronized 锁住的代码内 单线程内 也会发生指令重排吧?
|
2
Ericcccccccc 2020-02-19 22:47:21 +08:00
@zxc1234 happen-before 主要还是内存屏障搞的
|
3
sawyera 2020-02-19 23:10:34 +08:00
是这样的
|
5
phantomzz 2020-02-19 23:43:23 +08:00
内存模型可以看 JSR-133
|
6
mightofcode 2020-02-19 23:44:36 +08:00
关于这个我有点疑问,Synchronized 能保证原子性吗?
Synchronized 里面的代码是可以调用 wait 的,进入 wait 之后,就可以被其他线程获取锁了,还符合原子性的定义么 |
7
phantomzz 2020-02-19 23:53:21 +08:00
@mightofcode wait()是属于显式释放锁,不影响 synchronized 的语义吧
|
8
mightofcode 2020-02-19 23:56:35 +08:00
@phantomzz 但是 Synchronized 里面套的东西就分成两部分了,不原子了
|