当前位置:首页 > 文章列表 > 文章 > java教程 > synchronized与ReentrantLock字节码对比解析

synchronized与ReentrantLock字节码对比解析

2026-04-25 19:22:34 0浏览 收藏
本文深入对比了 Java 中 synchronized 和 ReentrantLock 在字节码层面的本质差异:synchronized 由 JVM 直接通过 monitorenter/monitorexit 指令实现,锁状态隐式存于对象头 Mark Word,无需 Java 方法调用,语义固化且高度优化;而 ReentrantLock 完全基于 Java 层的 AQS 框架和 Unsafe 的 native 操作(如 CAS 和 park),字节码中仅表现为普通方法调用,其灵活性、可中断性、超时机制和可扩展性全部源于显式的代码逻辑——这意味着你看到的字节码只是冰山一角,真正的能力藏在 JVM 实现与 JUC 源码之中,理解这一分野,是掌握并发底层原理的关键突破口。

如何通过分析字节码指令集理解 synchronized 与 ReentrantLock 的底层实现差异

直接看字节码,synchronized 会生成 monitorenter 和 monitorexit 指令,而 ReentrantLock 完全不出现这类指令——它只是普通对象调用,底层靠 Unsafe.park()、Unsafe.compareAndSwapInt() 等 JNI 方法配合 AQS 队列实现。

如何用 javap 查看 synchronized 的字节码

写一个最简方法:

public void syncMethod() {
    synchronized(this) {
        count++;
    }
}

编译后执行 javap -v YourClass,关键部分会看到:

  • monitorenter 出现在 synchronized 块入口,对应锁获取
  • monitorexit 出现在块末尾和异常表中(保证无论是否抛异常都会释放)
  • 锁信息不存于 Java 堆,而是记录在对象头的 Mark Word 中,由 JVM 直接管理
  • 没有显式调用任何 Java 方法,也看不到 lock() 或 unlock() 的痕迹

ReentrantLock 的字节码里只有普通方法调用

同样逻辑用 ReentrantLock 实现:

private final ReentrantLock lock = new ReentrantLock();
public void lockedMethod() {
    lock.lock();
    try {
        count++;
    } finally {
        lock.unlock();
    }
}

其字节码中只会看到:

  • invokevirtual 调用 lock.lock() 和 lock.unlock()
  • 没有 monitorenter/monitorexit,也没有任何 JVM 特殊指令参与
  • 真正加锁动作发生在 AbstractQueuedSynchronizer.acquire() 内部,最终落到 Unsafe.compareAndSwapInt() 和 Unsafe.park()
  • 这些是 native 方法,字节码里只体现为 invokenative,无法进一步反编译

为什么 monitorenter 不等于 CAS + park

两者根本不在同一抽象层:

  • monitorenter 是 JVM 规范定义的指令,语义固定:尝试获取对象监视器,失败则挂起线程并进入 Monitor 的 EntryList
  • ReentrantLock 的加锁流程完全在 Java 层建模:先用 CAS 尝试修改 AQS.state,失败则构造 Node 入队,再调用 park() 挂起——这整个过程可被中断、可设超时、可关联多个 Condition
  • JVM 对 monitorenter 的具体实现(如是否自旋、如何调度等待线程)是黑盒;而 ReentrantLock 的每一步都暴露在 Java 代码中,可调试、可扩展
  • 性能差异常被误解:非公平模式下 ReentrantLock 的 compareAndSwapInt + 快速路径其实比 monitorenter 更轻量;但一旦竞争激烈、需排队,AQS 队列开销就明显高于 Monitor 的原生调度

容易忽略的关键点

仅靠 javap 看不到全部真相:

  • monitorenter 的实际行为依赖 JVM 实现(HotSpot 中已深度优化,比如偏向锁、轻量级锁、重量级锁升级),这些在字节码里毫无体现
  • ReentrantLock 的公平性开关(new ReentrantLock(true))不会改变字节码结构,但会显著改变 AQS 中 tryAcquire 的逻辑分支
  • 所有与线程调度相关的细节(如唤醒策略、park/unpark 配对)必须看 HotSpot 源码或 JUC 源码,字节码本身只是“调用入口”

以上就是本文的全部内容了,是否有顺利帮助你解决问题?若是能给你带来学习上的帮助,请大家多多支持golang学习网!更多关于文章的相关知识,也可关注golang学习网公众号。

CSS进度条上传反馈设计与实现CSS进度条上传反馈设计与实现
上一篇
CSS进度条上传反馈设计与实现
Golang镜像签名与安全校验教程
下一篇
Golang镜像签名与安全校验教程
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    543次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    516次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    500次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    485次学习
查看更多
AI推荐
  • PubMedQA数据集详解:生物医学问答基准、功能与应用指南
    PubMedQA
    深入了解PubMedQA生物医学问答数据集,涵盖其核心功能、使用方法及在临床决策、药物研发等场景的应用,助力提升NLP模型性能。
    298次使用
  • H2O EvalGPT:开源LLM大模型评估与排行榜工具
    H2O EvalGPT
    H2O EvalGPT是H2O.ai推出的开源LLM评估平台,提供详细的大模型性能排行榜、行业特定基准测试及A/B测试功能,助您快速选择最适合项目的高性能大语言模型。
    354次使用
  • LMArena是什么?伯克利AI模型评估平台使用指南与功能解析
    LMArena
    LMArena是加州大学伯克利分校推出的AI模型匿名评测平台。通过盲测投票机制,用户可对比不同大模型回答并生成实时排行榜,助力开发者优化模型及用户选择最佳AI工具。
    354次使用
  • 斯坦福HELM:大语言模型Holistic Evaluation整体评估框架详解
    HELM
    深入了解斯坦福推出的HELM(Holistic Evaluation of Language Models)大模型评测体系。本文解析其核心功能、安装配置步骤及应用场景,涵盖准确性、公平性、鲁棒性等多维度指标,助力开发者全面优化语言模型性能。
    319次使用
  • MMBench详解:多模态大模型基准测试、功能特点与使用指南
    MMBench
    MMBench是由上海人工智能实验室等机构联合推出的多模态基准测试平台,提供细粒度能力评估、大规模数据集及VLMEvalKit工具。本文详细介绍其核心功能、安装使用方法及应用场景,助力开发者全面评估多模态模型性能。
    139次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议 和 隐私政策
返回登录
  • 重置密码