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

heromps

于 2024-08-20 14:56:58 发布

阅读量544

点赞数 8

分类专栏： java 文章标签： java c# 开发语言

本文链接：https://blog.csdn.net/heromps/article/details/141358789

版权

59 篇文章 0 订阅

订阅专栏

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

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

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

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

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

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

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

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

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

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

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

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

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

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

关注