五、互斥量概念、用法、死锁演示及解决详解
1.互斥量(mutex)的基本概念
互斥量就是个类对象,可以理解为一把锁
,多个线程尝试用lock()成员函数来加锁,只有一个线程能锁定成功
,成功的标志是lock()函数返回。- 如果没有锁成功,那么流程将卡在lock()这里不断尝试去锁定。
- 互斥量使用要小心,保护数据不多也不少,少了达不到效果,多了影响效率。
2.互斥量的用法
包含#include <mutex>头文件
2.1 lock(),unlock()
步骤:
- 1.lock(),
- 2.操作共享数据,
- 3.unlock()。
lock()和unlock()要成对使用
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <list>
#include <thread>
#include <mutex>
using namespace std;
class A
{
public:
//把收到的消息(玩家命令)插入到一个队列的线程
void inMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
cout << "inMesgRecvQueue执行,插入一个元素" << i << endl;
my_mutex.lock();
list_msg.push_back(i);//假设这个数字i就是我收到的命令,我直接弄到消息队列里面来
my_mutex.unlock();
}
}
//把消息队列从容器中取出来的线程
void outMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
if (!list_msg.empty())
{
int command = list_msg.front();
my_mutex.lock();
list_msg.pop_front();
my_mutex.unlock();
}
else
{
cout << "消息队列为空" << endl;
}
}
cout << "outMesgRecvQueue end" << endl;
}
protected:
private:
std::list<int> list_msg;//专门用于代表玩家给咱们发送过来的命令
std::mutex my_mutex;//创建了一个互斥量
};
int main(int argc, char* argv[])
{
A myobja;
//第2个参数是引用,才能保证线程里面用的是同一个对象
std::thread myOutMsgobj(&A::outMesgRecvQueue, &myobja);
std::thread myInMsgobj(&A::inMesgRecvQueue, &myobja);
myOutMsgobj.join();
myInMsgobj.join();
system("pause");
return 0;
}
2.2 lock_guard类模板
lock_guard<mutex> sbguard(myMutex)
;取代lock()和unlock()- lock_guard构造函数执行了mutex::lock();
在作用域结束时,调用析构函数,执行mutex::unlock()
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <list>
#include <thread>
#include <mutex>
using namespace std;
class A
{
public:
//把收到的消息(玩家命令)插入到一个队列的线程
void inMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
cout << "inMesgRecvQueue执行,插入一个元素" << i << endl;
{
//lock_guard创建类对象my_lock_guard时调用了mutex::lock的构造函数
std::lock_guard<std::mutex> my_lock_guard(my_mutex);//局部对象
//my_mutex.lock();
list_msg.push_back(i);//假设这个数字i就是我收到的命令,我直接弄到消息队列里面来
//my_mutex.unlock();
}//局部对象my_lock_guard的生命周期结束,调用mutex::unlock的析构函数
//其他处理。。。。
}
}
//把消息队列从容器中取出来的线程
void outMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
if (!list_msg.empty())
{
int command = list_msg.front();
my_mutex.lock();
list_msg.pop_front();
my_mutex.unlock();
}
else
{
cout << "消息队列为空" << endl;
}
}
cout << "outMesgRecvQueue end" << endl;
}
protected:
private:
std::list<int> list_msg;//专门用于代表玩家给咱们发送过来的命令
std::mutex my_mutex;//创建了一个互斥量,一个互斥量就是一把锁
};
int main(int argc, char* argv[])
{
A myobja;
//第2个参数是引用,才能保证线程里面用的是同一个对象
std::thread myOutMsgobj(&A::outMesgRecvQueue, &myobja);
std::thread myInMsgobj(&A::inMesgRecvQueue, &myobja);
myOutMsgobj.join();
myInMsgobj.join();
system("pause");
return 0;
}
3.死锁
3.1 死锁演示
死锁至少有两个互斥量mutex1,mutex2。
两个线程A、B
- a.线程A执行时,这个线程先锁mutex1,并且锁成功了,然后去锁mutex2的时候,出现了上下文切换(线程A正在锁mutex2还没成功,切换到了线程B)。
- b.线程B执行,这个线程先锁mutex2,因为mutex2没有被锁,即mutex2可以被锁成功,然后线程B要去锁mutex1.
- c.此时,死锁产生了,A锁着mutex1,需要锁mutex2,B锁着mutex2,需要锁mutex1,两个线程没办法继续运行下去。。。
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <list>
#include <thread>
#include <mutex>
using namespace std;
class A
{
public:
//把收到的消息(玩家命令)插入到一个队列的线程
void inMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
cout << "inMesgRecvQueue执行,插入一个元素" << i << endl;
my_mutex1.lock();
//其他处理...
my_mutex2.lock();
list_msg.push_back(i);
my_mutex2.unlock();
my_mutex1.unlock();
//其他处理。。。。
}
}
//把消息队列从容器中取出来的线程
void outMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
if (!list_msg.empty())
{
int command = list_msg.front();
my_mutex2.lock();
my_mutex1.lock();
list_msg.pop_front();
my_mutex1.unlock();
my_mutex2.unlock();
}
else
{
cout << "消息队列为空" << endl;
}
}
cout << "outMesgRecvQueue end" << endl;
}
protected:
private:
std::list<int> list_msg;//专门用于代表玩家给咱们发送过来的命令
std::mutex my_mutex1;//创建了一个互斥量
std::mutex my_mutex2;//创建了一个互斥量
};
int main(int argc, char* argv[])
{
A myobja;
//第2个参数是引用,才能保证线程里面用的是同一个对象
std::thread myOutMsgobj(&A::outMesgRecvQueue, &myobja);
std::thread myInMsgobj(&A::inMesgRecvQueue, &myobja);
myOutMsgobj.join();
myInMsgobj.join();
system("pause");
return 0;
}
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <list>
#include <thread>
#include <mutex>
using namespace std;
class A
{
public:
//把收到的消息(玩家命令)插入到一个队列的线程
void inMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
cout << "inMesgRecvQueue执行,插入一个元素" << i << endl;
std::lock_guard<std::mutex> my_lock_guard1(my_mutex1);
std::lock_guard<std::mutex> my_lock_guard2(my_mutex2);
//其他处理...
list_msg.push_back(i);
//其他处理。。。。
}
}
//把消息队列从容器中取出来的线程
void outMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
if (!list_msg.empty())
{
int command = list_msg.front();
std::lock_guard<std::mutex> my_lock_guard2(my_mutex2);
std::lock_guard<std::mutex> my_lock_guard1(my_mutex1);
list_msg.pop_front();
}
else
{
cout << "消息队列为空" << endl;
}
}
cout << "outMesgRecvQueue end" << endl;
}
protected:
private:
std::list<int> list_msg;//专门用于代表玩家给咱们发送过来的命令
std::mutex my_mutex1;//创建了一个互斥量
std::mutex my_mutex2;//创建了一个互斥量
};
int main(int argc, char* argv[])
{
A myobja;
//第2个参数是引用,才能保证线程里面用的是同一个对象
std::thread myOutMsgobj(&A::outMesgRecvQueue, &myobja);
std::thread myInMsgobj(&A::inMesgRecvQueue, &myobja);
myOutMsgobj.join();
myInMsgobj.join();
system("pause");
return 0;
}
3.2 死锁的一般解决方案:
只要保证多个互斥量上锁的顺序一样就不会造成死锁。
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <list>
#include <thread>
#include <mutex>
using namespace std;
class A
{
public:
//把收到的消息(玩家命令)插入到一个队列的线程
void inMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
cout << "inMesgRecvQueue执行,插入一个元素" << i << endl;
my_mutex1.lock();
//其他处理...
my_mutex2.lock();
list_msg.push_back(i);
my_mutex2.unlock();
my_mutex1.unlock();
//其他处理。。。。
}
}
//把消息队列从容器中取出来的线程
void outMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
if (!list_msg.empty())
{
int command = list_msg.front();
my_mutex1.lock();
my_mutex2.lock();
list_msg.pop_front();
my_mutex1.unlock();
my_mutex2.unlock();
}
else
{
cout << "消息队列为空" << endl;
}
}
cout << "outMesgRecvQueue end" << endl;
}
protected:
private:
std::list<int> list_msg;//专门用于代表玩家给咱们发送过来的命令
std::mutex my_mutex1;//创建了一个互斥量
std::mutex my_mutex2;//创建了一个互斥量
};
int main(int argc, char* argv[])
{
A myobja;
//第2个参数是引用,才能保证线程里面用的是同一个对象
std::thread myOutMsgobj(&A::outMesgRecvQueue, &myobja);
std::thread myInMsgobj(&A::inMesgRecvQueue, &myobja);
myOutMsgobj.join();
myInMsgobj.join();
system("pause");
return 0;
}
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <list>
#include <thread>
#include <mutex>
using namespace std;
class A
{
public:
//把收到的消息(玩家命令)插入到一个队列的线程
void inMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
cout << "inMesgRecvQueue执行,插入一个元素" << i << endl;
std::lock_guard<std::mutex> my_lock_guard1(my_mutex1);
std::lock_guard<std::mutex> my_lock_guard2(my_mutex2);
//其他处理...
list_msg.push_back(i);
//其他处理。。。。
}
}
//把消息队列从容器中取出来的线程
void outMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
if (!list_msg.empty())
{
int command = list_msg.front();
std::lock_guard<std::mutex> my_lock_guard2(my_mutex2);
std::lock_guard<std::mutex> my_lock_guard1(my_mutex1);
list_msg.pop_front();
}
else
{
cout << "消息队列为空" << endl;
}
}
cout << "outMesgRecvQueue end" << endl;
}
protected:
private:
std::list<int> list_msg;//专门用于代表玩家给咱们发送过来的命令
std::mutex my_mutex1;//创建了一个互斥量
std::mutex my_mutex2;//创建了一个互斥量
};
int main(int argc, char* argv[])
{
A myobja;
//第2个参数是引用,才能保证线程里面用的是同一个对象
std::thread myOutMsgobj(&A::outMesgRecvQueue, &myobja);
std::thread myInMsgobj(&A::inMesgRecvQueue, &myobja);
myOutMsgobj.join();
myInMsgobj.join();
system("pause");
return 0;
}
3.3 std::lock()函数模板
std::lock(mutex1,mutex2……);
一次锁定多个互斥量
(至少两个,一般这种情况很少),用于处理多个互斥量。- 如果互斥量中一个没锁住,它就等着,等所有互斥量都锁住,才能继续执行。如果有一个没锁住,就会把已经锁住的释放掉(要么互斥量都锁住,要么都没锁住,防止死锁)
使用std::lock(mutex1,mutex2……),后面也得手动unlock()
- std::lock(mutex1,mutex2,……) std::lock(mutex2,mutex1,……)里面
顺序无所谓
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <list>
#include <thread>
#include <mutex>
using namespace std;
class A
{
public:
//把收到的消息(玩家命令)插入到一个队列的线程
void inMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
cout << "inMesgRecvQueue执行,插入一个元素" << i << endl;
//my_mutex1.lock();
//其他处理...
//my_mutex2.lock();
std::lock(my_mutex1, my_mutex2);
list_msg.push_back(i);
my_mutex2.unlock();
my_mutex1.unlock();
//其他处理。。。。
}
}
//把消息队列从容器中取出来的线程
void outMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
if (!list_msg.empty())
{
int command = list_msg.front();
//my_mutex1.lock();
//my_mutex2.lock();
std::lock(my_mutex1, my_mutex2);//std::lock(my_mutex2, my_mutex2);
list_msg.pop_front();
my_mutex1.unlock();
my_mutex2.unlock();
}
else
{
cout << "消息队列为空" << endl;
}
}
cout << "outMesgRecvQueue end" << endl;
}
protected:
private:
std::list<int> list_msg;//专门用于代表玩家给咱们发送过来的命令
std::mutex my_mutex1;//创建了一个互斥量
std::mutex my_mutex2;//创建了一个互斥量
};
int main(int argc, char* argv[])
{
A myobja;
//第2个参数是引用,才能保证线程里面用的是同一个对象
std::thread myOutMsgobj(&A::outMesgRecvQueue, &myobja);
std::thread myInMsgobj(&A::inMesgRecvQueue, &myobja);
myOutMsgobj.join();
myInMsgobj.join();
system("pause");
return 0;
}
3.4 std::lock_guard的std::adopt_lock参数
std::lock_guardstd::mutex my_guard(my_mutex,std::adopt_lock);
加入adopt_lock后,在调用lock_guard的构造函数时,不再进行lock();
- adopt_guard为结构体对象,
起一个标记作用,表示这个互斥量已经lock(),不需要再lock()。
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
#include <string>
#include <list>
#include <thread>
#include <mutex>
using namespace std;
class A
{
public:
//把收到的消息(玩家命令)插入到一个队列的线程
void inMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
cout << "inMesgRecvQueue执行,插入一个元素" << i << endl;
//my_mutex1.lock();
//其他处理...
//my_mutex2.lock();
std::lock(my_mutex1, my_mutex2);
std::lock_guard<std::mutex> my_lock_guard1(my_mutex1, std::adopt_lock);
std::lock_guard<std::mutex> my_lock_guard2(my_mutex2, std::adopt_lock);//加上这两行就不用unlock()了
list_msg.push_back(i);
//my_mutex2.unlock();
//my_mutex1.unlock();
//其他处理。。。。
}
}
//把消息队列从容器中取出来的线程
void outMesgRecvQueue()
{
for (int i = 0; i < 100000; ++i)
{
if (!list_msg.empty())
{
int command = list_msg.front();
//my_mutex1.lock();
//my_mutex2.lock();
std::lock(my_mutex1, my_mutex2);//std::lock(my_mutex2, my_mutex2);
list_msg.pop_front();
my_mutex1.unlock();
my_mutex2.unlock();
}
else
{
cout << "消息队列为空" << endl;
}
}
cout << "outMesgRecvQueue end" << endl;
}
protected:
private:
std::list<int> list_msg;//专门用于代表玩家给咱们发送过来的命令
std::mutex my_mutex1;//创建了一个互斥量
std::mutex my_mutex2;//创建了一个互斥量
};
int main(int argc, char* argv[])
{
A myobja;
//第2个参数是引用,才能保证线程里面用的是同一个对象
std::thread myOutMsgobj(&A::outMesgRecvQueue, &myobja);
std::thread myInMsgobj(&A::inMesgRecvQueue, &myobja);
myOutMsgobj.join();
myInMsgobj.join();
system("pause");
return 0;
}