操作系统概念 银行家算法

1.死锁产生的四个条件

互斥：一次只能有一个进程使用资源。
占有并等待：拥有至少一个资源的进程正在等待获取其他进程拥有的其他资源。
非抢占：资源只能在拥有资源的进程完成其任务后才自动释放。
循环等待：等待资源的进程之间存在环（存在一组{P0，P1，…，P0}等待过程，这样P0正在等待P1保留的资源，P1正在等待P2，…，Pn-1保留的资源 正在等待Pn保留的资源，而Pn正在等待P0保留的资源。）
用图表示如下

2.银行家算法思想

银行家算法（Banker’s Algorithm）是一个避免死锁（Deadlock）的著名算法，是由艾兹格·迪杰斯特拉在1965年为T.H.E系统设计的一种避免死锁产生的算法。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行

百度百科
银行家算法是一种最有代表性的避免死锁的算法。在避免死锁方法中允许进程动态地申请资源，但系统在进行资源分配之前，应先计算此次分配资源的安全性，若分配不会导致系统进入不安全状态，则分配，否则等待。为实现银行家算法，系统必须设置若干数据结构

实际使用中，除了 可利用资源向量Available外，还会涉及以下几个矩阵
最大需求矩阵Max。nm矩阵，表示n个进程的每一个对m类资源的最大需求。
分配矩阵Allocation 。nm矩阵，表示每个进程已分配的资源数。
需求矩阵Need 。n*m矩阵，表示每个进程还需要各类资源数。Need=Max-Allocation
申请资源矩阵request

做题格式
T0时刻的安全序列{P1,P3,P4,P2,P0}。
（1）求安全序列

（2）给定一个序列，试探性分配

网上搜的某学校期末真题