synchronized的实现原理与应用

java对象头

MarkWord

这部分主要用来存储对象自身的运行时数据,如hashcode、gc分代年龄等。mark word的位长度为JVM的一个Word大小,也就是说32位JVM的Mark word为32位,64位JVM为64位。
为了让一个字大小存储更多的信息,JVM将字的最低两个位设置为标记位,不同标记位下的Mark Word示意如下:

在这里插入图片描述
Java对象头里的Mark Word里默认存储对象的HashCode、分代年龄和锁标记位。
在运行期间,Mark Word里存储的数据会随着锁标志位的变化而变化。Mark Word可能变化为存储以下4种数据,如下表所示。

在这里插入图片描述

锁升级

首先让我们先来了解下锁的升级过程(如下图所示):

在这里插入图片描述
PS:还有一张比较全的总结图,从别处找的,总结的挺全的
在这里插入图片描述

偏向锁

大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,为了让线程获得锁的代价更低而引入了偏向锁。当一个线程访问同步块并获取锁时,会在对象头和栈帧中的锁记录里存储锁偏向的线程ID,以后该线程在进入和退出同步块时不需要进行CAS操作来加锁和解锁,只需简单地测试一下对象头的Mark Word里是否存储着指向当前线程的偏向锁。如果测试成功,表示线程已经获得了锁。如果测试失败,则需要再测试一下Mark Word中偏向锁的标识是否设置成1(表示当前是偏向锁):如果没有设置,则使用CAS竞争锁;如果设置了,则尝试使用CAS将对象头的偏向锁指向当前线程。

偏向锁的初始化流程:

在这里插入图片描述

轻量级锁

(1)轻量级锁加锁
线程在执行同步块之前,JVM会先在当前线程的栈桢中创建用于存储锁记录的空间,并将对象头中的Mark Word复制到锁记录中,官方称为Displaced Mark Word。然后线程尝试使用CAS将对象头中的Mark Word替换为指向锁记录的指针。如果成功,当前线程获得锁,如果失败,表示其他线程竞争锁,当前线程便尝试使用自旋来获取锁。
(2)轻量级锁解锁
轻量级解锁时,会使用原子的CAS操作将Displaced Mark Word替换回到对象头,如果成功,则表示没有竞争发生。如果失败,表示当前锁存在竞争,锁就会膨胀成重量级锁。下图是两个线程同时争夺锁,导致锁膨胀的流程图。

在这里插入图片描述

锁优化

  • 锁消除:在单线 程的场景下,需达到一定次数的调用才可以进行锁消除.
  • 锁粗化:单线程或多线程场景下,所有线程操作均为不耗时的操作,jvm会对锁会进行锁粗化

锁的优缺点对比

优点缺点使用场景
偏向锁加锁和解锁不需要额外的消耗,与存在非同步方法执行时只存在纳秒级的差距如果线程之间存在锁竞争,会带来额外的锁撤销消耗适用于一个线程访问同步块的场景
轻量级锁竞争的线程不会阻塞,提高了程序的效应速度如果始终得不到锁竞争的线程,会自旋额外消耗CPU性能追求响应时间,同步块执行速度快
重量级锁线程之间不使用自旋,不会消耗CPU性能线程阻塞,响应时间缓慢追求吞吐量,同步块执行速度较长

小结:本节一些内容参考了HotSpot源码、对象头源码以及其他源码中的类文件ObjectMonitor.cpp等等

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值