synchronized原理

synchronized 是 Java 中用于实现线程同步的关键字，可以用于修饰方法和代码块。它的实现原理是基于对象头中的 Mark Word 和 Monitor 对象实现的。

在 Java 对象头中，有一个名为 Mark Word 的数据结构，它存储了对象的运行时信息。其中，synchronized 依赖于 Monitor 对象，Mark Word 中有一位记录了 Monitor 对象的状态，当这一位为 0 时，表示当前对象没有被锁定，为 1 时，表示当前对象已被锁定。Mark Word 中还有另一部分用于存储锁对象的指针，指向 Monitor 对象。

在 Java 中，每个对象都会与一个 Monitor 对象关联。当一个线程请求锁时，JVM 会先检查对象的 Mark Word 中的锁标志位是否为 1，如果是，表示该对象已被其他线程锁定，当前线程需要进入阻塞状态等待锁的释放；如果否，表示该对象未被锁定，当前线程可以将该对象的 Mark Word 中的锁标志位置为 1，并且将当前线程关联到 Monitor 对象上，表示当前线程获得了该对象的锁。

当一个线程释放锁时，JVM 会将该对象的 Mark Word 中的锁标志位重新置为 0，唤醒阻塞在该对象上的线程。

synchronized 还有一种重量级锁和轻量级锁的实现方式，这里简单介绍一下。在 Java 中，对象头中的 Mark Word 被用来存储锁信息，包括锁的状态、锁拥有者线程的 ID、轻量级锁等。轻量级锁是一种基于自旋的锁实现方式，它避免了线程阻塞的开销，可以提高锁的性能。重量级锁则是一种基于操作系统互斥量的锁实现方式，它需要进行线程阻塞和唤醒，开销较大。

下面是 synchronized 的一些源码片段，可以更好地理解其实现原理：

public class Test {
    public synchronized void method() {
        // 同步代码块
    }
}

上述代码中，synchronized 关键字修饰的方法，编译器会将其转换为如下代码：

public class Test {
    public void method() {
        // monitorenter
        synchronized (this) {
            // 同步代码块
        }
        // monitorexit
    }
}

其中的 monitorenter 和 monitorexit 便是对 Monitor 对象的操作。在进入 synchronized 块时，线程会尝试获取 Monitor 对象的锁，如果成功获取，则进入同步代码块执行操作。在同步代码块执行完成后