一、实现原理
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的方式加锁和释放锁。