synchronized
是 Java 中用于实现同步的关键字,它的底层原理涉及到 Java 对象头和对象监视器的概念。以下是 synchronized
底层原理的关键点:
-
对象头信息: 在 Java 中,每个对象都有一个对象头信息,它包含了对象的标识、哈希码以及锁状态。这些信息由虚拟机在对象创建时自动管理。
-
对象监视器:
synchronized
使用对象监视器来实现同步。每个对象都有一个关联的对象监视器(也称为锁),用于控制对该对象的访问。 -
进入同步块: 当一个线程尝试进入一个使用
synchronized
关键字修饰的同步块时,它首先要获取对象监视器(锁)。如果该对象监视器已经被其他线程获取,那么线程将被阻塞,直到获取到锁为止。 -
退出同步块: 当线程执行完同步块中的代码或者抛出了异常时,它会释放对象监视器,允许其他线程获取锁并执行同步块。
-
可重入性:
synchronized
具有可重入性,意味着同一个线程可以多次获取同一个锁,而不会被阻塞。这个特性可以防止线程因为自身的递归调用而被阻塞。 -
互斥性:
synchronized
保证了多个线程不能同时执行同一个对象的同步块。只有一个线程能够获取锁,其他线程将被阻塞,直到锁被释放。 -
内置锁:
synchronized
使用的是内置锁,也称为监视器锁。这个锁是与每个 Java 对象关联的,并且只有一个线程可以持有它。 -
性能代价: 使用
synchronized
会引入一定的性能开销,因为线程需要竞争锁,而且会存在一定的线程阻塞。
总之,synchronized
是一种基于对象监视器的锁机制,用于实现线程之间的同步。虽然它是最简单和常见的同步机制,但在高并发场景下,可能会导致性能问题。因此,在现代 Java 中,还引入了更高级的锁机制,如 ReentrantLock
和 java.util.concurrent
包中的各种锁,以提供更灵活和高效的同步方式。