前趋图(Precedence Graph)是一种用于描述程序段、进程或任务之间执行顺序和依赖关系的图形表示法。它是一个有向无循环图(DAG,Directed Acyclic Graph),图中的每个节点代表一个程序段、进程、语句或任务,而有向边表示了这些节点间的前趋关系,即某个节点(任务)必须在其指向的节点(任务)之前完成。
有向无环图,记为:–>={(Pi,Pj)|Pi must complete before Pj may start}。
假设系统中进程P={P1,P2,P3,P4,P5,P6,P7,P8},且进程的前趋图如下图所示:
那么,该前趋图可记为:
–>={(P1,P2),(P1,P3),(P1,P4),(P2,P3),(P2,P5),(P3,P4),(P3,P6),(P4,P7),(P5,P6),(P5,P8),(P6,P7),(P7,P8)}