【正确答案】semaphore mutex1=1, mutex2=l,empty=10, full=0, count=3;
main()
{
Cobegin
小和尚i(i=1，2，…)打水;
老和尚j(j=1，2，…)取水;
Coend;
}
小和尚i(i=1，2，…)打水：
{
while(1)
{ P(empty); //看水缸满否，满则阻塞打水进程
P(count); //申请打水的桶
P(mutex1); //互斥使用水井，即不允许两和尚同时打水
从井中取水;
V(mutex1);
P(mutex2); //互斥使用水缸
送水入缸;
V(mutex2);
V(count); //归还水桶
V(full) //水缸又多一桶水
}
}
老和尚j(j=1, 2，…)取水：
{while(1)
{ P(full); //看水缸是否有水，无水则阻塞取水进程
P(count); //申请取水的桶
P(mutex2); //互斥使用水缸
从缸中取水;
V(mutex2);
V(count) //归还水桶
V(empty); //缸中少了一桶水
}
}

【答案解析】[解析] 小和尚从井中取水并向缸中倒水为一个进程，而老和尚从缸中取水为另一个进程。有关互斥的资源有：水井(一次仅允许一个水桶进出)；水缸(一次倒水、取水仅一个水桶)。分别为它们设置信号量mutex1、mutex2来实现互斥，初值均为1。有关同步的问题是：3个水桶，无论是从井中取水还是倒水入缸或取水出缸都是一次一个，即为其设置信号量count，初值为3，抢不到水桶的进程只好等待。此外，设置信号量empty来控制入缸的水量，初值为10，当水缸满时不可入水；设置信号full控制出缸的水量，初值为0，当水缸空时不可出水。