当前位置: 首页 > news >正文

【操作系统】深入浅出死锁问题

死锁的概念

在多线程编程中,我们为了防止多线程竞争共享资源而导致数据错乱,都会在操作共享资源而导致数据错乱,都会在操作共享资源之前加上互斥锁,只有成功获得到锁的线程,才能操作共享资源,获取不到锁的线程就只能等待,直到锁被释放。

那么,当两个线程为了保护两个不同的共享资源而使用了两个互斥锁,那么这两个互斥锁应用不当的时候,可能会造成两个线程都在等待对方释放锁,在没有外力作用下,这些线程会一直相互等待,就没有办法继续执行,这种情况就是发生了死锁

什么情况下会产生死锁?

死锁只有同时满足以下四个条件才会发生:

  • 互斥条件;
  • 持有并等待条件;
  • 不可剥夺条件;
  • 环路等待条件;

互斥条件

互斥条件是指多个线程不能同时使用同一个资源

如果线程A已经持有的资源,不能再同时被线程B持有,如果线程B请求获取线程A已经占用的资源,那线程B只能等待,直到线程A释放了资源。

image.png

持有并等待条件

持有并等待条件是指,当线程A已经持有了资源1,又想申请资源2,而资源2已经被线程C持有了,所以线程A就会处于等待状态,但是线程A在等待资源2的同时并不会释放自己已经持有的资源1

image.png

不可剥夺条件

不可剥夺条件是指,当线程已经持有了资源,在自己使用完之前不能被其他线程获取,线程B如果也想使用此资源,则只能在线程A使用完并释放后才能获取。

image.png

环路等待条件

环路等待条件指的是,在死锁发生的时候,两个线程获取资源的顺序构成了环形链

比如,线程A已经持有资源2,而想请求资源1,线程B已经获取了资源1,而想请求资源2,这就形成资源请求等待的环形图。

image.png

怎么避免死锁问题?

避免死锁问题就只需要破坏其中一个条件就可以,最常见的并且可行的就是使用资源有序分配法,来破坏环路等待条件

什么是资源有序分配法呢?

线程A和线程B获取资源的顺序要一样,当线程A是先尝试获取资源A,然后尝试获取资源B的时候,线程B同样也是先尝试获取资源A,然后尝试获取资源B,也就是说,线程A和线程B总是以相同的顺序申请自己想要的资源。

我们使用资源有序分配法的方式来修改前面发生死锁的代码,我们可以不改动线程A的代码。

我们先要清楚线程A获取资源的顺序,它先是获取互斥锁A,然后获取互斥锁B。

所以我们只需要将线程B改成以相同顺序的获取资源,就可以打破死锁了。

image.png

参考链接:小林coding

相关文章:

【操作系统】深入浅出死锁问题

死锁的概念 在多线程编程中,我们为了防止多线程竞争共享资源而导致数据错乱,都会在操作共享资源而导致数据错乱,都会在操作共享资源之前加上互斥锁,只有成功获得到锁的线程,才能操作共享资源,获取不到锁的…...

springboot实现webSocket服务端和客户端demo

1&#xff1a;pom导入依赖 <dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-websocket</artifactId><version>2.2.7.RELEASE</version></dependency>2&#xff1a;myWebSocketClien…...

代码走读: FFMPEG-ffplayer02

AVFrame int attribute_align_arg avcodec_receive_frame(AVCodecContext *avctx, AVFrame *frame) 选取一个音频解码器 和 一个视频解码器分别介绍该解码器功能 音频G722 g722dec.c -> g722_decode_frame 通过 ff_get_buffer 给 传入的 frame 指针分配内存 g722_decode_…...

【数据结构】——排序算法的相关习题

目录 一、选择题题型一 &#xff08;插入排序&#xff09;1、直接插入排序2、折半插入排序3、希尔排序 题型二&#xff08;交换排序&#xff09;1、冒泡排序2、快速排序 题型三&#xff08;选择排序&#xff09;1、简单选择排序~2、堆排序 ~题型四&#xff08;归并排序&#xf…...

C高级day5(Makefile)

一、Xmind整理&#xff1a; 二、上课笔记整理&#xff1a; 1.#----->把带参宏的参数替换成字符串 #include <stdio.h> #include <stdlib.h> #include <string.h> #define MAX(a,b) a>b?a:b #define STR(n) #n int main(int argc, const char *argv…...

Android 系统中适配OAID获取

一、OAID概念 OAID&#xff08;Open Anonymous Identification&#xff09;是一种匿名身份识别标识符&#xff0c; 用于在移动设备上进行广告追踪和个性化广告投放。它是由中国移动通信集 团、中国电信集团和中国联通集团共同推出的一项行业标准 OAID值为一个64位的数字 二、…...

差分数组leetcode 2770 数组的最大美丽值

什么是差分数组 差分数组是一种数据结构&#xff0c;它存储的是一个数组每个相邻元素的差值。换句话说&#xff0c;给定一个数组arr[]&#xff0c;其对应的差分数组diff[]将满足&#xff1a; diff[i] arr[i1] - arr[i] 对于所有 0 < i < n-1 差分数组的作用 用于高效…...

请求响应状态码

请求与响应&状态码 Requests部分 请求行、消息报头、请求正文。 Header解释示例Accept指定客户端能够接收的内容类型Accept: text/plain, text/htmlAccept-Chars et浏览器可以接受的字符编码集。Accept-Charset: iso-8859-5Accept-Encodi ng指定浏览器可以支持的web服务…...

安卓机型系统美化 Color.xml文件必备常识 自定义颜色资源

color.xml文件是Android工程中用来进行颜色资源管理的文件.可以在color.xml文件中通过<color>标签来定义颜色资源.我们在布局文件中、代码中、style定义中或者其他资源文件中&#xff0c;都可以引用之前在color.xml文件中定义的颜色资源。 将color.xml文件拷到res/value…...

YOLO物体检测-系列教程1:YOLOV1整体解读(预选框/置信度/分类任/回归任务/损失函数/公式解析/置信度/非极大值抑制)

&#x1f388;&#x1f388;&#x1f388;YOLO 系列教程 总目录 YOLOV1整体解读 YOLOV2整体解读 YOLOV1提出论文&#xff1a;You Only Look Once: Unified, Real-Time Object Detection 1、物体检测经典方法 two-stage&#xff08;两阶段&#xff09;&#xff1a;Faster-rc…...

2023/9/12 -- C++/QT

作业 实现一个图形类&#xff08;Shape&#xff09;&#xff0c;包含受保护成员属性&#xff1a;周长、面积&#xff0c; 公共成员函数&#xff1a;特殊成员函数书写 定义一个圆形类&#xff08;Circle&#xff09;&#xff0c;继承自图形类&#xff0c;包含私有属性&#xf…...

【Purple Pi OH RK3566鸿蒙开发板】OpenHarmony音频播放应用,真实体验感爆棚!

本文转载于Purple Pi OH开发爱好者&#xff0c;作者ITMING 。 原文链接&#xff1a;https://bbs.elecfans.com/jishu_2376383_1_1.html 01注意事项 DevEco Studio 4.0 Beta2&#xff08;Build Version: 4.0.0.400&#xff09; OpenHarmony SDK API 9 创建工程类型选择Appli…...

Android rom开发:9.0系统上实现4G wifi 以太网共存

framework层修改网络优先级&#xff0c;4G > wifi > eth 修改patch如下&#xff1a; diff --git a/frameworks/base/services/core/java/com/android/server/connectivity/NetworkAgentInfo.java b/frameworks/base/services/core/java/com/android/server/connectivit…...

高速自动驾驶HMI人机交互

概述 目的 本文档的目的是描述高速自动驾驶功能涉及的HMI显示需求技术规范和设计说明。 范围 术语及缩写 设计与实验标准 设计标准 设计标准-非法规类设计标准-法规类 HMI交互需求 CL4功能界面 HMI显示器[伊1] 中应包含CL4功能设置界面&#xff0c;提供给用户进行设置操作或显…...

【自然语言处理】关系抽取 —— SOLS 讲解

SOLS 论文信息 标题:Speaker-Oriented Latent Structures for Dialogue-Based Relation Extraction 作者:Guoshun Nan, Guoqing Luo, Sicong Leng, Yao Xiao, Wei Lu 发布时间与更新时间:2021.09.11 主题:自然语言处理、关系抽取、对话场景、跨语句、DialogRE、GCN arXiv:…...

周易算卦流程c++实现

代码 #include<iostream> using namespace std; #include<vector> #include<cstdlib> #include<ctime> #include<Windows.h>int huaYiXiangLiang(int all, int& left) {Sleep(3000);srand(time(0));left rand() % all 1;while (true) {if…...

软件架构设计(十三) 构件与中间件技术

中间件的定义 其实中间件是属于构件的一种。是一种独立的系统软件或服务程序,可以帮助分布式应用软件在不同技术之间共享资源。 我们把它定性为一类系统软件,比如我们常说的消息中间件,数据库中间件等等都是中间件的一种体现。一般情况都是给应用系统提供服务,而不是直接…...

PyTorch深度学习实战——基于ResNet模型实现猫狗分类

PyTorch深度学习实战——基于ResNet模型实现猫狗分类 0. 前言1. ResNet 架构2. 基于预训练 ResNet 模型实现猫狗分类相关链接 0. 前言 从 VGG11 到 VGG19&#xff0c;不同之处仅在于网络层数&#xff0c;一般来说&#xff0c;神经网络越深&#xff0c;它的准确率就越高。但并非…...

机器学习第六课--朴素贝叶斯

朴素贝叶斯广泛地应用在文本分类任务中&#xff0c;其中最为经典的场景为垃圾文本分类(如垃圾邮件分类:给定一个邮件&#xff0c;把它自动分类为垃圾或者正常邮件)。这个任务本身是属于文本分析任务&#xff0c;因为对应的数据均为文本类型&#xff0c;所以对于此类任务我们首先…...

基于Java+SpringBoot+Vue的图书借还小程序的设计与实现(亮点:多角色、点赞评论、借书还书、在线支付)

图书借还管理小程序 一、前言二、我的优势2.1 自己的网站2.2 自己的小程序&#xff08;小蔡coding&#xff09;2.3 有保障的售后2.4 福利 三、开发环境与技术3.1 MySQL数据库3.2 Vue前端技术3.3 Spring Boot框架3.4 微信小程序 四、功能设计4.1 主要功能描述 五、系统实现5.1 小…...

CC1310开发者的福音:IAR for ARM 8.2到8.32版本迁移避坑指南

CC1310开发者的福音&#xff1a;IAR for ARM 8.2到8.32版本迁移避坑指南 对于使用CC1310开发板的嵌入式开发者来说&#xff0c;IAR for ARM无疑是最常用的开发工具之一。然而&#xff0c;当我们需要从8.2版本升级到8.32版本时&#xff0c;往往会遇到各种意想不到的兼容性问题。…...

从LeGO-LOAM到LIO-SAM:手把手教你为速腾聚创雷达添加IMU和GPS因子图优化

从LeGO-LOAM到LIO-SAM&#xff1a;多传感器融合SLAM的工程实践与深度解析 当你在户外空旷场地测试LeGO-LOAM时&#xff0c;是否遇到过点云特征不足导致的轨迹漂移&#xff1f;当机器人长时间运行后&#xff0c;是否发现建图结果出现明显的累积误差&#xff1f;这些问题正是LIO-…...

1000行代码实现极简版openclaw(附源码)(11)

10 - 完整数据流追踪 github 源码&#xff08;欢迎star&#xff09; 目标 通过一个完整的例子&#xff0c;追踪数据在整个系统中的流动。 场景 用户输入&#xff1a;创建一个 test.txt 文件&#xff0c;内容是 "Hello" 数据流图解 ┌─────────────…...

神经网络计算量那些事:FLOPs/MACs/MACCs到底怎么算?从公式到代码的完整对照

神经网络计算量全解析&#xff1a;从FLOPs到MACs的实战指南 在深度学习模型优化过程中&#xff0c;计算量评估是每个开发者必须掌握的核心技能。面对FLOPs、MACs、MACCs这些专业术语&#xff0c;新手往往一头雾水——它们究竟代表什么&#xff1f;如何准确计算&#xff1f;更重…...

SEO_本地企业做好SEO推广的完整步骤指南

SEO推广的重要性&#xff1a;为什么本地企业必须关注SEO 在当今数字化时代&#xff0c;互联网已经成为了人们获取信息和购买产品的主要渠道。对于本地企业而言&#xff0c;如何在本地市场中脱颖而出&#xff0c;吸引更多潜在客户&#xff0c;是一个迫在眉睫的问题。搜索引擎优化…...

别再死磕线性回归了!用Python的scikit-learn玩转高斯过程回归(GPR),5分钟搞定预测+不确定性可视化

高斯过程回归实战&#xff1a;用Python轻松实现非线性预测与不确定性可视化 当你的数据像过山车一样起伏不定时&#xff0c;线性回归那根笔直的线条就显得力不从心了。作为一名数据科学实践者&#xff0c;我经常遇到这种情况&#xff1a;客户拿着明显非线性的数据集&#xff0c…...

python-django中小学教学课件共享平台vue

目录 技术选型与架构设计后端实现模块前端功能规划部署与优化扩展性设计 项目技术支持源码获取详细视频演示 &#xff1a;文章底部获取博主联系方式&#xff01;同行可合作 技术选型与架构设计 采用前后端分离架构&#xff0c;后端使用Django REST framework提供API&#xff0…...

单文件网页保存高效解决方案:Monolith核心功能与实践指南

单文件网页保存高效解决方案&#xff1a;Monolith核心功能与实践指南 【免费下载链接】monolith ⬛️ CLI tool for saving complete web pages as a single HTML file 项目地址: https://gitcode.com/GitHub_Trending/mo/monolith 在数字化信息管理中&#xff0c;网页内…...

VSCode搭配Keil开发STM32:从环境配置到代码跳转全流程(避坑指南)

VSCode搭配Keil开发STM32&#xff1a;从环境配置到代码跳转全流程&#xff08;避坑指南&#xff09; 在嵌入式开发领域&#xff0c;STM32系列芯片因其强大的性能和丰富的生态备受欢迎。然而&#xff0c;传统的Keil开发环境虽然稳定&#xff0c;但在代码编辑体验上略显陈旧。本文…...

Verge:轻量级前端视口与DOM操作工具库全解析

Verge&#xff1a;轻量级前端视口与DOM操作工具库全解析 【免费下载链接】verge get viewport dimensions...detect elements in the viewport...trust in 项目地址: https://gitcode.com/gh_mirrors/ver/verge 项目定位&#xff1a;现代前端开发的轻量解决方案 在前端…...