用C编写的银行家代码算法验证,验证银行家算法的过程。