Java中synchronized监视器机制详解

本文深入解析了Java中synchronized关键字在字节码层面的实现机制，通过javap -v反编译结果揭示：同步块并非由“synchronized”字样标识，而是由成对出现的monitorenter和monitorexit指令精确控制，其中monitorenter总位于同步入口前，而monitorexit则密集分布在正常返回、显式return及每个异常处理入口（由Exception table定义）之前，通常达2–3处以确保锁的绝对安全释放；文章还剖析了dup指令的关键作用——为进出监视器提供一致的对象引用副本，并对比了实例同步与static synchronized方法在锁对象加载方式（aload_0 vs ldc/getstatic）、局部变量布局及类加载器影响上的本质差异，帮助开发者穿透语法糖，真正理解JVM如何严谨保障线程安全。

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 消耗栈顶原始引用。

同步块异常路径下 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 对存在来识别。

今天带大家了解了的相关知识，希望对你有所帮助；关于文章的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~