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

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

写在前面:


关于ReentrantLock这里不作过多解释,这篇博客两个目的,一是就我目前对ReentrantLock的理解,给大家指出一个很常见的误区;二来是探讨和求知,此篇博客观点纯是靠源码看来的,本人能力有限,对AQS作者想表达的意思理解可能不到位或者有偏差,希望有大佬看到后帮我指出,一定要指出,感谢


83cd25bd3c5c418cb7399e23695df0f5.png

正题开始


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


老规矩,先抛问题:

1、怎么定义公平?

2、对谁公平?

误区:

先来举个栗子


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


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


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


其实不然,在我看来已经入队的BC都有机会拿到锁,相对而言,B拿到锁的几率更大,先别喷我,等我上证据


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

b3ee931f8a1249bab21eb643565b3997.png

贴心的帮大家翻译:

71c4fcbbf151468695dafb71fedbddc4.png


所以,小结:


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


补充(重要):

后面又翻了下源码,发现是自己想多了,下个头节点确实不一定能拿到锁,但那是节点已取消或为null时才会发生,aqs解锁逻辑是依次唤醒后继节点,直到找到第一个没被取消且不为null的节点

7c0dc87faff444ea959055b3551c6cb2.png


以上


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


最后


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


相关文章
|
监控 架构师 Java
JVM 11 调优指南:如何进行JVM调优,JVM调优参数
JVM 11的优化指南:如何进行JVM调优,以及JVM调优参数有哪些”这篇文章将包含JVM 11调优的核心概念、重要性、调优参数,并提供12个实用的代码示例,每个示例都会结合JVM调优参数和Java代码
622 2
|
自然语言处理
深入spaCy: 高级教程
在我们的初级和中级spaCy教程中,我们已经覆盖了一些基本和中级的spaCy主题。在这篇文章中,我们将深入探讨spaCy的高级主题,包括扩展属性、自定义词汇特性和处理管道。
|
监控 Java 应用服务中间件
SpringCloud面试之流量控制组件Sentinel详解
SpringCloud面试之流量控制组件Sentinel详解
1065 0
|
算法 C语言 C++
刷题训练之前缀和(上)
本文围绕前缀和算法展开,介绍了C++实现的多种经典题型,包括一维和二维前缀和,以及中心下标和子数组和等问题,强调实战学习的重要性,鼓励读者通过刷题提升技能。
138 0
刷题训练之前缀和(上)
|
JavaScript 前端开发 开发者
vue的组件和插件
Vue中的组件是用于构建用户界面的可复用单元,而插件是为Vue添加全局功能的扩展。两者在Vue框架中扮演着不同的角色,共同促进了Vue应用的开发和维护。
vue的组件和插件
|
Ubuntu
Ubuntu Snap商店代理设置方法
Ubuntu Snap商店代理设置方法
3207 1
Ubuntu Snap商店代理设置方法
|
算法 Python
朴素贝叶斯分类-西瓜分类 python
算法思想——基于概率的预测 贝叶斯决策论是概率框架下实施决策的基本方法。对分类任务来说,在所有相关概率都已知的情况下,贝叶斯决策论考虑如何基于这些概率和误判损失来选择最优的标记类别。
419 1
|
SQL Oracle 关系型数据库
SQL查询结果按照指定内容排序
SQL查询结果按照指定内容排序
SQL查询结果按照指定内容排序