前趋图(Precedence Graph) 是一个有向无环图,记为:→={(Pi,Pj )|Pi must complete before Pj may strat}。假设系统中进程P={P1,P2,P3,P4,P5,P6,P7,P8},且进程的前驱图如下:那么前驱图可记为:(6)
A→={(P2,P1),(P3,P1),(P4,P1),(P6,P4),(P7,P5),(P7,P6),(P8,P7)}
B→={(P1,P2),(P1,P3),(P1,P4),(P2,P5),(P5,P7),(P6,P7),(P7,P8)}
C→={(P1,P2),(P1,P3),(P1,P4),(P2,P5),(P3,P5),(P4,P6),(P5,P7), (P6,P7),(P7,P8)}
D→={(P2,P1),(P3,P1),(P4,P1),(P5,P2),(P5,P2),(P5,P3),(P6,P4), (P7,P5),(P7,P6),(P8,P7)}