操作系统教程第2篇复习.pptVIP

2.1.2.前趋图 为了描述一个程序的各部分(程序段或语句)间的依赖关系，或者是一个大的计算的各个子任务间的因果关系，我们常常采用前趋图方式。 前趋图（续） P1为初始结点，P9为终止结点每个结点还具有一个重量。 该前趋图，存在下面的前趋关系：　　P1→P2，P1→P3，P1→P4，P2→P5，P3→P5，P4→P6，P4→P7，P5→P8，P6→P8，P7→P9，P8→P9；或表示为： Ｐ={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)} 前趋图（续） 前趋图中的每个结点可以表示一条语句、一个程序段或进程，结点间的有向边表示两个结点之间存在的偏序(Partial_Order)或前趋关系(Precedence_Relation)“→”＝{(Pi,Pj)|在Pj开始前Pi必须完成}如果(Pi,Pj)∈→，可写成Pi→Pj，Pi是Pj的直接前趋，Pj是Pi的直接后继。前趋图中必须不存在循环，如下图不是前趋图。 2.1.3 程序并发执行及特征 1.并发环境： 在一定时间内物理机器上有两个或两个以上的程序同处于开始运行但尚未结束的状态，并且次序不是事先确定的 2