ReentrantLock 实现原理
创始人
2024-05-30 03:41:05
0

ReentrantLock 实现原理


ReentrantLock中依赖了AbstractQueuedSynchronizer 类来实现线程的同步,ReentrantLock的类关系图及依赖情况如图所示:
在这里插入图片描述
ReentrantLock 中定义了一个Sync的同步类,它有两个实现,一个是FairSync(公平同步),一个是NonfairSync(非公平同步),两者分别代表 ReentrantLock 中锁竞争的公平和非公平特性。而Sync同步类继承了AbstractQueuedSychronizer抽象类,对于排他锁的逻辑是在AbstractQueuedSynchronizer中完成的。

AbstractQueuedSynchronizer(AQS) 是ReentrantLock 实现锁同步的核心类,实际上在J.U.C 中大部分组件都依赖于 AbstractQueuedSynchronizer。
AQS中提供了如下两种锁的实现:

  • 独占锁,同一时刻只允许有一个线程获得锁。
  • 共享锁,同一时刻允许有多个线程同时获得锁。

AQS是一个抽象类,所以在使用时,我们需要继承该类,然后实现共享变量state的获取和释放,而AQS帮我们完成了线程等待队列的维护和唤醒,具体需要重写的方法:

  • tryAcquire(int) :独占方式。尝试获取资源,成功则返回true,失败则返回false。
  • tryRelease(int):独占方式。尝试释放资源,成果则返回true,失败则返回false。
  • tryAcquireShared(int):共享方式。尝试获取资源。负数表示失败;0表示成功,但没有剩余可用资源;正数表示成功,且有剩余可用资源。
  • tryReleaseShared(int):共享方式。尝试释放资源,如果释放后允许唤醒后续等待结点则返回true,否则返回false。

以ReentrantLock 重入锁为例,互斥变量state初始值为0,表示未锁定状态。
如果线程t1调用lock()方法,则实际上会调用tryAcquire()方法将 state通过CAS修改为1。
此后,其他线程再调用tryAcquire()方法时就会失败,直到t1线程调用unlock()方法且 state=0之后,其他线程才有机会获得锁。
而t1线程在释放锁之前,可以重复获取该锁资源。
这个重复过程是基于state累加来统计的,这就是可重入的概念。
t1线程重入了多少次就需要释放多少次。

AbstractQueuedSynchronizer 基于排他锁的实现原理如下图所示:
在这里插入图片描述

相关内容

热门资讯

掘出尘烟深处的人性   ▌汪泉《青烟》杜万青 著 作家出版社  一缕青烟从祁连山深处飘逸而出,那青烟的下面是晚清至民国时...
中信银行焕新发布“小天元”企业...   在数字经济成为国家核心竞争力的战略背景下,中央金融工作会议将“数字金融”列为“五篇大文章”核心要...
中粮资本涨2.98%,成交额1... 7月11日,中粮资本涨2.98%,成交额19.32亿元,换手率6.29%,总市值310.59亿元。异...
智慧农业涨0.31%,成交额1... 7月11日,智慧农业涨0.31%,成交额1.46亿元,换手率3.20%,总市值46.45亿元。异动分...
华星创业涨0.58%,成交额7... 7月11日,华星创业涨0.58%,成交额7994.56万元,换手率2.69%,总市值35.16亿元。...
星空卫视的海贼王 星空卫视的海贼王星空卫视的动漫现在还播放国语版的海贼王吗?? 我只知道现在就播放到380集 后面就没...
赛轮轮胎跌0.15%,成交额3... 7月11日,赛轮轮胎跌0.15%,成交额3.57亿元,换手率0.81%,总市值438.63亿元。异动...
安道麦A涨0.67%,成交额3... 7月11日,安道麦A涨0.67%,成交额3789.80万元,换手率0.23%,总市值174.97亿元...
金钼股份涨2.60%,成交额4... 7月11日,金钼股份涨2.60%,成交额4.50亿元,换手率1.22%,总市值368.80亿元。异动...
仙琚制药涨0.74%,成交额1... 7月11日,仙琚制药涨0.74%,成交额1.61亿元,换手率1.72%,总市值94.17亿元。异动分...