关于ReentrantLock的误区(看源码时发现的)
作者:互联网
写在前面:
- 关于ReentrantLock这里不作过多解释,这篇博客两个目的,一是就我目前对ReentrantLock的理解,给大家指出一个很常见的误区;二来是探讨和求知,此篇博客观点纯是靠源码看来的,本人能力有限,对AQS作者想表达的意思理解可能不到位或者有偏差,希望有大佬看到后帮我指出,一定要指出,感谢
正题开始
总所周知,ReentrantLock可以实现公平锁和非公平锁,我今天想说的是它的公平锁
老规矩,先抛问题:
1、怎么定义公平?
2、对谁公平?
误区:
先来举个栗子
五个线程ABCDE一起抢夺锁资源,假设A抢到了锁,BC没抢到但是先后进入了clh队列,DE没抢到也没进入clh队列,当A释放锁后,哪些线程会去抢夺锁资源?
想了很久,这个例子能很好地帮助理解公平锁
正常来讲,很多小伙伴会认为排在clh队列头部的线程B会拿到锁(我之前也是这么认为)
其实不然,在我看来已经入队的BC都有机会拿到锁,相对而言,B拿到锁的几率更大,先别喷我,等我上证据
下面是AQS源码注释,Lea大爷写的明明白白清清楚楚
贴心的帮大家翻译:
所以,小结:
公平锁并不是绝对的公平,所谓的公平是针对clh队列内外的线程而言,当持有锁线程释放锁后,队列内部线程都会被唤醒去抢夺锁,我猜测(看了很久源码没找到答案,所以是猜测)AQS是根据队列位置来唤醒,所以头部节点对应线程获取锁概率更大
以上
关于什么是公平锁,我已经疑惑了很久很久,这就是很多小伙伴让我写关于ReentrantLock底层原理分析文章我迟迟不写的原因,我自己还没搞懂呢;
最后
从文档、源码都找不到能很好支撑本人上述观点的依据(本来人也菜,找不到很正常),希望路过的大佬们能指出我的问题,并给出理由,感谢!
标签:clh,队列,ReentrantLock,源码,线程,误区,公平 来源: https://blog.csdn.net/qq_33709582/article/details/120936451