ReentrantLock实现原理及源码分析,Android插件化+模块化+组件化+热修复

// … 函数主题

} finally {

lock.unlock() //解锁

}

}

}

源码分析

====

接下来我们从源码角度来看看ReentrantLock的实现原理,它是如何保证可重入性,又是如何实现公平锁的。

ReentrantLock是基于AbstractQueuedSynchronizer(AQS)的,AQS是Java并发包中众多同步组件的构建基础,它通过一个int类型的状态变量state和一个FIFO队列来完成共享资源的获取,线程的排队等待等。AQS是个底层框架,采用模板方法模式,它定义了通用的较为复杂的逻辑骨架,比如线程的排队,阻塞,唤醒等,将这些复杂但实质通用的部分抽取出来,这些都是需要构建同步组件的使用者无需关心的,使用者仅需重写一些简单的指定的方法即可(其实就是对于共享变量state的一些简单的获取释放的操作)。

上面简单介绍了下AQS,详细内容可参考本人的另一篇文章《Java并发包基石-AQS详解》,此处就不再赘述了。先来看常用的几个方法,我们从上往下推。

无参构造器(默认为非公平锁)

public ReentrantLock() {

sync = new NonfairSync();//默认是非公平的

}

sync是ReentrantLock内部实现的一个同步组件,它是Reentrantlock的一个静态内部类,继承于AQS,后面我们再分析。

带布尔值的构造器(是否公平)

public ReentrantLock(boolean fair) {

sync = fair ? new FairSync() : new NonfairSync();//fair为true,公平锁;反之,非公平锁

}

看到了吧,此处可以指定是否采用公平锁,FailSync和NonFailSync亦为Reentrantlock的静态内部类,都继承于Sync

再来看看几个我们常用到的方法

lock()

public void lock() {

sync.lock();//代理到Sync的lock方法上

}

Sync的lock方法是抽象的,实际的lock会代理到FairSync或是NonFairSync上(根据用户的选择来决定,公平锁还是非公平锁)

lockInterruptibly()

public void lockInterruptibly() throws InterruptedException {

sync.acquireInterruptibly(1);//代理到sync的相应方法上,同lock方法的区别是此方法响应中断

}

此方法响应中断,当线程在阻塞中的时候,若被中断,会抛出InterruptedException异常

tryLock()

public boolean tryLock() {

return sync.nonfairTryAcquire(1);//代理到sync的相应方法上

}

tryLock,尝试获取锁,成功则直接返回true,不成功也不耽搁时间,立即返回false。

unlock()

public void unlock() {

sync.release(1);//释放锁

}

释放锁,调用sync的release方法,其实是AQS的release逻辑。

newCondition()

获取一个conditon,ReentrantLock支持多个Condition

public Condition newCondition() {

return sync.newCondition();

}

其他方法就不再赘述了,若想继续了解可去API中查看。

小结

其实从上面这写方法的介绍,我们都能大概梳理出ReentrantLock的处理逻辑,其内部定义了三个重要的静态内部类,Sync,NonFairSync,FairSync。Sync作为ReentrantLock中公用的同步组件,继承了AQS(要利用AQS复杂的顶层逻辑嘛,线程排队,阻塞,唤醒等等);NonFairSync和FairSync则都继承Sync,调用Sync的公用逻辑,然后再在各自内部完成自己特定的逻辑(公平或非公平)。

接下来,关于如何实现重入性,如何实现公平性,就得去看这几个静态内部类了

NonFairSync(非公平可重入锁)

static final class NonfairSync extends Sync {//继承Sync

private static final long serialVersionUID = 7316153563782823691L;

/** 获取锁 */

final void lock() {

if (compareAndSetState(0, 1))//CAS设置state状态,若原值是0,将其置为1

setExclusiveOwnerThread(Thread.currentThread());//将当前线程标记为已持有锁

else

acquire(1);//若设置失败,调用AQS的acquire方法,acquire又会调用我们下面重写的tryAcquire方法。这里说的调用失败有两种情况:1当前没有线程获取到资源,state为0,但是将state由0设置为1的时候,其他线程抢占资源,将state修改了,导致了CAS失败;2 state原本就不为0,也就是已经有线程获取到资源了,有可能是别的线程获取到资源,也有可能是当前线程获取的,这时线程又重复去获取,所以去tryAcquire中的nonfairTryAcquire我们应该就能看到可重入的实现逻辑了。

}

protected final boolean tryAcquire(int acquires) {

return nonfairTryAcquire(acquires);//调用Sync中的方法

}

}

nonfairTryAcquire()

final boolean nonfairTryAcquire(int acquires) {

final Thread current = Thread.currentThread();//获取当前线程

int c = getState();//获取当前state值

if (c == 0) {//若state为0,意味着没有线程获取到资源,CAS将state设置为1,并将当前线程标记我获取到排他锁的线程,返回true

if (compareAndSetState(0, acquires)) {

setExclusiveOwnerThread(current);

return true;

}

}

else if (current == getExclusiveOwnerThread()) {//若state不为0,但是持有锁的线程是当前线程

int nextc = c + acquires;//state累加1

if (nextc < 0) // int类型溢出了

throw new Error(“Maximum lock count exceeded”);

setState(nextc);//设置state,此时state大于1,代表着一个线程多次获锁,state的值即是线程重入的次数

return true;//返回true,获取锁成功

}

return false;//获取锁失败了

}

简单总结下流程:

1.先获取state值,若为0,意味着此时没有线程获取到资源,CAS将其设置为1,设置成功则代表获取到排他锁了;

2.若state大于0,肯定有线程已经抢占到资源了,此时再去判断是否就是自己抢占的,是的话,state累加,返回true,重入成功,state的值即是线程重入的次数;

3.其他情况,则获取锁失败。

来看看可重入公平锁的处理逻辑

自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。

深知大多数Android工程师,想要提升技能,往往是自己摸索成长或者是报班学习,但对于培训机构动则几千的学费,着实压力不小。自己不成体系的自学效果低效又漫长,而且极易碰到天花板技术停滞不前!

因此收集整理了一份《2024年Android移动开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。
img
img
img
img
img
img
img

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Android开发知识点,真正体系化!

由于文件比较大,这里只是将部分目录大纲截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且后续会持续更新

如果你觉得这些内容对你有帮助,可以添加V获取:vip204888 (备注Android)
img

最后

最后这里放上我这段时间复习的资料,这个资料也是偶然一位朋友分享给我的,里面包含了腾讯、字节跳动、阿里、百度2019-2021面试真题解析,并且把每个技术点整理成了视频和PDF(知识脉络 + 诸多细节)。

还有 高级架构技术进阶脑图、高级进阶架构资料 帮助大家学习提升进阶,也可以分享给身边好友一起学习。

一起互勉~

Android)**
[外链图片转存中…(img-sYsjZDMb-1711987361300)]

最后

最后这里放上我这段时间复习的资料,这个资料也是偶然一位朋友分享给我的,里面包含了腾讯、字节跳动、阿里、百度2019-2021面试真题解析,并且把每个技术点整理成了视频和PDF(知识脉络 + 诸多细节)。

还有 高级架构技术进阶脑图、高级进阶架构资料 帮助大家学习提升进阶,也可以分享给身边好友一起学习。

[外链图片转存中…(img-PusYuECH-1711987361300)]

[外链图片转存中…(img-O6WyPuD8-1711987361300)]

一起互勉~

本文已被CODING开源项目:《Android学习笔记总结+移动架构视频+大厂面试真题+项目实战源码》收录

  • 9
    点赞
  • 14
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值