深入解析 Java 中的 synchronized：从重量级锁到锁升级的演变

深入解析 Java 中的 synchronized：从重量级锁到锁升级的演变

在 Java 并发编程中，synchronized 是保证线程安全的核心工具之一。虽然使用简单，但其背后的实现机制相当复杂且经过多次优化。本文将详细解析 synchronized 的底层实现，从早期的重量级锁到现代的锁升级机制，帮助开发者更好地理解其工作原理和优化策略。

1. synchronized 的早期实现：重量级锁

1.1 重量级锁的概念

在 JDK 的早期版本中，synchronized 依赖操作系统的原生互斥锁（Mutex）来实现线程同步。这种实现被称为重量级锁，因为它会涉及到线程的阻塞与唤醒，而这种操作需要在用户态和内核态之间进行切换，开销非常大。

1.2 重量级锁的局限性

• 高开销：由于线程阻塞和唤醒需要系统调用，造成了较大的性能损耗。
• 低效率：尤其是在高并发场景下，频繁的上下文切换使得这种锁实现显得非常低效。

由于这些性能问题，重量级锁在高并发场景下并不理想，JDK 团队随后对 synchronized 进行了多次优化，以提高其性能。

2. 锁的优化与升级机制

为了提升 synchronized 的性能，JDK 从 1.6 版本开始引入了一系列锁优化策略，包括偏向锁、自旋锁以及锁的升级机制。这些优化策略使得 synchronized 可以根据不同的线程竞争情况自动调整锁的模式，从而提高并发性能。

2.1 偏向锁：无竞争场景的优化

偏向锁 是 JDK 1.6 引入的一种轻量级锁，用于减少同一线程多次获取同一锁的开销。当一个线程首次获得锁时，JVM 会将该锁的状态设置为偏向锁，并在对象的 Mark Word 中记录该线程的 ID。

偏向锁的特点

• 无竞争的高效性：当同一个线程再次进入同步块时，无需执行任何同步操作，直接进入临界区，从而极大减少了加锁和解锁的开销。
• 适用场景：适合大部分情况下只有一个线程访问锁的场景，比如单线程初始化资源的场景。

synchronized (lock) {
    // 执行代码块
}

偏向锁的升级

• 竞争检测：如果另一个线程尝试获取已经偏向的锁，偏向锁会被撤销，并升级为轻量级锁。这一过程的成本较低，因为偏向锁本质上是一个“无锁”的优化策略。

2.2 轻量级锁与自旋锁：短时竞争的优化

在出现线程竞争时，偏向锁会升级为轻量级锁。轻量级锁通过自旋锁的方式避免了线程阻塞，提高了锁的获取效率。

自旋锁的概念

自旋锁的实现原理是，当一个线程尝试获取已被其他线程持有的锁时，它不会立即被阻塞，而是在一个循环（自旋）中反复尝试获取锁。这种方式减少了线程切换的开销，适合锁持有时间短的场景。

自旋锁的应用

• 适用场景：适用于锁持有时间较短、线程竞争不激烈的场景，因为自旋操作会占用 CPU 资源。
• 自旋次数：JVM 默认设置了自旋次数（如 10 次），如果在自旋结束后仍无法获取锁，则锁会升级为重量级锁。

synchronized (lock) {
    // 自旋锁逻辑
}

2.3 重量级锁：高竞争场景的最终选择

当自旋次数超过阈值且仍无法获取锁时，轻量级锁会升级为重量级锁。此时，线程将进入阻塞状态，直到锁被释放。虽然重量级锁开销较大，但在高竞争、长持有时间的场景下，其避免了无效的自旋操作。

重量级锁的特点

• 避免自旋的 CPU 消耗：在高竞争、长持有时间的场景中，重量级锁能够避免自旋导致的 CPU 资源浪费。
• 线程阻塞：线程将进入阻塞状态，等待锁的释放，这虽然引入了线程切换的开销，但在某些情况下是不可避免的。

3. 锁升级的决策机制

JVM 通过一系列智能化的决策机制，动态地选择最合适的锁策略，避免不必要的性能损耗。具体而言，锁的升级是根据线程的竞争情况动态触发的：

• 短时间锁持有、线程竞争少：偏向锁和轻量级锁能够提供更好的性能，因为它们可以避免昂贵的线程切换操作。
• 长时间锁持有、线程竞争多：重量级锁则更为适合，因为它能够有效地避免长时间的自旋消耗。

4. 总结

synchronized 是 Java 并发编程中的一个关键组件，其实现从早期的重量级锁逐步演变为偏向锁、自旋锁和重量级锁的混合模式。JVM 根据具体的线程竞争情况动态调整锁的类型，使得 synchronized 能够在各种场景下都保持较高的性能。

理解 synchronized 的底层机制和锁升级过程，有助于开发者在编写多线程程序时做出更合适的锁选择，从而最大限度地优化程序的并发性能。在实际开发中，合理使用 synchronized 可以确保线程安全，同时减少不必要的性能损耗。