小和尚和老和尚取水问题

一、问题描述

某寺庙有小和尚、老和尚若干。有一水缸，由小和尚用水桶从井中提水入缸，老和尚用水桶从缸里取水饮用。水缸可容10桶水，水取自同一井中。水井径窄，每次只能容一个水桶取水。水桶总数为3个。每次入、取缸水仅为1桶，且不可以同时进行。 给出有关取水、入水的算法描述。

二、问题分析

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