---

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

semaphore mutex_vat=1;//互斥使用水缸

semaphere empty = 10;//水缸还能存储的容量

semaphore full=0;//水缸已有水的桶数

semaphore bucket=3;//水桶的数量

Process YoungMonk:
  P(empty)        # 等缸有空位
  P(buckets)      # 等有可用的桶
  P(mutex_well)   # 等井可用
    从井中打水
  V(mutex_well)
  P(mutex_vat)    # 等缸可用（与老和尚互斥）
    倒水入缸
  V(mutex_vat)
  V(buckets)      # 还桶
  V(full)         # 缸中水增加一桶

Process OldMonk:
  P(full)         # 等缸有水
  P(buckets)      # 等有可用的桶
  P(mutex_vat)    # 等缸可用（与小和尚互斥）
    从缸中取水
  V(mutex_vat)
  V(buckets)      # 还桶
  V(empty)        # 缸中空位增加一个
  喝水

---