synchronized
可以在并发环境下保证原子性、可见性和有序性,而 volatile
只能保证可见性和有序,那为什么有了 synchronized
后还需要 volatile
呢?主要还是 synchronized
存在如下两个缺点:
- 1、性能损耗
虽然 synchronized 做了很多优化,例如自旋锁、适应性自旋、锁消除、锁粗化、偏向锁和轻量级锁等,但无论它做了多少优化,它毕竟还是一种锁,只要是锁,在获取锁和释放锁的过程中就一定存在性能损耗。
volatile
是一个比较轻量级的操作,只针对变量,volatile
变量的读操作的性能与普通变量几乎无差别,写操作由于需要插入内存屏障所以会慢一些,但即便如此,volatile
在大多数场景下也比锁的开销要低。
- 2、产生阻塞
无论是同步方法(基于 ACC_SYNCHRONIZED
)还是同步代码块(基于 monitorenter
、monitorexit
) 都是基于 Monitor
实现。当多个线程同时访问一段同步代码时,首先会进入 Entry Set,当有一个线程获取到对象的锁之后,才能进行 The Owner 区域,其他线程还会继续在 Entry Set 等待。并且当某个线程调用了 wait()
方法后,会释放锁并进入 Wait Set 等待;
所以,synchronized 的本质是一种阻塞锁,而 volatile 则是一种轻量级的同步机制,不涉及锁机制,它是基于内存屏障实现的,不会有阻塞锁带来的性能损耗和阻塞的问题;