正確的分析如下：

　　在這里，因為只有兩個進程，所以不必要設置互斥訪問信號量，只需要設置兩個同步信號量即可(兩個同步信號量即可保證這兩個進程對管道的互斥訪問)：empty，表示空管道個數，初值顯然為1;full，表示滿管道個數，初值顯然為0。

　　其進程語句如下：

             PA進程：
           while (true)
            {
                 P(empty)；
                 寫數據到管道；//進入臨界寫讀數據
                 V(full)；
             }
        PB進程：
           while(true)
             {
                  P(full)；
                  從管道讀數據；//進入臨界區讀數據
                  V(empty)
             }

　　現在如果PA企圖要連續兩次寫數據，第一次寫完之后empty=0，第二次進入PA內再執行P(empty);使得empty=-1，于是PA被阻塞在臨界區這個地方，將PA置入阻塞在empty的等待隊列。它必須等到執行PB中的V(empty)才可以第2次寫入，因為執行PB中的V(empty)之后，empty=0，表明有進程被阻塞在empty信號量上，系統查詢empty信號量的等待隊列，發現PA，于是調入PA執行臨界區操作，注意，因為PA中臨界區在“P(empty);”語句之后，繼續執行PA時不能又一次執行“P(empty);”，而是直接從臨界區“寫數據到管道;”開始繼續執行。

　　這里有兩個關鍵點：(1)兩個同步量即可保證互斥訪問，理由是只有兩個進程PA、PB。(2)在喚醒某一個進程時是接著從臨界區執行的，而不是讓該進程從頭開始執行。