-
死锁
一般情况下,如果同一个线程先后两次调用lock,在第二次调用时,由于锁已经被占
用该线程会挂起等待别的进程释放锁,然而锁正式被自己占用着的,该线程又被挂起
而没有机会释放锁,因此就永远处于观其等待状态了,这叫做死锁(Deadlock)。另外一种情况是:
若线程A获得了锁1,线程B获得了锁2,这时线程A调用lock试图获得锁2,结果是需要
挂起等待线程B释放锁2,而这时线程B也调用lock试图获得锁1,结果是需要挂起等待
线程A释放锁1,于是线程A和B都永远处于挂起状态了。 -
死锁产生的4个必要条件:
- 互斥条件:一个资源每次只能被一个进程使用
- 请求与保持条件:一个进程因请求资源而阻塞时,对已获得的资源保持不放
- 不剥夺条件:进程已获得的资源,在未使用完之前,不能强行剥夺
- 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。
-
预防死锁
可以把资源一次性分配 – 破坏请求和保持条件然后剥夺资源 -- 破坏不可剥夺的条件:即当某进程新的资源未满足时,释放已占有资源资源有序分配法 -- 破坏环路等待条件:系统给每类资源一个编号,每个进程按编号递增的顺序请求资源,释放则相反
-
避免死锁
预防死锁的几种策略,会严重的损害系统性能。因此在避免死锁时,要施加较弱的限制,从而获得较满意的系统性能。由于在避免死锁的策略中,允许进程动态地请资源。因而,系统在进行资源分配之前预先计算资源分配的安全性。若此次分配不会导致系统进入不安全状态,则将资源分配给进程;否则,进程等待。其中最具有代表性的避免死锁的算法是银行家算法。
-
检测死锁
首先为每个进程和每个资源指定一个唯一的号码,然后建立资源分配表和进程等待
表。 -
解除死锁
当发现由进程死锁后,便应立即把它从死锁状态中解脱出来,常采用的方法有: -
剥夺资源
从其它进程剥夺足够数量的资源给死锁进程,以解除死锁状态 -
撤销进程
可以直接撤销死锁进程或撤销代价最小的进程,直至有足够的资源可用,死锁状态
消除为止。所谓代价是指优先级、运行代价、进程的重要性的价值等。
这四个条件是死锁的必要条件,只要系统发生死锁,这些条件必然成立,而只要上述
条件之一不满足,就不会发生死锁。