深入理解死锁

2023-05-16

死锁定义


死锁是指两个或两个以上的进程在执行过程中,由于资源竞争或者由于彼此通信而造成的一种阻塞现象,若无外力作用,他们都将无法推进下去,此时称系统处于死锁状态,这些永远在互相等待的进程称为死锁进程。


死锁产生的四个必要条件


(1)最基本的条件是互斥条件,只有多个进程互斥的求访问同一个资源,才会导致某个资源不能被某些需要的进程所得到

(2)请求和保持条件:对于请求和保持条件我们可以这样理解,要产生死锁是由于申请资源的进程本身都已经拥有了一部分资源,而同时又去申请另外一些进程占有的自己所必须的条件,这样每个进程都在等待申请其他进程的资源,导致所有的进程都陷入到死等中;

(3)不可抢占条件:对于不可抢占条件也很容易理解,试想一下如果进程中有抢占的条件的话,那么优先级高的进程就会抢占到优先级低的进程的资源,这显然是不符合死锁的定义的,因此不可抢占条件是必不可少的;

(4)循环等待条件:为了方便我们的理解,可以以两个进程为例,类似于scoped_ptr中的循环引用问题;


死锁解除和避免算法:


本质:因为死锁必须满足四个必要条件,因此死锁的解除和避免主要是从破坏死锁的四个必要条件入手;


预防死锁


一般来说互斥条件是无法破坏的,所以在解除或者预防死锁时主要从其他三个方面入手

(1)破坏请求和保持条件


第一种协议:在所有进程开始运行之前,必须一次性的申请其在整个运行过程中的所有资源,这样便破坏了请求条件;只要一个进程中有一个资源不满足,必须释放他所占有的资源,这样便破坏了保持条件;


第二种协议:第二种协议是第一种协议的改进,它允许进程只要获得运行初期所需的资源后,便开始运行,在运行过程中在逐步释放已分配给自己的(破坏了保持条件),且已经用完的全部资源,然后再开始申请新的资源。


两种协议比较:第二种协议优于第一种协议,因为第一种协议会造成资源的严重浪费,使资源利用率大大的降低,也会由于占据大量资源导致其它进程的饥饿问题


(2)破坏不可抢占条件


方式一:当一个进程已经占有了某些不可抢占的资源时,又去申请新的资源而得不到满足时,就必须释放自己已经保持的所有资源(类似于上面的第一种协议中破坏保持条件),待以后需要的时候再重新申请;


方式二:如果系统中的进程的优先级不同时,当优先级高的进程去申请优先级低的进程所占据的资源时,操作系统就可以抢占优先级低的进程的资源;


(3)破坏循环等待条件


对系统所有资源进行线性排序并赋予不同的序号,这样我们便可以规定进程在申请资源时必须按照序号递增的顺序进行资源的申请,当以后要申请时需检查要申请的资源的编号大于当前编号时,才能进行申请。


解除死锁:


常用的解除死锁的两种方法


(1)抢占资源:从一个或者多个进程中抢占足够的资源,分配给死锁进程,用于解除死锁;

(2)终止(或撤销)进程:终止(或撤销)系统中的一个或者多个死锁进程,直至打破死锁循环环路,使系统从死锁中解除出来。



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

深入理解死锁 的相关文章

  • min栈实现

    题目 xff1a 实现一个栈 xff0c 要求实现Push xff08 出栈 xff09 Pop xff08 入栈 xff09 Min xff08 返回最小值的操作 xff09 的时间复杂度为O 1 分析 xff1a 这道题目的主要难点在于
  • 栈实现队列&&队列实现栈

    背景知识 xff1a 动态栈的模拟实现 xff1a http blog csdn net double happiness article details 70170984 队列的模拟实现 xff1a http blog csdn net
  • 一个数组实现两个栈

    分析 xff1a 用一个数组实现两个栈有三种思路 xff1a xff08 1 xff09 将数组按照奇 偶为分成两组 xff08 2 xff09 将数组按照从两边到中间分成两组 xff08 3 xff09 将数组按照从中间到两边分成两组 比
  • 栈的压入弹出序列

    题目描述 xff1a 判断一个栈的输出序列是否是正确的 xff0c 时间复杂度要求O N 示例 xff1a 输入栈 xff1a 1 2 3 4 5 1 输出栈 xff1a 4 5 3 2 1 2 输出栈 xff1a 4 3 5 1 2 分析
  • list模拟实现

    双向链表代码实现 xff1a span style font size 24px pragma once 双向链表 template lt class T gt struct ListNode T data 当前节点中的数据 ListNod
  • C模拟实现静态顺序表

    头文件模块 xff1a span style font size 24px include lt iostream gt typedef int DATATYPE const int MAX 61 5 struct SeqList DATA
  • Mem库函数模拟实现

    本篇视图 xff1a 1 memset 2 memcpy 3 memmove 4 memcmp 5 memchr memset 功能 xff1a 将一段内存初始化为某个值 xff1b 函数拷贝ch 到buffer 从头开始的count 个字
  • Python15_布尔值_break_continue_pass_else

    布尔值 用数据做判断 xff1a 布尔值 计算机利用数据有三种方式 xff1a 1 直接使用数据 xff0c 2 计算和加工数据 xff0c 3 用数据做判断 布尔值 True和False 代码将会无限运行 xff0c 陷入 死循环 xff
  • atexit函数总结

    函数名 xff1a atexit 头文件 xff1a include lt stdlib h gt 函数原型 xff1a int atexit void func void 功能 xff1a 当程序终止执行时 xff0c 函数调用函数指针f
  • 递归问题的处理

    经典问题集锦 xff1a 1 猴子吃桃问题 2 小球落地问题 猴子吃桃问题描述 xff1a 从前有一群群猴从果园里采来了许多桃子 xff0c 第一天吃掉采来桃子的一半之后 xff0c 猴王又多吃了了一个 xff0c 第二天吃掉了剩下的一半之
  • 编程实现求一个整数的二进制中0和1的个数

    声明 xff1a 假定该数是在32位平台的机器上运行 xff0c 在更高或最低平台上的原理相同 核心最优算法 xff1a 求1的个数 xff1a num amp 61 num 43 1 求0的个数 xff1a num 61 num 43 1
  • C语言if语句中的零值比较

    目录 xff1a 布尔变量与零值比较 整型变量与零值比较 浮点变量与零值比较 指针变量与零值比较 布尔变量与零值比较 规则 xff1a 不可将布尔值直接与0 1或者true false比较 代码示例 xff1a span style fon
  • vs下的debug和release版本的区别

    vs下的版本分类 xff1a Debug版本 通常称为调试版本 xff0c 通过编译选项的配合 xff0c 编译的结果通常包含调试信息 xff0c 可以设置断点 单步调试 使用TRACE ASSERT等调试输出语句并且编译器不会对代码进行任
  • 二进制文件与文本文件的区别

    文本文件和二进制文件的定义 xff1a 计算机在物理内存上面存放的都是二进制 xff0c 所以文本文件和二进制文件的 主要 区别是在逻辑上 的而不是物理上的 而从文件的编码方式来看 xff0c 文件可以分为文本文件和二进制文件 文本文件是基
  • 浅析FILE和fd之间的关系

    背景知识 fd 文件描述符 FILE 文件指针 文件描述符fd fd只是一个整数 xff0c 在open时产生 起到一个索引的作用 xff0c 进程通过PCB中的文件描述符表找到该fd所指向的文件指针file 因此在Linux系统下面 xf
  • 面向过程与面向对象的区别与联系

    处理问题方面 面向过程 xff1a 分析解决问题所需要的步骤 xff0c 通过分别去实现对应的函数来完成每一个步骤 xff0c 使用的时候一次去调用对应的函数即可 xff1b 面向对象 xff1a 面向对象的是把所处理的问题先抽象起来 xf
  • fork与vfork创建进程的区别

    进程创建的方式 xff1a 1 fork函数 2 vfork函数 fork函数 头文件 xff1a include lt unistd h gt 函数原型 xff1a pid t fork void 返回值 xff1a 创建成功子进程返回0
  • Linux下的各种id

    分类 用户标识符 xff1a 几个典型进程的ID及其类型和功能 常见标识符的返回值 span style font size 18px include lt sys types h gt include lt unistd h gt pid
  • Ubuntu 18.04开启root账户登陆

    step 1 设置root账户密码 命令 xff1a sudo passwd root step2 修改相关配置 打开 root profile文件 xff0c 将最后一行mesg n true修改为tty s amp amp mesg n

随机推荐

  • 深入理解vector的拷贝构造

    腾讯面试题 xff1a 请问vector的拷贝构造干了些什么 xff1f 拿到这道题可能很多人都已经暗自里庆幸 xff0c 对于学习过过数据结构的人 xff0c 对于vector这个结构体一定不会陌生 xff0c 但是如果在面试的过程中面试
  • 深入理解C++强制类型转换

    C 43 43 四种强制转换类型 static cast reinterpret cast const cast dynamic cast static cast 静态转换 xff0c 用于非多态类型 xff0c 任何标准的转换都可以用它
  • Linux背景设置

    桌面背景设置 对于Linux的CentOs系统 刚进入时系统默认的生成的背景如下 显然对于一些比较有艺术欣赏的人来说 xff0c 这个背景显然是很让人感到很不好受 xff0c 所以下面就来看一下如何更换桌面背景 1 单击鼠标右键 2 双击鼠
  • Linux常用工具安装和vim设置的命令实现

    声明 xff1a 本文是针对centos6 0的版本进行安装和设置的 xff0c 在现在下载的Centos版本上基本上会自带一些基本的工具 xff0c 因此在安装之前需要先进行检查 xff0c 如果不存在 xff0c 在进行下载安装 gcc
  • C实现当前机器模式是大端还是小端

    声明 xff1a 本文是在32位机器 xff0c vs2013下运行无误 大小端背景 xff1a 大小端这一词最早是来自 格列夫游记 xff0c 书中记录有一个村子 xff0c 村子里的人有一个强烈的争议 xff0c 关于吃鸡蛋的时候应该从
  • C模拟实现点分十进制IP转换

    声明 xff1a 本文在32位机器上测试无误 点分十进制 点分十进制是计算机网络中的一个名词 xff0c 是一种网络地址的表示方法 xff0c 每一组数字都是在0 255之间 xff0c 每个组之间都是通过 34 34 来进行分割的 xff
  • C面试常考知识点详解

    小结清单 xff1a 指针与引用区别与联系 指针与数组的区别与联系 结构体内存对齐 指针与引用区别与联系 联系 xff1a 底层实现方式相同 xff0c 都是按照指针的方式实现 区别 xff1a 1 引用必须初始化 xff0c 指针可以不用
  • 【通信方式一】管道

    管道引入原因 xff1a 由于各个进程之间是相互独立的 xff0c 这样虽然有助于程序内部自己的处理 xff0c 同时也避免各个进程之间相互影响 xff0c 但是有时候程序之间就是需要进行一些信息传递 xff0c 这时就需要相办法来实现这些
  • Linux下的管道组织管理与容量测试

    管道通信方式实现 xff1a http blog csdn net double happiness article details 71685414 在学习完管道的通信方式之后 xff0c 我们知道管道是用来实现进程之间的相互通信的机制
  • 九大排序之——冒泡排序

    冒泡排序 原意是说鱼从水底下吐泡泡 xff0c 然后一直漂浮到水面上的过程 xff0c 冒泡排序就是不断的将一个元素不断的与后面的元素进行比较 xff0c 如果大于 xff08 升序 xff09 就叫交换两个元素的位置 xff0c 直到比较
  • Python解决opencv,cv2.xfeatures2d的办法

    本来要调一下surf特征检测的包但是报错了 xff0c 在查询以后发现cv2 xfeatures2d在opencv3 4 2 16之后的版本不能使用了 那么只好装一下之前的版本 经过多重尝试 xff0c 最后还是通过whl文件的方法去安装p
  • 九大排序之——堆排序

    堆排序 xff1a 思想 xff1a 首先清楚一点堆的低层存储是一个静态数组 xff0c 可以将它看成是一棵完全二树 先建立初始堆 xff0c 然后进行堆调整 xff0c 在进行交换和pop操作 xff0c 直至完成堆排序为止 堆的分类 x
  • 九大排序之——选择排序

    选择排序 xff1a 思想 xff1a 首先将给定的序列看成是一个有序序列和一个无序序列 xff0c 选择排序也就是从给定 的 序列中选取一个最大的 xff08 最小的 xff09 元素放到有序序列的对应位置 xff0c 再从剩余的无序 序
  • 九大排序之——插入排序

    直接插入排序 xff1a 思想 xff1a 将要排序的序列看成两个序列 xff0c 一个是有序序列 xff0c 另一个是无序序列 xff0c 每次取无序序列中的元素往有序序列中的合适位置插入 xff0c 直到无序序列为空 xff0c 排序完
  • 九大排序之——快速排序

    快速排序 算法思想 xff1a 快速排序从名字上就可以看出就是为了排序的效率 xff0c 每次先选择一个关键字key xff0c 一般是选择序列的第一个元素或者序列的最后一个元素 xff0c 将比key值小的元素全部放在左边 xff0c 将
  • 九大排序之——归并排序

    归并排序 算法思想 xff1a 归并操作整体上来看是分治法的应用 xff0c 不断的划分缩小区间 xff1b 图示 xff1a 算法执行步骤 xff1a 1 先申请一个和原序列一样大的空间 xff0c 用来存放合并之后的序列 xff1b 2
  • 九大排序之——计数排序

    计数排序 计数排序步骤 xff1a 1 找出待排序的数组中最大和最小的元素 xff1b 2 统计数组中每个值为i的元素的出现的次数 xff0c 存入数组C的第i项 xff1b 3 对所有的计数累加 xff1b 4 反向填充目标数组 xff1
  • 九大常见排序总结

    九种常基本排序 希尔排序 xff1a http blog csdn net double happiness article details 70157030 冒泡排序 xff1a http blog csdn net double hap
  • 简单的贪吃蛇游戏实现

    贪吃蛇功能实现 xff1a 1 定义贪吃蛇游戏棋盘图 2 初始化棋盘 3 输出棋盘所在信息 3 选择游戏难度 4 随机产生食物 5 更新游戏动态 6 设置游戏相应的操作 7 打印游戏结果 代码实现 span style font famil
  • 深入理解死锁

    死锁定义 死锁是指两个或两个以上的进程在执行过程中 xff0c 由于资源竞争或者由于彼此通信而造成的一种阻塞现象 xff0c 若无外力作用 xff0c 他们都将无法推进下去 xff0c 此时称系统处于死锁状态 xff0c 这些永远在互相等待