银行家算法安全性序列分析.docVIP

银行家算法安全性序列分析 摘要：在操作系统的处理机调度的过程中，由于竞争资源或者进程间推进顺序非法，都会导致死锁的发生。本文主要研究如何利用银行家算法可以避免死锁，并分析银行家算法安全性序列。 关键词：银行家算法；安全性序列；避免死锁 引言 处理死锁的方法主要包括预防死锁、避免死锁、检测死锁和解除死锁。而利用银行家算法可以避免死锁，在这一避免死锁的过程中，银行家算法安全性序列分析是尤为重要的。 1. 银行家算法中的数据结构 （1） 空闲资源向量Available。这是一个数组，它里面包括m个元素，这些元素都可以分别用来表示一种空闲的资源的数量的多少，系统中存储的这种全部空闲的资源的数量的多少为它的初始值，随该类资源的分配和回收，其数值发生动态地改变。如果Available［j］=K，那么，系统中当前存在K个Rj类资源。 （2） 最大需求矩阵Max。Max矩阵是n×m维的，该矩阵定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max［i,j］=K，那么，进程i需要Rj类资源的最大数量的多少为K。 （3） 分配矩阵Allocation。Allocation矩阵是n×m维的，该矩阵定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation［i,j］=K，那么，进程i当前已分得Rj类资源的数量的多少为K。 （4） 需求矩阵Need。Need矩阵是n×m维的