第三章进程控制(不含进程上下文)资料.pptxVIP

第三章进程描述与控制OS原理第3章进程控制扬州大学邹姝稚§1为什么要引入进程一、前趋图前趋图是描述程序执行顺序的有向无循环1.结点Pi：可以表示一条语句、一段程序或一个进程。2.前驱(偏序)关系→◆→={(Pi,Pj)|PimustcompletebeforePjmaystart}◆若(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。形式化描述如下：varN:integer:=0;begin parbegin programA:begin L1:N:=N+1; gotoL1; end programB:begin L2:printN; N:=0; gotoL2; end parendend与时间有关的错误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之间存在一个前趋（偏序），表示为：s1s21.读集：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+yS2:b:=z+1S3:c:=a-bS4:w:=c+1S1和S2两条语句并发执行，S3和S4两条语句并发执行。（回答本小题应考虑：是否可以并发执行）例2：已知求值公式(A2+3B)/(B+5A)，若A、B已赋值，试画出该公式求值过程的前趋图。分析：S1:x1=A*AS2:x2=3*BS3:x3=5*AS4:x4=x1+x2S5:x5=B+x3S6:x6=x4/x5OS原理第3章进程控制扬州大学邹姝稚§2什么是进程1.Dijkstra:程序在处理机上执行时发生的谓之进程2.Donovan:进程是可以和别的计算共行执行的计算3.ALan.C.shaw:进程是程序与其数据顺序通过处理机所发生的4.E.Cohen:进程是系统进行资源分配和调度的一个独立单位5.78年庐山会议:进程是具有独立功能的程序关于某个数据集 的运行活动动态性进程特征一、进程定义和特征进程具有生命期：因创建而产生、调度而执行、撤销而消亡，在生命期中历经一系列离散状态及其变迁OS原理第3章进程控制扬州大学邹姝稚§2什么是进程1.Dijkstra:程序在处理机上执行时发生的谓之进程2.Donovan:进程是可以和别的计算共行执行的计算3.ALan.C.shaw:进程是程序与其数据顺序通过处理机所发生的4.E.Cohen:进程是系统进行资源分配和调度的一个独立单位5.78年庐山会议:进程是具有独立功能的程序关于某个数据集 的运行活动进程特征一、进程定义和特征动态性 并发性并发性:一组进程在执行时间上具有重迭,有并发区顺序性:一个进程只呈现一条控制线索,是顺序的结论：进程