银行家算法

Claim:最大需求资源数
Allocation：系统已分配的每类资源数
Need：还需要的资源数
Available：系统还剩下的资源数
Finish：为1时完成进程

此时Request[2]=(1,0,2)<Need[2]=(6,0,2)合法
Request[2]=(1,0,2)<Available=(2,3,1)合法
所以请求可以满足

将资源分配给p2，此时系统状态变为Available-Request[2]=(2,3,1）
Need[2]-Request[2]=(5,0,0)：

进行死锁检测：初始Work=Available=(2,3,1)
只有Need[3]=(0,1,1)<Work=(2,3,1)所以p3执行；
Work+Allocation[3]=(4,4,2)
有Need[1]=(1,2,2)<Work=(4,4,2)和Need[4]=(4,3,1)<Work=(4,4,2)，即p1和p4均可执行，可任选，这