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