利用银行家算法避免死锁

最新推荐文章于 2024-08-07 16:28:55 发布

ZWE7616175

最新推荐文章于 2024-08-07 16:28:55 发布

阅读量3.7k

点赞数 1

分类专栏：操作系统文章标签：死锁银行家算法

本文链接：https://blog.csdn.net/ZWE7616175/article/details/80201520

版权

银行家算法是一种防止死锁的策略，通过确保系统在资源分配时不会进入不安全状态来避免死锁。文章介绍了系统安全状态的概念，说明只有在存在安全序列的情况下系统才是安全的。接着详细阐述了银行家算法的数据结构、资源分配过程以及安全性算法的执行，以实例解释了算法如何确保系统的安全性。

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

一、系统安全状态

安全状态指的是系统能按某种进程推进顺序(P1,P2,…,Pn)为每个进程分配其所需的资源，直至满足每个进程对资源的最大需求，使每个进程都可顺利地完成。此时，序列(P1,P2,…,Pn)为安全序列。如果系统无法找到这样一个序列，则称系统处于不安全状态。
虽然并非所有的不安全状态都必然会转为死锁状态，但当系统进入不安全状态，就有可能进入死锁。反之，只要系统处于安全状态，就不会进入死锁状态。因此，避免死锁的实质在于，系统在进行资源分配时，应使系统不进入安全状态。

所以，只要存在一种分配序列时，系统就是安全的。
举个例子：
假设系统中有三个进程P1，P2，P3，共有12台磁带机。进程P1总共要求10台磁带机，进程P2要求4台磁带机，进程P3总共要求9台磁带机。假设在T0时刻，进程P1，P2，P3分别已经获得5、2、2台，尚有3台为分配。如下所示：
这里写图片描述
这样的系统在T0时刻是安全的，存在一个安全序列P2->P1->P3。过程：将剩余的磁带机取出2台分给P2，使之继续运行，待P2完成后便可释放4台磁带机，此时可用资源为4+(3-2)=5，然后将这5台资源分配给P1，待P1运行完成后可释放10台，P3便可以获得足够的资源，从而使得P1，P2，P3每个