产生死锁的四个必要条件
互斥条件
进程要求对所分配的资源(如打印机)进行排他性
控制,即在一段时间内某资源仅为一个进程所占有。此时若有其他进程请求该资源,则请求进程只能等待。
不可剥夺条件
进程所获得的资源在未使用完毕之前,不能被其他进程强行夺走,即只能由获得该资源的进程自己来释放(只能是主动释放)。
保持与请求条件
进程已经保持了至少一个资源,但又提出了新的资源请求,而该资源已被其他进程占有,此时请求进程被阻塞,但对自己已获得的资源保持不放。
循环等待条件
存在一种进程资源的循环等待链,链中每一个进程已获得的资源同时被链中下一个进程所请求。
即存在一个处于等待状态的进程集合{Pl, P2, …, pn},其中Pi等 待的资源被P(i+1)占有(i=0, 1, …, n-1),Pn等待的资源被P0占有。
互斥条件和不可剥夺条件的区别
这两个概念比较容易混淆,下面谈谈个人对互斥
和不可剥夺
的理解。
互斥:比如磁铁的正负极互斥,不存在一个中间极,要么就是正极,要么就是负极。这里的互斥也是类似,即一个资源同时只能被一个线程占有,这就好比有个铁块在两个正负极磁铁之间,不管你如何操作,当你松手时,它肯定会向其中一方靠拢,不可能位于中间的位置。
不可剥夺:不可剥夺就是一个线程持有一个资源,在它释放该资源之前,别的线程只能等待。
两个的区别就是:
-
互斥是站在资源的角度上,不可剥夺是站在线程的角度上。
-
互斥强调的是个数,不可剥夺强调的是时间。
-
两者强调的发生时刻不同:
互斥
强调的是,当一个资源同时被多个线程竞争时;
不可剥夺
强调的是,一个资源已经被某线程抢占成功,它发生在持有期间。