【PV操作】买面包的叫号算法（存疑）

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名有关的信息。