并发编程 - synchronized特性

可见性

1）线程解锁前，必须把共享变量的最新值刷新到主内存中
2）线程加锁时，将清空工作内存中共享变量的值，从而使用共享变量时需要从主内存中重新获取最新的值
（注意：加锁与解锁需要是同一把锁）

原子性

由于synchronized具有同步锁，所以它也具有原子性

有序性

java中通过synchronized提供的锁机制，确保了在加锁和解锁过程中的逻辑执行是单线程的，也就满足了符合as-if-serial语义，从而实现了有序性。

as-if-serial语义 把单线程程序保护了起来，遵守as-if-serial语义的编译器，runtime 和处理器共同为编写单线程程序的程序员创建了一个幻觉：单线程程序是按程序的顺序来执行的。as-if-serial语义使单线程程序员无需担心重排序会干扰他们，也无需担心内存可见性问题。