synchronized锁升级过程和实现原理

   日期:2020-07-05     浏览:83    评论:0    
核心提示:一.synchronized升级过程在最开始JDK1.0,1.2的时候,synchronized就是重量级锁,后来JDK对synchronized进行了一系列优化,这个优化就是有个升级过程。这个升级过程被markword清晰地进行了记录。整个锁升级的过程大概分为:new-->偏向锁-->轻量级锁(无锁,自旋锁,自适应自旋)-->重量级锁我们结合下面这张图具体谈一下从刚刚new出来的时候,首先上的是偏向锁,出现争用,升级为轻量级锁,竞争状态变得特备激烈,变为重量级锁。

一.synchronized升级过程

在最开始JDK1.0,1.2的时候,synchronized就是重量级锁,后来JDK对synchronized进行了一系列优化,这个优化就是有个升级过程。这个升级过程被markword清晰地进行了记录。

整个锁升级的过程大概分为:

new-->偏向锁-->轻量级锁(无锁,自旋锁,自适应自旋)-->重量级锁

我们结合下面这张图具体谈一下

从刚刚new出来的时候,首先上的是偏向锁,出现争用,升级为轻量级锁,竞争状态变得特备激烈,变为重量级锁。这些信息全部记录在markword的8个字节中。这张图也说明了在不同的状态下,这64位到底是什么样的布局。在无锁态,头三位代表一个没有锁的状态。如果升级为偏向锁,也是头三位代表它为偏向锁。如果再升级为更重量级的锁,只用两位代表就行了。

刚new出来时,我们看下这64位都对应什么东西?

分代年龄占4位,其最大值即为15。这也就是我们所说的当分代年龄达到最大值时,就从年轻代变为老年代。

hashcode占31位,准确来说,对hashcode方法进行调用之后,它才会把这个值存进来,没有进行调用,这里面是没有值的。

我们看下调用前后内存布局变化:

下面再谈下偏向锁,第一个拥有锁对象的线程,先不上那么重量级的锁,先给它贴个标签, 类比于在卫生间门上贴张写有名字的纸。偏向锁的意思就是它偏向于第一个刚刚进来的线程,因为在竞争不是那么激烈的情况下,其实一个线程拥有这把锁之后,很快就结束了,干完事之后就将这把锁释放了,所以没有必要申请重量级的锁,干脆贴个名字就完事了。所谓的往上贴个标签指的是在markword里面用54位记录了指向当前线程的指针。概括下,从new出来对象到上偏向锁,就是第一个线程来占位的时候,把自己的线程id往上一贴,这坑就属于它了。

当出现第二个线程的时候,就升级为轻量级锁。当B线程来抢坑的时候,发现门上已经贴有A线程的ID了,那A、B两个线程就开始抢坑了,抢坑的过程为:首先撤销偏向锁状态,即把门上标签撕了,每个线程都有自己的线程栈了,在各自的线程栈里生成自己的一个对象,这个对象叫做LockRecord(锁记录)。然后A、B线程开始抢,看谁能把各自LR指针给贴在坑位。也就说如果有任意一个线程抢到了这把轻量级锁的时候,这把轻量级锁里面就记录了指向线程栈中LockRecord的指针,占62位。这个抢的过程是采用自旋的方式,即CAS。用CAS操作把里面62位修改为指向我自己线程栈的LR指针。

竞争加剧后(JDK1.6之前指有线程超过10次自旋,-XX:PreBlockSpin,或者自旋线程数超过CPU核数的一半。JDK1.6之后,加入自适应自旋 Adapative Self Spinning,JVM自己控制。)升级为重量级锁。重量级锁存在于内核态,本质就是mutex数据结构,有数量限制的。用户态想申请重量级锁的时候,得像内核申请。内核给了我这把锁,我才拥有这把锁,这个时候在markword中占62位来记录指向重量级锁的指针。

那么为什么要从轻量级锁升级到重量级锁呢?轻量级锁本质就是执行一个循环,运行在用户态,效率高。但是这个循环是需要不断消耗CPU,如果我们竞争特别激烈,一个线程始终占着,10000个线程都在自旋,那CPU就很快100%了。升级为重量级锁后,维护有一个队列,而在这个队列里,如果没有轮到我执行的时候,是不消耗CPU的,处于wait状态。

下面多提2个概念:

锁消除 Lock eliminate

public void add(String str1, String str2){
    StringBuffer sb = new StringBuffer();
    sb.append(str1).append(str2);
}

我们都知道StringBuffer是线程安全的,因为它的关键方法是被synchronized修饰过的,但我们看上面这段代码,我们就会发现,sb这个引用只会在add方法中使用,不可能被其他线程引用(因为是局部变量,栈私有),因此sb是不可能共享的资源,JVM会自动消除StringBuffer对象内部的锁。因为你不断的append(str1).append(str2).append(str3)......有锁或无锁是没有区别。

锁粗化 Lock coarsening

public String test(String str){
    int i = 0;
    StringBuffer sb = new StringBuffer();
    while(i<100){
        sb.append(str);
        i++;
    }
    return sb.toString();
}

JVM会检测到这样一连串的操作都对同一个对象加锁(while循环内100次执行append,没有锁粗化就要进行100次加锁/解锁),此时JVM就会把加锁的范围放在while外部,使得一连串操作只需要加一次锁即可。 

二.synchonized的实现过程

1.在java代码层面,就是加了一个synchronized关键字

2.在字节码层面,就是加了monitorenter指令和monitorexit指令。进入锁状态和退出锁状态。

3.在JVM执行过程中,自动进行上述锁升级。

4.在汇编层面,就是用了lock comxchg这条指令。

IF_MP 指如果是多个CPU。

至此便是锁的底层实现。

 

 

 
打赏
 本文转载自:网络 
所有权利归属于原作者,如文章来源标示错误或侵犯了您的权利请联系微信13520258486
更多>最近资讯中心
更多>最新资讯中心
0相关评论

推荐图文
推荐资讯中心
点击排行
最新信息
新手指南
采购商服务
供应商服务
交易安全
关注我们
手机网站:
新浪微博:
微信关注:

13520258486

周一至周五 9:00-18:00
(其他时间联系在线客服)

24小时在线客服