赵富星，张 帆，黄继海

(郑州工程技术学院 a.机电与车辆工程学院 b.信息工程学院, 郑州 450044)

一种基于回退技术的安全序列检索方法

赵富星a，张 帆b，黄继海b

(郑州工程技术学院 a.机电与车辆工程学院 b.信息工程学院, 郑州 450044)

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

银行家算法;死锁;安全序列

在操作系统引入多道程序设计后，可通过多进程宏观上并行、微观上交替执行来提高系统对资源的利用率和处理能力。为了规避与时间有关的错误的发生，人们提出了各种解决方案。但有这样一种特殊的与时间有关的错误，需要我们进一步研究和探讨，那就是死锁。[1]所谓死锁，就是指若干并发进程因竞争资源而陷入的一种僵局，若无外力作用这些进程将永远无法向前推进。死锁的产生会严重影响系统的可靠性。

通过对死锁产生的原因进行分析，可以归结为两点：