操作系统： 经典例题——和尚打水

和尚打水问题

         某寺庙,有小和尚和老和尚若干,有一个水缸,由小和尚提水入缸供老和尚饮用.

         水缸可以容纳10桶水,水取自同一口井中,由于水井口窄,每次只能容纳一个水桶取水.

         水桶总数为3个。每次入水、取水仅为一桶,且不可同时进行。

         试给出有关取水、入水的PV算法描述。
分析：

由题可知，

              水井窄，只能容纳一人使用，所以需设一个互斥信号量mutex1来代表井
              每次入水取水不可同时进行，所以需设一个互斥信号量mutex2来代表水缸
              桶为资源信号量，设为count。
              缸中水的数量和老和尚小和尚都有关，需设置两个不同的信号量，

              用empty资源信号量来告知小和尚是否可以提水入缸。
              用full资源信号量来告知老和尚是否可以从缸中取水。
      设：mutex1=1,mutex2=1,count=3,empty=10,full=0;

void little_monk( )
{
	while(true)
	{
		wait(empty);
		wait(count);
		wait(mutex1);
		//此期间为取水阶段
		signal(mutex1);
		wait(mutex2);
		//此期间为倒水入缸阶段
		signal(mutex2);
		signal(count);//还桶
		signal(full);//发消息告知老和尚缸里有水
	}
} 
void old_monk( )
{
	while(true)
	{
		wait(full);
		wait(count);
		wait(mutex2);
		//此期间为从缸中取水阶段
		signal(mutex2);
		signal(count);//还桶
		signal(empty);//发消息告知小和尚可以取水了
	}
}