银行家算法

银行家算法

银行家算法（Banker’s Algorithm）是一个避免死锁（Deadlock）的著名算法，是由艾兹格·迪杰斯特拉在1965年为T.H.E系统设计的一种避免死锁产生的算法。它以银行借贷系统的分配策略为基础，判断并保证系统的安全运行。
1.算法原理 　　　
安全性检查算法：用于检查系统进行资源分配后是否安全。在系统试分 配资源后，算法从现有进程列表寻找出一个可执行的进程进行执行，执行完 成后回收进程占用资源；进而寻找下一个可执行进程。当进程需求量大于系 统可分配量时，进程无法执行。当所有进程均可执行，则产生一个安全执行 序列，系统资源分配成功。若进程无法全部执行，即无法找到一条安全序列， 所以此次分配失败。　　　
银行家算法：用来避免死锁。实现银行家算法，每个新进程在进入系统时它必须申明在运行过程中，可能需要的每种资源类型的最大单元数目，其数目不应超过系统所拥有的资源总量。当某一进程请求时，系统会自动判断请求量是否小于进程最大所需，同时判断请求量是否小于当前系统资源剩余量。若两项均满足，则系统试分配资源并执行安全性检查算法。
2.实现思路　　　　
利用3个二维数组分别表示最大需求量矩阵，allocation矩阵，need矩阵，利用一维数组存放available初始值。
3个核心函数：输入函数，安全检查函数，请求资源检验函数