---

semaphore mutex=1;//互斥使用水井

semaphore mutex2=1；//互斥使用水缸

semaphore bucket=3；

sempahore empty=10；//水缸剩余空间

semaphore full=0；//水缸水数目

小和尚(){

   while(1){

       p(empty);
       p(bucket);

       p(mutex);

       取水；

       v(mutex);

       p(mutex2);

       pour water;

       v(mutex2);

       v(full);

       v(bucket);

   }

}

老和尚(){

    while(1){

      p(full);

     p(bucket);

      p(mutex2);

      get water;

      v(mutex2);

      v(empty);

      v(bucket);

    }

}

---