C++11中条件标量和互斥锁应用出现死锁问题
更新时间：2023年06月06日 15:00:47 作者：hsy12342611
这篇文章主要介绍了C++11中条件标量和互斥锁应用出现死锁思考,本文通过示例代码给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下
条件变量和互斥锁在多线程同步过程中经常被使用，以下测试程序测试其使用。
1.测试程序1
#include <mutex>
#include <deque>
#include <iostream>
#include <thread>
#include <condition_variable>
class MCTest {
public:
MCTest() : m_work(true), m_max_num(30), m_next_index(0) {
}
void producer_thread() {
while (m_work) {
std::this_thread::sleep_for(std::chrono::milliseconds(500));
std::unique_lock<std::mutex> lk(m_cvMutex);
m_cv.wait(lk);
m_data.push_back(m_next_index++);
std::cout << "producer " << m_next_index << ", queue size: " << m_data.size() << std::endl;
m_cv.notify_all();
}
}
void consumer_thread() {
while (m_work) {
std::unique_lock<std::mutex> lk(m_cvMutex);
m_cv.wait(lk);
int data = m_data.front();
m_data.pop_front();
std::cout << "consumer " << data << ", deque size: " << m_data.size() << std::endl;
m_cv.notify_all();
}
}
private:
bool m_work;
std::mutex m_cvMutex;
std::condition_variable m_cv;
std::deque<int> m_data;
size_t m_max_num;
int m_next_index;
};
int main() {
MCTest obj;
std::thread tp = std::thread(&MCTest::producer_thread, &obj);
std::thread tc = std::thread(&MCTest::consumer_thread, &obj);
tp.join();
tc.join();
return 0;
}运行结果：
2.测试程序2
#include <mutex>
#include <deque>
#include <iostream>
#include <thread>
#include <condition_variable>
class MCTest {
public:
MCTest() : m_work(true), m_max_num(30), m_next_index(0) {
}
void producer_thread() {
while (m_work) {
std::this_thread::sleep_for(std::chrono::milliseconds(500));
std::unique_lock<std::mutex> lk(m_cvMutex);
m_cv.wait(lk, [this]() -> bool { return this->m_data.size() < this->m_max_num; });
m_data.push_back(m_next_index++);
std::cout << "producer " << m_next_index << ", queue size: " << m_data.size() << std::endl;
m_cv.notify_all();
}
}
void consumer_thread() {
while (m_work) {
std::unique_lock<std::mutex> lk(m_cvMutex);
m_cv.wait(lk, [this] { return !this->m_data.empty(); });
int data = m_data.front();
m_data.pop_front();
std::cout << "consumer " << data << ", deque size: " << m_data.size() << std::endl;
m_cv.notify_all();
}
}
private:
bool m_work;
std::mutex m_cvMutex;
std::condition_variable m_cv;
std::deque<int> m_data;
size_t m_max_num;
int m_next_index;
};
int main() {
MCTest obj;
std::thread tp = std::thread(&MCTest::producer_thread, &obj);
std::thread tc = std::thread(&MCTest::consumer_thread, &obj);
tp.join();
tc.join();
return 0;
}运行结果：
3.运行结果思考
为什么测试1程序没有任何输出，出现死锁，而程序2正常交替执行？
程序1条件变量在得到通知之前会一直wait，如果线程1获取了锁后，阻塞于wait调用，释放了互斥锁，等待通知。此时线程2执行，线程2获取锁后，阻塞于阻塞于wait调用，并释放互斥锁，等待唤醒。本质上是处于死锁状态。
程序2条件变量处于wait阻塞时，除了得到通知会解除阻塞外，第二个参数为true时，wait函数也会返回，所以避免了死锁的存在。
总结一下，wait函数参数2含义如下：
（1）如果参数为true，即使没有收到通知，wait也会返回，此时本线程互斥量已经加锁
（2）如果参数为false，在没有收到通知时，解锁互斥量wait一直阻塞
（3）如果没有参数，与false一样
到此这篇关于C++11中条件标量和互斥锁应用出现死锁思考的文章就介绍到这了,更多相关C++11条件标量和互斥锁内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
您可能感兴趣的文章:
相关文章
这篇文章主要为大家详细介绍了如何利用C语言实现从指定位置截取文件内容,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下2023-11-11
本文主要介绍了C++14 新特性之函数返回值类型推导,在模板编程和一些返回类型复杂或不易直接指明的情况下非常有用,下面就来具体介绍一下,感兴趣的可以了解一下2024-05-05
这篇文章主要介绍了C++ 类的友元机制的相关资料，帮助大家更好的理解和学习使用c++，感兴趣的朋友可以了解下2021-02-02
这篇文章主要介绍了C++实现万年历源代码，可以直接在VC6.0编译运行，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2020-03-03
这篇文章主要介绍了C++快速排序及优化方案详解,快速排序是一种常用的排序算法,它通过选择一个基准元素,将数组分成两个子数组,其中一个子数组的所有元素都小于基准元素,另一个子数组的所有元素都大于基准元素,需要的朋友可以参考下2023-10-10
本篇文章是对C/C++中如何终止线程运行的方法进行了详细的分析介绍，需要的朋友参考下2013-05-05
这篇文章主要介绍了C++实现LeetCode(91.解码方法),本篇文章通过简要的案例,讲解了该项技术的了解与使用,以下就是详细内容,需要的朋友可以参考下2021-07-07
这篇文章主要为大家详细介绍了C++实现乒乓球比分判定，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2020-05-05
这篇文章主要介绍了简单了解C语言中主线程退出对子线程的影响,文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值,需要的朋友可以参考下2019-12-12
这篇文章主要为大家详细介绍了C语言实现打飞机游戏，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下2020-03-03
最新评论