synchronized底层原理
- synchronized是基于JVM内置锁实现,通过内部对象Monitor(监视器锁)实现,基于进入与退出Monitor对象实现方法与代码块同步,
- 监视器锁的实现依赖底层操作系统的Mutex lock(互斥锁)实现,它是一个重量级锁性能较低。当然,JVM内置锁在1.5之后版本做了重大的优化,如锁粗化(Lock Coarsening)、锁消除(Lock Elimination)、轻量级锁(Lightweight Locking)、偏向锁(Biased Locking)、适应性自旋(Adaptive Spinning)等技术来减少锁操作的开销。
- 内置锁的并发性能已经基本与Lock持平。
- synchronized关键字根据是作用于“代码块”还是“方法”,被编译成字节码后,可能会被翻译成monitorenter 和 monitorexit 两条指令分别在同步块逻辑代码的起始位置与结束位置,或者被编译为ACC_SYNCHRONIZED标志。
1. 对象加锁流程图
每个同步对象都有一个自己的Monitor(监视器锁),加锁过程如下图所示:
流程解释:
线程1monitor.enter,如果成功则拿到该对象锁,即获得使用权;如果失败则进入“同步队列”;当线程2monit.exit后,出队列然后再次尝试enter。
2. synchronized被编译为两种字节码指令
2.1 声明
synchronized关键字根据是作用于“代码块”还是“方法”,被编译成字节码后,可能会被翻译成monitorenter 和 monitorexit 两条指令分别在同步块逻辑代码的起始位置与结束位置,或者被编译为ACC_SYNCHRONIZED标志。
虽然字节码指令不一样,但是两个字节码的底层都是通过“Monitor”监视器实现的。
2.2 synchronized锁“代码块”案例演示
同步代码块是通过 monitorenter(进入锁) 和 monitorexit(释放锁) 来实现。
2.3 synchronized锁“方法”案例演示
同步方法(无论静态或者非静态)是通过方法中的 access_flags 中设置ACC_SYNCHRONIZED标志来实现;
access_flags 中设置ACC_SYNCHRONIZED标志来实现;这个标注出现就是告诉线程我下面的代码是一起执行的,不要分开。
3.对象内存布局,对象头记录锁标识
Java的对象头,记录此时锁的标识,不同的标记表示的是锁此时是处于什么状态:无锁状态,偏向锁状态,轻量级锁状态,重量级锁状态。
4.Monitor监视器锁
Monitor底层原理非常非常重要。
Java层面,对象头虽然记录了锁的标识,但是无法【看出多线程下锁竞争的详细过程】,中间涉及到的锁状态(0是无锁,1有锁,> 1 是可重入锁)、记录独占线程对象(_owern)、自旋代码(cas尝试改变锁状态,如果成功则获取锁)、竞争失败的线程需要入队列(waitlist队列、waitset队列)。。。。这些详细的过程在Java层面是看不到的。
我们都知道,synchronized底层是依赖Monitor的,我们只能深入JDK源码,看C++写的Monitor是如何实现以上的这些细节的。