Pv操作解决买面包时的叫号问题
本题来自于王道《操作系统考研复习指导》。
面包师有很多面包,由n名销售人员推销。每名顾客进店后取一个号,并且等待叫号,当一名销售人员空闲时,就叫下一个号。试设计一个使销售人员和顾客同步的算法。
下附代码:
int i = 0;
int j = 0;
semaphore mutex_i = 1;//所有的mutex_i均为1
semaphore mutex_j = 1;
customer(){
进入面包店;
P(mutex_i);//互斥访问i,避免多个顾客同时取号
取号;
i++;
V(mutex_i);//此处存疑
等待叫号并购买面包;
}
seller(){
while(1){
P(mutex_j);
if(j<=i){//此刻存在号码所对应的顾客
叫号j;
j++;//准备叫下一个
V(mutex_j);//此处存疑
销售面包;
}
else {//重复叫该号码,直至存在
V(mutex_j);
休息;
}
}
}
本答案两处存疑:一是为什么在i++后,V(mutex_i)仍未P(mutex_i)所对应的i,而不是V(mutex_i++);举个例子,第3名顾客P(mutex_3)取3号,但是i++后,下面应为V(mutex_4),但根据答案的意思,应该是V(mutex_3),释放mutex_3,如果为mutex_4的话就不能正确运行了。
二是题目中指出有n名销售人员,但代码中并未体现与n名有关的信息。