2008年下半年計(jì)算機(jī)軟件設(shè)計(jì)師考試考前秋點(diǎn)兵

　　正確的分析如下：

　　在這里，因?yàn)橹挥袃蓚�(gè)進(jìn)程，所以不必要設(shè)置互斥訪問(wèn)信號(hào)量，只需要設(shè)置兩個(gè)同步信號(hào)量即可(兩個(gè)同步信號(hào)量即可保證這兩個(gè)進(jìn)程對(duì)管道的互斥訪問(wèn))：empty，表示空管道個(gè)數(shù)，初值顯然為1;full，表示滿管道個(gè)數(shù)，初值顯然為0。

　　其進(jìn)程語(yǔ)句如下：

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

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

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