熱點推薦:
您现在的位置: 電腦知識網 >> 編程 >> 操作系統 >> 正文

五 真經之理發師問題擴展(電子科技大學2000)[3]

2013-11-15 15:57:26  來源: 操作系統 

The PV code Using Pascal

  

  begin

  var max_capacity=n barber_chair= cust_ready= finished= leave_b_chair=: semaphore;

  cobegin

    process barber

      begin

      repeat;

      p(cust_ready);

      理發;

      until false

      end

    process customer

      begin

      repeat;

      p(max_capacity);//是否有空閒椅子

      進入店裡

      p(barber_chair);//是否有空閒的理發椅

      坐在理發椅上

      v(cust_ready);//喚醒理發師

      p(finished);//是否完成理發

      離開理發椅

      v(leave_b_chair);

      離開店

      v(max_capacity);

      until false

      end

  coend

  end

 

 

返回《操作系統之PV金典》

[]  []  []  


From:http://tw.wingwit.com/Article/program/czxt/201311/24278.html
    推薦文章
    Copyright © 2005-2013 電腦知識網 Computer Knowledge   All rights reserved.