Java 说一下 synchronized 底层实现原理?
synchronized
是 Java 中用于实现同步的关键字,它保证了多个线程对共享资源的互斥访问。底层实现涉及到对象头的 Mark Word 和锁升级过程。
synchronized
可以用于方法上或代码块上,分别对应于方法同步和对象同步。下面分别介绍这两种情况的底层实现原理。
对象同步(代码块同步)
在对象同步的情况下,synchronized
关键字可以修饰代码块,如下:
public class SynchronizedExample {
private Object lock = new Object();
public void exampleMethod() {
synchronized (lock) {
// 同步的代码块
}
}
}
底层实现原理:
- 进入同步块时,线程首先会尝试获取对象锁。
- 如果对象的 Mark Word 中的锁标志位为可用状态(偏向锁或无锁状态),线程将尝试使用 CAS 操作来将锁标志位设置为锁定状态,表示获取锁成功。
- 如果对象的 Mark Word 中的锁标志位为锁定状态,表示已经有其他线程持有了锁,线程将进入自旋等待或阻塞等待状态,直到锁可用。
方法同步
在方法同步的情况下,synchronized
关键字可以修饰整个方法,如下:
public class SynchronizedExample {
private Object lock = new Object();
public synchronized void exampleMethod() {
// 同步的方法
}
}
底层实现原理:
- 进入同步方法时,线程会尝试获取方法所在对象的锁,其实质和对象同步一样。
- 如果对象的锁标志位为可用状态,线程将尝试使用 CAS 操作将锁标志位设置为锁定状态。
- 如果对象的锁标志位为锁定状态,表示已经有其他线程持有了锁,线程将进入自旋等待或阻塞等待状态,直到锁可用。
需要注意的是,synchronized
关键字保证了互斥访问,但在锁的竞争激烈的情况下,可能导致性能下降。在 Java 6 以后,JVM 对 synchronized
进行了优化,引入了偏向锁、轻量级锁和重量级锁的概念,以提高同步性能。