[教育]第二章 进程管理.ppt

第二章 进程管理 2.1 进程的基本概念 2.2 进程控制 2.3 进程同步 2.4 经典进程的同步问题 2.5 进程通信 2.6 线程 2.1 进程的基本概念 2.1.1 程序的顺序执行及其特征 2.1.2 前趋图 2.1.3 程序的并发执行及其特征 2.1.4 程序并发执行的条件 2.1.5 进程的特征与状态 2.1.6 进程控制块 2.1.1 程序的顺序执行及其特征 1. 程序的顺序执行 仅当前一操作(程序段、语句)执行完后，才能执行后继操作。 例1： S1: a:=x+y; S2: b:=a-5; S3: c:=b+1; 例2：两道程序：输入（I）、计算（C）、打印（P）程序 2.1.1 程序的顺序执行及其特征(续) 2. 程序顺序执行时的特征 顺序性 封闭性 可再现性 2.1.2 前趋图(Precedence Graph) 1.前趋图的概念 前趋图：有向无循环图，记为DAG(Directed Acyclic Graph)，用于描述进程之间执行的前后关系。 结点：每个结点可用于描述一个程序段或进程，或一条语句； 有向边：结点间的有向边则用于表示两个结点之间存在的偏序(Partial Order)或前趋关系(Precedence Relation) “→”。 →={(Pi, Pj) | Pi 在 Pj 开始之前完成} 1.前趋图的概念(续) 直接前趋/直接后继：如果(Pi, Pj)∈→,可写成Pi→Pj，称Pi是Pj的直接前趋，而称Pj是Pi的直接后继。 初始结点/终止结点：在前趋图中，把没有前趋的结点称为初始结点(Initial Node)；把没有后继的结点称为终止结点(Final Node)。 重量(Weight)：每个结点还具有一个重量(Weight)，用于表示该结点所含有的程序量或结点的执行时间。 2.1.2 前趋图（续） 例1： 　　　　Ii→Ci √　 Ci→Pi √ 　P1→I２？× 例２： 2.1.2 前趋图（续） 2.1.3 程序的并发执行及其特征 1. 程序的并发执行 例１：单CPU系统，一台输入设备，一台输出设备，多个作业（输入Ii、计算Ci、输出Pi） 2.1.3 程序的并发执行及其特征(续１) 对于具有下述四条语句的程序段： S1: 　a∶=x+2 S2: 　b∶=y+4 S3: 　c∶=a+b S4: 　d∶=c+b 前趋图如右所示． 2.1.3 程序的并发执行及其特征（续２） 2. 程序并发执行时的特征 间断性（程序与运算不再一一对应） 　　　运行　→　暂停　→　运行　 失去封闭性 不可再现性 程序的并发执行及其特征（续3） 例如，有两个循环程序A和B，共享一个变量N。 程序A　N∶=N+1　　　程序B　　 Print(N) 　　　　　　　　　　　　　　　　 N :＝０ 程序 A 和 B 以不同的速度循环运行， N初值为n。 分析： N∶=N+1在Print(N)和N∶=0之前，此时得到的N值分别为n+1, n+1, 0。 N∶=N+1在Print(N)和N∶=0之后，此时得到的N值分别为n, ０, 1． N∶=N+1在Print(N)和N∶=0之间，此时得到的N值分别为n, n+1, 0。 2.1.4 程序并发执行的条件* 读集 R(Pi)={a1,a2,…,am}表示程序Pi在执行期间需要参考的变量的集合 写集 W(Pi)={b1,b2,…,bn}表示程序Pi在执行期间要改变的变量的集合 Bernstein条件 若两个程序P1、 P2能满足下述条件，它们便能并发执行，且具有可再现性。 R(P1) ∩W(P2) ∪ R(P2) ∩W(P1) ∪ W(P1) ∩W(P2) ={} 2.1.4 程序并发执行的条件(续)* 例：四条语句 S1: a:=x+y S2: b:=z+1 S3: c:=a-b S4: w:=c+1 2.1.5 进程的特征与状态 进程的定义 进程的特征 进程与程序的区别与联系 进程的三种基本状态 新状态与终止状态 挂起状态 １．进程的定义 较典型的进程定义有： (1) 进程是程序的一次执行。 (2)进程是可以和别的计算并发执行的计算。 (3)进程可定义为一个数据结构及能在其上进行操作的一个程序。 (4)进程是一个程序及其数据在处理机上顺序执行时所发生的