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

相关文章

解决pandas无法读取csv文件数据的问题

《解决pandas无法读取csv文件数据的问题》本文讲述作者用Pandas读取CSV文件时因参数设置不当导致数据错位,通过调整delimiter和on_bad_lines参数最终解决问题,并强调正确参... 目录一、前言二、问题复现1. 问题2. 通过 on_bad_lines=‘warn’ 跳过异常数据3

解决RocketMQ的幂等性问题

《解决RocketMQ的幂等性问题》重复消费因调用链路长、消息发送超时或消费者故障导致,通过生产者消息查询、Redis缓存及消费者唯一主键可以确保幂等性,避免重复处理,本文主要介绍了解决RocketM... 目录造成重复消费的原因解决方法生产者端消费者端代码实现造成重复消费的原因当系统的调用链路比较长的时

C++11范围for初始化列表auto decltype详解

《C++11范围for初始化列表autodecltype详解》C++11引入auto类型推导、decltype类型推断、统一列表初始化、范围for循环及智能指针,提升代码简洁性、类型安全与资源管理效... 目录C++11新特性1. 自动类型推导auto1.1 基本语法2. decltype3. 列表初始化3

深度解析Nginx日志分析与499状态码问题解决

《深度解析Nginx日志分析与499状态码问题解决》在Web服务器运维和性能优化过程中,Nginx日志是排查问题的重要依据,本文将围绕Nginx日志分析、499状态码的成因、排查方法及解决方案展开讨论... 目录前言1. Nginx日志基础1.1 Nginx日志存放位置1.2 Nginx日志格式2. 499

C++11右值引用与Lambda表达式的使用

《C++11右值引用与Lambda表达式的使用》C++11引入右值引用,实现移动语义提升性能,支持资源转移与完美转发;同时引入Lambda表达式,简化匿名函数定义,通过捕获列表和参数列表灵活处理变量... 目录C++11新特性右值引用和移动语义左值 / 右值常见的左值和右值移动语义移动构造函数移动复制运算符

kkFileView启动报错:报错2003端口占用的问题及解决

《kkFileView启动报错:报错2003端口占用的问题及解决》kkFileView启动报错因office组件2003端口未关闭,解决:查杀占用端口的进程,终止Java进程,使用shutdown.s... 目录原因解决总结kkFileViewjavascript启动报错启动office组件失败,请检查of

C++中detach的作用、使用场景及注意事项

《C++中detach的作用、使用场景及注意事项》关于C++中的detach,它主要涉及多线程编程中的线程管理,理解detach的作用、使用场景以及注意事项,对于写出高效、安全的多线程程序至关重要,下... 目录一、什么是join()?它的作用是什么?类比一下:二、join()的作用总结三、join()怎么

SpringBoot 异常处理/自定义格式校验的问题实例详解

《SpringBoot异常处理/自定义格式校验的问题实例详解》文章探讨SpringBoot中自定义注解校验问题,区分参数级与类级约束触发的异常类型,建议通过@RestControllerAdvice... 目录1. 问题简要描述2. 异常触发1) 参数级别约束2) 类级别约束3. 异常处理1) 字段级别约束

Python错误AttributeError: 'NoneType' object has no attribute问题的彻底解决方法

《Python错误AttributeError:NoneTypeobjecthasnoattribute问题的彻底解决方法》在Python项目开发和调试过程中,经常会碰到这样一个异常信息... 目录问题背景与概述错误解读:AttributeError: 'NoneType' object has no at

Spring的RedisTemplate的json反序列泛型丢失问题解决

《Spring的RedisTemplate的json反序列泛型丢失问题解决》本文主要介绍了SpringRedisTemplate中使用JSON序列化时泛型信息丢失的问题及其提出三种解决方案,可以根据性... 目录背景解决方案方案一方案二方案三总结背景在使用RedisTemplate操作redis时我们针对