深入理解 synchronized 锁

---

一、实现原理

Java中的每一个对象都可以作为锁。具体表现为以下3种形式。

• 对于普通同步方法，锁是当前实例对象。
• 对于静态同步方法，锁是当前类的Class对象。
• 对于同步方法块，锁是Synchonized括号里配置的对象。

代码块同步：使用monitorenter和monitorexit指令实现。
方法同步：使用另外一种方式，但是同样是使用这两个指令实现。只是具体表现形式有所不同 ACC_SYNCHRONIZED。

对于同步方法，当方法调用时，调用指令会检查方法的ACC_SYNVHRONIZED访问标识是否被设置，如果设置了，执行线程就要要求先获取monitor才能执行方法，最后当方法完成时，无论是正常完成还是发生异常，都会释放monitor。

对于同步代码块，JVM则对Synchronized进过编译，会在同步块的前后分别形成monitorenter和monitorexit这个两个字节码指令。线程执行到monitorenter指令时，必须要求先获得monitor才能继续执行代码块。方法在执行期间，执行线程持有了monitor，其它任何线程都无法再获取到同一个monitor。（首先要尝试获取对象锁。如果这个对象没被锁定(计数器为0)，则可以成功获取，把锁的计算器加1。相应的，在执行monitorexit指令时会将锁计算器就减1，当计算器为0时，锁就被释放了。如果获取对象锁失败，那当前线程就要阻塞等待，直到对象锁被另一个线程释放为止。）最后当方法完成时，无论是正常完成还是发生异常都会释放monitor。如果一个同步方法在执行期间抛出了异常，并且方法内无法处理此异常，那么这个同步方法所持有的monitor将在异常抛出时自动释放。所有synchronized的使用并不会导致锁泄露。

public class SynchronizedTest {
    public synchronized void test1() { // 方法同步
    }
    public void test2() {
        synchronized (this) { // 代码块同步
        }
    }
}

在我们继续分析深入之前，要先了解两个概念：Java对象头、Monitor。

synchronized是基于对象实现的对象锁。JAVA会在堆内存中创建一个对象，对象实例由对象头、实例数据、填充字段组成。

对象头

• MarkWord
• ClassPoint

synchronized用的锁都是存储在MarkWord中，无锁、偏向锁、轻量级锁、重量级锁。

Monitor

所有的Java对象是天生的Monitor，每一个Java对象都有成为Monitor的潜质，因为在Java的设计中 ，每一个Java对象自打娘胎里出来就带了一把看不见的锁，它叫做内部锁或者Monitor锁。

二、synchronized 优化

在Java 5通过引入锁升级的机制来实现高效Synchronized。

1. 锁的状态

从低到高依次为无锁->偏向锁->轻量级锁->重量级锁
001：无锁状态。
101：偏向锁状态。自动变成匿名偏向锁【线程指针为null】
100：轻量级锁状态
110：重量级锁状态

2. 锁的升级

一个线程需要获取对象锁时：无锁升级为偏向锁。需要将Markword的偏向线程id位修改为自己的线程id。偏向锁会永远偏向第一个获得锁的线程，如果后续没有其他线程获得过这个锁，持有锁的线程就永远不需要进行同步，反之，当有其他线程竞争偏向锁时，持有偏向锁的线程就会释放偏向锁。

出现锁竞争：偏向锁升级为轻量级锁时，会涉及到偏向锁撤销，需要等到一个安全点（STW），才可以撤销。简单来说，偏向锁只有遇到其他线程尝试竞争偏向锁时，持有偏向锁的线程才会释放锁，线程不会主动去释放偏向锁。偏向锁释放后就会升级为轻量级锁。JVM将会使用CAS方式来尝试获取锁，如果更新成功则会把对象头中的状态位标记为轻量级锁，如果更新失败，当前线程就尝试自旋来获得锁。

自旋的默认次数是10次，还是一直没获取到锁资源：轻量级锁升级为重量级锁。重量级锁是指当锁为轻量级锁的时候，另一个线程虽然是自旋，但自旋不会—直持续下去，当自旋—定次数（默认为10）的时候，还没有获取到锁，就会进入阻塞，该锁膨胀为重量级锁。对象锁进入重量级状态后，将采用monitor的方式加锁和释放锁。