操作系统入门 -- 死锁

操作系统入门 – 死锁

在两个或多个并发进程中，如果每个进程都持有某种资源，并且正在等待其他进程释放它或进程都保持资源，在当前状态下无法推进。通俗来说就是两个或多个进程进入无限期阻塞、互相等待状态。

当某个进程请求新的资源得不到满足时，立即释放保持的所有资源,并等待重新申请。

实现过程复杂，抢占资源可能导致部分工作失效，反复申请和释放对系统开销大,也可能导致饥饿。

当一个进程请求资源时，不能持有不可抢占的系统资源。一下有两种协议

第一种协议：所有进程在运行前，必须一次性申请其在运行过程中所需的全部资源。此时若系统有足够的资源分配给某进程，就可以把进程所需资源分配给给它，在运行过程中，进程就不会再申请资源，破坏了“请求”条件。系统在分配资源时只要有一种资源不能满足进程要求，即使其他所需的各个资源都空闲也不会分分给当前线程。
-第一种协议缺点：该协议看似简单易行且安全，但是资源会被严重浪费，降低资源利用率，同时也经常会发生饥饿现象。

系统将会给资源先进行编号，规定每个进程必须按照序号递增顺序请求资源，编号相同的同类资源一次性申请完毕。该过程保证了当一个进程占有小号的资源后才能申请大号的资源，而持有大号资源的进程无法申请小号资源，杜绝了循环等待的现象。

银行家算法是用来避免操作系统出现死锁的有效算法。为实现银行家算法，系统必须设置若干数据结构，同时要解释银行家算法，必须先解释操作系统安全状态和不安全状态。

安全序列：指一个进程序列<P₁，…，P_n>是安全的。即对于每个进程 P_i (1≤i≤n），它以后尚需要的资源量不超过系统当前剩余资源量与所有进程P_j(j < i)当前占用资源总和。
安全状态：如果存在一个又系统中所有进程构成的安全序列<P₁，…，P_n>，则系统处于安全状态，该状态下一定不会发生死锁。
不安全状态：不存在一个安全序列。该情况下可能会导致死锁。

可利用资源向量Available：是一个含有m个元素的数组，其中每个元素代表一类可利用的资源数目。若Available[j] = K，则表示系统中现有Rj类资源K个。
最大需求矩阵Max：一个n*m的矩阵，其中定义了系统中n个进程中每个进程所需最大为m的资源值。如果Max[i,j]=K，则表示进程i需要Rj类资源的最大数目为K。
分配矩阵Allocation：同上，也是一个n*m的矩阵，其中定义了系统中每一类资源当前已经分配每一个进程的资源数。如果Allocation[i,j]=K，则表示进程i当前已分得Rj类资源的数目为K。
需求矩阵Need：这也是一个n*m的矩阵，表示每个进程尚需各类资源数。如果Need[i,j]=K，则表示进程i还需要Rj类资源K个，方能完成其任务。

设Req(i)是进程P_i请求的向量，若Req(i)[j] = K。表示进程P_i需要K个R(j)类型资源。当P_i发现资源请求后系统将执行以下步骤。

(1).若Req(i)[j] <= Need[i , j]转至步骤(2)，否则出错，因为所请求的资源数超过其规定的最大值。
(2).若Req(i)[j] <= Available[i , j]转至步骤(3)，否则表示尚无足够资源，P_i等待。
(3).系统尝试将资源分配给P_i并修改以下参数：
Available[j] = Available[j] - Req(i)[j]；
Allocation[i , j] = Allocation[i j] + Req(i)[j];
Need[i , j] = Need[i , j] - Req(i)[j];

为了能够对系统中的死锁进行检测必须要有

找出既不阻塞又非独立的进程节点P_i，顺利情况下，P_i可以得到所需的资源并能继续运行，直至完成，最后释放持有的所有资源。这相当于消去它所有的请求边和分配边，使之称为孤立的结点。
进程P_i释放的资源可以唤醒某些因等待这些资源而被阻塞的进程，这些被阻塞的进程变为非阻塞状态。然后重复上面的过程，消去请求边和分配边。
当节点为孤立状态是，则可以完全简化。