---

semaphore  Jing = 1 //一个井

semaphore  empty= 10 //水缸剩余空间

semaphore  full= 0 //水缸已用空间，初始时为空

semaphore  Tong = 3 //水桶数量

//小和尚

void  Xiao() {

           while (1) {

                    P(empty);  // 首先判断水缸是否有空余空间

                    P(Tong);  //拿桶去取水

                    P(Jing);  //访问井

                    执行取水操作

                     V(Jing);   //释放井

                      V(Tong);  //释放水桶

                      V(full);  //水缸水量＋1

           }

}

 

//...