（六）互斥量（mutex）

最新推荐文章于 2024-08-23 19:02:06 发布

xizhehaitang

最新推荐文章于 2024-08-23 19:02:06 发布

阅读量502

点赞数

分类专栏： c++ 文章标签： java 开发语言后端

本文链接：https://blog.csdn.net/u011886519/article/details/123083661

版权

c++ 专栏收录该内容

6 篇文章 0 订阅

订阅专栏

本文探讨了C++中互斥量的使用，强调了正确使用lock和unlock避免影响效率和保证数据安全的重要性。同时，解释了死锁的概念，指出互斥量上锁顺序不一致可能导致死锁，并提出了解决死锁的策略。通过示例代码展示了错误的锁顺序如何导致死锁情况。

摘要由CSDN通过智能技术生成

1、互斥量时一个类对象，形象的理解时一把锁，多个线程尝试用lock()成员函数加锁，只有一个线程可以锁成功，如果没有锁成功会不断的尝试去获取锁。

互斥量使用的时候要小心，多了影响效率，少了起不到全面的保护效果。

方法：调用lock unlock 必须成对出现

#include <thread>
#include <iostream>
#include <vector>
#include <list>
#include <Windows.h>
#include <mutex>
using namespace std;

class RecvQueue {
public:
	void inMsgRecvQueue() {
		for (int i = 0; i < 100000; ++i) {
			cout << "inMsgRecvQueue() start, push back one element: " << i << endl;
			my_mutex.lock();
			msgRecvQueue.push_back(i);
			my_mutex.unlock();
		}
	}
	bool outMsgLULProc(int &command) {
		my_mutex.lock();
		if (!msgRecvQueue.empty()) {
			command = msgRecvQueue.front();
			msgRecvQueue.pop_front();
			my_mutex.unlock();
			return true;
		}
		my_mutex.unlock();
		return false;
	}
	void outMsgRecvQueue() {
		for (int i = 0; i < 100000; ++i) {
			int command = 0;
			bool result = outMsgLULProc(command);
			if (result){
				cout << "outMsgRecvQueue is start, pop one element:" << command << endl;
			}
			else {
				cout << "outMsgRecvQueue is empty!" << endl;
			}
		}
	}

private:
	std::list<int> msgRecvQueue;
	mutex my_mutex;
};

void main() {
	RecvQueue myobj;
	thread myoutqueue(&RecvQueue::outMsgRecvQueue, &myobj);
	thread myinqueue(&RecvQueue::inMsgRecvQueue, &myobj);
	myoutqueue.join();
	myinqueue.join();
}

补充：

lock unlock可以两个函数可以通过lock_guard类模板直接取代。

2、死锁

产生条件：至少两个及以上的锁才有可能产生。

死锁的一般解决方案：

1）保证多个互斥量上锁的顺序一致就不会死锁

2）使用std::lock()函数模板，内部机制：如果互斥量中有一个没锁柱，会一直等待，等所有互斥量都锁住才会往下走，要么所有互斥量多锁住，要么都没锁，只有一个锁了会立即把已经锁的解锁。

注意：

使用模板也需要用unlock分别解锁每一个互斥量。

以下代码时产生死锁的代码：

#include <thread>
#include <iostream>
#include <vector>
#include <list>
#include <Windows.h>
#include <mutex>
using namespace std;

class RecvQueue {
public:
	void inMsgRecvQueue() {
		for (int i = 0; i < 100000; ++i) {
			cout << "inMsgRecvQueue() start, push back one element: " << i << endl;
			my_mutex1.lock();//读和写锁的顺序不一致产生死锁
			my_mutex2.lock();//读和写锁的顺序不一致产生死锁
			msgRecvQueue.push_back(i);
			my_mutex1.unlock();
			my_mutex2.unlock();
		}
	}
	bool outMsgLULProc(int &command) {
		my_mutex2.lock();//读和写锁的顺序不一致产生死锁
		my_mutex1.lock();//读和写锁的顺序不一致产生死锁
		if (!msgRecvQueue.empty()) {
			command = msgRecvQueue.front();
			msgRecvQueue.pop_front();
			my_mutex1.unlock();
			my_mutex2.unlock();
			return true;
		}
		my_mutex1.unlock();
		my_mutex2.unlock();
		return false;
	}
	void outMsgRecvQueue() {
		for (int i = 0; i < 100000; ++i) {
			int command = 0;
			bool result = outMsgLULProc(command);
			if (result){
				cout << "outMsgRecvQueue is start, pop one element:" << command << endl;
			}
			else {
				cout << "outMsgRecvQueue is empty!" << endl;
			}
		}
	}

private:
	std::list<int> msgRecvQueue;
	mutex my_mutex1;
	mutex my_mutex2;
};

void main() {
	RecvQueue myobj;
	thread myoutqueue(&RecvQueue::outMsgRecvQueue, &myobj);
	thread myinqueue(&RecvQueue::inMsgRecvQueue, &myobj);
	myoutqueue.join();
	myinqueue.join();
}