semaphore mutex_well = 1;   // 水井互斥锁
semaphore mutex_tank = 1;   // 水缸互斥锁
semaphore empty = 10;       // 水缸剩余空间
semaphore full = 0;         // 水缸当前水量
semaphore buckets = 3;      // 可用水桶数量

process_little_monk() {
    while (true) {
        P(buckets);        // 申请一个水桶
        P(mutex_well);     // 申请水井访问权
        从井中打水();
        V(mutex_well);     // 释放水井访问权

        P(empty);          // 检查水缸是否有空间
        P(mutex_tank);     // 申请水缸访问权
        将水倒入缸中();
        V(mutex_tank);     // 释放水缸访问权
        V(full);           // 增加水缸水量
        V(buckets);        // 释放水桶
  &n...