这是一个创建于 1757 天前的主题，其中的信息可能已经有所发展或是发生改变。
线程安全三大特性 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
是这样的
|
 |
4
0NF09LJPS51k57uH 2020-02-19 23:41:54 +08:00
@zxc1234 synchronized 无法避免重排序，但是通过内存屏障可以保证有序性。
|
|
5
0NF09LJPS51k57uH 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
0NF09LJPS51k57uH 2020-02-19 23:53:21 +08:00
@mightofcode wait()是属于显式释放锁，不影响 synchronized 的语义吧
|
|
8
mightofcode 2020-02-19 23:56:35 +08:00
@phantomzz 但是 Synchronized 里面套的东西就分成两部分了，不原子了
|
Select Language