讲师中心 微信公众号
AI工具推荐 视频效率加速

为什么 synchronized 锁升级是不可逆的?从 JVM 源码设计角度分析其性能平衡点。

风强酱_7008

风强酱_7008

发布时间:2026-04-23 11:58:48

|

716人浏览过

|

来源于php中文网

原创

锁升级不可逆是HotSpot在安全、开销与实现复杂度间的明确取舍:重量级锁无法降级因需唤醒内核态线程并清空Monitor状态,开销大且风险高;偏向锁撤销后不重偏、轻量级锁失败不回退偏向,均因竞争已存在,重试成功率低且破坏单向升级路径的确定性。

为什么 synchronized 锁升级是不可逆的?从 jvm 源码设计角度分析其性能平衡点。

锁升级不可逆,不是设计失误,而是 HotSpot 在安全、开销、实现复杂度三者间做的明确取舍。

为什么撤销重量级锁不回退到轻量级锁

重量级锁的 Monitor 对象一旦被创建并关联到对象头(Mark Word 中存的是指向 ObjectMonitor* 的指针),就意味着线程已进入操作系统内核态等待队列。此时若允许“降级”,需满足:

  • 所有阻塞线程必须被唤醒并重新参与用户态自旋竞争 —— 这会引发大量上下文切换和调度开销
  • Monitor 内部状态(如等待队列、EntryList、Owner 字段)必须安全清空或复用 —— 但 Monitor 是 C++ 堆上分配、带引用计数的重量级结构,回收/重置成本高
  • JVM 无法可靠判断“当前是否真无竞争”:一个线程刚释放锁,另一个已在内核态排队,表面“空闲”实则隐含竞争

HotSpot 源码中 ObjectSynchronizer::inflate 只负责向上膨胀(inflate),没有对应的 deflate 实现。这不是遗漏,而是刻意省略 —— 降级带来的收益远低于其引入的逻辑分支、内存屏障和竞态风险。

偏向锁撤销后为何不回到无锁状态

偏向锁撤销(RevokeBias)确实会把对象头恢复为“无锁”格式(锁标志位 01),但这个“无锁”只是表象:

  • 撤销操作必须在全局安全点(SafePoint)执行,已触发一次 STW;若紧接着又有线程尝试获取锁,大概率直接走轻量级锁路径,跳过再次尝试偏向
  • HotSpot 默认开启 -XX:+UseBiasedLocking,但一旦某个类的偏向锁被批量撤销(例如通过 BiasedLockingBulkRevokeThreshold 触发),该类后续新建对象将**直接禁用偏向**,从无锁跳转到轻量级锁
  • 源码中 markOopDesc::set_biasable 和 BiasedLocking::revoke_at_safepoint 都不提供“撤销后自动重偏”的机制 —— 因为重偏需再次 CAS,而此时已有竞争,成功率极低,纯属浪费

轻量级锁自旋失败后为何不重试偏向

轻量级锁的入口函数是 ObjectSynchronizer::slow_enter,它在 CAS 失败、自旋耗尽后,会直接调用 inflate 升级为重量级锁。这里不会回退检查“能否再偏向”,原因很实际:

  • 自旋失败说明至少有两个活跃线程在争抢,已违反偏向锁“单线程长期持有”的前提假设
  • 再次尝试偏向需修改 Mark Word 并写入线程 ID,但此时对象头可能已被其他线程的轻量级锁记录污染(标志位为 00),CAS 会失败
  • HotSpot 源码中 fast_enter 和 slow_enter 的控制流是单向的:无锁 → 偏向 → 轻量 → 重量,没有反向跳转逻辑

真正容易被忽略的是:锁升级路径的“不可逆”,本质是 JVM 放弃了对运行时竞争模式的动态预测。它不试图在每次锁操作时都重新评估“现在适不适合偏向”,而是用一次性的状态跃迁换取确定性行为和更少的分支判断 —— 这才是性能平衡点所在:宁可多升一级,也不愿多判一次。

数码产品性能查询
数码产品性能查询

该软件包括了市面上所有手机CPU,手机跑分情况,电脑CPU,电脑产品信息等等,方便需要大家查阅数码产品最新情况,了解产品特性,能够进行对比选择最具性价比的商品。

下载

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

热门AI工具

更多
DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

切问学术

切问学术是一款AI论文写作工具,复旦大学NLP团队推出的AI学术智能体。

码上飞
码上飞 Hot

一款基于自然语言的AI应用开发平台,可根据用户描述自动生成应用程序,帮助个人和团队快速完成应用原型与开发。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

Loomy
Loomy Hot

一款AI工具,主要用于科大讯飞发布的桌面级 AI 助理,比 OpenClaw 更易用、更安全!,适合需要提升相关任务效率的用户。

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

12137

2023.06.15

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

9222

2023.07.05

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

7892

2023.07.31

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

1284

2023.08.01

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

1028

2023.08.02

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

1536

2023.08.02

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

3169

2023.08.02

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

20431

2023.08.03

Postman身份认证怎么配置
Postman身份认证怎么配置

本专题从实际API接口调试场景出发,讲解Postman身份认证的完整配置流程,包括常见认证协议介绍、授权参数设置、访问令牌填写、OAuth 2.0授权及认证失败排查,帮助用户正确完成接口授权与访问验证。

0

2026.11.06

热门下载

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

精品课程

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn