操作系统教程第2章复习.pptVIP

2.1.2.前趋图 为了描述一个程序的各部分(程序段或语句)间的依赖关系，或者是一个大的计算的各个子任务间的因果关系，我们常常采用前趋图方式。 前趋图（续） P1为初始结点，P9为终止结点每个结点还具有一个重量。 该前趋图，存在下面的前趋关系：　　P1→P2，P1→P3，P1→P4，P2→P5，P3→P5，P4→P6，P4→P7，P5→P8，P6→P8，P7→P9，P8→P9；或表示为： Ｐ={P1,P2,P3,P4,P5,P6,P7,P8,P9}　={(P1,P2),(P1,P3),(P1,P4),　　(P2,P5),(P3,P5),(P4,P6),　　(P4,P7),(P5,P8),(P6,P8),　　(P7,P9),(P8,P9)} 前趋图（续） 前趋图中的每个结点可以表示一条语句、一个程序段或进程，结点间的有向边表示两个结点之间存在的偏序(Partial_Order)或前趋关系(Precedence_Relation)“→”＝{(Pi,Pj)|在Pj开始前Pi必须完成}如果(Pi,Pj)∈→，可写成Pi→Pj，Pi是Pj的直接前趋，Pj是Pi的直接后继。前趋图中必须不存在循环，如下图不是前趋图。 2.1.3 程序并发执行及特征 1.并发环境： 在一定时间内物理机器上有两个或两个以上的程序同处于开始运行但尚未结束的状态，并且次序不是事先确定的 2. 程序的并发执行 在对一批程序进行处理时，可以并发执行。 例如，输入、计算、打印三个程序对一批作业进行处理时，存在以下的前趋关系： Ii→Ci，Ii→Ii+1，Ci→Pi，Ci→Ci+1，Pi→Pi+1 3.程序的并发执行的特征 不可再现性：由于程序的并发执行，打破了由另一程序独占系统资源的封闭性，因而破坏了可再现性。 间断性：程序并发执行时，由于它们共享资源或程序之间相互合作完成一项共同任务，因而使程序之间相互制约。 通信性：对于相互合作的程序，为了更有效地协调运行，相互之间进行通信。 独立性：并发程序在运行过程中，既然是作为一个独立的运行实体，它也必然具有作为一个单位去获得资源的独立性。 4.多道程序设计 定义：Multiprogramming 多道程序设计是指允许多个程序同时进入内存并运行（引入目的是为了提高系统效率） 与并发不完全是一个概念，但效果相似 考虑因素： 在多道程序环境下如何向用户提供服务 在并发程序之间如何正确传递消息（通讯） 如何对CPU进行调度，保证每个用户相对公平地得到CPU 如何管理其他资源 当各用户对资源使用上发生冲突时，如何处理竞争 对CPU只能通过调度来解决竞争问题，而对于其他资源通过申请—分配—使用—回收的办法进行管理，当且仅当占有CPU的时候才可以申请，否则要排队等候 2. 进程的特征 动态性：进程的实质是程序的一次执行过程， 进程是动态产生，动态消亡的，进程在其生命周期内，在三种基本状态之间转换 并发性：任何进程都可以同其他进程一起向前推进 独立性：进程是一个能独立运行的基本单位，同时也是系统分配资源和调度的独立单位； 异步性：由于进程间的相互制约，使进程具有执行的间断性，即进程按各自独立的、不可预知的速度向前推进 结构特征：为了控制和管理进程，系统为每个进程设立一个进程控制块－ PCB。 3. 进程与程序的区别 程序是静态的，进程是动态的; 进程更能真实地描述并发,而程序不能; 一个程序可对应多个进程，反之亦然; 进程有生命周期，有诞生有消亡，短暂的；而程序是相对长久的; 程序可作为软件资源长期保存，进程只是一次执行过程，是暂时的； 进程是系统分配调度的独立单位，能与其他进程并发执行; 进程是由程序和数据两部分组成的 进程具有创建其他进程的功能，而程序没有 4. 进程创建与中止 1）进程何时创建 提交一个批处理作业 用户登录 由OS创建，用以向一用户提供服务( 如：打印文件) 由已存在的一进程创建 一个用户程序可创建成多个进程 进程何时中止 批处理作业发出暂停（Halt）指令 用户退出登录 进程执行一中止服务请求 出错及失败因素 5. 进程中止的原因 正常结束 给定时限到 缺少内存 存储器出界 保护性出错：例子: 写只读文件 算术错 超出时间：进程等待超过对某事件的最大值 I/O 失败 无效指令：如试图执行数据 特权指令 操作系统干预：如当死锁发生时 父进程请求中止某一子进程 父进程中止，所以子进程也中止 五状态进程模型 准备退出：父进程可中止子进程 思考题 1．如果系统中有N个进程，运行的进程最多几个，最少几个；就绪进程最多几个,最少几个；等待进程最多几个，最少几个？ 2. 有没有这样的状态转换，为什么？ 等待—运行； 就绪—