《操作系统》22.pptVIP

第二章 处理机管理 第4课(第8学时) 本节课提纲 回顾上一节课主要内容 处理机管理 程序与进程 进程控制块 进程列表 单道程序设计特点 多道程序设计特点 进程的状态及其转换 单道程序设计的特征 ---程序顺序执行 资源的独占性 独占资源，执行过程中不受外界影响 执行的顺序性 结果的再现性 程序运行结果与程序执行速度无关，只要初始状态相同，结果应相同 多道程序设计环境特点 执行的并发性 宏观上并行，微观上交替执行 相互的制约性 间接制约 直接制约 状态的多变性 在并发环境下程序的执行是间断性的 执行——停——执行 程序结果的不可再现性 并发程序执行的结果与其执行的相对速度有关，是不确定的 并发环境：（异步性） 在一定时间内物理机器上有两个或两个以上的程序同处于开始运行但尚未结束的状态，并且次序不是事先确定的。 程序的并发执行 一组在逻辑上相互独立的程序，在执行过程中其执行时间在客观上互相重叠，即一个程序段的执行尚未结束，另一个程序段的执行已经开始的执行方式。 引入并发的目的： 引入并发是为了提高资源利用率，从而提高系统效率 问题： 并行？ 单处理机能否并行，但是否可以并发？ 多处理机呢？ 边听歌边上网是并行还是并发?  CPU利用率= 40/80 = 50% DEV1利用率= 15/80=18.75% DEV2利用率= 25/80=31.25% 例：多道程序设计用例 进程的基本状态及其转换 一个进程的生命周期可以划分为一组状态，这些状态刻划了整个进程。 不同系统设置的进程状态数目不同。 进程状态模型： 两状态进程模型 三状态进程模型 五状态进程模型 六状态进程模型 七状态进程模型 两状态进程模型 三状态进程模型 进程的三种基本状态：运行态、就绪态、阻塞（等待）态 进程在生命消亡前处于且仅处于三种基本状态之一 运行态（Running）： 进程占有CPU，并在CPU上运行 就绪态（Ready）： 一个进程已经具备运行条件，但由于无CPU暂时不能运行的状态（当调度给其CPU时，立即可以运行） 阻塞态（Blocked）： 指进程因等待某种事件的发生而暂时不能运行的状态 （即使CPU空闲，该进程也不可运行） 五状态进程模型 六状态进程模型 Windows2000 六状态进程模型 七状态进程模型 Linux 七状态进程模型 问题 运行-〉就绪 =〉就绪-〉运行 ？ 运行-〉阻塞 =〉运行-〉就绪 ？ 阻塞-〉就绪 =〉就绪-〉运行 ？ * * B A A B B A A B 程序并发执行 ---多道程序设计 程序A 程序B 程序C 0 4 6 9 14 18 20 23 26 30 4 2 3 5 4 2 3 3 4 程序A 程序B 程序C 0 4 6 9 13 18 22 12 15 17 时间 时间 打印机输出 CPU执行 图例 ： . 单道程序设计环境特点 1. 资源的独占性 . . 执行的顺序性 结果的再现性 多道程序设计环境特点 2. . 执行的并发性 . . 相互的制约性 状态的多变性 1. 总的运行效率 2. cpu使用率 3. 打印机的使用率 t(s) t(s) CPU DEV1 DEV2 CPU CPU A 10 15 20 30 40 DEV2 CPU DEV 1 DEV2 CPU B 10 20 30 40 25 例：单道程序设计用例 CPU利用 = 40/45=89% DEV1并发环境下利用 = 15/45=33% DEV2并发环境下利用 = 25/45=55% Max(t(A),t(B)) = t(A)+t(B) 10 5 5 5 10 10 10 10 5 5 5 10 进程A 进程B CPU DEV1 DEV2 图示 等待 t(s) 多道程序间的制约性 前趋图(Precedence Graph)是一个有向无循环图，记为DAG(Directed Acyclic Graph)，用于描述进程之间执行的前后关系。 Pi→Pj，称Pi是Pj的直接前趋，而称Pj是Pi的直接后继。在前趋图中，把没有前趋的结点称为初始结点(Initial Node)，把没有后继的结点称为终止结点(Final Node)。 每个结点还具有一个重量(Weight)，用于表示该结点所含有的程序量或结点的执行时间。 并发执行时的前趋图 设初值n＝0， 打印结果 n的取值 ① → ② →