如何通过 javap -v 分析字节码指令理解 synchronized 同步块的显式监视器进入退出-java教程-PHP中文网

javap -v 输出中，synchronized 块对应 monitorenter 和 monitorexit 指令，位于 code: 区域；前者在同步块入口前，后者在正常出口及每个异常出口（exception table 所示）前，常有 2–3 个；static synchronized 方法则用 ldc/getstatic 加载 class 对象而非 aload_0。

如何通过 javap -v 分析字节码指令理解 synchronized 同步块的显式监视器进入退出

javap -v 输出里哪几行对应 synchronized 块的字节码

直接看 synchronized 块对应的字节码，关键不是找 “synchronized” 这个词（它根本不会出现在字节码里），而是定位 monitorenter 和 monitorexit 指令。这两条指令成对出现，包围同步代码区域。用 javap -v 反编译后，在方法的 Code: 区域里搜索就能快速定位。

注意：monitorenter 总在同步块第一行之前，monitorexit 出现在块末尾——但不止一个！因为 JVM 为每个可能的异常出口也插入了 monitorexit，这是为了保证即使抛异常也能释放锁。

常见错误现象：只看到一个 monitorexit 就以为锁只释放一次；实际往往有 2–3 个，分别对应正常返回、return 语句、以及 catch 或方法末尾的隐式出口。

为什么 monitorenter 后面跟着 dup 指令

dup 是为了给 monitorenter 和后续的 monitorexit 提供同一个对象引用副本。JVM 规定 monitorenter 消耗栈顶一个 Object 引用，而 monitorexit 同样需要该引用——但中间的业务字节码可能已把栈顶改掉。所以编译器在 monitorenter 前插入 dup，复制对象引用，确保退出时仍有可用引用。

使用场景：所有基于对象的 synchronized（包括 synchronized(this)、synchronized(obj)），不适用于静态方法的类锁（那是 monitorenter 作用于 Class 对象，同样要 dup）。

示例片段（简化）：

 0: aload_0
 1: dup
 2: astore_1
 3: monitorenter
 4: aload_1
 5: monitorexit

这里 aload_0 把 this 压栈，dup 复制一份，astore_1 存到局部变量表备用（比如异常处理路径要用），monitorenter 消耗栈顶原始引用。

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

同步块异常路径下 monitorexit 的位置怎么确认

JVM 要求锁必须在所有控制流出口释放，包括未捕获异常。因此 javap -v 输出的 Exception table: 部分和 Code: 必须对照看。

Exception table: 显示哪些字节码范围（from–to）发生异常时跳转到哪个 handler（即 catch 块起始位置）
每个 handler 入口前，几乎必然紧跟一条 monitorexit
还要检查方法末尾（如 return 前）是否已有 monitorexit，避免重复释放

容易踩的坑：手动写 try-finally 模拟 synchronized 时忘了在 finally 里加 monitorexit，或加了但没确保引用一致（导致 IllegalMonitorStateException）；而 javac 自动生成的这些指令是严格配对且引用一致的。

static synchronized 方法的字节码有什么不同

区别只在锁对象来源：synchronized 实例方法锁的是 this，静态方法锁的是当前类的 Class 对象。字节码上，monitorenter 前加载的不是 aload_0，而是类似 ldc class_name 或 getstatic Class.class 这样的指令。

参数差异：无额外参数变化，但局部变量表第 0 位不再是 this（静态方法没有 this），所以你不会看到 aload_0 → dup → monitorenter 这个组合。

性能影响：类锁竞争范围更大，尤其在多 ClassLoader 场景下，Class 对象不共享，但开发者常误以为“静态同步 = 全局锁”，实际取决于类加载器隔离程度。

可验证方式：写一个 static synchronized void m(){}，用 javap -v 查看其 Code: 开头，找 ldc 或 getstatic 后接 dup 和 monitorenter 的序列。

复杂点在于，字节码本身不标记“这是同步方法”，只靠修饰符（ACC_STATIC + ACC_SYNCHRONIZED）和指令组合共同体现语义——而 synchronized 块则完全靠 monitorenter/monitorexit 对存在来识别。