java多线程（五）---synchronized的实现原理与应用

移步java多线程系列文章

1 synchronized实现同步的基础

• Java中的每一个对象都可以作为锁
• 具体表现为以下3种形式。
  1.对于普通同步方法，锁是当前实例对象。
  2.对于静态同步方法，锁是当前类的Class对象。
  3.对于同步方法块，锁是Synchonized括号里配置的对象。
• 当一个线程试图访问同步代码块时，它首先必须得到锁，退出或抛出异常时必须释放锁。

2 Synchonized在JVM里的实现原理

• 从JVM规范中可以看到Synchonized在JVM里的实现原理，JVM基于进入和退出Monitor对象来实现方法同步和代码块同步，但两者的实现细节不一样。
  1.代码块同步是使用monitorenter和monitorexit指令实现的
  2.方法同步是使用另外一种方式实现的，细节在JVM规范里并没有详细说明。
• 但是，方法的同步同样可以使用这两个指令来实现。
  monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处，JVM要保证每个monitorenter必须有对应的monitorexit与之配对。
• 任何对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态。线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获得对象的锁。

注：synchronized用的锁是存在Java对象头里的。

参考

《java并发编程的艺术》