作者:赵富星; 张帆; 黄继海银行家算法死锁安全序列
摘要:在操作系统的设计与实现中,可以借助多进程并发执行,来提高系统的资源利用率,进 一步提高系统的呑吐量,但与此同时就有可能伴随死锁一类的运行错误.死锁是指由多进程并发执 行中因竞争资源而造成的一种僵局,若无外力作用,这些进程都将无法继续向前推进.而银行家算 法则是一种极具代表性的、典型的避免死锁的算法.本文通过对银行家算法的分析,着重讨论了其 安全序列和安全状态,给出其结构化模型,提出银行家算法的关键在于安全序列; 描 述 了安全性检验 的抽象算法,并在此基础上,利用回退技术给出了一种检索全部安全序列的方法.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社