admin管理员组

文章数量:1122846

操作系统系列

  学习至此,发现很多学了但很久没用的知识,久而久之,慢慢遗忘。等哪天还需要的话,却发现已经忘得差不多了,即使整理了文档(word等),还是得从头再学一遍。读研第一学期,发现很多东西都可以从博客上学习到,也有不少博主呕心沥血整理了挺多有用的博文。于是,本人借此契机,也慢慢开始整理一些博文,不断改进完善中。整理博文(IT)有如下目的:

  • 首要目的:记录“求学生涯”的所学所悟,不断修改,不断更新!(有读者的互动)
  • 其次目的:在这“开源”的时代,整理并分享所学所悟是一种互利的行为!

博文系列:操作系统课程所学相关算法

  • 1.先来先服务FCFS和短作业优先SJF进程调度算法
  • 2.时间片轮转RR进程调度算法
  • 3.预防进程死锁的银行家算法
  • 4.动态分区分配算法
  • 5.虚拟内存页面置换算法
  • 6.磁盘调度算法

6个实验相关代码的下载地址:http://download.csdn/detail/houchaoqun_xmu/9865648

-------------------------------

预防进程死锁的银行家算法

一、概念介绍和案例解析

  • 银行家算法中的数据结构
  1. 可利用资源向量Available。这是一个含有m个元素的数组,其中的每一个元素代表一类可利用的资源数目,其初始值是系统中所配置的该类全部可用资源的数目,其数值随该类资源的分配和回收而动态地改变。如果Available[j]=K,则表示系统中现有Rj类资源K个。
  2. 最大需求矩阵Max。这是一个n×m的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=K,则表示进程i需要Rj类资源的最大数目为K。
  3. 分配矩阵Allocation。这也是一个n×m的矩阵,它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K,则表示进程i当前已分得Rj类资源的数目为K。
  4. 需求矩阵Need。这也是一个n×m的矩阵,用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K,则表示进程i还需要R j类资源K个,方能完成其任务。
  5. 上述三个矩阵间存在下述关系:Need[i, j]=Max[i, j]-Allocation[i,

本文标签: 死锁银行家算法进程操作系统