解决死锁——银行家算法透析

死锁是指两个或两个以上的进程在执行过程中，由于竞争资源或者由于彼此通信而造成的一种阻塞的现象，若无外力作用，它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁，这些永远在互相等待的进程称为死锁进程。
避免死锁算法中最有代表性的算法是Dijkstra E.W 于1968年提出的银行家算法：

下面我们将从例题中一点一点的分析：

解题：
第一步：求出初始剩余资源数

图中有四种资源，分别是 A、B、C、D。题中只是给出了每个资源的总数量，没有给出剩余资源数（一般题中会给出），那么我们将它求出，每个资源总数减去每个资源已被分配资源数就得到各自资源的剩余资源数。

这里得出的是：
A 资源已被分配2，
B资源已被分配6，
C资源已被分配12，
D资源已被分配12。

那么总数量减去已被分配的得出：
A资源 3-2=1
B资源 12-6=6
C资源 14-12=2
D资源 14-12=2

最后得到初始剩余资源数 （1,6,2,2）

更多请见：http://www.mark-to-win.com/tutorial/50989.html