synchronized重量级锁的实现原理是怎样的

重量级锁（Heavyweight Locking）是 Java 中 synchronized 关键字的锁机制的一部分，用于在高竞争情况下确保线程的同步。重量级锁主要通过操作系统的线程同步机制实现，通常涉及阻塞线程、上下文切换等开销较大的操作。以下是重量级锁的实现原理及其工作方式：

重量级锁的实现原理

1. 阻塞和唤醒:

   • 阻塞线程: 当线程尝试获取被重量级锁保护的对象的锁时，如果该锁已经被其他线程持有，该线程会被阻塞。阻塞的过程涉及到操作系统层面的线程调度，即将线程放入等待队列中。
   • 唤醒线程: 当持有锁的线程释放锁时，操作系统会从等待队列中唤醒一个或多个阻塞线程。这些线程会被调度去重新尝试获取锁。

2. 操作系统的线程同步机制:

   • 互斥量（Mutex）: 在重量级锁的实现中，JVM 使用操作系统提供的互斥量或其他同步原语（如信号量、条件变量等）来实现锁的获取和释放。这些机制负责线程的阻塞和唤醒。
   • 上下文切换: 当线程被阻塞时，操作系统需要进行上下文切换，将当前线程的状态保存到内存中，并加载等待线程的状态。这种切换操作会带来额外的开销。

3. 对象头的 Mark Word:

   • 重量级锁标志: 对象头中的 Mark Word 用于表示对象的锁状态。在重量级锁情况下，Mark Word 会记录指向操作系统同步机制的指针或其他同步信息。此标志用于识别当前锁的状态并协调锁的竞争。

4. 锁的升级和降级:

   • 升级: 如果自旋锁无法解决锁竞争问题，轻量级锁会升级为重量级锁。此时，线程会被阻塞并等待操作系统的线程调度。
   • 降级: 当锁的竞争减少，JVM 可能会将重量级锁降级为轻量级锁，减少线程阻塞带来的开销。

重量级锁的工作流程

1. 线程尝试获取锁:

   • 线程在尝试获取锁时，首先检查对象头的 Mark Word。如果对象头表示锁是重量级锁，则线程会被阻塞。

2. 线程阻塞:

   • 等待队列: 被阻塞的线程会被放入操作系统的等待队列中，等待唤醒信号。
   • 上下文切换: 操作系统会进行上下文切换，将当前线程的状态保存并切换到等待状态的线程。

3. 锁的释放:

   • 唤醒线程: 当持有锁的线程释放锁时，操作系统会唤醒等待队列中的一个或多个线程。
   • 重新调度: 被唤醒的线程会被重新调度，并尝试获取锁。

4. 线程获取锁:

   • 获取锁: 被唤醒的线程会尝试获取锁。如果锁被释放并且当前线程能够成功获取锁，则线程会继续执行。

示例代码

以下示例展示了如何测试重量级锁的行为：

public class HeavyweightLockTest {private static final Object lock = new Object();public static void main(String[] args) {Runnable task = () -> {synchronized (lock) {System.out.println(Thread.currentThread().getName() + " - Acquired lock");try {Thread.sleep(1000); // 模拟持有锁的时间} catch (InterruptedException e) {e.printStackTrace();}}};// 启动多个线程来测试重量级锁的效果for (int i = 0; i < 10; i++) {new Thread(task, "Thread-" + i).start();}}
}

在这段代码中，当多个线程尝试获取同一个 synchronized 方法的锁时，JVM 会在锁竞争激烈的情况下使用重量级锁。线程会被阻塞，并在锁被释放时通过操作系统的同步机制进行唤醒。

总结

• 重量级锁: 用于在高竞争情况下确保线程同步，涉及线程的阻塞和唤醒。
• 操作系统同步机制: 使用互斥量、信号量等操作系统原语来实现锁的获取和释放。
• 上下文切换: 当线程被阻塞时，操作系统会进行上下文切换，带来较大的开销。
• 锁的升级和降级: 锁可以从轻量级锁升级为重量级锁，也可以在竞争减少时降级为轻量级锁。

重量级锁通过操作系统层面的线程调度机制来处理高竞争的同步问题，但会带来相对较大的性能开销。