synchronized的实现原理以及JDK1.6之后的优化

synchronized的底层实现

使用synchronized进行同步，关键就是对对象的监视器Monitor进行获取。这涉及到的是JVM层级别的monitorenter与monitorexit指令实现。

在使用synchronized时必须保证锁定的对象是Object以及其子类对象。只有Object和它的子类才有对象监视器。

1. 执行同步代码块的时候

需要执行一个monitorenter和多个monitorexit指令。这是因为JVM要保证无论是在正常还是异常情况下都能被解锁。

执行同步代码块首先执行monitorenter，退出执行monitorexit指令。当线程获取Monitor后才能继续往下执行，否则只能等待。而则这个获取的过程是互斥的，即同一时刻只有一个线程能够获取Monitor。

2. 执行同步方法

会打上一个ACC_SYNCHRONIZED标记。该标记表示进入该方法时，JVM需要进行monitorenter操作。而在退出方法时，不管是正常返回，还是抛出异常，java虚拟机均需要进行monitorexit操作。

---

Monitor机制

1. monitorenter：获取监视器

synchronized(o){

}

• 检查o对象的Monitor计数器值是否为0，为0表示此监视器还未被任意一个线程获取，此线程可以进入同步代码块并且将Monitor值+1，将Monitor的持有线程标记为当前线程。
• 当Monitor计数器值不为0，且持有线程不是当前线程，表示Monitor已经被别的线程占用，当前线程只能阻塞等待。
• 当Monitor计数器值不为0但是持有线程是当前线程时，那么java虚拟机可将其计数器值+1.

可重入锁：当执行monitorenter时，对象的Monitor计数器值不为0，但是持有线程恰好是当前线程，此时将Monitor计数器值再次+1，当前线程进入同步方法或代码块。</