论文部分内容阅读
对操作系统进程死锁问题中的银行家模型进行了分析,重点讨论了其中的安全序列和安全状态问题,给出其形式化定义。对安全序列的实际意义进行了分析,指出了银行家算法的关键性问题在于安全序列的试探性产生。最后描述了银行家模型和安全状态检查的抽象算法,在此基础上利用回溯技术给出了一个全部安全序列搜索算法的具体实现。