2008年下半年計算機軟件設計師考試考前秋點兵

　　正確的分析如下：

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

　　其進程語句如下：

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

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

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