简述 synchronized 底层原理及锁升级

本文详细探讨了synchronized关键字的底层原理,包括对象头、Monitor、Owner和计数器的概念,以及monitorenter和monitorexit指令的作用。介绍了锁升级的过程,从无锁到偏向锁、轻量级锁,再到重量级锁的转变,以及锁升级的原因和自旋等待策略。同时对比了synchronized与ReentrantLock的区别,强调了ReentrantLock在灵活性和控制性上的优势,适合于对锁有更高级需求的场景。
摘要由CSDN通过智能技术生成

底层原理

讲一下 synchronized 关键字的底层原理?

synchronized 是最常用一种的线程同步方式,可以锁对象、代码块以及方法,底层原理和 JVM 有关。

对象在内存中分为三块区域:对象头、实例数据和对齐填充,对象头中保存了指向 Monitor 地址。

Monitor 中有 Owner 和 计数器,Owner 指向持有 Monitor 的线程,计数器从 0 开始记录进入数。

另外还有两个队列:EntryList、WaitSet,用来存放进入及等待获取锁的线程。

image-20201105143058691

进入 synchronized 同步块时,执行 monitorenter 指令,尝试获取当前对象 Monitor 的锁。

  • 先查看计数器是否为 0,如果是 0,说明没人来获取锁,它可以加锁,然后计数器加 1。
  • 如果大于 0,说明被别人加锁了,它阻塞,等待锁的释放。

Monitor 的锁是支持重入加锁的,若持有锁的线程再次进入,则计数器再加 1。

同步块运行完后,执行 monitorexit 指令。

  • 持有锁的线程对计数器减 1。
  • 如果有多次重入加锁,就对应多次减 1,直到计数器为 0,释放锁。

image-20201105154651046

synchronized 修饰方法,底层通过 ACC_SYNCHRONIZED 标志实现,其实内部也是调用了 monitorenter 和 monitorexit。

1.6 以前,synchronized 是重量级锁,效率很低。

1.6 使用了锁升级的优化方式:

+「锁升级」

锁升级

讲讲锁升级?

image-20201229172237148

初始不加锁,当只有一个线程访问时,升级为偏向锁,在对象头记录线程 ID。当线程再次访问时,比较线程 ID 是否相同。如果相同,说明还是之前的线程,无需升级锁。

如果不同,说明有锁竞争,需要升级为轻量级锁。JVM 先在当前线程的栈帧中建立一个锁记录(Lock Record)的空间,并且复制一份对象头 Mark Word 到这里,然后利用 CAS 尝试把对象头 Mark Word 更新为锁记录的地址。如果失败,线程不会阻塞,而是短暂自旋,因为阻塞唤起涉及用户态和内核态切换,很耗资源。自旋能防止线程被挂起,一旦资源被释放,立马就能尝试获取。

自旋也是有代价的,因此需要设定好阈值,默认为 10,超过该值,就要升级为重量级锁。

锁升级

ReentrantLock

synchronized 和 ReentrantLock 的区别?

  1. synchronized 是关键字,底层由 JVM 实现,不可中断,属于非公平锁;

    ReentrantLock 是类,有丰富的 API,能提供比 synchronized 更灵活的特性,比如等待可中断、可实现公平锁等。

  2. synchronized 能锁对象、代码块和方法,ReentrantLock 只能锁代码块。

  3. synchronized 会自动释放锁,ReentrantLock 必须手动调用 unlock() 释放。

实际选用,要依据你的业务场景。比如,上午是滴滴打车高峰,如果代码里用了大量的 synchronized 就不行,因为锁升级过程是不可逆的,过了高峰还是重量级的锁,效率就很低,这个时候用 ReentrantLock 更合适。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值