操作系统——银行家算法（含源码实现C++）

本文链接：https://blog.csdn.net/qq_63055790/article/details/135590449

本文深入探讨了操作系统中的死锁问题，重点介绍了银行家算法，这是一种用于避免死锁的经典策略。文章详细阐述了死锁的四个必要条件、处理方法，并通过实例解释了安全状态和不安全状态的概念。同时，给出了银行家算法的C++实现代码，帮助读者理解算法的工作原理。

摘要由CSDN通过智能技术生成

1绪论

1.1综述

在多道程序系统中，多个进程的并发执行来改善系统的资源利用率，提高系统的吞吐量，但可能发生一种危险——死锁。所谓死锁(Deadlock)，是指多个进程在运行过程中因争夺资源而造成的一种僵局，当进程处于这种状态时，若无外力作用，他们都无法在向前推进。要预防死锁，有摒弃“请求和保持”条件，摒弃“不剥夺”条件，摒弃“循环等待”条件等方法。但是，在预防死锁的几种方法之中，都施加了较强的限制条件；而在避免死锁的方法中，所施加的限制条件较弱，有可能获得令人满意的系统性能。在该方法中把系统状态分为安全状态和不安全状态，便可避免死锁的发生。

而最具代表性的避免死锁的算法，便是Dijkstra的银行家算法。利用银行家算法，我们可以来检测CPU为进程分配资源的情况，决定CPU是否响应某进程的请求并为其分配资源，从而很好避免了死锁的产生。

1.2产生死锁的必要条件

（1）互斥条件。进程对所分配到的资源进行排他性的使用，即在一段时间内，某资源只能被一个进程占用。如果此时还有其他进程请求该资源，则请求只能等待，直至占有该资源的进程用完释放。

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

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

（4）循环等待条件。该条件指在发生死锁时，必然存在一个“进程-资源”循环链，即进程集合 ${P0,P1,P2,...,PN}$ 中p0正在等待已被p1占用的资源，p1正在等待已经被p2占用的资源，......，pn正在等待p0占用的资源。

1.3死锁的处理方法

（1）预防死锁。这是一中较为简单和直观的事先预防方法。该方法是通过设置某些限制条件，去破坏产生死锁的必要条件中的一个或多个来预防死锁的。预防死锁是一种较易实现的方法，已被广泛使用。

（2）避免死锁。该方法同样属于事先预防方法，但是它并不需要事先采取各种限制措施来破坏产生死锁的条件，而是在资源的动态分配过程中，用某种方法防止系统进入不安全状态，从而避免发生死锁。

（3）检测死锁。这种方法无须事先采取任何限制措施，允许进程在运行过程中发生死锁。但可以通过检测机构及时地检测出死锁的发生，然后采取适当的措施把进程从死锁中解脱出来。

（4）解除死锁。该方法是指，当检测到系统已经发生死锁时就采取相应的措施，将进程从死锁状态中解脱出来。通常采用的措施是撤销一些进程，回收他们的资源，将回收的资源分配给已处于阻塞状态的进程，使用这些进程能够继续运行。

上述四种方法，从（1）到（4）对死锁的防范措施逐渐降低，但相应的资源利用率逐渐提高，且进程因资源因素而阻塞的频率逐渐下降。（即进程并发程度逐渐提高）

1.4本文主要研究内容

本文研究死锁避免，即死锁处理方法的第三种，主要使用银行家算法进行死锁避免。

银行家算法是一种具有代表性的死锁避免算法，是由Dijkstra提出的。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行。为了了解系统的资源分配情况，假定系统的任何一种资源在任意时刻只能被一个进程使用，任何进程已经占用的资源只能由进程自己释放，而不能由其他进程抢占。当进程申请的资源数大于进程所需宣布的最大资源数时，系统会认为出错。

当进程申请的资源大于目前系统拥有的资源时，该进程必须等待。只有进程申请的资源合法，并且系统当前拥有的资源足够分配时，系统会将这些资源试分配给这些进程，然后进行安全性检测，若安全，则实际分配给进程，否则本次试分配作废，回复原来的资源分配情况，让此进程等待。

2银行家算法

2.1系统安全状态

在避免死锁方法中，把系统的状态分为安全状态和不安全状态两种。当系统处于安全状态时可避免死锁，而系统处于不安全状态时，则可能会进入死锁状态。

2.1.1安全状态

在避免死锁方法中，允许进程动态的申请资源，但系统在进行资源分配之前，应该计算此次资源分配的安全性。若此次资源分配不会导致系统进入不安全状态，则可以将资源分配给进程。否组，令进程等待。所谓的安全状态，是系统可以按照某种进程推进顺序（P0,P1,P2,…,Pn），为每个进程Pi分配其所需的资源，直至满足进程对资源的最大需求，进而使每个进程都可以顺利完成的一种系统状态。此时顺序（P0,P1,P2,…,Pn）称为安全序列。如果系统找不到这样一个序列，则称为不安全序列。虽然不是所有的不安全状态都会引起死锁，但是当系统进入不安全状态后就有可能进入死锁。而只要系统处于安全状态，就不可能会进入死锁。因此，避免，避免死锁的实质在于，让系统在分配资源时不进入不安全状态。