计算机操作系统第二章进程.ppt

第二章　进程管理 　进程的基本概念 　进程控制 　进程同步 经典的进程同步问题 管程机制 　进程通信 线程 2.1 进程的基本概念 程序的顺序执行及特征 前趋图 程序的并发执行及特征 进程的特征与状态 进程控制块 2.1.1 程序的顺序执行及特征 1 程序的顺序执行 即程序在执行时，必须按照某种先后次序进行，仅当前一操作执行完后，才能执行其后续操作。 如对于以下三条语句的程序段： P1: a=x+y P2: b=a+1 P3: c=b-6 2 程序顺序执行时的特征 顺序性 处理机的操作，严格按照程序所规定的顺序执行。 封闭性 程序在运行时，它独占全机资源，因而机内各资源的状态（除初始状态外），只有本程序才能改变它。程序一旦运行，执行结果不受外界因素的影响。 可再现性 只要程序执行时的环境和初始条件相同，当程序多次重复执行，不论是“走走停停”还是“不停顿”，都获得相同的结果。 2.1.2 前趋图与前趋关系 前趋图(Precedence Graph) 一个有向无循环图 描述程序或程序段之间执行的前后关系 前趋关系“?” 如果：(Pi,Pj) ∈?，也可以写成： Pi?Pj 则称：Pi是Pj的直接前趋, Pj是Pi的直接后继 初始节点：没有前趋 终止节点：没有后继 2.1.3 程序的并发执行及特征 对于如下4条语句的程序段: S1:a=x+2 S2:b=y+4 S3:c=a+b S4:d=c+b 2 程序并发执行的特征 间断性 程序并发执行过程中，共享资源或为完成同一项任务而相互合作，致使并发程序之间形成了相互制约关系，执行起来“走走停停” 失去封闭性 程序并发执行过程中，多个程序共享系统中的各种资源，因而这些资源的状态将由多个程序来改变，致使程序的运行失去封闭性 失去可再现性 程序并发执行，由于失去了封闭性，其计算结果与并发程序的执行速度有关，因此也将失去可再现性。 程序A N：=N+1 3 并发程序执行的条件 定义 程序Pi在执行期间所需引用的诸变量ai的集合，称为Pi的读集，记作R(Pi)={a1,a2,a3,…,am}。 程序Pi在执行期间所需改变的诸变量bj的集合，称为Pi的写集，记作W(Pi)={b1,b2,b3,…,bn}。 写出下列4条语句的读集、写集 语句 读集 写集 P1:a=x+y R(P1)={x,y} W(P1)={a} P2:b=z+1 R(P2)={z} W(P2)={b} P3:c=a+b R(P3)={a,b} W(P3)={c} P4:d=c-2 R(P4)={c} W(P4)={d} 定理 2.1.4 进程的特征与状态 1 进程的定义 我国1978年在庐山召开的全国OS研讨会上将“进程”定义为： 进程是一个具有一定独立功能的程序关于某个数据集合的一次运行活动。 本书对进程的定义 进程是进程实体(程序段、相关的数据段和PCB)的运行过程，是系统进行资源分配和调度的一个独立单位。 2 进程的特征及与程序的区别 进程的五个特性 动态性：生命周期。即它由系统“创建”而诞生，因被“调度”而执行，因得不到资源而暂停，最后因被“撤消”而消亡。 并发性：是指不同进程的运行在时间上可以重叠，即系统内的多个进程是可以并发执行的。 独立性：指进程实体是一个能独立运行的基本单位，同时也是系统中独立获得资源和独立调度的基本单位。 异步性：指进程按各自独立的、不可预知的速度向前推进 结构特征：从结构上看，每个进程都由程序段、数据段和一个PCB三部分组成。 进程与程序的区别 (1)从定义上看，进程是程序处理数据的过程，而程序是一组指令的有序集合； (2)进程具有动态性、并发性、独立性和异步性等，而程序不具有这些特性； (3)从进程结构特性上看，它包含程序（以及数据和PCB）； (4)进程和程序并非一一对应。 3 进程的状态与转换 进程的三种基本状态 就绪（Ready）状态：当进程已分配到除CPU以外的所有必要的资源，只要能再获得处理机，便可立即执行 执行（Running）状态：当进程已获得处理机，其程序正在处理机上执行 阻塞（Blocked）状态：正在执行的进程，由于等待某事件发生而无法执行时，便放弃处理机而处于暂停状态。 引入两种状态：创建状态和终止状态 OS在建立一个新进程时，通常分为2步： 第一步是为