每天一道面试题一synchronize的底层实现以及锁升级过程

作用范围

synchronized可以修饰静态方法、修饰实例方法、修饰代码块

方法底层原理

jvm通过方法常量池中的方法表结构中的ACC_SYNCHRONIZED标志区分是否为同步方法，如果是同步方法，则线程会持有monitor，然后再执行方法，最后执行完（不管是执行正常或者异常）释放monitor

代码块底层原理

利用monitorenter和monitorexit这两个字节码指令。它们分别位于同步代码块的开始和结束位置。当jvm执行到monitorenter指令时，当前线程试图获取monitor对象的所有权，如果未加锁或者已经被当前线程所持有，就把锁的计数器+1；当执行monitorexit指令时，锁计数器-1；当锁计数器为0时，该锁就被释放了。如果获取monitor对象失败，该线程则会进入阻塞状态，直到其他线程释放锁。

锁升级

jdk1.6默认开启偏向锁，synchronize在第一个线程进入的情况下，默认修改为偏向锁，将当前线程的ID更新到对象头的makeword的线程ID中，增加偏向锁的时间戳以及偏向锁的标志修改为1
偏向锁升级为轻量级锁是线程之间有竞争的时候，线程1迟迟没有退出代码块，线程2又要获取这把锁，而线程2通过cas自旋一直没有成功，此时就会升级为轻量级锁，如果在自旋过程中线程1执行完获取到了锁，此时就不会升级为轻量级锁
轻量级升级为重量级锁是线程之间竞争特别激烈时，此时有很多线程在竞争着同一把锁，线程1在执行代码，剩下的线程都在自旋等待锁，当自旋次数达到设置最大时还是没有获取到锁，此时升级为重量级锁，重量级锁会阻塞其余等待的线程，当获取锁的线程释放锁之后再唤醒阻塞的线程，开启新一轮的锁竞争。