semaphore mutex=1;//互斥使用水井
semaphore mutex2=1;//互斥使用水缸
semaphore bucket=3;//水桶数目
semaphore full=0;//水缸中水的数目
semaphore empty=10;//水缸剩余容量

小和尚(){
  while(1){
     p(empty);
     p(bucket);
     p(mutex);
     get water;
     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);
 }
}