试用信号量机制实现如图所示前驱关系？

试用信号量机制实现如图所示前驱关系？

p1(){s1;signal(a);signal(b);}

p2(){wait(a);s2;signal(c);signal(d);}

p3(){wait(b);s3;signal(e);}

p4(){wait(c);s4;signal(f);}

p5(){wait(d);s5;signal(g);}

p6(){wait(e);wait(f);wait(g);s6}

semaphore a, b, c,d,e, f,g;

a.value=b.value=c.value=0;

d.value=e.value=0;

f.value=g.value=0;

cobegin

p1();p2();p3();p4();p5();p6;

coend

}