【synchronized底层原理之3】JDK1.6对锁所做的优化

参考网页

https://www.cnblogs.com/dsj2016/p/5714921.html

https://www.zhihu.com/question/55075763

JDK1.6对synchronized锁所做的优化

优化包括自旋锁、锁粗化、锁消除(锁清除)、轻量级锁和偏向锁。

这些都是Java虚拟机层面的优化,对Java程序员是无感知的(Java程序员在程序层面是看不出什么的,但是JVM内部已对synchronized做了优化)。要说有感知的话,就是synchronized在多线程下的性能提高了(JDK1.6相比于JDK1.5),这些都得益于JVM层面锁的优化,就是上面所说的自旋锁、锁粗化、锁清除、偏向锁和轻量级锁。

自旋锁:本质上就是CPU空转等待一会儿获取锁的控制权,而不是马上进入阻塞状态

原理--互斥同步->产生阻塞->上下文切换->操作系统级别用户态和核心态的切换,而使用自旋不会产生阻塞,是个有益的补充

通常情况下,共享数据的锁定状态只持续很短的一段时间,为了这很短的一段时间进行上下文切换并不值得。

原理--CPU空转等待获取锁的控制权

自旋就是不停循环看是否能等到上个线程自己释放锁。这个问题是基于一个现实考量的:很多拿了锁的线程会很快释放锁。因为一般敏感的操作不会很多。当然这个是一个不能完全确定的情况,只能说总体上是一种优化

举个例子就好比一个人要上厕所发现厕所里面有人,他可以:1,等一小会。2,跑去另外的地方上厕所。等一小会不一定能等到前一个人出来,不过如果跑去别的厕所的花费的时间肯定比等一小会结果前一个人出来了长。当然等完了结果那个人没出来还是要跑去别的地方上厕所这是最慢的。

优点--高效:不会引起上下文切换

缺点--自旋时间如果过长就会造成CPU资源的浪费

自适应自旋--根据以往经验设置合理的自旋次数、设计合理的自旋时间

自适应自旋可以根据以往自旋等待时间的经验,计算出一个较为合理的本次自旋等待时间。

比如第一次设置最多自旋10次,结果在自旋的过程中成功获得了锁,那么下一次就可以设置成最多自旋20次。道理是:一个锁如果能够在自旋的过程中被释放说明很有可能下一次也会发生这种事。那么就更要给这个锁某种“便利”方便其不阻塞得锁(毕竟快了很多)。同样如果多次尝试的结果是完全不能自旋等到其释放锁,那么就说明很有可能这个临界区里面的操作比较耗时间。就减小自旋的次数,因为其可能性太小了。

锁粗化--JVM扩大加锁的范围

若有一系列操作,反复地对同一把锁进行上锁和解锁操作,编译器会扩大这部分代码的同步块的边界,从而只使用一次上锁和解锁操作。

试想有一个循环,循环里面是一些敏感操作,有的人就在循环里面写上了synchronized关键字。这样确实没错不过效率也许会很低,因为其频繁地拿锁释放锁。要知道锁的取得(假如只考虑重量级MutexLock)是需要操作系统调用的,从用户态进入内核态,开销很大。于是针对这种情况也许虚拟机发现了之后会适当扩大加锁的范围(所以叫锁粗化)以避免频繁的拿锁释放锁的过程。

锁消除(锁清除)--JVM去掉多余的锁

编译器会清除一些使用了同步,但同步块中没有涉及共享数据的锁,从而减少多余的同步。

通过逃逸分析发现其实根本就没有别的线程产生竞争的可能(别的线程没有临界量的引用),而“自作多情”地给自己加上了锁。有可能虚拟机会直接去掉这个锁。

轻量级锁:(相对于重量级锁)取消互斥同步,使用CAS操作同步

本质

使用CAS取代互斥同步

与重量级锁的比较

重量级锁是一种悲观锁,使用互斥同步来保证线程的安全;

轻量级锁是一种乐观锁,使用CAS操作进行同步。

实现原理

当线程请求锁时,若该锁对象的Mark Word中标志位为01(未锁定状态),则在该线程的栈帧中创建一块名为『锁记录』的空间,然后将锁对象的Mark Word拷贝至该空间;然后通过CAS操作将锁对象的Mark Word指向该锁记录;

若CAS操作成功,则轻量级锁的上锁过程成功;

若CAS操作失败,再判断当前线程是否已经持有了该轻量级锁;若已经持有,则直接进入同步块;若尚未持有,则表示该锁已经被其他线程占用,此时轻量级锁就要膨胀成重量级锁。

适用场景

轻量级锁比重量级锁性能更高的前提是,在轻量级锁被占用的整个同步周期内,不存在其他线程的竞争。若在该过程中一旦有其他线程竞争,那么就会膨胀成重量级锁,从而除了使用互斥量以外,还额外发生了CAS操作,此时耗时更长,会更慢。

偏向锁:(相对于轻量级锁)完全取消同步操作

作用

偏向锁是为了消除无竞争情况下的同步原语,进一步提升程序性能。

与轻量级锁的区别

轻量级锁是在无竞争的情况下使用CAS操作来代替互斥量的使用,从而实现同步;而偏向锁是在无竞争的情况下完全取消同步。

与轻量级锁的相同点

它们都是乐观锁,都认为同步期间不会有其他线程竞争锁。

原理

当线程请求到锁对象后,将锁对象的状态标志位改为01,即偏向模式。然后使用CAS操作将线程的ID记录在锁对象的Mark Word中。以后该线程可以直接进入同步块,连CAS操作都不需要。但是,一旦有第二条线程需要竞争锁,那么偏向模式立即结束,进入轻量级锁的状态。

优点

偏向锁可以提高有同步但没有竞争的程序性能。但是如果锁对象时常被多条线程竞争,那偏向锁就是多余的。

偏向锁可以通过虚拟机的参数来控制它是否开启

转载于:https://my.oschina.net/u/3866531/blog/2049938

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值