有參考書上的原分析如下：

　　這是一個典型的生產者-消費者的問題，其中進程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正常并發執行。