前驱图

知识点1

　　前趋图：是一个由结点和有向边构成的有向无循环图。该图通常用于表现事务之间先后顺序的制约关系。

知识点2

　　结点：可以表示一个语句、一个程序段或是一个进程，

知识点1

　　有向边：结点间的有向边表示两个结点之间存在的前趋关系。

例：

在计算机中，经常采用流水线方式执行指令，每一条指令都可以分解为取指、分析 和执行三步。

取指操作为 Ai，分析操作为 Bi 和执行操作为 Ci(i=1,2,3)。

如图 2-4 所示为三个任务各程序段并发执行的前驱图。

知识点3

　　开始结点：A1 没有前趋结点，不受任何制约，可以直接执行；

　　终止结点： C3 没有后继结点；

知识点4

　　在前趋图中，执行先后顺序的制约关系可分为两种：直接制约和间接制约。

重点知识点1

　　直接制约：同操作中，多个步骤之间的制约关系，也可以说是“同步的进程之间的制约关系”。

　　如图 A1、B1、C1 是一条指令的取指、分析、执行的三个步骤，所以它们之间的关系是直接制约。

重点知识点2

　　间接制约：多个操作之间，相同步骤的制约关系，也可以说是“互斥的进程之间的制约关系”。

　　如图A1、A2、A3 之间就存在间接制约的关系。  

重点知识点3

　　并行执行： B1、A2，

　　　　　　C1、B2、A3，

　　　　　　   C2、B3,