线程同步经典问题，和尚挑水问题

Question

某寺庙有小和尚、老和尚若干。庙内有一水缸、由小和尚提水入缸，供老和尚饮用。水缸可容纳10桶水，每次入水、取水都为1桶，且不可同时进行。水取自同一井中，水井口很小，每次只能容纳一只水桶取水。设水桶个数为3个。试写出小和尚和老和尚的函数，假设有5个小和尚提水入缸，5个老和尚取水喝（每隔一定时间取水一次），分别用不同的线程模拟小和尚和老和尚，使他们能同步进行。（每个和尚一个线程）

Answer 1

Var mutex1, mutex2, empty, full, count: semaphore;
mutex1:=1; mutex2:=1;
empty:=10; full:=0; count:=3;

process 小和尚:
begin
repeat
wait(empty);
wait(count);
wait(mutex1);
从井中取水；
signal(mutex1);
wait(mutex2);
送水入水缸；
signal(mutex2);
signal(count);
signal(full);
until false;
end
process 老和尚:
begin
repeat
wait(full);
wait(count);
wait(mutex2);
从缸中取水；
signal(mutex2);
signal(empty);
signal(count);
until false;
end