java语言的简单银行家算法,其中涉及初始化矩阵以及检查安全序列,是否重分配等