---

semaphore  AC=0,BC=0,CD=0,CE=0,EF=0;//AC用来指示A与C的同步关系的；BC用来指示B与C的同步关系的；CD用来指示C与D的同步关系的;CE用来指示C与E的同步关系的;EF用来指示E与F的同步关系的;0代表前面的事未发生,1代表发生;

T1(){
          执行;

         signal(AC);

         

       wait(CE);

         执行;

   signal(EF);

   

   wait(EF);

     执行;

}

T2(){

    

           执行;

         signal(BC);

         执行;

         signal(BC);

       

        wait(AC);

        wait(BC);

         执行；

        signal(CD);

         signal(CE);

       wait(CD);     

  &...