方法底层原理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在执行代码,剩下的线程都在自旋等待锁,当自旋次数达到设置最大时还是没有获取到锁,此时升级为重量级锁,重量级锁会阻塞其余等待的线程,当获取锁的线程释放锁之后再唤醒阻塞的线程,开启新一轮的锁竞争。