synchronized的底层实现
使用synchronized进行同步,关键就是对对象的监视器Monitor进行获取。这涉及到的是JVM层级别的monitorenter与monitorexit指令实现。
在使用synchronized时必须保证锁定的对象是Object以及其子类对象。只有Object和它的子类才有对象监视器。
- 执行同步代码块的时候
需要执行一个monitorenter和多个monitorexit指令。这是因为JVM要保证无论是在正常还是异常情况下都能被解锁。
执行同步代码块首先执行monitorenter,退出执行monitorexit指令。当线程获取Monitor后才能继续往下执行,否则只能等待。而则这个获取的过程是互斥的,即同一时刻只有一个线程能够获取Monitor。
- 执行同步方法
会打上一个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,当前线程进入同步方法或代码块。</