monitorenter 是锁获取的统一入口,但是否触发 objectmonitor 取决于锁状态:偏向锁仅修改 mark word,轻量级锁用 cas 操作栈帧 lock record,仅当竞争导致锁膨胀时才初始化并调用 objectmonitor::enter。

怎么看 monitorenter 对应的 ObjectMonitor 状态变化
monitorenter 指令本身不直接暴露 Monitor 状态,它只是 JVM 触发锁获取的“开关”。真正决定状态走向的是对象头 Mark Word 的当前值 + 当前线程是否已持有该对象的锁。你得结合字节码、对象头快照和锁升级日志一起看,单看指令没用。
- 用
javap -v查到monitorenter指令位置,只说明这里会尝试加锁,不等于一定走重量级路径 - 要确认是否真进了
ObjectMonitor,得观察锁是否已膨胀:比如看到_owner非空、_EntryList有线程排队,就说明已升级为重量级锁 - 偏向锁状态下,
monitorenter只是比对线程 ID + CAS 替换 Mark Word,根本不会访问ObjectMonitor(此时 Monitor 还没分配)
推荐组合命令:jstack -l pid 看线程阻塞栈 + jmap -histo pid | grep -A 10 "java.lang.Object" 辅助判断对象分布,再配合 JOL(new org.openjdk.jol.vm.VM().details())打印对象头,才能把 monitorenter 和 Monitor 状态串起来。
为什么 javap 看到 monitorenter 却没进 ObjectMonitor
因为 monitorenter 是统一入口,但底层执行路径完全取决于锁当前所处的状态——JVM 会按「偏向锁 → 轻量级锁 → 重量级锁」逐级 fallback。
- 偏向锁未撤销时:线程第一次进入
synchronized(obj),仅修改对象头 Mark Word 中的线程 ID 字段,不分配也不访问ObjectMonitor - 轻量级锁阶段:CAS 尝试将 Mark Word 替换为指向当前线程栈帧中 Lock Record 的指针,仍绕过
ObjectMonitor - 只有当竞争发生(比如第二个线程也执行同一
monitorenter)、CAS 失败且自旋失败后,才会触发锁膨胀,这时才真正初始化并使用ObjectMonitor
所以你看到字节码里有 monitorenter,不代表 Monitor 已激活;它更像一个“可能触发 Monitor”的信号灯,不是“已经点亮 Monitor”的证据。
怎么验证 monitorenter 是否真的调用了 ObjectMonitor::enter
最直接的方式是启用 JVM 调试日志,让 HotSpot 输出锁操作的底层行为:
- 加启动参数:
-XX:+PrintSynchronization(HotSpot 17+ 支持),会打印每次锁获取/释放对应的 Monitor 地址和线程 ID - 或更细粒度:
-XX:+TraceMonitorInflation,只打锁膨胀事件,例如:inflate_object_monitor: object=0x0000000800012340, monitor=0x00007f8a1c00a000 - 配合
-XX:+UnlockDiagnosticVMOptions -XX:+LogVMOutput -Xlog:monitoring=debug(JDK 10+)可捕获ObjectMonitor::enter调用栈
注意:这些日志默认关闭,且影响性能,仅限诊断。生产环境别开;另外 ObjectMonitor 是 C++ 实现,无法在 Java 层直接反射或调试,必须依赖 JVM 自身日志或 native debug 工具(如 gdb + hsdis)。
常见误判点:把 ACC_SYNCHRONIZED 当成 monitorenter 的等价物
ACC_SYNCHRONIZED 是方法级 synchronized 的字节码标记,它和代码块里的 monitorenter/monitorexit 指令语义等价但实现分离:
- 方法加
synchronized:JVM 在方法入口隐式插入 Monitor 获取逻辑,字节码里看不到monitorenter,但同样会走 ObjectMonitor 流程(除非被 JIT 优化掉) - 代码块加
synchronized:明确生成monitorenter/monitorexit指令,更容易被反编译工具捕获,也更适合做字节码插桩分析
二者最终都可能走到同一个 ObjectMonitor::enter 函数,但触发时机、异常处理路径、锁粗化机会都不同。别因为没看到 monitorenter 就断定没走 Monitor —— 方法级同步只是把指令藏在了 JVM 解释器或 JIT 编译器的逻辑里。
真正难的不是看到 monitorenter,而是判断它此刻触发的是哪一层的锁逻辑。对象头、线程栈、JVM 日志、锁竞争强度,四者缺一不可。漏掉任意一项,结论都容易错。











