死锁问题总结
一、死锁的本质
死锁的本质是对同一个资源,同时加锁两次导致的资源竞争问题。举一个简单的例子,一个门上了两把锁,a锁和b锁,a开锁的条件是b先开锁,b开锁的条件是a先开锁,此时就会造成死锁,这个门永远无法打开。如果将上述的例子放到计算机的程序中,就会造成程序永远无法继续向下执行。
二、常见的几种死锁现象总结
1、忘记释放锁
该现象比较简单,不做过多解释
2、单线程死锁
在同一个线程中,对同一个资源同时加了两把不同的锁,导致发生了死锁,示例如下
void b();
void a()
{
mutex m;
m.lock();
b();
cout<<"a\n";
m.unlock();
}
void b()
{
mutex m2;
m2.lock();
a();
cout<<"b\n";
m2.unlock();
}
int main()
{
a();
}
3、多线程死锁
造成多线程死锁的原因比较多,最常见的就是两种,一个是两个线程对同一资源使用两把不同的锁,会偶现死锁,造成死锁的原因同单线程死锁;还有一种情况是,两个线程使用了同一把锁,但是解锁的条件相互等待,造成了死锁,其实你可以把解锁的条件看成是一把锁,本质还是使用了两把锁对同一个资源进行加锁操作,导致的死锁。下面仅给出两个线程使用了同一把锁导致的死锁情况
mutex G_m;
condition_variable G_cv;
bool f1=true,f2=true;
void b();
void a()
{
for (int i = 0; i < 100; ++i)
{
unique_lock<mutex> locker(G_m);
G_cv.wait(locker,[]{ return f1;});
Sleep(10);cout<<"a\n";
f2=true;
f1=false;
}
}
void b()
{
for (int i = 0; i < 100; ++i)
{
unique_lock<mutex> locker(G_m);
G_cv.wait(locker, [] { return f2; });
Sleep(100); cout << "b\n";
f1 = true;
f2=false;
}
}
int main()
{
thread t(a);
thread t2(b);
t.join();
t2.join();
}
当两个线程同时将f1、f2置为false,则两个函数都等待对方将f1、f2置为true,导致死锁。
4、智能指针死锁
class B;
class A
{
shared_ptr<B> p;
public:
void _set(shared_ptr<B> b){ p=b;}
~A() { cout << "A\n"; }
};
class B
{
shared_ptr<A> p;
public:
void _set(shared_ptr<A> a){ p=a;}
~B() { cout << "~B\n"; }
};
void sisuo()
{
shared_ptr<A> a = make_shared<A>();
shared_ptr<B> b = make_shared<B>();
a->_set(b);
b->_set(a);
}
int main()
{
sisuo();
cout<<"a";
}
两个对象中的智能指针互相指向对方,导致无法正常调用析构函数。
参考文章