有关理发师问题的几个疑问，求解答

[zhaojia1989]

理发师问题的伪代码如下：
semaphore customerrdy
semaphore barberrdy
mutex access
int roomwaiting

Barber：
P(customerrdy)
P(access)
roomwaiting++
V(access)
V(barberrdy)

Customer:
P(access)
if roomwaiting > 0
roomwaiting--
V(customerrdy)
V(access) ----注1
P(barberrdy) ----注2
else
V(access)
我理解注1和注2互换是没有问题的，因为对于V操作是不存在阻塞的。
那么这两个互换位置后，与没有交换之前的程序真正运行时的顺序有什么区别？
还有我看wiki上对于这个解法描述说会存在顾客饥饿的问题，这是在什么情况下会出现？

[shiter]

你考虑一下极端情况，若3个顾客，第二个第三个同时运行到roomwaiting--处，你那样就锁住了把