Synchronized与锁升级

先从阿里及其他大厂面试题说起

  1. 谈谈你对synchronized的理解

  2. synchronized锁升级你聊聊

本章路线总纲

  1. 说明:
    在这里插入图片描述

synchronized锁:由对象头中的Mark Word根据标志位的不同而被复用及锁升级策略

Synchronized的性能变化

Java5之前,只有一个synchronized,这个是操作系统级别的重量级操作

  1. 重量级锁,假如锁的竞争比较激烈的话,性能下降
  2. Java5之前,用户态和内核态之间的切换在这里插入图片描述

为什么每一个对象都可以成为一个锁???

  1. markOop.hpp在这里插入图片描述

  2. Monitor(监视器锁)在这里插入图片描述

  3. 结合之前的synchronized和对象头说明在这里插入图片描述

Java6开始,优化synchronized:Java6之后,为了减少获得锁和释放锁所带来的性能消耗,引入了轻量级锁和偏向锁,需要有个逐步升级的过程,别一开始就捅到重量级锁

synchronized锁种类及升级步骤

多线程访问情况,3种:只有一个线程来访问,有且唯一Only One、有多个线程(2个线程A、B来交替访问)、竞争激烈,各更多个线程来访问

升级流程:synchronizedyon用的锁是存在Java对象头里的Mark Word中,锁升级功能主要依赖MarkWord中标志位和释放偏向锁标志位

锁指向,请牢记

  1. 偏向锁:MarkWord存储的是偏向锁的线程ID
  2. 轻量锁:MarkWord存储的是指向线程栈中Lock Record的指针
  3. 重量锁:MarkWord存储的是指向堆中的monitor对象的指针

无锁

  1. 复习C源码的MarkWord标记在这里插入图片描述

  2. Code演示

    public class SynchronizedUpDemo {
    
        public static void main(String[] args) {
    
            Object o = new Object();
            System.out.println("10进制:" + o.hashCode());
            System.out.println("16进制:" + Integer.toHexString(o.hashCode()));
            System.out.println("2进制:" + Integer.toBinaryString(o.hashCode()));
            //2进制 1001110111011000111011101110111
            //      1001110111011000111011101110111
            System.out.println(ClassLayout.parseInstance(o).toPrintable());
        }
    }
    
  3. 程序不会有锁的竞争在这里插入图片描述

偏锁

是什么:单线程竞争。当线程A第一次竞争到锁时,通过操作修改MarkWord中的偏向线程ID、偏向模式。如果不存在其他线程竞争,那么持有偏向锁的线程将永远不需要进行同步

主要作用 (jdk15默认偏向锁是关闭的,因为高并发下开启后stw的开销更大)

  1. 当一段同步代码一直被同一个线程多次访问,由于只有一个线程那么该线程在后续访问时便会自动获得锁
  2. 同一个老顾客来访,直接老规矩行方便
  3. 看看多线程卖票,同一个线程获得体会一下
  4. 小结论:Hotspot的作者经过研究发现,大多数情况下:多线程的情况下,锁不仅不存在多线程竞争,还存在由同一个线程多次获得的情况,偏向锁就是在这种情况下出现的,它的出现是为了解决 只有在一个线程执行同步时提高性能。

备注:偏向锁会偏向于第一个访问锁的线程,如果在接下来的运行过程中,该锁没有被其他的线程访问,则持有偏向锁的线程将永远不需要触发同步。也即偏向锁在资源没有竞争情况下消除了同步语句,懒得连CAS操作都不做了,直接提高程序性能

64位标记图再看

偏向锁的持有

理论落地:

在实际运用过程中发现,“锁总是同一个线程持有,很少发生竞争”,也就是说 锁总是被第一个占用他的线程拥有,这个线程就是锁的偏向线程
那么只需要在锁第一次被拥有的时候,记录下偏向线程ID。这样偏向线程就一直持有着锁(后续这个线程进入和退出这段加了同步锁的代码块时,不需要再次加锁和释放锁。而是直接会去检查锁的MarkWord里面是不是放的自己的线程ID)
如果相等,表示偏向锁是偏向于当前线程的,就不需要再尝试获得锁了,直到竞争发生才释放锁。以后每次同步,检查锁的偏向线程ID与当前线程ID是否一致,如果一致直接进入同步。无需每次加锁解锁都去CAS更新对象头。**如果自始至终使用锁的线程只有一个,**很明显偏向锁几乎没有额外的开销,性能极高
如果不等,表示发生了竞争,锁已经不是总是偏向于同一个线程了,这个时候会尝试使用CAS来替换MarkWord里面的线程ID为新线程的ID
竞争成功,表示之前的线程不存在了,MarkWord里面的线程ID为新线程的ID,锁不会升级,仍然为偏向锁
竞争失败,这时候可能需要升级变为轻量级锁,才能保证线程间公平竞争锁
注意,偏向锁只有遇到其他线程尝试竞争偏向锁时,持有偏向锁的线程才会释放锁,线程是不会主动释放偏向锁的
技术实现:
一个synchronized方法被一个线程抢到了锁时,那这个方法所在的对象就会在其所在的MarkWord中将偏向锁修改状态位,同时还会有占用前54位来存储线程指针作为标识。若该线程再次访问同一个synchronized时,该线程只需去对象头的Mark Word中去判断一下是否有偏向锁指向本身的ID,无需再进入Monitor去竞争对象了在这里插入图片描述

偏向锁JVM命令

java -XX:PrintFlagsInitial | grep BiasedLock*

重要参数说明在这里插入图片描述

Code演示

  1. 一切默认,演示无效果

  2. 因为参数系统默认开启在这里插入图片描述

  3. 关闭延时参数,启用该功能 -XX:BiasedLockingStartupDelay=0在这里插入图片描述

Code演示2:线程先睡眠5秒,保证开启偏向锁

好日子终会到头…O(Π_Π)O ===> 开始有第2个线程来抢夺了

偏向锁的撤销

当有另外线程逐步来竞争锁的时候,就不能再使用偏向锁了,要升级为轻量级锁,竞争线程尝试CAS更新对象头失败,会等待到 全局安全点(此时不会执行任何代码)撤销偏向锁

偏向锁使用一种等到 竞争出现才释放锁的机制,只有当其他线程竞争锁时,持有偏向锁的原来线程才会被撤销。撤销需要等待全局安全点(该时间点上没有字节码正在执行),同时检查持有偏向锁的线程是否还在执行。

  1. 第一个线程正在执行synchronized方法(处于同步块),它还没有执行完,其他线程来抢夺,该偏向锁被取消掉并出现 锁升级。此时轻量级锁由原持有偏向锁的线程持有,继续执行其同步代码块,而正在竞争的线程会进入自旋等待获得该轻量级锁
  2. 第一个线程执行完synchronized方法(退出同步块),则将对象头设置为无锁状态并撤销偏向锁,重新偏向

在这里插入图片描述

总体步骤流程图示

下图中红线流程部分为偏向锁获取和撤销流程:

Java的锁机制--偏向锁、轻量锁、自旋锁、重量锁_WenWu_Both的博客-CSDN博客

轻锁

是什么:多线程竞争,但是任意时刻最多只有一个线程竞争,即不存在锁竞争太过激烈的情况,也就没有线程阻塞

主要作用:有线程来参与锁的竞争,但是获取锁的冲突时间极短。本质就是自旋锁CAS

轻量级锁的获取

轻量级锁是为了在线程 近乎交替执行同步块时提高性能
主要目的,在没有多线程竞争的前提下, 通过CAS减少重量级锁使用操作系统互斥量产生的性能消耗, 说白了先自旋,不行才升级阻塞
升级时机:当关闭偏向锁功能或多线程竞争偏向锁会导致偏向锁升级为轻量级锁

假如线程A已经拿到锁,这时线程B又来抢该对象的锁,由于该对象的锁已经被线程A拿到,当前该锁已是偏向锁了。
而线程B在争抢时发现对象头MarkWord中的线程ID不是线程B自己的线程ID(而是线程A),那线程B就会进行CAS操作希望能获得锁。
此时线程B操作中有两种情况:
如果锁获取成功,直接替换Mark Word中的线程ID为B自己的ID(A——>B),重新偏向于其他线程(即将偏向锁交给其他线程,相当于当前线程“被”释放了锁),该锁会保持偏向锁状态,A线程Over,B线程上位;在这里插入图片描述

如果锁获取失败,则偏向锁升级为轻量级锁(设置偏向锁标识为0并设置锁标志位为00),此时轻量级锁由原原持有偏向锁的线程持有,继续执行其同步代码,而正在竞争的线程B会进入自旋等待该获得在这里插入图片描述

补充

轻量级锁的加锁
JVM会为每个线程在当前线程的栈帧中创建用于存储锁记录的空间,官方称为Displaced Mark Word。若一个线程获得锁时发现是轻量级锁,会把锁的MarkWord复制到自己的Displaced Mark Word里面。然后线程尝试用CAS将锁的MarkWord替换为指向锁记录的指针。如果成功,当前线程获得锁,如果失败,表示Mark Word已经被替换成了其他线程的锁记录,说明在与其他线程竞争锁,当前线程就尝试使用自旋来获取锁。

自旋CAS:不断尝试去获取锁,能不升级就不往上捅,尽量不要阻塞

轻量级锁的释放
在释放锁时,当前线程会使用CAS操作将Displaced Mark Word的内容复制回锁的Mark Word里面。如果没有发生竞争,那么这个复制的操作会成功。如果有其他线程因为自旋多次导致轻量级锁升级成了重量级锁,那么CAS操作会失败,此时释放锁并唤醒被阻塞的线程

Code演示

  1. 如果关闭偏向锁,就可以直接进入轻量级锁
  2. -XX: -UseBiasedLocking

在这里插入图片描述

步骤流程图示 ——> 参考偏向锁部分的图

自旋达到一定次数和程度

  1. Java6之前:默认启用,默认情况下自旋的次数是10次,或者自选线程数超过CPU核数一半(了解即可)

  2. Java6之后:自适应自旋锁的大致原理:自适应意味着自旋的次数不是固定不变的,而是根据:同一个锁上一次自旋的时间,拥有锁线程的状态来决定

    线程如果自旋成功了,那下次自旋的最大次数会增加,因为JVM认为既然上次成功了,那么这一次也很大概率会成功

    反之,如果很少会自旋成功,那么下次会减少自旋的次数甚至不自旋,避免CPU空转

轻量锁与偏向锁的区别和不同

  1. 夺取轻量级锁失败时,自旋尝试抢占锁
  2. 轻量级锁每次退出同步块都需要释放锁,而偏向锁是在竞争时才释放锁

重锁

有大量的线程参与锁的竞争,冲突性很高

锁标志位:指向互斥量(重量级锁)的指针

重量级锁原理:Java中synchronized的重量级锁,是基于进入和退出Monitor对象实现的。在编译时会将同步块的开始位置插入monitor enter指令,在结束位置插入monitor exit指令。

当线程执行到monitor enter时,会尝试回去对象所对应的Monitor所有权,如果获取到了,即获取到了锁,会在Monitor的owner中存放当前的线程的id,这样它将处于锁定状态,除非退出同步块,否则其他线程无法获取到这个Monitor。

Code演示

在这里插入图片描述

小总结

锁升级发生后,hashcode去哪了

锁升级为轻量级或者重量级锁后,Mark Word中保存的分别是 线程栈里的锁记录指针重量级锁指针,已经没有位置再保存哈希码,GC年龄了, 那么这些信息被移动到哪里去了呢?
在这里插入图片描述

在无锁状态下,Mark Word中可以存储对象的identity hash code值。当对象的hashCode()方法第一次被调用时,JVM会生成对应的identity hash code值并将该值存储到Mark Word中

对于偏向锁,在线程获取偏向锁时,会用Thread ID和epoch值覆盖identity hash code所在的位置。如果一个对象的hashCode()方法已经被调用过一次之后,这个对象不能被设置偏向锁。因为如果可以的话,那Mark Word中的identity hash code必然会被偏向线程id给覆盖,这就会造成同一个对象前后两次调用hashCode()方法得到的结果不一致

升级为轻量级时,JVM会在当前线程的栈帧中创建一个锁记录(Lock Record)空间,用于存储锁对象的Mark Word拷贝,该拷贝中可以包含identity hash code,所以 轻量级锁可以和identity hash code共存,哈希码和GC年龄自然保存在此,释放锁后会将这些信息写回到对象头

code01:当一个对象已经计算过identity hash code,它就无法进入偏向锁状态,跳过偏向锁,直接升级轻量级锁

code02:偏向锁过程中遇到一致性哈希计算请求,立马撤销偏向模式,膨胀为重量级锁

各种优缺点、synchronized锁升级和实现原理

在这里插入图片描述

  1. 偏向锁:适用于单线程适用的情况,在不存在锁竞争的时候进入同步方法/代码块则使用偏向锁
  2. 轻量级锁:适用于竞争较不激烈的情况(这和乐观锁的适用范围类似)。存在竞争时升级为轻量级锁,轻量级锁采用的是自旋锁,如果同步方法/代码块执行时间很短的话,采用轻量级锁虽然会占用CPU资源但是相对比使用重量级锁还是更高效。
  3. 重量级锁:适用于竞争激烈的情况,如果同步方法/代码块执行时间很长,那么使用轻量级锁自旋带来的性能消耗就比使用轻量级锁更严重,这时候就需要升级为重量级锁

JIT编译器对锁的优化

  1. JIT:Just In Time Compiler,一般翻译为即时编译器

  2. 锁消除

    /**
     * @author William
     * @create 2023-02-18 15:20
     * 锁消除
     * 从JIT的角度看相当于无视它,synchronized(o)不存在了,
     * 这个锁对象并没有被共用扩散到其他线程使用
     * 极端的说就是根本没有加这个锁对象的底层机器码,消除了锁的使用
     */
    public class LockClearUpDemo {
    
        static Object objectLock = new Object();
    
        public void m1(){
            /*synchronized(objectLock){
                System.out.println("-----hello LockClearUpDemo");
            }*/
            //锁消除问题,JIT编译器会无视它,synchronized(o),每次new出来的,不存在了,非正常的
            Object o = new Object();
            synchronized (o){
                System.out.println("-----hello LockClearUpDemo"+"\t"+o.hashCode()+"\t"+objectLock.hashCode());
            }
        }
    
        public static void main(String[] args) {
            LockClearUpDemo lockClearUpDemo = new LockClearUpDemo();
            for(int i = 1; i <= 10; i++){
                new Thread(lockClearUpDemo::m1, String.valueOf(i)).start();
            }
        }
    }
    
  3. 锁粗化

    /**
     * @author William
     * @create 2023-02-18 16:49
     * 锁粗化
     * 假如方法中首尾相接,前后相邻的都是同一个锁对象,那JIT编译器就会把这几个synchronized块合并
     * 成一个大块,|加粗加大范围,一次申请锁使用即可,避免次次的申请和释放锁,提升了性能
     */
    public class LockBigDemo {
    
        public static void main(String[] args) {
    		
            new Thread(LockBigDemo::run,"t1").start();
    		
        }
    
        private static void run() {
            synchronized (objectLock) {
                System.out.println("11111");
                System.out.println("22222");
                System.out.println("33333");
                System.out.println("44444");
            }
        }
    }
    

小总结

  1. 没有锁:自由自在
  2. 偏向锁:唯我独尊
  3. 轻量锁:楚汉争霸
  4. 重量锁:群雄逐鹿
  • 2
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值