用进程图刻画 fork
- 进程图是捕获并发程序中语句偏序的有用工具:
- 每个顶点对应一条语句的执行
- 有向边 a → b 表示语句 a 发生在语句 b 之前
- 边上可以标记信息，如变量的当前值
- printf 语句的顶点可以标记上 printf 的输出
- 每张图从一个没有入边的顶点开始
- 图的任何拓扑排序对应于程序中语句的一个可行的全序排列.
- 所有顶点的总排序，这些顶点的每条边都是从左到右的
图的任何拓扑排序对应于程序中语句的一个可行的全序排列
两个连续的 fork
输出的可能性就是把这个图竖过来当做树看，路径是否可达（不走回头路）