（1）假定系统中进程的资源需求和系统总的可用资源已知。 （2）对于给定的一组进程和某时刻系统状态（用资源分配矩阵和可用资源向量刻画），当某进程发出资源分配请求时，判断分配是否安全； （3）要求：若安全，应演示分配（进程推进完成）序列；否则提示无法分配。