---

1):是临界区，P1和P2要互斥的访问C1;

2):  Semaphore empty=1,full=0;//用了表示B中是否存在数据

     P1(){

              wait（empty）;

                 C1;

             signal(full);

    };

     P2(){

            wait(full);

              C2;

            signal(empty);

  }

（3）Semaphore  mutex=1//用来互斥访问B

     

P1(){

              wait（mutex）;

                 C3;

             signal(mutex);

    };

     P2(){

            wait(mutex);

              C3;

      ...