---

semaphore mutexA_C=0,mutexB_C=0,mutexC_E=0,mutexD_E=0   // mutexA_C，mutexB_C是用来表示A,B与C之间的前后关系的信号量，mutexC_E=0,mutexD_E是表                                                                                                            //mutexC_E=0,mutexD_E是表C,D与E之间的前后关系的信号量;

Cobegin{

        A(){

              执行A操作;

              V(mutexA_C=0);

              }

           B(){

               执行B操作;

              V(mutexB_C=0);

          &n...