void Staff(i){
        while(ture){
                P(customer);
                P(mutex_s);
                        count_s ++;
                        叫编号为count_s的顾客；
                V(mutex_s);
                服务；
        }
}

//////////////////////////////////////////////////////////

void Customer(){
        P(mutex_c);
                count_c ++;
        V(mutex_c);
        V(customer);
        P(staff);
                接受服务；
        V(staff);
        离开；
}

这个问题很像理发师问题，但是它没有进屋人数的限制。它叫做面包师问题，由Lamport（注：Lamport对分布式os有重大贡献）在1974年提出。

count_c是顾客的编号，是一定要要的。

我在前面反复说过，P，V不能实现先来先服务。这个是由于P，V本身的随机性导致的。

对随机性的理解：
（1）多进程并发执行时的相对速度在执行前不能做任何假设。
（2）在一组进程执行之后，它们刚才的执行速度不可能重现。
（3）V的定义是从等待队列中随机的释放一个进程。
（4）一个进程的执行也受到其它进程不可估计的干扰。

以上是理论。我在这方面曾经专门研究过，先来先服务并不是绝对不行的，我提供两种方法：
（1）按照写者优先思想，一个进程一个队列，n个进程设置成为n个队列。该算法比较容易理解，但是几乎是无法编成实现的。
（2）引入队列，一个进程被阻塞到队列尾，释放时释放队列首进程。这似乎有些不伦不类，已经不像是P，V题了。

UNIX中有过所谓的Hard semaphore的概念，说V时释放队首进程。这主要可能是为实时系统提供的，而且它似乎从没有被实现过。所有基于POSIX标准的os几乎都是采用weak semaphore，这与人们对实时系统本质的理解有关。“实时系统中其实可能不存在抢占”。

以下是引用ychj在2006-10-29 2:19:00的发言： 所谓银行叫号就是要让先拿号的顾客一定先得到服务。 请大家仔细分析一下代码，存在以下问题： (1) 上面这段代码有这种可能性：i+1号顾客在i号顾客之前进入Staff等待队列，从而先得到服务，这显然是有问题的。 (2) 服务于接受服务之间缺乏同步。例如：Customer也许已经执行完“接受服务”了，Staff可能才开始执行“服务”。 (3) 当Customer进程唤醒Staff进程后，可能Staff还没开始叫号，而Customer已经接受完服务并离开了，这都是不合理的。 这是上述算法的明显问题，大家想想有什么好的解决方案。

void Staff(i){
        while(true){
                P(customer);
                P(mutex_s);
                        count_s ++;
                        叫编号为count_s的顾客；
                V(mutex_s);
                V（staff）；
                P（begin）；
                服务；
        }
}

//////////////////////////////////////////////////////////

void Customer(int &i){
        P(mutex_c);
                i=count_c ++; //i表示自己的号码
        V(mutex_c);
        V(customer);
L：     P(staff);
        if（check（i）） //看一下是否叫的是自己，是则执行；否则让权   
        { V（begin）；被服务；}
        else
        { V（staff）；goto L；}
        离开；
}
注：这个算法虽然有缺点，但是解决了ychj的问题。

我个人觉得，PV操作中既然可以用数组，用队列是没有什么问题的，并且都是伪码级的。
大家觉得呢？

另外：北大的教材和Tanenbaum的教材上的V定义均是随机释放。

以下是引用ychj在2006-10-31 0:59:00的发言： "（3）V的定义是从等待队列中随机的释放一个进程。" 这句话感觉有问题，既然是用队列存储，肯定是按先进先出的顺序。

如果谁还对busywaiting这种方式不满，可以采用我给的先来先服务思想解决这个问题。欢迎跟帖讨论。