【学习笔记】C++并发与多线程笔记四：互斥量(概念、用法、死锁)

一、前言

本文接上文 【学习笔记】C++并发与多线程笔记三：数据共享 的内容，主要包含互斥量的基本概念、用法、死锁演示以及解决方案。

二、互斥量的基本概念

互斥量就是个类对象，可以理解成一把锁，多个线程尝试用lock()成员函数来加锁，只有一个线程能锁定成功，如果没有锁成功，那么流程将卡在lock()这里不断尝试去锁定。

备注：互斥量使用要小心，上锁的代码需要根据实际情况考虑（只保护需要保护的数据），少了达不到效果，多了影响效率。

三、互斥量的用法

首先，需要包含头文件#include <mutex>，然后使用 mutex 类即可创建锁对象：

#include <iostream>
#include <mutex>
using namespace std;

class A
{
   
private:
	mutex my_mutex;			/* 创建一个互斥锁 */
};

3.1 lock()和unlock()

在代码中 lock() （上锁）和 unlock() （解锁）必须成对使用，步骤如下：

• 先 lock() 上锁；
• 然后操作共享数据；
• 再 unlock() 解锁

备注：代码中使用互斥量的时绝不允许非对称调用，即 lock() 和 unlock() 一定是成对出现的。

以上篇文章的示例代码为例，我们需要保护的共享数据为消息队列 msgRecvQueue ，在读写这个队列前就需要上锁，读写完毕后需要解锁，代码如下：

#include <iostream>
#include <thread>
#include <mutex>
#include <list>
using namespace std;

class A
{
   
public:
	/* 把收到的消息（玩家命令）存到队列中 */
	void inMsgRecvQueue()
	{
   
		for (int i = 0; i < 100000; ++i)
		{
   
			cout << "inMsgRecvQueue exec, push an elem " << i << endl;
			my_mutex.lock();		   /* 上锁 */
			msgRecvQueue.push_back(i); /* 假设数字 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()
	{
   
		int command = 0