synchronized重量级锁底层原理

2019年8月27日 17点热度 0条评论 来源: bigbigChopper

synchronized底层原理

对象头

要搞清楚Synchronize的底层原理,先了解一下对象头
每个对象都会有一个对象头

如果这个对象是是数组类型,那么jvm会用3个字宽(32位虚拟机中,1个字宽4个字节)存储对象头,如果是非数组类型,jvm会用2个字宽存储对象头

对象头的存储结构如上

其中Mark Word中的状态变化又如上图

synchronized的宏观实现

我们主要来说重量级锁的实现

从上面的图也可以看到,当Synchronize升级为重量级锁的时候,会有一个指向互斥量(monitor对象)的指针,这个monitor对象定义了_WaitSet和_EntryList两个队列,在下面我们会说到这两个队列的作用。除此之外,monitor对象中还有个_owner指针指向锁的持有者

首先,当一个线程去竞争锁,它会被放进_EntryList中去竞争,如果竞争成功,_owner指针就会指向当前线程,同时_count+1,如果竞争失败,会重新回到_EntryList中。如果一个线程被调用了wait(),那么会释放当前持有锁,_count-1且当前线程进入_WaitSet等待被唤醒

同步代码块的实现

synchronized(obj){ 
    i++;
}

如上面的代码,我们可以来看一下它的字节码

我们可以看到三个标红的地方,分别用了monitorenter、monitorexit,当执行到monitroenter的时候,线程会进入entryList去竞争锁,如果竞争成功则走上面竞争成功的步骤,如果失败则走失败的步骤

那为什么会有两个monitorexit呢?

因为编译器要确保如果出现异常,对象能够及时释放锁,所以这就是synchronized和lock不同点之一,lock需要在try-catch中保证锁能够被释放,而synchronized在jdk底层就能够保证锁的及时释放,不会因为出现异常而造成死锁现象

同步方法的实现

同步方法的实现和代码块的实现是不一样的

synchronized void fun(){ 
    
}

可以看到,当同步的是方法时,并没有monitorenter和monitorexit指令,有的是ACC_SYNCHRONIZED标识,它一样会走上面说到的加锁释放锁过程

    原文作者:bigbigChopper
    原文地址: https://blog.csdn.net/bigbigChopper/article/details/100097855
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系管理员进行删除。