【参考答案】

Semaphore mutex_well = 1; //实现对水井这一互斥资源的互斥访问
Semaphore mutex_vat = 1; //实现对水缸这一互斥资源的互斥访问
Semaphore vat_empty = 10; //水缸剩余能容纳的水的桶数
Semaphore vat_full = 0; //水缸已容纳的水的桶数
Semaphore pail = 3; //空闲的水桶的数量

CoBegin{
    process 小和尚 {
        while(TRUE){
            P(vat_empty); //（同步）申请向水缸倒水，若水缸已满则等待
            P(pail); //申请使用空闲水桶，如没有空闲水桶则等待
            P(mutex_well); //（互斥）防止他人使用水井
            从井中取水;
            V(mutex_well); //（互斥）允许他人使用水井
            P(mutex_vat); //（互斥）防止他人使用水缸
            将水倒入水缸;
            V(mutex_vat); //（互斥）允许他人使用水缸
            V(vat_full); //（同步）水缸已用容量加1，若有老和尚喝水则通知
            V(pail); //释放一个空闲水桶，若有和尚在等待使用，则通知
        }
    }
    process 老和尚 {
        while(TRUE){
            P(vat_full); //（同步）申请从水缸取水，若水缸为空，则等待
            P(pail); //申请使用空闲水桶，如没有空闲水桶则等待
            P(mutex_vat); //（互斥）防止他人使用水缸
            从水缸取水;
            V(mutex_vat); //（互斥）允许他人使用水缸
            V(vat_empty); //（同步）水缸剩余容量加1，若有小和尚等打水则通知
            喝水;
            V(pail); //释放一个空闲水桶，若有和尚在等待使用，则通知
        }
    }
}CoEnd