关于ReentrantLock误区(看源码时发现的)

网友投稿 575 2022-05-30

写在前面:

正题开始

总所周知,ReentrantLock可以实现公平锁和非公平锁,我今天想说的是它的公平锁

老规矩,先抛问题:

1、怎么定义公平?

2、对谁公平?

误区:

先来举个栗子

五个线程ABCDE一起抢夺锁资源,假设A抢到了锁,BC没抢到但是先后进入了clh队列,DE没抢到也没进入clh队列,当A释放锁后,哪些线程会去抢夺锁资源?

想了很久,这个例子能很好地帮助理解公平锁

正常来讲,很多小伙伴会认为排在clh队列头部的线程B会拿到锁(我之前也是这么认为)

关于ReentrantLock的误区(看源码时发现的)

其实不然,在我看来

已经入队的BC都有机会拿到锁,相对而言,B拿到锁的几率更大

,先别喷我,等我上证据

下面是AQS源码注释,Lea大爷写的明明白白清清楚楚

贴心的帮大家翻译:

所以,小结:

公平锁并不是绝对的公平,所谓的公平是针对clh队列内外的线程而言,当持有锁线程释放锁后,队列内部线程都会被唤醒去抢夺锁,我猜测(看了很久源码没找到答案,所以是猜测)AQS是根据队列位置来唤醒,所以头部节点对应线程获取锁概率更大

补充(重要):

后面又翻了下源码,发现是自己想多了,下个头节点确实不一定能拿到锁,但那是节点已取消或为null时才会发生,aqs解锁逻辑是

依次唤醒后继节点,直到找到第一个没被取消且不为null的节点

以上

关于什么是公平锁,我已经疑惑了很久很久,这就是很多小伙伴让我写关于ReentrantLock底层原理分析文章我迟迟不写的原因,我自己还没搞懂呢;

最后

从文档、源码都找不到能很好支撑本人上述观点的依据(本来人也菜,找不到很正常),希望路过的大佬们能指出我的问题,并给出理由,感谢!

任务调度

版权声明:本文内容由网络用户投稿,版权归原作者所有,本站不拥有其著作权,亦不承担相应法律责任。如果您发现本站中有涉嫌抄袭或描述失实的内容,请联系我们jiasou666@gmail.com 处理,核实后本网站将在24小时内删除侵权内容。

上一篇:python数据采集11-图像识别与文字处理
下一篇:postman系列之入门指南和常用技巧整理
相关文章