银行家算法+死锁避免+死锁检测

死锁避免+死锁检测算法
模拟实现银行家算法:
给定初始的资源类型与数量(Available向量)
给定若干进程对各类资源最大需求的数量(Max矩阵)
模拟某进程提出资源请求(Request向量),更新分配矩阵(Allocation)和需求矩阵(Need),判断是否允许请求,给出算法结果
模拟实现死锁检测算法(进阶):
模拟资源已经分配的情况
利用资源分配化简算法,判断系统是否已经发生死锁

要求有完整的代码,主要是检测死锁