JVM系列之:对象的锁状态和同步

简介: JVM系列之:对象的锁状态和同步

目录



简介



锁和同步是java多线程编程中非常常见的使用场景。为了锁定多线程共享的对象,Java需要提供一定的机制来实现共享对象的锁定,从而保证一次只有一个线程能够作用于共享对象。当第二个线程进入同一个区域的时候,必须等待第一个线程解锁该对象。


JVM是怎么做到的呢?为了实现这个功能,java对象又需要具备什么样的结构呢?快来一起看看吧。


java对象头



Java的锁状态其实可以分为三种,分别是偏向锁,轻量级锁和重量级锁。


在Java HotSpot VM中,每个对象前面都有一个class指针和一个Mark Word。


Mark Word存储了哈希值以及分代年龄和标记位等,通过这些值的变化,JVM可以实现对java对象的不同程度的锁定。


还记得我们之前分享java对象的那张图吗?


image.png


javaObject对象的对象头大小根据你使用的是32位还是64位的虚拟机的不同,稍有变化。

这里我们使用的是64位的虚拟机为例。


Object的对象头,分为两部分,第一部分是Mark Word,用来存储对象的运行时数据比如:hashcode,GC分代年龄,锁状态,持有锁信息,偏向锁的thread ID等等。


在64位的虚拟机中,Mark Word是64bits,如果是在32位的虚拟机中Mark Word是32bits。


第二部分就是Klass Word,Klass Word是一个类型指针,指向class的元数据,JVM通过Klass Word来判断该对象是哪个class的实例。


我们可以看到对象头中的Mark Word根据状态的不同,存储的是不同的内容。


其中锁标记的值分别是:无锁=001,偏向锁=101,轻量级锁=000,重量级锁=010。


java中锁状态的变化



为什么java中的锁有三种状态呢?其本质原因是为了提升锁的效率,因为不同情况下,锁的力度是不一样的。


通过设置不同的锁的状态,从而可以不同的情况用不同的处理方式。


下图是java中的锁状态的变化图:


image.png


上面的图基本上列出了java中锁状态的整个生命周期。接下来我们一个一个的讲解。


偏向锁biased locking


一般来说,一个对象被一个线程获得锁之后,很少发生线程切换的情况。也就是说大部分情况下,一个对象只是被一个对象锁定的。


那么这个时候我们可以通过设置Mark word的一定结构,减少使用CAS来更新对象头的频率。


为了实现这样的目标,我们看下偏向锁的Mark word的结构:


image.png

当偏向线程第一次进入同步块的时候,会去判断偏向锁的状态和thread ID,如果偏向锁状态是1,并且thread ID是空的话,将会使用CAS命令来更新对象的Mark word。


设置是否偏向锁=1,锁标记=01,线程ID设置为当前锁定该对象的线程。


下一次该对象进入同步块的时候,会先去判断锁定的线程ID和当前线程ID是否相等,如果相等的话则不需要执行CAS命令,直接进入同步块。


如果这个时候有第二个线程想访问该对象的同步块,因为当前对象头的thread ID是第一个线程的ID,跟第二个线程的ID不同。


如果这个时候线程1的同步块已经执行完毕,那么需要解除偏向锁的锁定。


解除锁定很简单,就是将线程ID设置为空,并且将偏向锁的标志位设为0,


如果这个时候线程1的同步块还在执行,那么需要将偏向锁升级为轻量级锁。


轻量级锁thin lock


先看下轻量级锁的结构:


image.png

可以看到Mark word中存放的是栈中锁记录的指针和锁的标记=00。


如果对象现在处于未加锁状态,当一个线程尝试进入同步块的时候,会将把对象头和当前对象的指针拷贝一份,放在线程的栈中一个叫做lock record的地方。


然后JVM通过CAS操作,将对象头中的指针指向刚刚拷贝的lock record。如果成功,则该线程拥有该对象的锁。


实际上Lock Record和Mark word形成了一个互相指向对方的情况。


下次这个线程再次进入同步块的时候,同样执行CAS,比较Mark word中的指针是否和当前thread的lock record地址一致,如果一致表明是同一个线程,可以继续持有该锁。


如果这个时候有第二个线程,也想进入该对象的同步块,也会执行CAS操作,很明显会失败,因为对象头中的指针和lock record的地址不一样。


这个时候第二个线程就会自旋等待。


那么第一个线程什么时候会释放锁呢?


轻量级锁在线程退出同步块的时候,同样需要执行CAS命令,将锁标记从00替换成01,也就是无锁状态。


重量级锁


如果第二个线程自旋时间太久,就会将锁标记替换成10(重量级锁),并且设置重量级锁的指针,指向第二个线程,然后进入阻塞状态。


当第一个线程退出同步块的时候,执行CAS命令就会出错,这时候第一个线程就知道锁已经膨胀成为重量级锁了。


第一个线程就会释放锁,并且唤醒等待的第二个线程。


第二个线程被唤醒之后,重新争夺锁。


我们看下重量级锁的结构:


image.png

三种锁状态的不同


偏向锁,轻量级锁和重量级锁到底有什么不同了?


这里总结一下,偏向锁下次进入的时候不需要执行CAS命令,只做线程ID的比较即可。


轻量级锁进入和退出同步块都需要执行CAS命令,但是轻量级锁不会阻塞,它使用的是自旋命令来获取锁。


重量级锁不使用自旋,但是会阻塞线程。


相关文章
|
1月前
|
存储 算法 Java
散列表的数据结构以及对象在JVM堆中的存储过程
本文介绍了散列表的基本概念及其在JVM中的应用,详细讲解了散列表的结构、对象存储过程、Hashtable的扩容机制及与HashMap的区别。通过实例和图解,帮助读者理解散列表的工作原理和优化策略。
39 1
散列表的数据结构以及对象在JVM堆中的存储过程
|
2月前
|
存储 安全 Java
jvm 锁的 膨胀过程?锁内存怎么变化的
【10月更文挑战第3天】在Java虚拟机(JVM)中,`synchronized`关键字用于实现同步,确保多个线程在访问共享资源时的一致性和线程安全。JVM对`synchronized`进行了优化,以适应不同的竞争场景,这种优化主要体现在锁的膨胀过程,即从偏向锁到轻量级锁,再到重量级锁的转变。下面我们将详细介绍这一过程以及锁在内存中的变化。
40 4
|
6天前
|
NoSQL Java Redis
秒杀抢购场景下实战JVM级别锁与分布式锁
在电商系统中,秒杀抢购活动是一种常见的营销手段。它通过设定极低的价格和有限的商品数量,吸引大量用户在特定时间点抢购,从而迅速增加销量、提升品牌曝光度和用户活跃度。然而,这种活动也对系统的性能和稳定性提出了极高的要求。特别是在秒杀开始的瞬间,系统需要处理海量的并发请求,同时确保数据的准确性和一致性。 为了解决这些问题,系统开发者们引入了锁机制。锁机制是一种用于控制对共享资源的并发访问的技术,它能够确保在同一时间只有一个进程或线程能够操作某个资源,从而避免数据不一致或冲突。在秒杀抢购场景下,锁机制显得尤为重要,它能够保证商品库存的扣减操作是原子性的,避免出现超卖或数据不一致的情况。
39 10
|
2月前
|
缓存 算法 Java
JVM知识体系学习六:JVM垃圾是什么、GC常用垃圾清除算法、堆内存逻辑分区、栈上分配、对象何时进入老年代、有关老年代新生代的两个问题、常见的垃圾回收器、CMS
这篇文章详细介绍了Java虚拟机(JVM)中的垃圾回收机制,包括垃圾的定义、垃圾回收算法、堆内存的逻辑分区、对象的内存分配和回收过程,以及不同垃圾回收器的工作原理和参数设置。
77 4
JVM知识体系学习六:JVM垃圾是什么、GC常用垃圾清除算法、堆内存逻辑分区、栈上分配、对象何时进入老年代、有关老年代新生代的两个问题、常见的垃圾回收器、CMS
|
2月前
|
存储 Java
JVM知识体系学习四:排序规范(happens-before原则)、对象创建过程、对象的内存中存储布局、对象的大小、对象头内容、对象如何定位、对象如何分配
这篇文章详细地介绍了Java对象的创建过程、内存布局、对象头的MarkWord、对象的定位方式以及对象的分配策略,并深入探讨了happens-before原则以确保多线程环境下的正确同步。
59 0
JVM知识体系学习四:排序规范(happens-before原则)、对象创建过程、对象的内存中存储布局、对象的大小、对象头内容、对象如何定位、对象如何分配
|
2月前
|
存储 安全 Java
JVM锁的膨胀过程与锁内存变化解析
在Java虚拟机(JVM)中,锁机制是确保多线程环境下数据一致性和线程安全的重要手段。随着线程对共享资源的竞争程度不同,JVM中的锁会经历从低级到高级的膨胀过程,以适应不同的并发场景。本文将深入探讨JVM锁的膨胀过程,以及锁在内存中的变化。
46 1
|
2月前
|
存储 Kubernetes 架构师
阿里面试:JVM 锁内存 是怎么变化的? JVM 锁的膨胀过程 ?
尼恩,一位经验丰富的40岁老架构师,通过其读者交流群分享了一系列关于JVM锁的深度解析,包括偏向锁、轻量级锁、自旋锁和重量级锁的概念、内存结构变化及锁膨胀流程。这些内容不仅帮助群内的小伙伴们顺利通过了多家一线互联网企业的面试,还整理成了《尼恩Java面试宝典》等技术资料,助力更多开发者提升技术水平,实现职业逆袭。尼恩强调,掌握这些核心知识点不仅能提高面试成功率,还能在实际工作中更好地应对高并发场景下的性能优化问题。
|
2月前
|
算法 Java
JVM进阶调优系列(3)堆内存的对象什么时候被回收?
堆对象的生命周期是咋样的?什么时候被回收,回收前又如何流转?具体又是被如何回收?今天重点讲对象GC,看完这篇就全都明白了。
|
4月前
|
存储 Java 程序员
Java中对象几种类型的内存分配(JVM对象储存机制)
Java中对象几种类型的内存分配(JVM对象储存机制)
96 5
Java中对象几种类型的内存分配(JVM对象储存机制)
|
5月前
|
存储 监控 算法
(六)JVM成神路之GC基础篇:对象存活判定算法、GC算法、STW、GC种类详解
经过前面五个章节的分析后,对于JVM的大部分子系统都已阐述完毕,在本文中则开始对JVM的GC子系统进行全面阐述,GC机制也是JVM的重中之重,调优、监控、面试都逃不开的JVM话题。
161 8