【Linux】死锁与死锁的避免

最新推荐文章于 2026-03-13 00:33:09 发布
原创最新推荐文章于 2026-03-13 00:33:09 发布 · 729 阅读
1 ·
本内容遵循CC 4.0 BY-SA版权协议
收录于
Linux
本文探讨了死锁的概念，分析了死锁产生的四个必要条件，并介绍了两种避免死锁的方法：死锁预防与死锁避免。此外，还详细阐述了银行家算法的具体实现过程。
                    
                    调研什么是死锁 

在一组进程发生死锁的情况下，这组死锁进程中的每一个进程，都在等待另一个死锁进程所占有的资源，或者说每个线程所等待的事件是该组中其他进程释放所占有的资源。由于所有这些进程都已经无法运行，因此它们谁也无法释放资源，致使没有任何一个进程可被唤醒。这样这组进程只能无限制的等待下去。 

如果一组进程中的每一个进程都在等待仅由该组进程中的其他进程才能引发的事件，那么该组进程就是死锁的。
调研死锁产生的4个必要条件是什么？ 

（1）互斥条件：在一段时间内某资源只能被一个进程占用。 

（2）请求和保持条件。进程已经保持了至少一个资源，但又提出了新的资源要求，而该资源已被其他进程占有，此时请求进程被阻塞，但对自己已获得的资源保持不放 

（3）不可抢占资源。进程已获得的资源在未使用完之前不能抢占，只能在进程使用完之后自己释放 

（4）循环等待条件。在发生死锁时，必然存在一个进程-资源的循环链，进程集合中，一个等待另一个进程的资源。
调研如何避免死锁，常见算法与原理。 

解决死锁问题的一种方法是 死锁预防，另一种是死锁避免，这两个的区别很微妙，在死锁预防中，可以通过防止防止发生发生三个必要策略中的一个（互斥、占有且等待、非抢占）间接完成。也可以直接防止循环等待条件，但这都会导致低效的资源使用和低效的进程执行。 

死锁避免则相反，它允许三个必要的条件，但通过明智的选择，确保永远不会到达死锁点，因此死锁避免比死锁预防允许更多的并发。在死锁避免中是否允许当前的资源分配请求是通过判断该请求是否可能导致死锁来决定的。 

这里提出两个避免死锁的办法： 

1、如果一个进程的请求会导致死锁，则不启动此进程 

2、如果一个进程增加的资源请求会导致死锁，则不允许此分配 

下来进行具体算法介绍： 

1、安全状态 

在该方法中，允许进程动态的申请资源，但系统在进行资源分配之前应先计算此次资源分配的安全性，若此次分配不会导致不安全状态，才会将资源分配给进程，否则令进程等待，所谓安全状态，是指系统能按某种进程推进顺序（P1，P2，…Pn） 

为每一个进程Pi分配其所需资源，直至满足每个进程对资源的最大需求，使每个进程都可以顺利的完成，此时称（P1，P2，…Pn）为安全序列， 

2、利用银行家算法避免死锁 

每一个新进程在进入系统时，它必须申明在运行过程中，可能需要每种资源的最大单元数目，其数目不应超过系统所拥有的资源的总数，当进程·请求一组资源时，系统必须首先确定是否有足够的资源分配给该进程，若有，再进一步计算在将这些资源分配给进程后，是否会使系统处于不安全状态。如果不会，才将资源分配给它，否则让进程等待。 

1、银行家算法中的数据结构 

为了实现银行家算法，在系统中必须设置这样四个数据结构，分别用来描述系统中可利用的资源，所有进程对资源的最大需求、系统中的资源分配，以及所有进程还需要多少资源的情况 

（1）可利用资源向量Available.。这是一个含有m个元素的数组，其中的每一个元素代表一类可利用的资源数目，其初始值是系统中所配置的该类全部可用资源的数目，其数值随该类资源的分配和回收而动态的改变。如果Available[j]=K,则表示系统中现有Rj类资源K个 

（2）最大需求矩阵Max。这是一个n*m矩阵，它定义了系统中n个进程中每一个进程对m类资源的最大需求。如果Max[i, j] = K,则表示进程i需要Rj类资源的最大数目为K。 

（3）分配矩阵Allocation,这也是一个n*m矩阵，他定义了系统中的每一种资源当前已分配给每一进程的资源数，如果Allocation[i, j]=K,则表示进程i当前已分的Rj类资源的数目为K 

（4）需求矩阵Need，这也是一个n*m矩阵，用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K,则表示进程i还需要Rj类资源K个方能完成其任务 

2、银行家算法 

设Request i是进程Pi的需求向量，如果Requst i[j]=K,表示Pi需要K个Rj类资源。当Pi发出资源请求后，系统按照下属步骤进行检查： 

（1）如果Request i[j]<=Need[i, j],便转向步骤2，否则认为出错，因为他所需要的资源数已经超过它所宣布的最大值 

（2）如果Request i[j]<=Available[j],便转向步骤3，否则表示尚无足够资源，Pi必须等待 

（3）系统尝试者把资源分配给Pi，并修改下面数据结构中的数值： 

Available[j]=Available[i]-Requesti[j]; 

Allocation[i, j] = Allocation[i, j]+Request i[j]; 

Need[i, j]=Need[i,j]-Request i[j]; 

（4）系统执行安全性算法，检查此次资源分配后系统是否处于安全状态，若安全才正式将资源分配给Pi进程，已完成此次分配；否则将本次的试探分配作废，恢复原来的资源分配状态，让进城P等待 

3、安全性算法 

（1）设置两个向量：【1】工作向量Work，它表示系统可提供进程继续运行所需的各类资源数目，它含有m个元素，在执行安全算法开始，Work=Available;【2】Finish:它表示系统是否有普足够资源分配给进程，使之运行完成，开始时先做Finish[i]=false,当有足够资源分配给进程时，再令Finish[i]=true 

（2）从进程集合中找到一个满足下列条件的进程： 

【1】Finish[i]=false; 

【2】Need[i, j]<=Work[j] 

若找到，执行步骤3，否则执行步骤4 

（3）当进程Pi获得资源后，可顺利进行，直至完成，并释放出分配给它的资源，故应执行： 

Work[j]=Work[j]+Allocation[i,j]; 

Finish[i]=true; 

go to step2; 

（4）如果所有进程的Finish[i]=true都满足，则表示系统处于安全状态；否则系统处于不安全状态