计算机操作系统第三版第二章进程管理.ppt

2.1 进程的基本概念 一、前趋图 二、程序顺序执行 三、程序并发执行 进程的描述 一、进程的定义、特征 二、进程的状态（状态、状态转换） 三、进程控制块PCB 前趋图的定义 前趋图：有向无循环图（DAG）。描述一个程序的各部分（程序段或语句）间的依赖关系，或者是一个大的计算的各个子任务间的因果（前后）关系。 前趋图中的每个结点可以表示一条语句、一个程序段或一个进程，结点间的有向边表示两个结点之间存在的偏序关系或前趋关系 “→”。 →＝{(Pi,Pj)|在Pj开始前Pi必须完成}。如果(Pi,Pj)∈→，可写成Pi→Pj ，Pi是Pj的直接前趋，Pj是Pi的直接后继。 没有前趋的结点称为初始结点，没有后继的结点称为终止结点。此外，每个结点还具有一个权值，用于表示该结点所含有的程序量或结点的执行时间。 Eg1：以下三条语句的前趋图为： S1: a:=x+y S2: b:=a-5 S3: c:=b+1  Eg2: S1：a:=x+2 S2: b:=y+4 S3: c:=a+b S4: d:=c+6 程序顺序执行 程序顺序执行：必须按照某种先后次序逐个执行。 如：数据输入程序I ? 计算程序C ? 数据输出程序P 程序顺序执行时有如下特征： 顺序性：一个程序各个部分的执行，严格地按照某种先后次序执行。 封闭性：程序在封闭的环境下运行，即程序运行时独占全部系统资源。 可再现性：只要程序执行时的环境和初始条件相同，当程序重复执行时，都将获得相同的结果。 程序顺序执行的特性为程序员检测和校正程序的错误带来很大方便。 程序并发执行 程序可实现并发执行。(输入I、计算C、打印P) 前趋关系：Ii→Ci, Ii→Ii+1, Ci→Pi, Ci→Ci+1, Pi→Pi+1 因此，Ii+1 , Ci, Pi-1 是可以重叠执行的。 程序并发执行（续） 程序的并发执行:指一组在逻辑上互相独立的程序或程序段在执行时间上客观上互相重叠，即一个程序或程序段的执行尚未结束，另一个程序（段）的执行已经开始的方式。 程序并发执行时的特征 间断性（异步性） 失去封闭性：共享资源 不可再现性：失去封闭性 ? 失去可再现性 程序并发执行（续） 程序在并发执行时，由于失去了封闭性，也将导致其再失去可再现性。 例如，有两个循环程序A和B，它们共享一个变量N。程序A每执行一次时，都要做N:=N+1操作；程序B每执行一次时，都要执行Print(N)操作，然后再将N置成“0”。程序A和B以不同的速度运行。这样，可能出现下述三种情况(假定某时刻变量N的值为n)。 程序并发执行（续） (1) N:=N+1在Print(N)和N:=0之前，此时得到的N值分别为n+1，n+1，0。 (2) N:=N+1在Print(N)和N:=0之后，此时得到的N值分别为n，0，1。 (3) N:=N+1在Print(N)和N:=0之间，此时得到的N值分别为n，n+1，0。 程序并发执行（续） 上述情况说明，程序在并发执行时，由于失去了封闭性，其计算结果已与并发程序的执行速度有关，从而使程序的执行失去了可再现性，亦即，程序经过多次执行后，虽然它们执行时的环境和初始条件相同，但得到的结果却各不相同。 程序并发执行时的不可再现性是绝对不允许的；因此应采取措施使并发程序保持其可再现性。 进程的定义、特征 1、进程(Process)的定义 1）进程是程序的一次执行过程。 2）进程是一个程序及其数据在处理机上顺序执行时所发生的活动。 3）进程是程序在一个数据集合上的运行过程，它是系统进行资源分配和调度的一个独立单位。 4）进程是进程实体的运行过程 进程的定义、特征 2、进程的基本特征 （1）结构特征 由程序段、相关数据段及进程控制块（PCB）组成，总称“进程映像”。 进程的定义、特征 2、进程的基本特征 （2）动态性 由“创建”而产生，由“调度”而执行；由得不到资源而阻塞；由撤消而消亡。（而程序是静态的）。 （3）并发性 多个进程实体同时存在于内存中，能在一段时间内同时运行。 （4）独立性 能独立运行的基本单位，也是系统进行资源分配和调度的独立单位。 （5）异步性 指进程以各自独立的、不可预知的速度向前推进。 进程状态 1、进程的5种状态（三种基本状态） New 新建/创建：进程正在创建中的状态。 Ready 就绪：进程已获得了除处理机以外的所有资源，等待分配处理机执行的等待状态。 Running 运行/执行：当一个进程获得必要的资源并