第三章进程控制(不含进程上下文)要点.pptx

第三章 进程描述与控制 OS原理 第3章 进程控制 扬州大学 邹姝稚 §1 为什么要引入进程 一、前趋图 前趋图是描述程序执行顺序的有向无循环 1. 结点Pi：可以表示一条语句、一段程序或一个进程。 2. 前驱(偏序)关系→ ◆ →={ ( Pi, Pj) |Pi must complete before Pj may start } ◆若 ( Pi, Pj) ∈→, 则称Pi是Pj的直接前驱，而Pj是Pi的直接后继。 3. 没有前趋的结点称初始结点，没有后继的结点称作终止结点。 P={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) } OS原理 第3章 进程控制 扬州大学 邹姝稚 §1 为什么要引入进程 二、程序顺序执行 例:有一组计算程序以单道方式顺序执行 特征 顺序性 cpu按程序自身规定的顺序 对程序连续执行 封闭性 确定性 资源封闭性(独占性) 结果封闭性：结果与速度无关 程序多次执行,结果唯一再现 OS原理 第3章 进程控制 扬州大学 邹姝稚 §1 为什么要引入进程 三、程序并发执行 例:有一组计算程序以多道方式并发执行 OS原理 第3章 进程控制 扬州大学 邹姝稚 §1 为什么要引入进程 三、程序并发执行 间断性：程序的执行失去连续性，呈现间断性特征 特征例:有 A、B程序并发执行并共享变量N。形式化描述如下 ： var N:integer:=0; begin parbegin program A: begin L1: N:=N+1; goto L1; end program B: begin L2: print N; N:=0; goto L2; end parend end 与 时 间 有 关 的 错 误 OS原理 第3章 进程控制 扬州大学 邹姝稚 §1 为什么要引入进程 三、程序并发执行 特征 间断性：程序的执行失去连续性，呈现间断性特征 可再入程序 可再入程序是纯代码 的，是指在执行过程 中不改变自身代码的 程序 具有可再入性，能被多个 程序同时调用而被共享 各个调用者自行提供工作区 收容可变部分 失去封闭性：程序执行结果与执行速度有关 程序和程序的执行活动不一一对应 OS原理 第3章 进程控制 扬州大学 邹姝稚 §1 为什么要引入进程 四、Bernstein条件 eg: s1: c=a+b ; s2: d=c+1; 则: R(s1) ={a,b } R( s2) ={c} W(s1) ={c } W( s2) ={d} ∵R(s1) ∩W( s2) ∪ R(s2) ∩W( s1) ∪ W(s1) ∩W( s2) ≠{ } ∴ s1和s2之间存在一个前趋（偏序），表示为： s1 s2 1.读集：R(Pi)={a1,a2,…am} ,表示Pi执行需参考变量集。 2.写集：W(Pi)={b1,b2,…bn} ,表示Pi的执行要改变的变量集。 3.Bernstein条件： 若程序P1，P2满足下述条件便能并发执行并获得正确结果。 R(P1) ∩W(P2) ∪R(P2) ∩W(P1) ∪W(P1) ∩W(P2)={ } OS原理 第3章 进程控制 扬州大学 邹姝稚 §1 为什么要引入进程 四、Bernstein条件 例1 ：根据Bernstein条件，则在如下4条语句中： S1: a:=x+y S2: b:=z+1 S3: c:=a-b S4: w:=c+1 S1和S2两条语句 并发执行，S3和S4两条语句 并发 执行。（回答本小题应考虑：是否可以并发执行） 例2 ：已知求值公式(A2+3B)/(B+5A)，若A、B已赋值，试画出 该公式求值过程的前趋图。 分析： S1: x1=A*A S2: x2=3*B S3: x3=5*A S4: x4=x1+x2 S5: x5=B+x3 S6: x6=x4/x5 OS原理 第3章 进程控制 扬州大学 邹姝稚 §2 什么是进程 1.Dijkstra: 程序在处理机上执行时发生的谓之进程 2.Donovan: 进程是可以和别的计算共行执行的计算 3.A Lan.C.shaw: 进程是程序与其数据顺序通过处理机所发生的 4.E.Cohen: 进程是系统进行资源分配和调度的一个独立单位 5.78年庐山会议: 进程是具有独立功能的程序关于某个数据集 的运行活动 动态性