文档介绍：,.,. 计算机工程与设计
基于死锁避免的资源安全分配算法
杨梅, 滕少华
广东工业大学计算机学院,广东广州
摘要:为了提高传统资源安全分配算法效率,降低安全检查时的系统开销,提出了改进的资源安全分配算法。改进后的算
法在每次安全检查时首先检查申请资源进程,一旦申请资源进程满足判定条件,便可以确定系统处于安全状态。不需要对
系统中所有进程进行检查,缩小了安全检查范围,提高了系统效率。通过算法推理和实例验证,改进后的算法是可行且高效
的,能更好地适应多任务系统中死锁避免的需要,实现资源的安全分配。
关键词:死锁;死锁避免;资源安全分配算法;安全检查; 安全状态
中图法分类号:. 文献标识码: 支章编号:—一—

, —
,
: , ,
. ,
, . ’
, ,.
—.
:; ; ; ;
能按某种进程顺序.,来为每个进程分配其所需资源,
引言
直至满足每个进程对资源的最大需求,使每个进程都能顺利
在多道程序操作系统中,多个进程的并发执行大大改善完成,其中.,:,⋯,被称为安全序列,才正式分配系统资
了系统的资源利用率,提高了系统的吞吐量,但如果系统资源源,从而避免系统进入死锁状态,保证资源的安全分配。如何
分配不当,就可能发生一种危险——死锁。所谓死锁,是指多提高资源安全分配算法的效率,减少安全检查时的系统开销
个进程在运行过程中因争夺资源而造成的一种僵局,当进程一直是国内外学者研究的热点之一。
处于这种僵持状态时,若无外力作用,它们都将无法再向前推
相关工作
进⋯。每个进程都在等待另~ 个进程释放资源,以便自己能执
行下去,结果任何一个进程都无法继续执行,全局处于一种永学者们针对死锁避免问题,提出了许多可行的解决方法。
久的环状的僵持状态。刘荣峰等人通过引入扩展有色网,为并发进程建立了模
为了提高资源共享率及系统吞吐量,现代生产方式大量型,从而避免死锁。滕少华等人则采用面向资源的着色
采用分布式计算环境及多任务调度系统,因此死锁在现代生网建模,利用路径柔性特征,提出一个系统无死锁的充分条
产活动中依然广泛存在。不合理的资源分配方式,不恰当的件,并给出相应的控制规律,从而避免死锁。
任务调度策略,都会给生产生活造成损失。解决死锁问题,获在避免死锁问题的研究中,资源安全分配算法最初用于
得较高的资源利用率及系统吞吐量,已经成为多道作业系统对单种资源类型分配的死锁避免,后来将此算法
中非常重要的问题。而避免死锁则是解决死锁问题的重要方扩展到多种类型资源分配的死锁避免中。目前资源安全分配
法之一。算法大量应用于多进程多任务的复杂系统中,特别是在生产
最有代表性的避免死锁的算法,是由提出的资制造系统中应用广泛。如文献。根据和之间的差
源安全分配算法,又称银行家算法。算法通过执行安全检查, 别,对制造系统采用形式化的建模方法,将资源安全分配算法
确保试分配后系统处于安全状态所谓安全状态⋯,是指系统应用于柔性制造系统中,并已在虚拟车间仿真平
收稿日期:——;修订日期:—.。
基金项目:广东省自然科学基金项目【】;广东省科技计划基金项目】。
作者简介:杨梅一,女, 河南信阳人,硕士研究生, 研究