PV操作经典例题——和尚打水

和尚打水问题

某寺庙,有小和尚和老和尚若干,有一个水缸,由小和尚提水入缸供老和尚饮用.水缸可以容纳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);//发消息告知小和尚可以取水了
	}
}