使用信号量实现图示的前驱关系。

Var a,b,c,d,e,f,g,h: semaphore := 0,0,0,0,0,0,0,0;

begin

parbegin

begin S1; V(a); V(b); end;

begin S2; V(c); V(d); V(e); end;

begin P(a); S3; V(f); end;

begin P(b); P(c); P(f); S4; V(g); V(h); end;

begin P(e); S5; end;

begin P(g); S6; end;

begin P(d); P(h); S7; end;

parend

end