【Linux修行路】线程安全和死锁

目录

⛳️推荐

一、线程安全

1.1 常见的线程不安全情况

1.2 常见的线程安全情况

1.3 常见的不可重入情况

1.4 常见可重入的情况

1.5 可重入与线程安全的联系

1.6 可重入与线程安全的区别

二、死锁

2.1 死锁的四个必要条件

2.2 如何避免产生死锁?


⛳️推荐

前些天发现了一个巨牛的人工智能学习网站,通俗易懂,风趣幽默,忍不住分享一下给大家。点击跳转到网站

一、线程安全

  • 线程安全:多个线程并发访问同一段代码时,不会出现问题,就叫做线程安全。常见对全局变量或者静态变量进行操作,并且没有锁保护的情况下,会发生线程安全问题。

  • 重入:同一个函数被不同的执行流调用,当前执行流还没有执行完,就有其它的执行流再次进入,我们称之为重入。一个函数在重入的情况下,运行结果不会出现任何不同或者任何问题,则该函数被称为可重入函数,否则,是不可重入函数。我们所使用的大部分函数都是不可重入的。

只要一个函数是不可重入的,那么在多线程调用的时候可能会引发线程安全问题。

1.1 常见的线程不安全情况

  • 不保护共享变量的函数

  • 函数状态随着被调用,状态发生变化的函数

  • 返回指向静态变量指针的函数

  • 调用线程不安全函数的函数

1.2 常见的线程安全情况

  • 每个线程对全局变量或者静态变量只有读取的权限,而没有写入的权限,一般来说这些线程是安全的

  • 类或者接口对于线程来说都是原子操作

  • 多个线程之间的切换不会导致该接口的执行结果存在二义性

1.3 常见的不可重入情况

  • 调用了 malloc/new 函数,因为 mallco 函数里面是用全局链表来进行管理的

  • 调用了标准 I/O 库函数,标准 I/O 库函数的很多实现都以不可重入的方式使用全局数据结构

  • 函数体内使用了静态的数据结构

1.4 常见可重入的情况

  • 不使用全局变量或静态变量

  • 不使用 malloc 或者 new 开辟空间

  • 不掉用不可重入函数

  • 不返回静态或全局数据,所有数据都由函数的调用者来提供

  • 使用本地数据,或者通过制作全局数据的本地拷贝来保护全局数据

1.5 可重入与线程安全的联系

  • 函数是可重入的,那就是线程安全的

  • 函数是不可重入的,那在多线程的场景下,有可能会引发线程安全问题

  • 如果一个函数中有全局变量,那么这个函数既不是线程安全也不是可重入的。

1.6 可重入与线程安全的区别

  • 可重入函数是线程安全函数的一种

  • 线程安全不一定是可重入的,而可重入函数则一定是线程安全的

  • 如果将对临界资源的访问加上锁,则这个函数就是线程安全的,但是如果忘记释放锁会导致死锁问题,该函数也是不可重入函数。

二、死锁

在使用锁的过程中,导致多线程代码不往后执行了,这就叫做死锁。一般导致死锁的原因是:各个线程均占有不会释放的资源,然后线程相互去申请被其它线程所占用的资源而处于永久等待的状态。这是产生死锁最普遍的情况。当然,还有其它情况,比如一个线程已经申请到了锁,在解锁之前又去申请锁,此时也会导致死锁。

一个线程连续申请锁导致的死锁问题:

void *GrabTickets(void *args)
{ThreaInfo *ti = static_cast<ThreaInfo*>(args);string name(ti->threadname_);while(true){pthread_mutex_lock(&lock);pthread_mutex_lock(&lock);if(tickets > 0){usleep(10000);printf("%s get a ticket: %d\n", name.c_str(), tickets);tickets--;pthread_mutex_unlock(&lock);}else{pthread_mutex_unlock(&lock);break;}usleep(13); // 用休眠来模拟抢到票的后续动作// pthread_mutex_unlock(ti->lock_); // 不能在这里解锁,因为 tickets == 0 的时候就直接跳出循环了,导致锁没有被释放,其它线程就会阻塞住}printf("%s quit...\n", name.c_str());
}

image-20240314112357270

产生死锁的原因是,当第一个线程来的时候,第一次调用 pthread_mutex_lock(&lock) 成功申请到锁,此时内存空间中的1(锁)被交换到了第一个线程的上下文中,紧接着,第一个线程再次去调用 pthread_mutex_lock(&lock) 申请锁,在 3.3 小节展示的汇编代码中,申请锁的第一步是先把寄存器的值设置为0,而此时第一个线程这个寄存器里面放的是交换进来的1,设置成0以后,就导致 CPU 寄存器中、内存中,都没有1了,锁就这样凭空消失了。所以第一个线程在第二次去申请锁的时候就被挂起了,其它线程在第一次申请锁的时候就会被挂起,最终所有调用该函数的线程都会被挂起,这就是死锁。

一个线程申请到锁后,没有释放也会造成死锁

void *GrabTickets(void *args)
{ThreaInfo *ti = static_cast<ThreaInfo*>(args);string name(ti->threadname_);while(true){pthread_mutex_lock(&lock);pthread_mutex_lock(&lock);if(tickets > 0){usleep(10000);printf("%s get a ticket: %d\n", name.c_str(), tickets);tickets--;// pthread_mutex_unlock(&lock);}else{// pthread_mutex_unlock(&lock);break;}usleep(13); // 用休眠来模拟抢到票的后续动作// pthread_mutex_unlock(ti->lock_); // 不能在这里解锁,因为 tickets == 0 的时候就直接跳出循环了,导致锁没有被释放,其它线程就会阻塞住}printf("%s quit...\n", name.c_str());
}

image-20240314130236689

2.1 死锁的四个必要条件

所谓必要条件就是,当发生死锁时,下面四个条件都得满足,只要其中有任何一个条件不满足,就不会构成死锁。

  • 互斥条件(前提):一个资源每次只能被一个执行流使用。

  • 请求与保持条件(原则):一个执行流因请求资源而阻塞时,对已获得的资源保持不放。

  • 不剥夺条件(原则):一个执行流已获得的资源,在未使用完之前,不能强行剥夺。

  • 循环等待条件:若干执行流之间形成一种头尾相接的循环等待资源的关系。

2.2 如何避免产生死锁?

理念:破坏上面的四个必要条件,只需要一个不满足即可。

方法:第一个条件可以通过不使用锁来破坏;第二个条件可以通过使用非阻塞接口来申请锁资源进行破坏;第三个条件可以通过释放对应的锁来破坏;第四个条件需要通过程序员编码进行解决。

  • 破坏死锁的四个必要条件

  • 加锁顺序一致

  • 避免锁未释放的场景

  • 资源一次性分配

避免死锁的算法:

  • 死锁检测算法
  • 银行家算法

🎁结语:

        今天的分享到这里就结束啦!如果觉得文章还不错的话,可以三连支持一下,您的支持就是我前进的动力!

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

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

西门子PLC与HMI之间的时间同步工控小周

HMI 时间同步功能工控人加入PLC工业自动化精英社群 HMI 设备具有时间同步功能&#xff0c;利用 HMI 设备的该功能&#xff0c;可实现 PLC 和 HMI 之间的时间同步&#xff0c;进而实现多个 PLC 之间的时间同步。 HMI 设备时间同步的属性&#xff1a; 1.HMI 设备既可作为主站对…

Unity Addressables 使用说明(五)在运行时使用 Addressables(Use Addressables at Runtime)

一旦你将 Addressable assets 组织到 groups 并构建到 AssetBundles 中&#xff0c;就需要在运行时加载、实例化和释放它们。 Addressables 使用引用计数系统来确保 assets 只在需要时保留在内存中。 Addressables 初始化 Addressables 系统在运行时第一次加载 Addressable …

PLSQL-将一份excel数据导入到一张物理表(Oracle)

–>> 很简单~ 平时用惯了DBeaver&#xff0c;突然要用PLSQL Developer&#xff0c;确实很生疏。 –>> 我的场景&#xff0c;将一份.csv文件数据手动导入到Oracle下的一张物理表中去。 研究了半天&#xff0c;看网上说的可以用&#xff1a;Tools → ODBC Importer &…

视频监控接入平台web客户端有时无法登录,有时打开实时视频出现黑屏的问题解决

目录 一、背景说明 二、解决过程 1、问题产生 2、命令介绍 ①基本用法 ②常用选项 ③示例 3、问题解决 三、最终结果 一、背景说明 在本地登录视频监控平台的服务器进行测试时&#xff0c;发现客户端登录不上。 检查服务器的服务和数据库&#xff0c;运行状况正常&#xff0c…

opencv 实现两个图片的拼接去重功能

基础知识介绍 cv::Mat 是OpenCV库中用来表示图像和矩阵数据的核心类之一。它是一个多维数组&#xff0c;可以存储图像像素数据、矩阵数据以及其他类型的数据。以下是关于 cv::Mat 类的一些详细解释&#xff1a; 构造函数&#xff1a;cv::Mat 类有多个构造函数&#xff0c;可以用…

【Linux】常用的命令

文章目录 lsls -l / touchcdpwdcatechovim打开文件编辑内容保存退出 mkdirrmmvcpmangreppsnetstat总结 &#xff1a; ls ls > list 列出当前目录下都有哪些内容&#xff08;文件/目录&#xff09; 直接输入 ls&#xff0c;是查看当前目录的情况&#xff1b;输入 ls/ 就是看…

数据结构 --- 二叉树

一、满二叉树 在一棵二叉树中&#xff0c;如果所有分支节点都存在左子树和右子树&#xff0c;并且所有叶子节点都在同一层上&#xff0c;这 样的二叉树称为满二叉树。 每层节点数量为 2 ^ (n - 1) &#xff08;n为层数&#xff09; 总节点个数为 2 ^ n - 1 二、完全…

【Java】基于JWT+Token实现完整登入功能(原理+实操图解)

Java系列文章目录 补充内容 Windows通过SSH连接Linux 第一章 Linux基本命令的学习与Linux历史 文章目录 Java系列文章目录一、前言二、学习内容&#xff1a;三、问题描述四、解决方案&#xff1a;4.1 认识相关依赖4.1.1 工具包依赖4.1.2 非空注解依赖4.1.3 Token相关依赖4.1.4…

【正式版】深度技术Win10系统22H2最新版本:免费下载!

今日&#xff0c;系统之家小编给大家分享2024年最新发布的深度技术Win10正式版系统&#xff0c;该版本系统基于微软官方最新Windows10 22H2 19045.4842 64位专业版进行离线制作&#xff0c;确保安全无病毒&#xff0c;且修复了部分系统Bug&#xff0c;整体操作体验感更出色。系…

6.1排序——插入排序与希尔排序

本篇博客来梳理两种常见排序算法&#xff1a;插入排序与希尔排序 常见的排序算法如图 写排序算法的原则&#xff1a;先写单趟&#xff0c;再写整体 一、直接插入排序 1&#xff0e;算法思想 先假定第一个数据有序&#xff0c;把第二个数据插入&#xff1b;再假设前两个数据…

[【人工智能学习笔记】4_3 深度学习基础之卷积神经网络

卷积神经网络概述 卷积神经网络(Convolutional Neural Network, CNN)一种带有卷积结构的深度神经网络,通过特征提取和分类识别完成对输入数据的判别;在1989年提出,早期被成功用于手写字符图像识别;2012年更深层次的AlexNet网络取得成功,伺候卷积神经网络被广泛应用于各…

uniapp使用uni-popup做底部弹出选项(vue3)

效果图 页面代码 <!-- 发票筛选弹出框 --><uni-popup ref"popupRef" type"bottom" border-radius"10px 10px 0 0" background-color"#fff"><h4 style"text-align: center;margin-bottom: 20px;">发票筛…

node解析dxf文件

1、dxf数据说明 DXF是一种开放的矢量数据格式&#xff0c;可以分为两类&#xff1a;ASCII格式和二进制格式&#xff1b;ASCII具有可读性好的特点&#xff0c;但占用的空间较大&#xff1b;二进制格式则占用的空间小、读取速度快。由于AutoCAD是最流行的CAD系统&#xff0c;DXF也…

uniapp 懒加载、预加载、缓存机制深度解析

uniapp 懒加载、预加载、缓存机制深度解析 文章目录 uniapp 懒加载、预加载、缓存机制深度解析一、为什么要使用uniapp的懒加载、预加载和缓存机制二、如何使用uniapp的懒加载、预加载和缓存机制1. 懒加载2. 预加载3. 缓存机制 四、扩展与高级技巧1. 结合懒加载和预加载优化页面…

眼科市场格局固化,排名靠后的光正眼科还能逆袭吗?

眼科是A股的热门领域&#xff0c;也是医疗的黄金赛道。或许也正因为如此&#xff0c;这条赛道已经习惯了通过并购&#xff0c;利用资本杠杆跑马圈地。以最大规模的龙头爱尔眼科为首&#xff0c;并购是眼科的常规操作。 然而&#xff0c;真正观察赛道腰部及以下的公司&#xff…

elementUI根据列表id进行列合并@莫成尘

本文章提供了elementUI根据列表id进行列合并的demo&#xff0c;效果如图&#xff08;可直接复制代码粘贴&#xff09; <template><div id"app"><el-table border :data"tableList" style"width: 100%" :span-method"objectS…

2024.9.9营养小题【2】

营养&#xff1a; 1、什么数是丑数&#xff1f; 2、数学数学&#xff0c;丑数的数学意义&#xff0c;哎&#xff0c;数学思维我是忘干净了。 3、可以把while循环换成for循环。由此又想到了一点&#xff0c;三个循环结构各有使用场景。 for(;n%factors[i]0;n/factors[i]){}

网络编程day02(字节序、TCP编程)

目录 【1】字节序 1》大小端转换 2》端口转换 3》IP地址转换 主机字节序转换为网络字节序 &#xff08;小端序->大端序&#xff09; 网络字节序转换为主机字节序&#xff08;大端序->小端序&#xff09; 【2】TCP编程 1》流程 2》函数接口 1> socket 2> …

C# 删除Word文档中的段落

在编辑Word文档时&#xff0c;我们有时需要调整段落的布局、删除不必要的段落以优化文档的结构和阅读体验。本文将通过以下3个简单示例演示如何使用免费.NET库删除Word文档中的段落 。 目录 C# 删除Word中的指定段落 C# 删除Word中的所有段落 C# 删除Word中的空白段落 免费…

分组注解和自定义注解及分页查询

自定义注解的使用步骤 案例&#xff1a; 此时state需要进行的校验使用普通方式无法满足&#xff0c;需要我们根据需求进行自定义注解 创建一个注解 Documented//元注解 Retention(RetentionPolicy.RUNTIME)//元注解 Constraint(validatedBy {StateValidation.class}//指定提供…