Java中的synchronized底层原理是什么_Monitor对象、monitorenter与monitorexit指令解析

落雪吖_8628

落雪吖_8628

2026-03-20

712人浏览

原创

Java synchronized 本质是JVM对C++实现的ObjectMonitor的封装,锁的是对象本身而非变量,通过monitorenter/monitorexit指令操作Monitor的_owner、_EntryList和_WaitSet。

java中的synchronized底层原理是什么_monitor对象、monitorenter与monitorexit指令解析

Java synchronized 本质是靠 Monitor 实现的

它不是语言层面的魔法,而是 JVM 对 ObjectMonitor 的封装调用。每个 Java 对象头里都藏着一个指向 ObjectMonitor 的指针(在偏向锁撤销或升级后才真正分配),真正加锁、等待、唤醒这些动作,全由这个 C++ 实现的 Monitor 对象完成。

常见错误现象:以为 synchronized(obj) 是“锁住 obj 这个变量”,其实锁的是 obj 引用所指向的堆对象本身;如果 obj 被重新赋值,新旧对象的锁完全无关。

  • Monitor 不是 Java 类,不能 new,也不在 Java 堆中,而是在 JVM native 内存里分配
  • 一个对象同一时刻只能有一个线程持有其 Monitor,但可以被多个线程争抢或等待
  • Monitor 内部有 _owner(当前持有者)、_EntryList(等待获取锁的线程队列)、_WaitSet(调用 wait() 后挂起的线程队列)

monitorenter 和 monitorexit 指令怎么工作的

编译器把 synchronized 块转成一对字节码指令:monitorenter 在入口处执行,monitorexit 在所有可能出口(包括异常路径)插入。JVM 执行时,这两条指令会触发对底层 ObjectMonitor 的 acquire/release 操作。

使用场景:你看到 javap -v 输出里的 monitorenter,就说明这段逻辑确实走的是 JVM 内置锁路径,不是被 JIT 优化掉或替换成其他同步机制(比如偏向锁未启用时)。

  • monitorenter 先尝试轻量级锁(CAS 替换对象头 Mark Word),失败则膨胀为重量级锁,进入 Monitor 的竞争流程
  • monitorexit 必须和配对的 monitorenter 使用同一个 Monitor,否则抛 IllegalMonitorStateException
  • try-finally 编译后会有两个 monitorexit:一个在正常 return 前,一个在 catch 块里处理异常后

synchronized 方法和代码块的 Monitor 获取时机不同

方法级 synchronized 的锁获取发生在方法调用开始前,由 JVM 在 entry point 自动插入 monitorenter;而同步代码块的锁获取发生在执行到 { 大括号那一行时。这意味着:方法锁更早介入,也更容易因方法内提前 return 或异常导致锁持有时间不可控。

参数差异:方法锁隐式使用 this(实例方法)或类 Class 对象(静态方法)作为锁对象;代码块必须显式传入一个非 null 引用,灵活性更高,但也更容易写出锁粒度不当的代码。

  • 静态方法锁的是 MyClass.class,不是某个实例,所有该类的静态同步方法共用一把锁
  • 如果同步块里锁的是局部新建对象(如 new Object()),那根本起不到同步作用——每次都是新锁
  • JIT 编译后,简单同步块可能被消除(锁消除),但方法级锁更难优化

Monitor 状态变化和线程阻塞的真实开销在哪

真正昂贵的不是 CAS 尝试,而是当 Monitor 已被占用、线程不得不进入 _EntryList 并挂起(park)的时候。这时线程从 RUNNING 变成 WAITING,涉及用户态到内核态切换、调度器介入、上下文保存——一次 park/unpark 往往比百次 CAS 还重。

性能影响:高竞争下,Monitor 会快速从偏向锁 → 轻量级锁 → 重量级锁升级,一旦进入重量级,所有后续争抢都会触发 OS 线程调度,吞吐量断崖下降。

  • Monitor 不支持超时获取(不像 ReentrantLock.tryLock(long, TimeUnit)),要么拿到,要么一直等
  • wait/notify 必须在已持有 Monitor 的前提下调用,否则抛 IllegalMonitorStateException
  • 即使没有线程等待,notify() 也不会报错,只是没效果;这点容易被忽略,导致唤醒丢失

Monitor 的复杂性不在代码里,而在多线程环境下状态转换的隐蔽性——比如一个线程刚释放锁,另一个还没来得及 acquire,中间发生的 wait/notify 就可能失效。写的时候得盯着锁对象生命周期和调用顺序,而不是只看语法是否合法。

Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南

相关专题

更多
java
java

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

2023.06.15

11257

6

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

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

2023.07.05

8362

9

java自学难吗
java自学难吗

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

2023.07.31

7212

8

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

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

2023.08.01

1204

3

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

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

2023.08.02

968

3

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

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

2023.08.02

1456

5

java有什么用
java有什么用

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

2023.08.02

2969

5

java在线网站
java在线网站

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

2023.08.03

20231

3

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

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1295

8

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
dev.java 官方:Learn Java
dev.java 官方:Learn Java

共0课时 | 0人学习

Java JDBC数据库连接官方教程
Java JDBC数据库连接官方教程

共0课时 | 0人学习