【计算机专业】操作系统+银行家算法详解.pptxVIP

银行家算法 开放分类： 算法 银行家算法是一种最有代表性的避免死锁的算法。 要解释银行家算法，必须先解释操作系统安全状态和不安全状态。 安全状态：如果存在一个由系统中所有进程构成的安全序列 P1，…，Pn，则系统处于安全 状态。安全状态一定是没有死锁发生。 不安全状态:不存在一个安全序列。不安全状态一定导致死锁。 那么什么是安全序列呢？ 安全序列：一个进程序列{P1，…，Pn}是安全的，如果对于每一个进程 Pi(1≤i≤n），它以后 尚需要的资源量不超过系统当前剩余资源量与所有进程 Pj (j i )当前占有资源量之和。 银行家算法： 我们可以把操作系统看作是银行家，操作系统管理的资源相当于银行家管理的资金，进程向 操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分 配资源，当进程首次申请资源时，要测试该进程对资源的最大需求量，如果系统现存的资源 可以满足它的最大需求量则按当前的申请量分配资源，否则就推迟分配。当进程在执行中继 续申请资源时，先测试该进程已占用的资源数与本次申请的资源数之和是否超过了该进程对 资源的最大需求量。若超过则拒绝分配资源，若没有超过则再测试系统现存的资源能否满足 该进程尚需的最大资源量，若能满足则按当前的申请量分配资源，否则也要推迟分配。 算法： n：系统中进程的总数 m：资源类总数 Available: ARRAY[1..m] of integer; Max: ARRAY[1..n,1..m] of integer; Allocation: ARRAY[1..n,1..m] of integer;;Need: ARRAY[1..n,1..m] of integer; Request: ARRAY[1..n,1..m] of integer; 简记符号： Available Max Allocation Need Request 当进程 pi 提出资源申请时，系统执行下列 步骤： 若 Request≤Need,转（2）； 否则错误返回 若 Request≤Available, 转（3）；否则进程等待 (3）假设系统分配了资源，则有： Available:=Available-Request; Allocation:= Allocation+Request; Need:=Need-Request 若系统新状态是安全的，则分配完成;3;4;5;6;7;8;9;10