2008年下半年计算机软件设计师考试考前秋点兵

　　有参考书上的原分析如下：

　　这是一个典型的生产者-消费者的问题，其中进程PA和PB分别为生产者与消费者，管道为临界区。我们的程序应该设置1个同步信号量，为1时说明管道已满拒绝PA再写入数据，为0时说明管道为空拒绝PB再读出数据，管道初始是没有数据的，所以初始值为0，(特例情况即管道的大小为1个单位);程序还需要1个互斥信号量，来保证程序只有一个进程访问管道，初始值为1。因此选择B。

　　事实上这个分析是错误的，但是答案是正确，为什么?

　　首先来明白什么是互斥信号量。互斥信号量是一个可以处于两态之一的变量：解锁态和加锁态。在该题中，即表示：PA、PB中任何一个在对管道进行读或写时，剩下的那个进程必须等待，而不能一起进行读写，只有当其中一个操作之后才可以让另一个对管道操作。而互斥信号量的使用如下：

　　// mutext是互斥信号量进程A：

// mutext是互斥信号量进程A：

{

......

P(mutext)；

临界区；

V(mutext)；

.....

}

进程B：

{

......

P(mutext)；

临界区；

V(mutext)；

.....

}

　　再回到那个题目，如果按照该题的原分析，使用一个同步信号量一个互斥信号量，不管你如何调整语句顺序，都不能使PA、PB正常并发执行。