---

semaphore sac=0;//决定C是否可以运行的同步信号量

semaphore sbc=0;//决定C是否可以运行的同步信号量

semaphore scd=0;//决定D是否可以运行的同步信号量

semaphore sce=0;//决定E是否可以运行的同步信号量

semaphore sef=0;//决定F是否可以运行的同步信号量

Process A(){

   执行A；

   V(sac);

}

Process B(){

   执行B；

  V(sbc);

}

Process C(){

   P(sac);

  P(sbc);

   执行C；

   V(scd);

   V(sce);

}

Process D(){

  P(scd);

  执行D；

}

Process E(){

  P(sce);

  执行E；

  V(sef);

}

Process F(){

 P(sef);

 执行F；

}