面试官:谈谈你对死锁的理解

news2024/9/23 1:32:01

1. 什么是死锁

比如上一次讲到 synchronized 的时候,一个线程,对同一个对象连续加锁两次,如果出现阻塞等待,代表这个锁是不可重入锁,这样的线程,也就称为死锁!

一旦程序进入死锁了就会导致线程僵住了,无法继续执行后续的工作了,程序也就出现了严重的 BUG!

而死锁这样的情况是很隐蔽的,在开发阶段,不经意间就可能出现死锁的状态!

2. 死锁的三个典型情况

2.1 一个线程一把锁

一个线程,对同一个对象,重复加锁两次,如果不支持可重入,即会出现死锁现象,但是在 Java 中,synchronized 和 ReentarntLock(后面讲) 都是支持可重入的!

所以在 Java 中,也就不会出现这样的情况,但不排除在其他语言会出现这种情况。

2.2 两个线程两把锁

举一个生活中的例子来让大家更好的理解:

有一天张三和小美是俩社恐人员,他俩去吃牛排,由于小美吃不了太多,于是他俩就点了一份牛排,服务员只给了一个刀和叉,此时张三一把夺过刀,小美一把夺过叉,此时小美对张三说,你先把刀给我,我吃一口就给你,张三说不行,你先把叉子给我,我吃一口再给你,于是这样她俩谁都不让着谁,导致谁都吃不上牛排了!

如果把上述例子放在编程中,就比如张三和小美是两个线程,张三获取到对象A的锁,小美获取到对象 B 的锁,但是他俩还尝试获取对方的锁!

用代码表示如下:

public static void main(String[] args) {
    Object knife = new Object(); //刀
    Object fork = new Object(); //叉
    Thread t1 = new Thread(() -> {
        synchronized (knife) {
            System.out.println("张三拿到刀了!");
            synchronized (fork) {
                System.out.println("张三刀和叉都拿到了!吃牛排!");
            }
        }
    });
    Thread t2 = new Thread(() -> {
        synchronized (fork) {
            System.out.println("小美拿到叉了!");
            synchronized (knife) {
                System.out.println("小美刀和叉都拿到了!吃牛排!");
            }
        }
    });
    t1.start();
    t2.start();
}

打印结果:

此时就发现,代码僵住了,其实也就是 t1 在等 t2 释放锁,而 t2 也在等 t1 释放锁,此时两个线程都无休止的阻塞等待下去了,最终导致,张三拿不到刀叉,小美也拿不到刀叉!都不吃成牛排了!

上述代码的写法是有小概率让张三同时拿到刀和叉的,这个取决于 CPU 的调度。

这里可以通过 jconsole 工具来查看一下线程的情况:

这里发现线程进入了 BLOCKED 状态,前面讲解线程状态的时候说过,BLOCKED 状态是等待锁时产生的状态,当然也可以给上述代码添加获取线程状态的方法,也能发现是 BLOCKED 状态:

Thread.sleep(1000); // 保证进入阻塞状态
System.out.println(t1.getState()); // 查看t1线程状态
System.out.println(t2.getState()); // 查看t2线程状态

2.3 多个线程多把锁

多个线程多把的情况跟上述 2.2 的情况差不多,相当于是 2.2 的一般情况!

在很多资料上有一个典型的案例 "哲学家就餐问题" !

有一个桌子,围着一圈哲学家,每个哲学家面前放着一碗面,哲学家两两之间放一只筷子,而桌子上的哲学家只会做两件事:吃面(获取到锁,执行后续代码)或者思考人生(阻塞等待)。

当哲学家吃面的时候,就会拿起左右手的筷子(先拿左边,再拿右边),当哲学家思考人生的时候,就会放下左右手的筷子。

如果哲学家拿到两根筷子了,就会吃面,没拿到就会思考人生!

极端情况来了!如果五个哲学家同时都拿起左手边的筷子,接着每个人都去拿自己右手边的筷子,发现右边的筷子都被别人拿走了!都要等右边的哲学家把筷子放下,此时就僵住了!由于哲学家们互不相让,此时也就形成了死锁的现象。


3. 如何避免死锁

3.1 产生死锁的四个必要条件

互斥使用:当 t1 线程拿到了锁,t2 如果也想拿,必须等着,等 t1 释放了(锁的基本特性)

不可抢占:t1 拿到了锁,必须由 t1 主动释放,t2 不能强行获取锁!

保持和请求:t1 拿到了锁 A,再拿到了 B 的锁,此时 A 这把锁还是保持的(不会因为获取到了锁 B 就把 锁 A 给释放了)

循环等待:当 t1 尝试获取锁A和B,t2也尝试获取锁B和A,如果 t1 获取到锁A,t2 获取到锁B,此时 t1 就会等待 t2 释放锁B,而 t2 也会等待 t1 释放锁 A

所以只要打破这四条的任意一条,就能让死锁消失,但前三条对于 synchronized 来说,都是基本的特性,修改不了,而循环等待上述唯一一个和代码结构相关的,也是咱们可以控制的!

所以解决死锁最简单可靠的办法,就是打破循环等待!

3.2 打破循环等待

如何打破循环等待呢?就比如上述张三和小美吃牛排的问题!

张三一把夺过刀,小美一把夺过叉,于是张三想了个公平的办法,对小美说:"这样的情况,我们都吃不到牛排,我们做个约定吧,把刀叉一起放着,数到一就一起抢,但是有一个抢的顺序,只能先刀在抢叉"。

这就好比对刀和叉进行了编号,约定好,想要拿刀叉,可以,但是必须先拿刀,后拿叉!

于是张三数到一,一瞬间张三抢到了刀,此时小美没有抢到刀,由于前面的约定,小美只能等张三放下刀了,于是张三就顺利吃到了牛排!

代码实现:

public static void main(String[] args) throws InterruptedException {
    Object knife = new Object(); //刀
    Object fork = new Object(); //叉
    Thread t1 = new Thread(() -> {
        // 先对刀加锁, 才能对叉加锁
        synchronized (knife) {
            System.out.println("张三拿到刀了!");
            synchronized (fork) {
                System.out.println("张三刀和叉都拿到了!吃牛排!");
            }
        }
    });
    Thread t2 = new Thread(() -> {
        // 先对刀加锁, 才能对叉加锁
        synchronized (knife) {
            System.out.println("小美拿到刀了!");
            synchronized (fork) {
                System.out.println("小美刀和叉都拿到了!吃牛排!");
            }
        }
    });
    t1.start();
    t2.start();
}

打印结果:

做了约定之后(对锁编号),此时死锁的问题就迎刃而解了!

那么对于哲学家吃面的问题,也是如此,对每根筷子进行编号,约定好,只能先拿左右手编号小的筷子,再拿编号大的筷子。

此时这样一来,总有一个人拿不到筷子,那么上述情况,拿到编号为 4 筷子的哲学家就能拿编号为 5 筷子吃面了,吃完了放下两支筷子,接着右手边拿到 3 筷子的哲学家就拿起放下的 编号4 筷子进行吃面了,以此类推.....

本质上我们这里讲的避免死锁的方案,就是约定加锁顺序!约定顺序后,死锁的问题就解决了!也就打破了第四点的循环等待!

其实还有一种算法,银行家算法, 但实际开发中不推荐使用,比起上述讲的办法银行家算法更复杂,也更容易出错,所以更推荐上述约定顺序的方法!

如果对银行家算法感兴趣的,可以自行查阅下相关资料!


下期预告:【多线程】volatile 关键字

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/480059.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

PromQL,让你轻松实现监控可视化!快来了解一下吧!

Prometheus 中的一些关键设计,比如注重标准和生态、监控目标动态发现机制、PromQL等。 PromQL 是 Prometheus 的查询语言,使用灵活方便,但很多人不知道如何更好利用它,发挥不出优势。 PromQL主要用于时序数据的查询和二次计算场…

【Docker】4、Docker 数据卷

目录 一、数据卷介绍二、数据卷相关命令三、创建一个数据卷,并查看数据卷在宿主机的目录位置四、数据卷挂载到容器五、数据卷挂载练习(MySQL)(1) 加载 MySQL 镜像(2) 根据镜像创建容器 一、数据卷介绍 🎄 数据卷(volum…

Lychee图床 - 本地配置属于自己的相册管理系统并远程访问

文章目录 1.前言2. Lychee网站搭建2.1. Lychee下载和安装2.2 Lychee网页测试2.3 cpolar的安装和注册 3.本地网页发布3.1 Cpolar云端设置3.2 Cpolar本地设置 4.公网访问测试5.结语 1.前言 图床作为图片集中存放的服务网站,可以看做是云存储的一部分,既可…

HCIA-RS实验-路由配置-配置RIPv1 和RIPv2

书接上回。。。这篇主要以实验为主,实验的主要目标也是理解RIP路由协议的防环机制 ,掌握RIPv1和v2的配置方法;大致拓扑图如下: 拓扑图: 配置对应的IP: R1.2.3 测试R1与R2间的连通性。 配置IP后测试连通性…

设计模式——设计模式简介和七大原则

导航: 【黑马Java笔记踩坑汇总】JavaSEJavaWebSSMSpringBoot瑞吉外卖SpringCloud黑马旅游谷粒商城学成在线设计模式牛客面试题 目录 一、通过经典面试题掌握重点 二、设计模式的目的和核心原则 三、设计模式七大原则 3.1 单一职责原则(Single Respo…

Linux 安装 NFS 实现文件目录共享

一、背景介绍 项目中,之前是单节点部署服务,关于文件的上传和下载,只要配置好路径即可。 而当集群化部署后,就会有问题。比如:文件上传的时候,访问的是主机1,而想要现在文件的时候&#xff0c…

【MST】ABC235 E - MST + 1

一开始想的是分类讨论,看那条边加了之后成不成环,如果不成环且权值在前n-1,则一定在MST里,不在前n-1则不在MST里;如果成环了,如果权值不在前n-1,则不在MST里,如果权值在前n-1&#x…

spark 数据的加载和保存(Parquet、JSON、CSV、MySql)

spark数据的加载和保存 SparkSQL 默认读取和保存的文件格式为 parquet 1.加载数据 spark.read.load 是加载数据的通用方法 scala> spark.read. csv format jdbc json load option options orc parquet schema table text textFile 如果读取不同格式的数据,可以…

docker安装fastdfs

1 拉取镜像 docker pull morunchang/fastdfs如果网速下载慢,可以参考资料文件夹中给大家导出的镜像包上传到 Linux服务器上,通过docker load -i my_fdfs.tar 加载镜像。 使用 docker images查看是否成功 2 运行tracker docker run -d --name tracker -…

MySQL高阶——索引设计的推演

前言 MySQL在我们工作中都会用到,那么我们最常接触的就是增删改查,而对于增删改查来说,我们更多的是查询。但是面试中,面试官又不会问你什么查询是怎么写的,都是问一些索引啊,事务啊, 底层结构…

C. Multiplicity(DP + 分解因数)

Problem - C - Codeforces 给定一个整数数组a1,a2,...,an。 如果可以从a中删除一些元素得到b,则称数组b为a的子序列。 当且仅当对于每个i(1≤i≤k),bi是i的倍数时,数组b1&#xff…

Spring Data JPA 快速上手

一、JPA的概述 JPA的全称是Java Persisitence API,即JAVA持久化API,是sum公司退出的一套基于ORM的规范,内部是由一些列的接口和抽象类构成。JPA通过JDK5.0注解描述对象-关系表的映射关系,并将运行期的实体对象持久化到数据库中。…

Mysql 分库分表 Mycat

0 课程视频 https://www.bilibili.com/video/BV1Kr4y1i7ru?p163&spm_id_frompageDriver&vd_sourceff8b7f852278821525f11666b36f180a 1 单库问题 1.1 热点数据多 -> 缓冲区不足 ->内存不足 1.2 数据多 -> 磁盘不足 1.3 请求数据量多 -> 带宽不足 1…

C/C++的命名空间和调用函数的详细讲解

目录 空函数 调用函数 调用 执行流程 命名空间 在创建函数时,必须编写其定义。所有函数定义包括以下组成部分: 名称:每个函数都必须有一个名称。通常,适用于变量名称的规则同样也适用于函数名称。形参列表:调用函…

算法记录lday4 LinkedList链表交换 删除倒数N个点 环形链表

今日任务 ● 24. 两两交换链表中的节点 ● 19.删除链表的倒数第N个节点 ● 面试题 02.07. 链表相交 ● 142.环形链表II 两两交换链表中的节点 题目描述 Given a linked list, swap every two adjacent nodes and return its head. You must solve the problem without modi…

一天吃透Redis面试八股文

Redis连环40问,绝对够全! Redis是什么? Redis(Remote Dictionary Server)是一个使用 C 语言编写的,高性能非关系型的键值对数据库。与传统数据库不同的是,Redis 的数据是存在内存中的&#xf…

Golang每日一练(leetDay0052)

153. 寻找旋转排序数组中的最小值 Find Minimum In Rotated Sorted Array 已知一个长度为 n 的数组,预先按照升序排列,经由 1 到 n 次 旋转 后,得到输入数组。例如,原数组 nums [0,1,2,4,5,6,7] 在变化后可能得到: …

纸模图纸的发展历程+纸模图纸免费下载-手工985

纸模图纸是一种用于制作模型的图纸,通常用于制作卡通纸模图纸、飞机纸模图纸、船只纸模图纸、汽车纸模图纸、建筑纸模图纸等模型。 纸模图纸的历史 纸模图纸的历史可以追溯到19世纪末期。当时,一些欧洲的制图师开始使用纸板和纸张来制作建筑模型&#xf…

【MATLAB数据处理实用案例详解(21)】——利用SOM自组织映射网络实现癌症样本数据分类和利用SOM自组织映射网络实现柴油机故障分类详解

目录 一、SOM原理分析二、SOM拓扑结构分析三、三种SOM拓扑结构3.1 Gridtop()网格拓扑结构3.2 Hextop()六角形拓扑结构3.3 Randtop()随机拓扑结构 四、利用SOM自组织映射网络实现癌症样本数据分类4.1 问题描述4.2 输入数据4.3 网络建立和训练4.4 验证4.5 预测4.6 运行结果 五、利…

wait/waitpid(重点)介绍

谢谢你的阅读,如有错误请大佬留言 目录 引子: waitpid 返回值介绍 参数介绍 pid status options: 引子: 当一个进程创建子进程后,如果子进程工作结束后会进入僵尸状态,等待父进程回收子进程资源(退…