哈工大张英涛操作系统视频对应课件21-30(全).ppt

;摒弃“请求和保持”条件;摒弃“请求和保持”

条件的缺点;摒弃“不剥夺”条件;摒弃“不剥夺”条件的缺点;摒弃“环路等待”条件;摒弃“环路等待”条件的缺点;系统平安状态;系统进入不平安状态后可能

进入死锁

只要系统处于平安状态，系统便可防止进入死锁状态。

防止死锁的实质：如何使系统不进入不平安状态。;例：假定系统有三个进程P1、P2、P3．共有12台磁带机。进程P1总共要求10台磁带视，P2和P3分别要求4台和9台。

设在T时刻，进程P1、P2、P3已分别获得；5台、2台和2台、尚有3台空闲未分．

判断系统在T时刻的平安性。;;;;;;谢谢收看;;银行家算法防止死锁;银行家算法的数据结构;可利用资源向量Available;最大需求矩阵Max;分配矩阵Allocation;需求矩阵Need;三个矩阵间关系：

Need[i，j]=

Max[i，j]—Allocation[i，j];银行家算法;〔3〕系统试探着把资源分给进程pi：

Available[j]：=Available[j]-Requesti[j]

Allocation[i，j]：=Allocation[i，j]=+Requesti[j]；

Need[i,j]=Need[i,j]-Requesti[j]；

〔4〕系统执行平安性算法．检查此次资源分配后，系统是否处于平安状态。假设平安，才将资源分配给进程；否那么．将试探分配作废．恢复原来的资源分配状态、让进程pi等待。;平安性算法;〔二〕找满足以下条件的进程：

Finish[i]:=false

Need[i,j]≤Work[j];

假设找到执行步〔三〕否那么执行步骤〔四〕;〔三〕

Work[j]：=Work[i]+Allocation[i,j];

Finish[i]:=true;

Gotostep2;;〔四〕

如果所有进程的Finish[i]:=true

那么系统处于不平安状态;银行家算法之例;;;P1请求资源，按银行家算法进行检查：

〔1〕Request1(1,0,2)≤Need1(1,2,2)

〔2〕Request1(1,0,2)

≤AVailable1(3,3,2)

〔3〕系统假定为P1分配资源并修改向量值

〔4〕利用平安算法检查是否平安。;;可得到平安序列：

p1p3p4p2p0

可以将p1申请的资源分配给它。;谢谢收看;;P4请求资源，按银行家算法进行检查：

〔1〕Request4(3,3,0)≤Need4(1,2,2)

〔2〕Request4(3,3,0)

AVailable1(2,3,0)

那么P4等待。;P0请求资源，按银行家算法进行检查：

〔1〕Request0(0,2,0)≤Need0(7,4,3)

〔2〕Request1(0,2,0)

≤AVailable1(2,3,0)

〔3〕系统假定为P0分配资源并修改向量值

〔4〕利用平安算法检查是否平安。;;死锁的解除;用户程序的主要处理阶段

连续分配方式

虚拟存储器的根本特征

分页、分段存储管理技术

;存储管理的功能

;〔3〕内存保护——检查地址的合法性，防止越界访问

〔4〕内存扩充——解决“求大于供”的问题，采用虚拟存储技术;从用户的源程序进入系统到相应程序在机器上运行，所经历的主要处理阶段有，

，______________和______________。

;编译程序：将用户源代码编译成假设干个目标模块；

链接程序：将一组目标模块及它们所需要的库函数链接在一起，形成一个完整的装入模块

装入程序：将装入模块装入内存。;

内存空间〔或物理空间、绝对空间〕

由内存一系列存储单元所限定的地址范围;

逻辑地址空间

〔或地址空间〕

由程序中逻辑地址组成的地址范围;

相对地址〔或逻辑地址〕

用户程序经编译之后的每个目标模块都以0为基地址顺序编址，这种地址称为相对地址;LOAD1,500;

绝对地址〔或物理地址〕

内存中各物理存储单元的地址是从统一的基地址顺序编址，这种地址称为绝对地址;程序的装入;谢谢收看;;程序的装入;绝对装入方式;可重定位装入方式;LOAD1,500;动态运行时装入方式;程序的链接;静态