问个线程安全的问题

[zxc1234]

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

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

是这样子的吗

[zxc1234]

synchronized 锁住的代码内 单线程内 也会发生指令重排吧？

[Ericcccccccc]

@zxc1234 happen-before 主要还是内存屏障搞的

[sawyera]

是这样的

[0NF09LJPS51k57uH]

@zxc1234 synchronized 无法避免重排序，但是通过内存屏障可以保证有序性。

[0NF09LJPS51k57uH]

内存模型可以看 JSR-133

[mightofcode]

关于这个我有点疑问，Synchronized 能保证原子性吗？

Synchronized 里面的代码是可以调用 wait 的，进入 wait 之后，就可以被其他线程获取锁了，还符合原子性的定义么

[0NF09LJPS51k57uH]

@mightofcode wait()是属于显式释放锁，不影响 synchronized 的语义吧

[mightofcode]

@phantomzz 但是 Synchronized 里面套的东西就分成两部分了，不原子了