CH处理机管理一.pptxVIP

CH处理机管理一第1页/共173页 2如对于以下三条语句的程序段： S1: a=x+yS2: b=a+1S3: c=b-6 其中的语句P2必须在a被赋值后才能执行。同样,P3也只能在b被赋值后才能执行。 第2页/共173页 3二、程序顺序执行时的特征1.顺序性 处理机的操作，严格按照程序所规定的顺序执行。2.封闭性 程序在运行时，它独占全机资源，因而机内各资源的状态（除初始状态外），只有本程序才能改变它。程序一旦运行，执行结果不受外界因素的影响。3.可再现性 只要程序执行时的环境和初始条件相同，当程序多次重复执行，不论是“走走停停”还是“不停顿”，都获得相同的结果。第3页/共173页 4I1I2I3I4C1C2C4C3P1P2P3P4三、程序并发执行第4页/共173页 5四、并发程序执行的条件1．定义程序Pi在执行期间所需引用的诸变量ai的集合，称为Pi的读集，记作R(Pi)={a1,a2,a3,…,am}。程序Pi在执行期间所需改变的诸变量bj的集合，称为Pi的写集，记作W(Pi)={b1,b2,b3,…,bm}。 第5页/共173页 6写出下列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}第6页/共173页 72．定理 如果两个程序P1和P2满足下述条件，它们便能并发执行，否则不能。 R(P1)∩W(P2)∪R(P2)∩W(P1)∪W(P1)∩W(P2)={} 即当两个程序的读集与写集的交集以及写集与写集的交集都为空集时，它们可以并发执行，否则不行。该定理是程序并发执行的条件，是Bernstein在1966年提出的，故称Bernstein条件。 第7页/共173页 8写出下列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}R(P1)∩W(P2)∪R(P2)∩W(P1)∪W(P1)∩W(P2)={} 第8页/共173页 9I1I2I3I4C1C2C4C3P1P2P3P4程序并发执行的特征第9页/共173页 程序并发执行时的特征：间断性 程序在并发执行时，由于共享资源，或者为完成同一任务而相互合作，致使在并发程序间形成了相互制约的关系。失去封闭性 程序在并发执行时，是多个程序共享系统中的各种资源，所以这些资源的状态可以由多个程序来改变，，使其失去了封闭性。不可再现性 程序在并发执行时，由于失去了封闭性，也导致失去了可再现性。第10页/共173页 11I1C1P2P1I2C2 前趋图 第11页/共173页 122.1.2 前趋图 前趋图(Precedence Graph)是一个有向无循环图，记为DAG(Directed Acyclic Graph)，用于描述进程之间执行的前后关系。图中的每个结点可用于描述一个程序段或进程，乃至一条语句；结点间的有向边则用于表示两个结点之间存在的偏序(Partial Order)或前趋关系(Precedence Relation)“→”。 →={(Pi, Pj)|Pi must complete before Pj may start}, 如果(Pi, Pj)∈→,可写成Pi→Pj，称Pi是Pj的直接前趋，而称Pj是Pi的直接后继。在前趋图中，把没有前趋的结点称为初始结点(Initial Node)，把没有后继的结点称为终止结点(Final Node)。第12页/共173页 13 每个结点还具有一个重量(Weight)，用于表示该结点所含有的程序量或结点的执行时间。 Ii→Ci→Pi和S1→S2→S3 图 2-2 前趋图 第13页/共173页 14对于图 2-2(a)所示的前趋图， 存在下述前趋关系： P1→P2, P1→P3, P1→P4, P2→P5, P3→P5, P4→P6, P4→P7, P5→P8, P6→P8, P7→P9, P8→P9或表示为： P={P1, P2, P3, P4, P5, P