构成死锁的四个条件
- 互斥访问资源。一个资源每次只能被一个进程使用。
- 请求与保持。一个进程因请求资源而阻塞时,对已获得的资源保持不放。
- 不可剥夺条件。:进程已获得的资源,在末使用完之前,不能强行剥夺。
- 循环等待。
考虑如下问题:有两个资源R1,R2。两个进程A,B。A使用资源的顺序为R1=>R2. B使用的顺序为R2=>R1。满足前三个条件。某一时刻A拥有资源R1等待B释放资源R2,B拥有资源R2等待A释放R1,此时A,B发生死锁。A,B都因在等待对方释放资源而不能往下进行。
解决方法:只要打破四个条件之一就可以。重点第四个,前三个是有些系统必须满足的条件。可以一次性全部分配进程所需的全被资源,也可以按顺序分配资源。
另个互斥量
mutex m_mutex1; mutex m_mutex2;
在线程A中
m_mutex1.lock();
m_mutex2.lock();
//lock(m_mutex1,m_mutex2)
//lock_guard<mutex> sbguard1(m_mutex1, std::adopt_lock);如果已经上锁就不会调用lock()
//lock_guard<mutex> sbguard2(m_mutex2, std::adopt_lock);
msgRecvQue.push_back(i);
m_mutex1.unlock();
m_mutex2.unlock();
线程B中
m_mutex2.lock();
m_mutex1.lock();
//lock(m_mutex1,m_mutex2)
//lock_guard<mutex> sbguard1(m_mutex1, std::adopt_lock);如果已经上锁就不会调用lock()
//lock_guard<mutex> sbguard2(m_mutex2, std::adopt_lock);
msgRecvQue.pop_front();
m_mutex1.unlock();
m_mutex2.lock();
那么某一时刻,m_mutex1, m_mutex2
同时上锁,进程不能往下进行。
按相同顺序上锁可以解决。使用
lock()
函数可以一次上多把锁。解决方法见注释。