semaphore empty = 10; //表示缸还能装多少桶
semaphore full = 0; //表示缸已经装了多少桶
semaphore mutex1 = 1; //表示对井的互斥使用
semaphore mutex2 = 1; //表示对缸的互斥使用
semaphore pail = 3; //表示可用桶数

入水(){
    while(1){
        P(empty);
        P(pail);
        P(mutex1);
        入井打水;
        V(mutex1);
        P(mutex2);
        水入缸;
        V(mutex2);
        V(pail);
        V(full);
    }
}

取水(){
    while(1){
        P(full);
        P(pail);
        P(mutex2);
        入缸取水;
        V(mutex2);
        V(pail);
        V(empty);
    }
}