目录
synchronized的基本特点:
synchronized关键字的底层实现:
1)锁升级
2)锁消除
3)锁粗化
synchronized的基本特点:
以下特点只考虑(jdk1.8):
1)刚开始是乐观锁,如果出现所冲突转变成悲观锁。
2)开始时,使用的轻量级锁实现,如果锁持有时间过长,那么会转变成重量级锁。
3)轻量级锁,大概率使用的时自旋锁实现。
4)不是读写锁/也不是公平锁。
5)是可重入锁。
synchronized关键字的底层实现:
synchronized关键字非常强大可以自适应大多数加锁环境,进而让程序员不用考虑太多因素就能写出运行效率较高的程序。
1)锁升级
锁升级意思是synchronized关键字会根据程序时的实际情况,动态的改变锁策略,从而兼顾大部分加锁环境,在能保证现成安全的情况下,又能够兼顾程序性能,可见其强大之处。
锁升级大致分为这几个步骤:
1、偏向锁:在同步块中的程序不会立即上锁,而是进入偏向锁的状态;
“偏向锁” ,并没有给对象加锁,只是在对象头中做了一个“标记”,记录这个锁属于那个线程。
如果后续没有线程来竞争这把锁,那么就不会进行加锁操作(类似懒汉模式,不得不加才加),避免不必要的开销。
如果后续有锁来竞争,才会去加锁,一般会进入轻量级锁的状态。
2、轻量级锁:当从偏向锁转化成轻量级锁,一般先尝试使用自旋锁(CAS实现)获取轻量级锁。
在每次锁持有时间较短,或者锁竞争较弱时,使用自旋锁效率较高。
3、重量级锁:当锁竞争激烈,自旋多次没有获取到锁的时候,轻量级锁会升级成重量级锁。
重量级锁的实现更为复杂,涉及内核态用户态交互,考校比较大,但这也是为了线程安全的无奈之举。
注意:锁升级的步骤是不可逆的,比如重量级锁不能转化成轻量级锁。
2)锁消除
在程序 圆 写完代码执行程序前,编译器+JVM还会再次检查代码,判断程序中是否有一些地方加锁是无意义的,那么就会消除这个锁。
比如在单线程环境下使用StringBuffer这个含有synchronized关键字的类,那么这个加锁操作是没必要的,只会浪费资源开销。
3)锁粗化
锁粗化是一种优化技术,将多个连续的加锁、解锁操作合并为一个更大范围的加锁、解锁操作。这减少了加锁和解锁的次数,从而降低了性能开销。
锁粗化是一种优化技术,将多个连续的加锁、解锁操作合并为一个更大范围的加锁、解锁操作。这减少了加锁和解锁的次数,从而降低了性能开销。
示例:
优化前(细粒度锁):
synchronized(lock) {
// 操作1
}
synchronized(lock) {
// 操作2
}
synchronized(lock) {
// 操作3
}
优化后(粗化锁):
synchronized(lock) {
// 操作1
// 操作2
// 操作3
}
通过合并多个同步块,synchronzied减少了加锁解锁的开销,提高了效率。这在循环或连续操作中特别有用。
需要注意的是,过度粗化可能会增加锁的持有时间,影响并发性能,因此应根据具体情况权衡使用,不过这里不用担心,JAVA开发人员,肯定是能保证其性能的。
可以看到synchronized的实现实际上是个非常复杂的过程,背后做了很多事。这样让“菜鸡”程序员也能写出运行效率还不错的程序。
JVM的开发者为程序员操碎了心。