synchronized底层原理

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的对象头，记录此时锁的标识，不同的标记表示的是锁此时是处于什么状态：无锁状态，偏向锁状态，轻量级锁状态，重量级锁状态。

Java对象内存布局

4.Monitor监视器锁

Monitor底层原理非常非常重要。
Java层面，对象头虽然记录了锁的标识，但是无法【看出多线程下锁竞争的详细过程】，中间涉及到的锁状态（0是无锁，1有锁，> 1 是可重入锁）、记录独占线程对象（_owern）、自旋代码（cas尝试改变锁状态，如果成功则获取锁）、竞争失败的线程需要入队列（waitlist队列、waitset队列）。。。。这些详细的过程在Java层面是看不到的。

我们都知道，synchronized底层是依赖Monitor的，我们只能深入JDK源码，看C++写的Monitor是如何实现以上的这些细节的。

理解Monitor监视器锁底层原理