操作系统：2.1 前趋图与程序执行

目录

2.1 前趋图与程序执行

2.1.1 前趋图

2.1.2 程序顺序执行及其特征

2.1.3 程序并发执行及其特性

---

2.1 前趋图与程序执行

2.1.1 前趋图

• 进程（或程序）之间的前趋关系可用“→”来表示，如果进程Pi和Pj存在着前趋关系，可表示为（Pi，Pj）∈→，也可以写成Pi→Pj，称Pi是Pj的直接前趋，而称Pj是Pi的直接后继。
• 在前趋图中，把没有前趋的结点称为初始结点(Initial Node)，把没有后继的结点称为终止结点(Final Node)。

对于上图（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, 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)}

应当注意，前趋图中必须不存在循环，但在图2-2(b)中却有着下述的前趋关系： S2