JAVA并发——synchronized的实现原理

synchronized 实现原理依赖于JVM 的 Monitor(监视器锁)和对象头(Object Header)当 synchronized 修饰在方法或代码块上时,会对特定的对象或类加锁,从而确保同一时刻只有一个线程能执行加锁的代码块。

synchronized 修饰方法:会在方法的访问标志中增加一个 ACCSYNCHRONIZED 标志。每当一个线程访问该方法时 JVM 会检查方法的访问标志。如果包含 ACCSYNCHRONIZED 标志,线程必须先获得该方法对应的对象的监视器锁(即对象锁),然后才能执行该方法,从而保证方法的同步性。

synchronized 修饰代码块:会在代码块的前后插入 monitorenter和 monitorexit 字节码指令。可以把 monitorenter 理解为加锁,monitorexit 理解为解锁。

总结:synchronized 是 Java 提供的内置锁(又叫 Monitor锁),底层通过 JVM 的对象头(Mark Word)+ Monitor 对象 实现互斥。它的编译结果中包含字节码指令 monitorenter 和 monitorexit,由 JVM 执行锁逻辑。

1、synchronized 的实现依赖三大底层核心:

组成 作用
Mark Word(对象头) 存储锁状态(无锁、偏向锁、轻量锁、重量锁等)
Monitor(监视器锁) 用于加锁/解锁的 JVM 内部结构,依赖 OS Mutex 实现重量级锁
字节码指令 monitorentermonitorexit 负责加锁/释放

2、对象头(Object Header)

在 JVM 中,每个对象的内存布局主要由两部分组成:

  1. Mark Word:用于存储对象的运行时数据,包括锁状态、哈希码、GC 分代信息等。
  2. Class Pointer:指向对象的类型元数据,帮助 JVM 确定对象的类型信息。

3、Mark Word

Mark Word 是对象头的一部分,会根据锁的不同状态保存不同信息是。也是实现 synchronized 的关键,因为它会根据锁的状态保存不同的信息。

具体包括:

  1. 未锁定状态:Mark Word 存储对象的哈希码和 GC 分代信息。
  2. 偏向锁状态:Mark Word 保存获取该锁的线程 ID和一些偏向锁标志位。在没有锁竞争的情况下,锁总是"偏向"于第一个获得它的线程。偏向锁通过减少不必要的 CAS 操作来提高性能。
  3. 轻量级锁状态:Mark Word 存储的是指向栈中锁记录的指针。轻量级锁适用于多个线程短时间内争用同一锁的场景。
  4. 重量级锁状态:Mark Word 存储的是指向 Monitor 对象的指针。当锁竞争激烈时,JVM 会升级为重量级锁,重量级锁使用操作系统的互斥量(Mutex)机制来实现线程的阻塞与唤醒。

4、锁升级总结:

  1. 偏向锁:当一个线程第一次获取锁时,J会将该线程标记为"偏向"状态,后续若该线程再获取该锁,几乎没有开销。
  2. 轻量级锁:当另一个线程尝试获取已经被偏向的锁时,锁会升级为轻量级锁,使用 CAS 操作来减少锁竞争的开销。
  3. 重量级锁:当 CAS失败无法获取锁,锁会升级为重量级锁,线程会被挂起,直到锁被释放。

5、synchronized 优缺点

✅ 优点

  • JVM 原生支持,代码清晰,语义明确;
  • 安全可靠,能保证原子性 + 可见性;
  • 随着 JDK 优化,性能越来越好(偏向锁、轻量锁加持);

❌ 缺点

  • 粒度粗:只能整个方法或代码块上锁;
  • 无法中断锁请求;
  • 不灵活:不支持公平/非公平、超时等待等(相比 Lock)
相关推荐
karry_k4 小时前
MyBatis批量insert-select踩坑:useGeneratedKeys=true 可能让PostgreSQL返回大量插入结果
java·后端
karry_k4 小时前
PostgreSQL 在 MyBatis 中执行正常 SQL 失效:一次 DELETE USING 踩坑记录
java·后端
SamDeepThinking7 小时前
从源码到代码:MyBatis-Flex 与 MyBatis-Plus 的逐项对比
java·后端·程序员
她的男孩10 小时前
Spring Boot 接 Flowable 工作流:用 3 个注解搭一个请假审批流程
java·后端·架构
荣码12 小时前
LLM结构化输出:让AI返回JSON而不是废话,我踩了4个坑
java·python
plainGeekDev14 小时前
Gson → kotlinx.serialization
android·java·kotlin
小bo波1 天前
Java Swing 图形用户界面实验 —— 从算术练习到游戏开发的完整实践
java·课程设计·gui·游戏开发·扫雷·swing
咖啡八杯1 天前
GoF设计模式——备忘录模式
java·后端·spring·设计模式