C++死锁

Qy、Leo

已于 2024-09-25 08:58:44 修改

阅读量888

点赞数 24

分类专栏： C++ 文章标签：开发语言 c++

于 2024-09-25 08:54:19 首次发布

本文链接：https://blog.csdn.net/exp_2009/article/details/142506907

版权

C++ 专栏收录该内容

1 篇文章 0 订阅

订阅专栏

概念

进程间进行通信或相互竞争系统资源而产生的永久阻塞，若无外力作用将永远处在死锁状态。

产生原因

（1）系统资源不足；（2）进程运行推进顺序与速度不同也可能导致死锁；（3）资源分配不当；

产生死锁四个必要条件：

（1）互斥条件：就是一个资源每次只能被一个进程使用。
（2）请求与保持条件：一个进程在请求其它资源而阻塞时，但是它对自己已获得的资源又保持不放。
（3）不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺。
（4）循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。

产生场景

线程对同一个锁反复加锁

如果同一线程对同一个锁加锁两次，那么这会导致死锁，这种情况在使用自释放锁时经常出现，比如 c++ 11 的 lock_guard<mutex> ，如果在 lock_guard 还没释放时再次对同一个锁使用 lock_guard<mutex> ，则会立刻导致死锁。
解决办法：使用递归锁，递归锁会记录上一次对自己加锁的线程id，如果发现是当前执行线程和上一次加锁线程是同一个则不再做加锁动作。比如：unique_lock<recursive_mutex> lck(mtx)

多线程 + 多锁

如果同时存在多个线程和多个锁，而每个线程都有机会操作所有的锁，那么这就可能导致死锁,比如线程1加锁A，等待加锁B，而线程2加锁B，等待加锁A。
解决办法一：始终按照一致的顺序对多个锁进行加锁，比如有两个锁 A 和 B，那么任何线程在对 A 和 B加锁时都要按照 “先A后B” 或者 “先B后A” 的顺序进行即可。倘若实在无法确保顺序，那么可以使用c++ 11提供的 std::lock 进行同步加锁，此组件可以保证传入的多个锁可以在不死锁的情况下依次锁住。
解决方法二：使用trylock系列函数，当发现加锁失败时，立刻进行一次释放所有锁的动作，然后再次尝试刚才的加锁。

C++锁

一、互斥锁（Mutex）

1. std::mutex

含义: std::mutex 最基本的互斥锁，当一个线程占用锁时，其他线程必须等待该锁被释放。

使用场景: 当需要保护共享资源不被多个线程同时修改时使用。

2. std::recursive_mutex

含义: 递归互斥锁，允许同一个线程多次获取同一锁。

使用场景: 在递归函数中需要多次获取同一个锁的情况。

二、定时锁

1. std::timed_mutex

含义: 允许尝试锁定一定时间，如果在指定时间内没有获取到锁，则线程可以执行其他操作或放弃。

使用场景: 当你不希望线程因等待锁而无限期阻塞时使用。

2. std::recursive_timed_mutex

含义: std::recursive_timed_mutex结合了std::recursive_mutex和std::timed_mutex的特点，允许同一个线程多次加锁，并提供了尝试加锁的超时功能。

使用场景: 适用于需要递归锁定资源，并且希望能够设置尝试获取锁的超时时间的场景。这在需要防止线程在等待锁时无限阻塞的复杂递归调用中特别有用。

三、读写锁（Shared Mutex）

std::shared_mutex

含义: 允许多个线程同时读取资源，但只允许一个线程写入。

使用场景: 适用于读操作远多于写操作的情况。

四、自旋锁

自旋锁在C++标准库中没有直接提供一个专门的类型，但它可以使用原子操作，尤其是std::atomic_flag来实现。自旋锁是一种低级同步机制，适用于锁持有时间非常短的情况。与其他锁不同，当自旋锁无法获取锁时，它将在一个循环中持续检查锁的状态，这意味着它会保持CPU的活跃状态，而不是使线程进入休眠。

含义：自旋锁是一种在等待解锁时使线程保持忙等（busy-wait）的锁，这意味着线程会持续占用CPU时间直到它能获取到锁。

使用场景：自旋锁适用于锁持有时间非常短且线程不希望在操作系统调度中频繁上下文切换的场景。这通常用在低延迟系统中，或者当线程数量不多于CPU核心数量时，确保CPU不会在等待锁时空闲。