synchronized
的实现流程
同步代码块
使用 synchronized
关键字修饰代码块时,JVM 会在运行时执行如下操作:
-
获取锁:
- 检查对象头的
Mark Word
,决定是否需要锁升级。 - 如果是偏向锁状态并且线程持有锁,则进入临界区。
- 如果是轻量级锁状态,尝试使用 CAS 操作获取锁。
- 如果是重量级锁状态,线程会被挂起。
- 检查对象头的
-
进入临界区:
- 线程成功获取锁后,执行临界区代码。
-
释放锁:
- 退出临界区后,恢复对象头的
Mark Word
。 - 唤醒等待在锁上的其他线程(如果有)。
- 退出临界区后,恢复对象头的
监视器的工作原理
获取锁
当线程试图进入一个被 synchronized
修饰的方法或代码块时,它必须首先获取对象的监视器锁。过程如下:
-
检查锁状态:
- 如果锁是空闲的,线程获取锁并进入临界区。
- 如果锁被占用,线程被阻塞,进入入口集。
-
竞争锁:
- 在多线程环境中,多个线程可能竞争锁。只有一个线程能成功获取,其他线程进入阻塞状态。
执行同步代码
获取锁的线程进入临界区,执行同步代码。
释放锁
线程执行完同步代码后,释放监视器锁,唤醒入口集中的一个或多个线程。等待的线程会重新尝试获取锁。