底层原理
讲一下 synchronized 关键字的底层原理?
synchronized 是最常用一种的线程同步方式,可以锁对象、代码块以及方法,底层原理和 JVM 有关。
对象在内存中分为三块区域:对象头、实例数据和对齐填充,对象头中保存了指向 Monitor 地址。
Monitor 中有 Owner 和 计数器,Owner 指向持有 Monitor 的线程,计数器从 0 开始记录进入数。
另外还有两个队列:EntryList、WaitSet,用来存放进入及等待获取锁的线程。
进入 synchronized 同步块时,执行 monitorenter 指令,尝试获取当前对象 Monitor 的锁。
- 先查看计数器是否为 0,如果是 0,说明没人来获取锁,它可以加锁,然后计数器加 1。
- 如果大于 0,说明被别人加锁了,它阻塞,等待锁的释放。
Monitor 的锁是支持重入加锁的,若持有锁的线程再次进入,则计数器再加 1。
同步块运行完后,执行 monitorexit 指令。
- 持有锁的线程对计数器减 1。
- 如果有多次重入加锁,就对应多次减 1,直到计数器为 0,释放锁。

synchronized 修饰方法,底层通过 ACC_SYNCHRONIZED 标志实现,其实内部也是调用了 monitorenter 和 monitorexit。
1.6 以前,synchronized 是重量级锁,效率很低。
1.6 使用了锁升级的优化方式:
+「锁升级」
锁升级
讲讲锁升级?

初始不加锁,当只有一个线程访问时,升级为偏向锁,在对象头记录线程 ID。当线程再次访问时,比较线程 ID 是否相同。如果相同,说明还是之前的线程,无需升级锁。
如果不同,说明有锁竞争,需要升级为轻量级锁。JVM 先在当前线程的栈帧中建立一个锁记录(Lock Record)的空间,并且复制一份对象头 Mark Word 到这里,然后利用 CAS 尝试把对象头 Mark Word 更新为锁记录的地址。如果失败,线程不会阻塞,而是短暂自旋,因为阻塞唤起涉及用户态和内核态切换,很耗资源。自旋能防止线程被挂起,一旦资源被释放,立马就能尝试获取。
自旋也是有代价的,因此需要设定好阈值,默认为 10,超过该值,就要升级为重量级锁。
ReentrantLock
synchronized 和 ReentrantLock 的区别?
-
synchronized 是关键字,底层由 JVM 实现,不可中断,属于非公平锁;
ReentrantLock 是类,有丰富的 API,能提供比 synchronized 更灵活的特性,比如等待可中断、可实现公平锁等。
-
synchronized 能锁对象、代码块和方法,ReentrantLock 只能锁代码块。
-
synchronized 会自动释放锁,ReentrantLock 必须手动调用 unlock() 释放。
实际选用,要依据你的业务场景。比如,上午是滴滴打车高峰,如果代码里用了大量的 synchronized 就不行,因为锁升级过程是不可逆的,过了高峰还是重量级的锁,效率就很低,这个时候用 ReentrantLock 更合适。
本文详细探讨了synchronized关键字的底层原理,包括对象头、Monitor、Owner和计数器的概念,以及monitorenter和monitorexit指令的作用。介绍了锁升级的过程,从无锁到偏向锁、轻量级锁,再到重量级锁的转变,以及锁升级的原因和自旋等待策略。同时对比了synchronized与ReentrantLock的区别,强调了ReentrantLock在灵活性和控制性上的优势,适合于对锁有更高级需求的场景。

3533

被折叠的 条评论
为什么被折叠?



