系统梳理一下锁

简介: 有人对Java主流锁做了下面全面的梳理。梳理的确实挺好的。但是我看到这张图,第一个感觉是:记不住。

背景


有人对Java主流锁做了下面全面的梳理。梳理的确实挺好的。但是我看到这张图,第一个感觉是:记不住。


1112728-20200603224841457-951653485.png


因为分了太多类,彼此之间没有什么联系。做PPT可以。如果聊天或者面试,不用纸笔的情况下,就不太好描述了。也不利于对原理和应用的理解。


基于上述的考虑,我就自己系统的梳理一下锁,希望可以有助于大家理解和记忆,以至于最后在工作中得到很好的应用。


先说线程锁再说分布式锁。

 

线程锁


概述


这里说的线程锁是Java线程锁,从原理上各个语言应该都比较相似。有很多维度的划分方式,我比较建议的是从大面上分为乐观锁和悲观锁。


乐观锁主要是自旋+CAS的方式,比如JUC(java.util.concurrent包)的原子类。


悲观锁主要用synchronized关键字的隐式锁和基于AQS的显示锁。


上面三段总结如下:


1112728-20200604094229616-1238452027.png


悲观锁的实现原理


1>synchronized关键字


随着java版本升级,synchronized关键字虽然是用C++写的,但是原理和JCU包的ReentrantLock很相似。synchronized关键字有4种锁状态:无锁、偏向锁、轻量级锁、重量级锁。无锁类似于ReentrantLock的交替执行,没有并发,就不涉及锁;偏向锁类似于ReentrantLock的可重入的概念,使得已经获取到锁的线程可以多次获取锁;轻量级锁解决的问题是尽量避免线程切换,使用的方法也和ReentrantLock相似,是自旋+CAS的方式;重量级锁依赖于管程monitor来实现,和ReentrantLock一样都涉及用户态和内核态切换。


根据这个我们再来补充一下Java线程锁的思维导图:


1112728-20200604094038265-1316241092.png


2>基于基于AQS的显示锁


基于AQS的显示锁我之前看过一些源码。这里面比较经典的是ReentrantLock。这是可重入锁,就是同一个线程可以反复进入加锁的线程。如果想实现不可重入锁也很简单。把可重入锁对当前线程做特殊处理的部分去掉就好了。


其他JCU下locks包里的锁比如读写锁就是将锁细化成了读锁和写锁。读锁是共享锁的实现,写锁是排他锁的实现。


ReentrantLock可以使用公平锁和非公平锁两种方式,公平锁和非公平锁各自继承了AQS。区别只是非公平锁在需要加锁时先直接尝试是否可以获取锁成功,而公平锁是先看自己是否需要排队。


下面以ReentrantLock的公平锁为例来简单聊一下AQS的源码。AQS核心是实现了CLH队列。


AQS有head、tail、持有锁的线程、状态4个主要的成员变量。


利用head!=tail就是说AQS是否未被初始化来判断是否交替执行,交替执行则不用加锁;如果需要加锁则判断是否就是当前拥有锁的线程,是的话,将进入次数+1;如果不是则判断是否需要初始化AQS,需要的话先初始化一个dummy header,再将自己加入队尾,如果是队列里dummy header的指针指向的节点,则它为先自旋判断是否可以获取锁;如果不是dummy header指针指向的节点,则使用park让出cpu。当dummy header的指针指向的节点获取到锁之后,会将head指向自己,同时将自己这个Node节点的当前线程设置为空,将自己设置为dummy header,同时将原来dummy header的指针都设置为null,使得原dummy header成为一个没有引用的节点,便于垃圾回收。


根据这个我们再来补充一下Java线程锁的思维导图:


1112728-20200604093857354-1138537204.png


分布式锁


不管是线程锁还是分布式锁,都实现了tryLock、lock、unlock三个方法。


tryLock的语义是非阻塞锁,尝试获取锁,成功返回true,不成功返回false;主流lock语义是阻塞锁。实现一般基于tryLock来做自旋,不成功的时候也会有像ReentrantLock一样的阻塞操作。


常见的分布式锁实现以及数据库锁的实现详见之前写的文章:《MySQL常见6个考题在实际工作中的运用》这里就不再赘述了。

 

总结


本篇文章在介绍知识点是次要的,主要是展示了总结思考的思路,希望能对读者朋友们的思考问题方法上有所帮助,仅做参考。


相关文章
|
Kubernetes 负载均衡 网络协议
Kubernetes 跨集群流量调度实战
Kubernetes 问世于 2015 年,从一开始秉持着松耦合和可扩展的设计理念,也因此带来了 Kubernetes 生态的蓬勃发展。但这些大部分先限制在单一集群内,然后由于种种原因和目的企业内部创建的集群越来越多,比如单集群故障、监管要求、异地多机房可用区容灾、出于敏捷、降本考虑的混合云、多云部署、单一集群的承载能力受限、多版本 Kubernetes 集群共存等。多集群之后除了提升管理的难度外,首当其冲的就是多集群间的流量调度,这也是多集群部署的基础。没有跨集群的通信,多集群的收益也会大打折扣。
927 1
Kubernetes 跨集群流量调度实战
|
安全 Java
Synchronized是怎么实现的?
Synchronized是怎么实现的?
217 8
|
Oracle 关系型数据库 MySQL
OceanBase有哪些功能?OceanBase有哪些功能?
OceanBase有哪些功能?【8月更文挑战第11天】
399 62
数据一致性-对账
一致性分为强一致性和弱一致性。 强一致性的协议和手段主要有:二阶段提交(2PC)、三阶段提交(3PC)、TCC(Try-Confirm-Cancel)补偿型。这里面经常有人把两阶段提交和TCC补偿型混淆。二阶段提交实际上业务逻辑是在提交之前做的,两阶段只是事务控制的两个阶段。而TCC是将业务逻辑分为try、confirm和cancel三个阶段。举个例子:比如一个人要预售苹果,有两种销售策略。一种让用户先付钱,根据用户需求量准备足够的苹果。另一种是让用户先付钱同时声明到时候先到先得,没抢到的就退款。第一种就是二阶段提交,第二种就是TCC。弱一致性在分布式系统中常用的是一种特例:最终一致性。
1150 0
数据一致性-对账
|
存储 自然语言处理 数据库
Python字典操作实现文章敏感词检索
Python字典操作实现文章敏感词检索
318 0
|
Java C语言
优雅的使用String字符串处理各种类型转换
优雅的使用String字符串处理各种类型转换
221 0
|
Go
深度探讨 Golang 中并发发送 HTTP 请求的最佳技术
深度探讨 Golang 中并发发送 HTTP 请求的最佳技术
444 0
|
Java Spring
SpringAOP中Aspect优先级与切面表达式详解
SpringAOP中Aspect优先级与切面表达式详解
395 0
|
Cloud Native 数据可视化 测试技术
免费下载!阿里Nacos开源必备书籍《Nacos架构&原理》
Nacos/nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称;一个更易于构 建云原生应用的动态服务发现、配置管理和服务管理平台。 官网:https://nacos.io/ 仓库:https://github.com/alibaba/nacos
91410 3
免费下载!阿里Nacos开源必备书籍《Nacos架构&原理》