一寺庙,有小和尚、老和尚若干.有一水缸,由小和尚提水入缸供老和尚取水饮用.小和尚用水桶从井中取水,再入缸；老和尚用水桶从水缸中取水饮用.水缸可以容纳10捅水,水桶总数为3个,水取自

Question

一寺庙,有小和尚、老和尚若干.有一水缸,由小和尚提水入缸供老和尚取水饮用.小和尚用水桶从井中取水,
再入缸；老和尚用水桶从水缸中取水饮用.水缸可以容纳10捅水,水桶总数为3个,水取自同一井,每次只能容纳一个水桶取水.每次入、取缸水仅为一通,且不可同时进行.请用信号量给出取水、入水的算法

Answer 1

semaphore =s1 //对缸的占有权
semaphore=s2 //水缸中可以容纳的水桶数
semaphore=s3 //水缸中可以注入的水桶数
semaphore=s4 //水桶数
s1=1,s2=10,s3=0,s4=3
process小和尚
ps2//水缸中没有水
ps4//获得水桶
从井中取水
ps1 //获得对水缸的占有权
送水入缸
vs1//释放对水缸的占有权
vs4//释放水桶
vs3//水缸中获得一桶水
until false
process老和尚 pv3从 //水缸中取水
pcount //获得水桶使用权
ps1 //获得水缸使用权
从水缸中取水
vs1 //释放水缸使用权
vcount //释放水桶使用权
vs2 //水桶中少了一桶水