1 介绍
当一个线程试图访问同步的代码时,会首先尝试获取锁。执行完毕或者抛出异常的时候会主动释放锁。否则会一直阻塞着。
1.1 实现原理
从JVM规范中可以看到synchronize的实现主要是基于monitor对象来实现的。monitorenter是在编译后插入同步代码开始的位置,而monitorexit是在代码的结束处和异常处。
任何一个对象都有一个monitor与之关联。
2 创建锁
java中每一个对象都可以作为锁,对于普通的方法。锁是当前对象的实例,对于静态方法,锁是当前的class对象。同步块,则是括号里面配置的对象。
3 锁的升级
java6之后为了解决synchronize锁性能的销号(获取和释放)。引入了偏向锁,和轻量级锁的概览
当前版本中锁的状态从低到高总共有四种:无锁状态->偏向锁状态->轻量级锁状态->重量级锁状态。需要注意的是,锁可以升级缺不可以降级
3.1 偏向锁
3.1.1 获取
简单的理解,偏向于这个线程。 当一个线程进入同步块,首先测试 对象的mark word 中的threadId是否等同当前线程ID,如果成功,则获取锁成功,否则。首先测试mark word中的锁标识是否为1 。如果没有设置。则升级锁。否则 通过CAS操作,将自己的线程ID 尝试放入 的mark word 的位置。如果成功则获取锁成功。否则,说明对象存在竞争。将会在适当的地方挂起获取锁的线程。然后升级锁。接着执行代码。
偏向锁默认为开启状态。只是会在应用启动后延迟启动通过参数可以设置不延时XX:BiasedLockingStartupDelay=0。如果你确定应用程序里所有的锁通常情况下处于竞争状态,可以通过JVM参数关闭偏向锁:-XX:-UseBiasedLocking=false,那么程序默认会进入轻量级锁状态。
3.1.2 释放
偏向锁使用了只有出现竞争的情况下才会释放。首先他会在一个安全点暂停持有锁的对象。然后升级锁。