0

0

synchronized锁升级过程解析_偏向锁、轻量级锁与重量级锁的转换

P粉602998670

P粉602998670

发布时间:2026-02-14 13:00:12

|

984人浏览过

|

来源于php中文网

原创

偏向锁在发生竞争(如其他线程执行monitorenter)、调用wait/notify/hashcode或jvm批量撤销时会被撤销,且必须在全局安全点进行。

synchronized锁升级过程解析_偏向锁、轻量级锁与重量级锁的转换

偏向锁在什么条件下会撤销?

偏向锁不是永久生效的,只要发生竞争就会被撤销——哪怕只有一次其他线程尝试获取该锁。JVM 在检测到 monitorenter 指令被另一个线程执行时,就会触发偏向锁撤销流程。

  • 撤销必须在全局安全点(safepoint)进行,意味着要等所有线程到达安全点才能操作,有暂停开销
  • 如果对象已被多个线程交替加锁,JVM 可能直接禁用该类的偏向锁(通过 -XX:-UseBiasedLocking 或运行时批量撤销)
  • 调用 Object.wait()Object.notify()hashCode() 也会导致偏向锁失效——因为这些操作会要求对象头存储额外信息,与偏向锁结构冲突

轻量级锁是怎么“自旋”的?

轻量级锁本质是把对象头的 Mark Word 复制到线程栈帧的锁记录(Lock Record)中,再用 CAS 尝试替换对象头。失败即说明存在竞争,此时进入自旋逻辑。

  • 自旋不是无限循环,默认最多 10 次(由 -XX:PreBlockSpin 控制,JDK 6 后已废弃,实际由自适应策略决定)
  • 自旋期间线程不释放 CPU,适合临界区极短(纳秒~微秒级)、竞争不激烈的场景;若自旋失败,则升级为重量级锁
  • 注意:自旋消耗的是当前线程所在 CPU 核心,高并发下可能造成不必要资源浪费,尤其在单核或容器 CPU 配额受限环境

重量级锁为什么一定涉及系统调用?

一旦升级为重量级锁,对象头的 Mark Word 就不再存锁状态,而是指向一个 ObjectMonitor 结构体指针。这个结构体内部维护了 _owner、_WaitSet、_EntryList 等字段,真正实现阻塞/唤醒语义。

What-the-Diff
What-the-Diff

检查请求差异,自动生成更改描述

下载
  • 线程挂起必须调用操作系统提供的原语,如 Linux 下的 futex_wait,这属于用户态到内核态的切换,开销远大于 CAS 或自旋
  • ObjectMonitor 本身由 C++ 实现,在 JVM 堆外分配,生命周期与 Java 对象解耦;即使对象被 GC,monitor 可能仍存在(直到被复用或销毁)
  • 频繁升级到重量级锁往往意味着设计问题:比如锁粒度太大、同步块过长、或本可用无锁结构(如 AtomicInteger)却用了 synchronized

如何验证锁是否真的升级了?

不能只看代码写法,得靠 JVM 自身输出或工具观测。最直接的方式是开启锁优化日志。

  • 加 JVM 参数:-XX:+PrintSynchronizationStatistics -XX:+UnlockDiagnosticVMOptions,但仅限 debug 版本 JDK
  • 更通用的是使用 jstack -l <pid></pid> 查看线程堆栈中的锁状态,重量级锁会显示 - parking to wait for ,而轻量级锁不会出现这类阻塞标记
  • 注意:JIT 编译后可能进行锁消除(Lock Elision)或锁粗化(Lock Coarsening),实际运行时甚至看不到锁操作——所以测试务必关闭 JIT(-Xint)或确保代码已稳定运行足够长时间

锁升级过程不是线性可预测的自动流水线,它高度依赖运行时竞争模式、JVM 版本、甚至 GC 类型。同一个 synchronized 块,在不同压测阶段可能走完全不同的锁路径。观察它,永远要比假设它更可靠。

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

342

2025.06.09

golang结构体方法
golang结构体方法

本专题整合了golang结构体相关内容,请阅读专题下面的文章了解更多。

198

2025.07.04

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

416

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

588

2023.08.10

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

416

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

588

2023.08.10

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

673

2023.08.10

磁盘配额是什么
磁盘配额是什么

磁盘配额是计算机中指定磁盘的储存限制,就是管理员可以为用户所能使用的磁盘空间进行配额限制,每一用户只能使用最大配额范围内的磁盘空间。php中文网为大家提供各种磁盘配额相关的内容,教程,供大家免费下载安装。

1500

2023.06.21

pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法
pixiv网页版官网登录与阅读指南_pixiv官网直达入口与在线访问方法

本专题系统整理pixiv网页版官网入口及登录访问方式,涵盖官网登录页面直达路径、在线阅读入口及快速进入方法说明,帮助用户高效找到pixiv官方网站,实现便捷、安全的网页端浏览与账号登录体验。

23

2026.02.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号