面试官:synchronized的锁升级过程是怎样的?

2024-09-08 01:28

本文主要是介绍面试官:synchronized的锁升级过程是怎样的?,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

大家好,我是大明哥,一个专注「死磕 Java」系列创作的硬核程序员。


回答

在 JDK 1.6之前,synchronized 是一个重量级、效率比较低下的锁,但是在JDK 1.6后,JVM 为了提高锁的获取与释放效,,对 synchronized 进行了优化,引入了偏向锁轻量级锁,至此,锁的状态有四种,级别由低到高依次为:无锁偏向锁轻量级锁重量级锁

锁升级就是无锁 —> 偏向锁 —> 轻量级锁 —> 重量级锁 的一个过程,注意,锁只能升级,不能降级。

原理详解

对象头

HotSpot 虚拟机中,对象在内存中存储布局可以分为三块区域:对象头(Header)、实例数据(Instance Data)和对齐填充(Padding):

  • 对象头:分为Mark Word 和 对象指针
    • Mark Word:存储对象自身的运行时数据,如哈希码(HashCode)、GC分代年龄、锁状态标志、线程持有的锁、偏向线程ID、偏向时间戳等。
    • 对象指针:存储指向类元数据的指针,使得能够访问对象属于的类的信息。
  • 实例数据:存储对象的实际有效信息,也就是我们在类中所定义的各种类型的字段内容。
  • 对齐填充:可选字段,通常存在于对象的末尾,用于确保对象的大小是8字节的倍数(因为许多JVM都使用8字节的对象对齐)。这是出于性能考虑,使得对象的地址在内存中是对齐的。

synchronized 锁相关的信息主要是在 Mark Word 区域,我们先看看 Mark Word

Mark Word

synchronized 用的锁存在锁对象的对象头的Mark Word中,我们先看 Mark Word 到底长什么样。

锁分类

无锁

无锁可以理解为单线程轻松愉快地运行,没有其他的线程来和其竞争。但是无锁不代表没有同步,它只是表示锁对象目前没有被任何线程显式锁定。

偏向锁

偏向锁 JDK 1.6 引入的一种锁优化机制。

何谓“偏向”?就是锁对象会偏向于第一个获得它的线程。什么意思呢。

当一个线程访问同步代码块并获取锁时,该锁会进入偏向模式,锁标志的状态将被设置为偏向(01),并且锁的拥有者被设置为当前线程(偏向锁线程 id = 当前线程 id)。当该线程执行完同步代码块后,线程并不会主动释放偏向锁。当线程再次进入同步代码块时,会首先判断此时持有锁的线程与它是否为同一线程,如果是则正常往下执行,由于此前是没有释放锁的,所以这次就不会有任何的获取锁操作。

所以,偏向锁是指当一段同步代码一直被同一个线程所访问时,就不存在所谓的多线程竞争了,那么该线程在后续访问时便会自动获得锁,从而降低获取锁带来的消耗,即提高性能。

偏向锁的锁释放是一个被动过程,线程不会主动释放偏向锁,只有当其他线程来竞争偏向锁时,JVM 才会检测到锁的状态并触发撤销。但是撤销需要等待全局安全点(所有线程会暂停),JVM 会在全局安全点时判断锁对象是否处于被锁定状态,如果没有被锁定,且持有锁的线程不处于活动状态,则将对象头设置为无锁状态,并撤销偏向锁。

所以,引入偏向锁的目的是认为当前环境下是不存在多线程竞争的场景,可以认为是单线程环境,同一个线程多次持有锁,减少单线程环境下获取锁带来的不必要。

流程图如下:

轻量级锁

当一个线程持有偏向锁时,另外一个线程来竞争锁,这时偏向锁就会升级为轻量级锁。

轻量级锁的竞争方式一种比较轻量级的竞争方式,当某个线程没有获取到锁,它并不是立刻被挂起,而是采取自旋的方式来竞争锁资源。在竞争较少的情况下,轻量级锁通过减少线程阻塞和唤醒操作,可以提高性能。

轻量级锁的目的在于它认为系统当前的竞争环境不是激烈,如果采取阻塞和唤醒线程的方式,则会过多地消耗系统资源。如果某个线程没有获取到轻量级锁,则采取自旋的方式来判断锁资源是否已被释放。这种方式减少了上线文的切换。

但是长时间的自旋操作是非常消耗资源的,一个线程获取了轻量级锁,其他线程就只能在那里“空耗”,它们不释放 CPU 资源,但也不做任何事,这种现象叫做忙等busy-waiting)。所以,我们是允许短时间的忙等,用它来换取线程在用户态和内核态之间切换的开销。

触发轻量级锁的条件是两个:

  1. 关闭偏向锁(-XX:-UseBiasedLocking
  2. 多个线程竞争偏向锁导致偏向锁升级为轻量级锁

流程图如下:

重量级锁

轻量级锁自旋是要有限度的,你不能一直在那里空转,所以如果锁竞争环境比较严重,当自旋次数达到某个阈值(默认 10 次,可自动调整)后,就是停止自旋,此时锁膨胀为重量级锁。当其膨胀为重量级锁后,其他线程就不再是等待了,而是阻塞等待。重量级锁依赖对象内部的监视器(monitor)实现,而 monitor 依赖的是操作系统的 MutexLock(互斥锁)。

由于是重量级锁,那么等待锁资源的线程都会被阻塞,虽然阻塞的线程不会消耗 CPU,但是阻塞或者唤醒一个线程都需要通过底层操作系统来实现,它会涉及到上下文切换,用户态和内核态之间的转换,这本身就是一个非常重量级、高开销的操作。

锁升级过程

锁升级就是无锁 —> 偏向锁 —> 轻量级锁 —> 重量级锁 的一个过程,注意,锁只能升级,不能降级。流程图如下:

  • JVM 启动后,锁资源对象直到有第一个线程访问时,它都是无锁状态,此时 Mark Word 内容如下:

偏向锁标识为 0,锁标识为 01

  • 当锁对象首次被某个线程(假如为线程 A,id 为 1000001)时,锁就会从无锁状态升级偏向锁。偏向锁会在 Mark Word 中的偏向锁线程 id 存储当前线程的id(1000001),偏向锁标识为 1,锁标识为 01,如下:

如果当前线程再次获取该锁对象,只需要比较偏向锁线程 id 即可。

  • 当有其他线程(假如为线程 B,id 为 1000002)来竞争该锁对象,此时锁为偏向锁,这个时候会比较偏向锁的线程 id 是否为线程 B 1000002,我们可以判断不是,所以会利用 CAS 尝试修改 Mark Word,如果成功,则线程 B 获取偏向锁成功,此时 Mark Word 中的偏向锁线程 id 为线程 B id 1000002

  • 但如果失败了,就说明当前环境可能存在锁竞争,则需要执行偏向锁撤销操作。等到全局安全点时,JVM 会暂停持有偏向锁的线程 A,检查线程 A 的状态,若线程 A状态为不活跃或者已经执行完了同步代码块,则设置锁对象为无锁状态(线程 ID 为空,偏向锁 0 ,锁标志位为01)重新偏向,同时恢复线程 A,继续获取偏向锁。如果线程 A 的同步代码块还没执行完,则需要升级为轻量级锁。
  • 在升级为轻量级锁之前,持有偏向锁的线程 A是暂停的,JVM 首先会在线程 A 的栈中创建一个名为锁记录的空间(Lock Record),用于存放锁对象目前的 Mark Word 的拷贝,然后拷贝对象头中的 Mark Word 到线程 A 的锁记录中(官方称之为 Displaced Mark Word ),若拷贝成功,JVM 将使用 CAS 尝试将对象头重的 Mark Word 更新为指向线程 A 的 Lock Record 的指针,成功,线程 A 获取轻量级锁,此时 Mark Word 的锁标志位为 00,指向锁记录的指针指向线程 A 的锁记录地址,如下图:

  • 对于其他线程而言,也会在栈帧中建立锁记录,存储锁对象目前的 Mark Word 的拷贝。也利用 CAS 尝试将锁对象的 Mark Word 更正指向自身线程的 Lock Record,如果成功,表明竞争到轻量级锁,则执行同步代码块。如果失败,那么线程尝试使用自旋的方式来等待持有轻量级锁的线程释放锁。当然,它不会一直自旋下去,因为自旋的过程也会消耗 CPU,而是自旋一定的次数,如果自旋了一定次数后还是失败,则升级为重量级锁,阻塞所有未获取锁的线程,等待释放锁后唤醒。

最后是,锁升级过程的详细流程(此图来源于网上):

本文已收录到我的技术网站:https://www.skjava.com。有全网最优质的系列文章、Java 全栈技术文档以及大厂完整面经

这篇关于面试官:synchronized的锁升级过程是怎样的?的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1146723

相关文章

浅析Spring Security认证过程

类图 为了方便理解Spring Security认证流程,特意画了如下的类图,包含相关的核心认证类 概述 核心验证器 AuthenticationManager 该对象提供了认证方法的入口,接收一个Authentiaton对象作为参数; public interface AuthenticationManager {Authentication authenticate(Authenti

作业提交过程之HDFSMapReduce

作业提交全过程详解 (1)作业提交 第1步:Client调用job.waitForCompletion方法,向整个集群提交MapReduce作业。 第2步:Client向RM申请一个作业id。 第3步:RM给Client返回该job资源的提交路径和作业id。 第4步:Client提交jar包、切片信息和配置文件到指定的资源提交路径。 第5步:Client提交完资源后,向RM申请运行MrAp

【机器学习】高斯过程的基本概念和应用领域以及在python中的实例

引言 高斯过程(Gaussian Process,简称GP)是一种概率模型,用于描述一组随机变量的联合概率分布,其中任何一个有限维度的子集都具有高斯分布 文章目录 引言一、高斯过程1.1 基本定义1.1.1 随机过程1.1.2 高斯分布 1.2 高斯过程的特性1.2.1 联合高斯性1.2.2 均值函数1.2.3 协方差函数(或核函数) 1.3 核函数1.4 高斯过程回归(Gauss

macOS升级后SVN升级

问题 svn: error: The subversion command line tools are no longer provided by Xcode. 解决 sudo chown -R $(whoami) /usr/local/Cellar brew install svn

Solr 使用Facet分组过程中与分词的矛盾解决办法

对于一般查询而言  ,  分词和存储都是必要的  .  比如  CPU  类型  ”Intel  酷睿  2  双核  P7570”,  拆分成  ”Intel”,”  酷睿  ”,”P7570”  这样一些关键字并分别索引  ,  可能提供更好的搜索体验  .  但是如果将  CPU  作为 Facet  字段  ,  最好不进行分词  .  这样就造成了矛盾  ,  解决方法

关键字synchronized、volatile的比较

关键字volatile是线程同步的轻量级实现,所以volatile性能肯定比synchronized要好,并且volatile只能修饰于变量,而synchronized可以修饰方法,以及代码块。随着JDK新版本的发布,synchronized关键字的执行效率上得到很大提升,在开发中使用synchronized关键字的比率还是比较大的。多线程访问volatile不会发生阻塞,而synchronize

Python:豆瓣电影商业数据分析-爬取全数据【附带爬虫豆瓣,数据处理过程,数据分析,可视化,以及完整PPT报告】

**爬取豆瓣电影信息,分析近年电影行业的发展情况** 本文是完整的数据分析展现,代码有完整版,包含豆瓣电影爬取的具体方式【附带爬虫豆瓣,数据处理过程,数据分析,可视化,以及完整PPT报告】   最近MBA在学习《商业数据分析》,大实训作业给了数据要进行数据分析,所以先拿豆瓣电影练练手,网络上爬取豆瓣电影TOP250较多,但对于豆瓣电影全数据的爬取教程很少,所以我自己做一版。 目

Golang支持平滑升级的HTTP服务

前段时间用Golang在做一个HTTP的接口,因编译型语言的特性,修改了代码需要重新编译可执行文件,关闭正在运行的老程序,并启动新程序。对于访问量较大的面向用户的产品,关闭、重启的过程中势必会出现无法访问的情况,从而影响用户体验。 使用Golang的系统包开发HTTP服务,是无法支持平滑升级(优雅重启)的,本文将探讨如何解决该问题。 一、平滑升级(优雅重启)的一般思路 一般情况下,要实现平滑

ORACLE语法-包(package)、存储过程(procedure)、游标(cursor)以及java对Result结果集的处理

陈科肇 示例: 包规范 CREATE OR REPLACE PACKAGE PACK_WMS_YX IS-- Author : CKZ-- Created : 2015/8/28 9:52:29-- Purpose : 同步数据-- Public type declarations,游标 退休订单TYPE retCursor IS REF CURSOR;-- RETURN vi_co_co

【吊打面试官系列-Redis面试题】说说 Redis 哈希槽的概念?

大家好,我是锋哥。今天分享关于 【说说 Redis 哈希槽的概念?】面试题,希望对大家有帮助; 说说 Redis 哈希槽的概念? Redis 集群没有使用一致性 hash,而是引入了哈希槽的概念,Redis 集群有 16384 个哈希槽,每个 key 通过 CRC16 校验后对 16384 取模来决定放置哪个槽, 集群的每个节点负责一部分 hash 槽。