从源码浅析synchronized的底层原理

在Java编程中，synchronized关键字是用于实现线程同步的重要工具。它可以确保在多线程环境中共享资源的正确性和一致性。接下来我来浅析一下synchronized底层原理！

一、synchronized关键字的作用和使用方法

synchronized关键字用于实现线程的同步，它可以用来修饰方法或代码块。如果一个方法被synchronized修饰，那么在执行该方法时，它会获取到对象的锁，并且只有在释放锁之后其他线程才能访问该方法。如果一个代码块被synchronized修饰，那么在执行该代码块时，它会获取到对象的锁，并且只有在释放锁之后其他线程才能访问该代码块。

下面是一个使用synchronized修饰方法的示例：

public synchronized void increment() {
    count++;
}

在上面的示例中，increment方法被synchronized修饰，因此在执行该方法时，它会获取到对象的锁，并且只有在释放锁之后其他线程才能访问该方法。

下面是一个使用synchronized修饰代码块的示例：

public void increment() {
    synchronized(this) {
        count++;
    }
}

在上面的示例中，increment方法中的代码块被synchronized修饰，因此在执行该代码块时，它会获取到对象的锁，并且只有在释放锁之后其他线程才能访问该代码块。

二、synchronized关键字的底层原理

Java中的synchronized关键字可以应用于方法和代码块，其底层原理涉及到Java对象头、监视器锁等概念。

对象头

在Java中，每个对象都有一个对象头（Object Header）。对象头中包含了一些与对象相关的元数据信息，如对象的标记状态、锁状态等。当一个对象的监视器锁被占用时，它的对象头中的锁状态就会被设置为“locked”状态。当一个线程释放了该对象的监视器锁时，它的对象头中的锁状态就会被设置为“unlocked”状态。

监视器锁

在Java中，每个对象都有一个关联的监视器锁（也称为对象锁）。synchronized关键字就是利用了对象锁来实现线程同步的。

当一个线程要访问一个被synchronized修饰的方法或代码块时，它会先尝试获取该对象的监视器锁。如果该对象的监视器锁已经被其他线程占用了，那么该线程就会被阻塞，直到该对象的监视器锁被释放为止。只有获取到监视器锁的线程才能执行被synchronized修饰的方法或代码块。

下面我们将通过反编译源码的方式，来深入了解synchronized关键字的底层原理。

当一个方法被synchronized修饰时，Java会在该方法的字节码中插入一些指令，以实现对该方法的同步。下面是一个简单的示例：

public class Test {
    private int count = 0;

    public synchronized void increment() {
        count++;
    }

    public synchronized void decrement() {
        count--;
    }

    public synchronized int getCount() {
        return count;
    }
}

我们可以使用javap工具来反编译Test类的字节码，以了解synchronized方法的底层实现。

$ javap -v Test

输出结果如下：

可以看到，我们的increment方法被标记为ACC_SYNCHRONIZED，即被synchronized关键字所修饰。在increment方法的Code中，可以看到monitorenter和monitorexit指令，它们分别用于进入和退出同步块。具体来说，当一个线程进入increment方法时，它会首先尝试获取Test对象的监视器锁（即进入同步块），然后执行count++操作，最后释放Test对象的监视器锁（即退出同步块）。如果其他线程想要访问increment方法，它们将会被阻塞，直到获取到Test对象的监视器锁。