进程运行前需要申明需要使用的最大资源数目,每次申请资源时操作系统将根据所有进程的申明搜索可能的执行路径(安全的进程执行顺序),若存在这样一条路径则允许分配资源,若不存在路径则令该进程等待。
相当于抽象了一个有向图,其中包含了所有可能的进程执行路径,操作系统从一个初始顶点出发,目的是去往进程全部执行结束的终点。
每次进程申请资源就是要操作系统选择该条边的邻接点进行移动,有些邻接点存在去往终点的通路,而有些则不存在这条通路,安全性算法就是寻找该邻接点到终点的通路。
若存在通路则安全,不存在则不安全。
样例为 计算机操作系统(第四版)汤晓丹...编版 P113 "银行家算法之例" 节例