死锁的成因和解决方案

2023-10-26

目录

一、死锁是什么?

二、死锁的成因

 三、死锁三个经典场景

1.一个线程一把锁

2.两个线程两把锁

​3.N个线程M把锁

 四、死锁解决方案

一、死锁是什么?

死锁是指两个或多个进程因竞争系统资源而陷入无限等待的状态,使得它们都无法继续执行。当多个进程互相请求对方所占有的资源时,如果它们都拒绝释放自己所占用的资源,那么它们就会陷入死锁状态。死锁的出现会导致系统资源浪费,造成系统的停滞,影响系统的性能和稳定性。因此,避免死锁是多任务操作系统设计和线程编程中需要关注的问题之一。 

二、死锁的成因

  • 互斥使用: 线程1拿到了锁, 线程2就得进入阻塞状态(锁的基本特性).
  • 不可抢占: 线程1拿到锁之后, 必须是线程1主动释放, 不可能线程1还没有释放, 线程2强行获取到锁.
  • 请求和保持: 线程1拿到锁A后, 再去获取锁B的时候, A这把锁仍然保持, 不会因为要获取锁B就把A释放了.
  • 循环等待: 线程1先获取锁A再获取锁B, 线程2先获取锁B再获取锁A, 线程1在获取锁B的时候等待线程2释放B,同时线程2在获取锁A的时候等待线程1释放A
  • 以上四个条件缺一不可

 三、死锁三个经典场景

1.一个线程一把锁

第二次尝试加锁 需要等待第一个锁释放;而第一个锁释放需要等待第二个锁加锁完成

 

补充:

如果同一个线程在重复获取同一把锁的过程中,形成了死锁。这把锁又被称为不可重入锁。而可重入锁的字面意思是“可以重新进入的锁”,即允许同一个线程多次获取同一把锁,不会出现死锁的情况。synchronized 是可重入锁 所以下面这个代码不会死锁

2.两个线程两把锁

线程1先获取锁A再获取锁B, 线程2先获取锁B再获取锁A, 线程1在获取锁B的时候等待线程2释放B,同时线程2在获取锁A的时候等待线程1释放A

3.N个线程M把锁

哲学家就餐问题是在计算机科学中的一个经典问题,用来演示在并行计算中多线程同步(Synchronization)时产生的问题。在1971年,著名的计算机科学家艾兹格.迪科斯彻提出了一个同步问题,即假设有五台计算机都试图访问五份共享的磁带驱动器。稍后,这个问题被托尼?霍尔重新表述为哲学家就餐问题。这个问题可以用来解释死锁和资源耗尽。
哲学家就餐问题可以这样表述,假设有五位哲学家围坐在一张圆形餐桌旁,做以下两件事情之一:吃饭,或者思考。吃东西的时候,他们就停止思考,思考的时候也停止吃东西。餐桌中间有一大碗意大利面,每两个哲学家之间有一只餐叉。因为用一只餐叉很难吃到意大利面,所以假设哲学家必须用两只餐叉吃东西。他们只能使用自己左右手边的那两只餐叉。哲学家就餐问题有时也用米饭和筷子而不是意大利面和餐叉来描述,因为很明显,吃米饭必须用两根筷子。
哲学家从来不交谈,这就很危险,可能产生死锁,每个哲学家都拿着左手的餐叉,永远都在等右边的餐叉(或者相反)。即使没有死锁,也有可能发生资源耗尽。例如,假设规定当哲学家等待另一只餐叉超过五分钟后就放下自己手里的那一只餐叉,并且再等五分钟后进行下一次尝试。这个策略消除了死锁(系统总会进入到下一个状态),但仍然有可能发生“活锁”。如果五位哲学家在完全相同的时刻进入餐厅,并同时拿起左边的餐叉,那么这些哲学家就会等待五分钟,同时放下手中的餐叉,再等五分钟,又同时拿起这些餐叉。
在实际的计算机问题中,缺乏餐叉可以类比为缺乏共享资源。一种常用的计算机技术是资源加锁,用来保证在某个时刻,资源只能被一个程序或一段代码访问。当一个程序想要使用的资源已经被另一个程序锁定,它就等待资源解锁。当多个程序涉及到加锁的资源时,在某些情况下就有可能发生死锁。例如,某个程序需要访问两个文件,当两个这样的程序各锁了一个文件,那它们都在等待对方解锁另一个文件,而这永远不会发生。

哲学家就餐问题java 的图像结果

 四、死锁解决方案

只要这四个条件当中有一个条件被破坏,死锁问题就可以得到解决。

1、加锁顺序
当多个线程需要相同的一些锁,但是按照不同的顺序加锁,死锁就很容易发生。

如果能确保所有的线程都是按照相同的顺序获得锁,那么死锁就不会发生。

如果一个线程(比如线程3)需要一些锁,那么它必须按照确定的顺序获取锁。它只有获得了从顺序上排在前面的锁之后,才能获取后面的锁。

例如,线程2和线程3只有在获取了锁A之后才能尝试获取锁C。因为线程1已经拥有了锁A,所以线程2和3需要一直等到锁A被释放。然后在它们尝试对B或C加锁之前,必须成功地对A加了锁。按照顺序加锁是一种有效的死锁预防机制。但是,这种方式需要你事先知道所有可能会用到的锁,但总有些时候是无法预知的。

2、加锁时限
线程尝试获取锁的时候加上一定的时限,超过时限则放弃对该锁的请求,并释放自己占有的锁。另外一个可以避免死锁的方法是在尝试获取锁的时候加一个超时时间,这也就意味着在尝试获取锁的过程中若超过了这个时限该线程则放弃对该锁请求。若一个线程没有在给定的时限内成功获得所有需要的锁,则会进行回退并释放所有已经获得的锁,然后等待一段随机的时间再重试。这段随机的等待时间让其它线程有机会尝试获取相同的这些锁,并且让该应用在没有获得锁的时候可以继续运行(加锁超时后可以先继续运行干点其它事情,再回头来重复之前加锁的逻辑)。

3、死锁检测
死锁检测是一个更好的死锁预防机制,它主要是针对那些不可能实现按序加锁并且锁超时也不可行的场景。
一个更好的方案是给这些线程设置优先级,让一个(或几个)线程回退,剩下的线程就像没发生死锁一样继续保持着它们需要的锁。如果赋予这些线程的优先级是固定不变的,同一批线程总是会拥有更高的优先级。为避免这个问题,可以在死锁发生的时候设置随机的优先级。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

死锁的成因和解决方案 的相关文章

随机推荐

  • 深入理解Spring IOC和AOP

    文章目录 1 什么是 Spring 框架 1 1Spring简介 1 2Spring的好处 1 3Spring体系结构 2 理解Spring IoC 2 1IoC简介 2 2IoC的好处 2 3依赖注入和控制反转 依赖注入详解 依赖注入的三
  • NN编译栈之TVM研究报告

    前言 深度学习 神经网络应用日益广泛 多终端部署形成常态 从CPU ARM GPU到专用的神经网络加速器 深度学习处理器 不同的终端 不同的体系结构引起神经网络的碎片化 为每一款设备特别是专用的加速芯片部署深度学习是一件费力不讨好的事情 同
  • RNA-seq——上游分析练习(数据下载+hisat2+samtools+htseq-count)

    步骤 0 练习前准备 1 找到文章对应的数据集 2 下载数据集 3 与参考基因组进行比对 4 reads计数 5 踩过的一点小坑 写在前面 之前使用的数据是单端测序 但是现在的数据基本都是双端测序 所以又找了个双端测序的例子来练习 之前在单
  • 23种设计模式

    目录 创建型 1 Factory Method 工厂方法 2 Abstract Factory 抽象工厂 3 Builder 建造者 4 Prototype 原型 5 Singleton 单例 结构型 6 Adapter Class Obj
  • qq音乐服务器的位置,QQ音乐的歌曲真实地址解析

    打开该页面地址 是这样的 梦一场 那英 QQ音乐 点击页面中的播放按钮 会在新页面的播放器里播放该音乐 在新页面中打开开发者工具的网络探测 重新刷新页面 会发现相关请求如下 https c y qq com base fcgi bin fc
  • RISC-V Debug Introduction

    1 JTAG简介 目前RISC V官方支持的调试方式是JTAG Joint Test Action Group 而ARM支持的调试方式有JTAG和SWD Serial Wire Debug 这两种 JTAG是一种国际标准的调试方式 IEEE
  • 人工智能驱动的个性化新闻 APP |Artifact

    个性化新闻 指根据用户的兴趣 行为和需求 通过数据挖掘 协同过滤等技术 实现新闻内容的个性化推荐 这种推荐技术可以帮助用户在海量新闻中快速找到感兴趣的内容 提高阅读体验 同时也能缓解用户信息过载的问题 随着人工智能的发展 个性化新闻 APP
  • ubuntu14.04-root用户

    一 其实我个人认为这没有多大必要 因为当你需要 root 的权限时 使用 sudo 便可以了 如果你实在需要在 Ubuntu 中启用 root 帐号的话 那么不妨执行下面的操作 1 重新设置 root 的密码 sudo passwd roo
  • opencv手势识别(2_KNN算法识别)

    手势识别系列博文2 KNN算法识别手势 前言 原理介绍 代码实现 前言 书山有路勤为径 学海无涯苦做舟 琴某人辛辛苦苦码的报告 当然不能让你们这么容易复制过去 运行视频见链接 https www bilibili com video BV1
  • 【ROS2机器人入门到实战】里程计计算-速度积分

    14 里程计计算 速度积分 写在前面 当前平台文章汇总地址 ROS2机器人从入门到实战 获取完整教程及配套资料代码 请关注公众号 lt 鱼香ROS gt 获取 教程配套机器人开发平台 两驱版 四驱版 为方便交流 搭建了机器人技术问答社区 地
  • 探索AIDL(2) -- 简单分析AIDL为我们自动创建的Java类

    前言 上篇文章说到AIDL只是一种接口定义语言 系统会根据它为我们自动创建进行IPC通信的代码 其实所生成的代码是一个Java类 存在于 app build generated source aidl debug 包名 目录下 我们可以简单
  • servlet+jsp+mysql+jdbc实现注册登录

    此处我就只贴出java代码和jsp代码 数据库表自己根据Regist java去创建 1 首先 我先把前端代码贴出来 这个比较简单 没什么 注册 regist jsp
  • 【Spring Boot】spring boot多环境配置及配置文件

    配置文件位置 spring boot 官网都是推荐以yaml为主 所以下面仅展示yaml配置文件位置 如果在不同的目录中存在多个配置文件 它的读取顺序是 1 config application properties 项目根目录中confi
  • JAVA&狂神学习笔记_8.数据类型

    基本数据类型 数值类型 整数类型 byte 1 字节 128 127 short 2 字节 32768 32767 int 4 字节 long 8 字节 浮点类型 float 4 字节 double 8 字节 字符类型 char 2字节 b
  • 利用MultipartFile实现文件上传

    利用MultipartFile实现文件上传 在java中上传文件似乎总有点麻烦 没 net那么简单 记得最开始的时候用smartUpload实现文件上传 最近在工作中使用spring的MultipartFile实现文件上传 感觉挺简单 在这
  • ansible笔记3--playbook windows基础

    ansible笔记3 playbook windows基础 1 介绍 2 常见案例 3 注意事项 4 说明 1 介绍 笔者在前文 ansible笔记2 ansible windows基础 中已经介紹了Windows下的环境配置以及对应的 a
  • Vue上传功能:****.upload.addEventListener is not a function

    VUE上传功能本地上传正常 打包上传nginx后报错TypeError upload addEventListener is not a function 解决方法 方法一 查找两个文件添加如下代码 MockXMLHttpRequest p
  • 前端新手——适配不同手机端页面的方案,动态查询dpr设置根元素font-size

    首先 说句题外话 博主只是个前端菜鸟 本片文章根据网上众多大神的文章 请教大神前辈 实践得出的一个总结 水平有限 说的不对的地方还请各位看官多多指教 言归正传 最近博主的公司交给博主一项任务 搭建公司产品的wap页面 然后还是独立完成 再然
  • C#中的属性和字段的区别

    属性和字段的区别和联系 问题 C 语法中针对类中数据成员的访问引见的属性和字段概念和C 相比 C 中只要属性 觉得相当于于C 中的字段 但是在运用C 过程中 假入本人要写一个类 包含几个数据成员 即字段 但是为了让外边能够访问还需求写对应的
  • 死锁的成因和解决方案

    目录 一 死锁是什么 二 死锁的成因 三 死锁三个经典场景 1 一个线程一把锁 2 两个线程两把锁 3 N个线程M把锁 四 死锁解决方案 一 死锁是什么 死锁是指两个或多个进程因竞争系统资源而陷入无限等待的状态 使得它们都无法继续执行 当多