C++ 的死锁问题的发生和避免

2024-09-05 21:12
文章标签 c++ 问题 死锁 避免 发生

本文主要是介绍C++ 的死锁问题的发生和避免,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

C/C++程序中产生死锁的原因很多,本文大致归纳了下面几类,分别做分析。

1.单线程/进程多次加锁导致死锁

单线程导致死锁的情况一般是由于调用了引起阻塞的函数,比如(copy_from_user()、copy_to_ser()、和kmalloc()),阻塞后进行系统调度,调度的过程中有可能又调用了之前获取锁的函数,这样必然导致死锁。

还有一种就是自旋锁函数在没有释放锁马上又进行申请同一个自旋锁,这样的低级问题也是会导致自旋锁。

简单的说,就是在单个线程中,创建了一个不可重复加锁的锁,然后,调用了加锁函数,在没有调用解锁函数的情况下,再次调用加锁函数导致的死锁。

例如,std::recursive_mutex 是可重复加锁的Recursive锁,std::mutex是不可重复加锁的NonRecursive锁。下面的例子中,在main函数中,分别创建了一个Recursive锁,一个NonRecursive锁:

#include <chrono>
#include <iostream>
#include <mutex>int main(int argc, char *argv[])
{std::mutex              mutex;std::recursive_mutex    mutex_recursive;while(true){//Recursive锁,尝试多次加锁mutex_recursive.lock();std::cout << "11111" << std::endl;mutex_recursive.lock();std::cout << "22222" << std::endl;mutex_recursive.unlock();std::cout << "33333" << std::endl;mutex_recursive.unlock();//NonRecursive锁,尝试多次加锁mutex.lock();std::cout << "AAAAAAA" << std::endl;mutex.lock();std::cout << "BBBBBBB" << std::endl;mutex.unlock();std::cout << "CCCCCC" << std::endl;mutex.unlock();std::this_thread::sleep_for(std::chrono::milliseconds(5000));}return 0;
}

以上程序输出:

11111
22222
33333
AAAAAAA

从输出看,输出“AAAAAAA”后,第二次对NonRecursive类型的锁加锁,程序就卡住不往下执行了。可见,对于Recursive类型的锁,同一个线程多次加锁都不会死锁;但是,对于NonRecursive类型的锁,同一个线程多次加锁,就会导致死锁。

综上所述,对于单线程/进程程序,只要创建Recursive类型的锁,就可以保证不发生死锁问题。

2.多线程/进程的死锁

大多数情况下,程序发生的死锁都是发生在多线程/进程情况下,因为,相对于单线程/进程程序,多线程/进程程序在代码执行时序上会更复杂,程序员更不好把握。

出现以下四种情况会产生死锁:

2.1 忘记解锁

两个线程/ 进程共享同一个资源,考虑如下时序:

1.其

这篇关于C++ 的死锁问题的发生和避免的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1140081

相关文章

怎样通过分析GC日志来定位Java进程的内存问题

《怎样通过分析GC日志来定位Java进程的内存问题》:本文主要介绍怎样通过分析GC日志来定位Java进程的内存问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、GC 日志基础配置1. 启用详细 GC 日志2. 不同收集器的日志格式二、关键指标与分析维度1.

Java 线程安全与 volatile与单例模式问题及解决方案

《Java线程安全与volatile与单例模式问题及解决方案》文章主要讲解线程安全问题的五个成因(调度随机、变量修改、非原子操作、内存可见性、指令重排序)及解决方案,强调使用volatile关键字... 目录什么是线程安全线程安全问题的产生与解决方案线程的调度是随机的多个线程对同一个变量进行修改线程的修改操

从入门到精通C++11 <chrono> 库特性

《从入门到精通C++11<chrono>库特性》chrono库是C++11中一个非常强大和实用的库,它为时间处理提供了丰富的功能和类型安全的接口,通过本文的介绍,我们了解了chrono库的基本概念... 目录一、引言1.1 为什么需要<chrono>库1.2<chrono>库的基本概念二、时间段(Durat

Redis出现中文乱码的问题及解决

《Redis出现中文乱码的问题及解决》:本文主要介绍Redis出现中文乱码的问题及解决,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1. 问题的产生2China编程. 问题的解决redihttp://www.chinasem.cns数据进制问题的解决中文乱码问题解决总结

C++20管道运算符的实现示例

《C++20管道运算符的实现示例》本文简要介绍C++20管道运算符的使用与实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录标准库的管道运算符使用自己实现类似的管道运算符我们不打算介绍太多,因为它实际属于c++20最为重要的

Visual Studio 2022 编译C++20代码的图文步骤

《VisualStudio2022编译C++20代码的图文步骤》在VisualStudio中启用C++20import功能,需设置语言标准为ISOC++20,开启扫描源查找模块依赖及实验性标... 默认创建Visual Studio桌面控制台项目代码包含C++20的import方法。右键项目的属性:

c++中的set容器介绍及操作大全

《c++中的set容器介绍及操作大全》:本文主要介绍c++中的set容器介绍及操作大全,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录​​一、核心特性​​️ ​​二、基本操作​​​​1. 初始化与赋值​​​​2. 增删查操作​​​​3. 遍历方

解析C++11 static_assert及与Boost库的关联从入门到精通

《解析C++11static_assert及与Boost库的关联从入门到精通》static_assert是C++中强大的编译时验证工具,它能够在编译阶段拦截不符合预期的类型或值,增强代码的健壮性,通... 目录一、背景知识:传统断言方法的局限性1.1 assert宏1.2 #error指令1.3 第三方解决

全面解析MySQL索引长度限制问题与解决方案

《全面解析MySQL索引长度限制问题与解决方案》MySQL对索引长度设限是为了保持高效的数据检索性能,这个限制不是MySQL的缺陷,而是数据库设计中的权衡结果,下面我们就来看看如何解决这一问题吧... 目录引言:为什么会有索引键长度问题?一、问题根源深度解析mysql索引长度限制原理实际场景示例二、五大解决

Springboot如何正确使用AOP问题

《Springboot如何正确使用AOP问题》:本文主要介绍Springboot如何正确使用AOP问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录​一、AOP概念二、切点表达式​execution表达式案例三、AOP通知四、springboot中使用AOP导出