哲學家進餐問題是荷蘭學者Dijkstra 提出的經典問題之一,它是一個信號量機制問題的應用,在操作系統文化史上具有非常重要的地位。對該問題的剖析有助于學生深刻地理解計算機系統中的資源共享、進程同步、死鎖等問題,并能熟練地應用信號量來解決生活中的控制流程,即將生活中的控制流程用形式化的方式表達出來。 假設有5個哲學家，他們花費一生中的時光思考和吃飯。這些哲學家共用一個圓桌，每個哲學家都有一把椅子。在桌子中央是一碗通心面，在桌子上放著5只筷子。（如圖所示）當一個哲學家思考時，他與其他同事不交互。時而，哲學家會感到饑餓，并試圖拿起與他相近的兩只筷子（他與鄰近左、右之間的筷子）。一個哲學家一次只能拿起一只筷子。顯然，他不能從其他哲學家手里拿走筷子。當一個饑餓的哲學家同時有兩只筷子時，他就不能不用釋放他的筷子而自己吃了。當吃完后，他會放下兩只筷子，并再次開始思考。 規定奇數號哲學家先拿他左邊的筷子，然后再去拿右邊的筷子；而偶數號哲學家則相反。按此規定，將是1、 2號哲學家競爭1號筷子；3、4號哲學家競爭3號筷子。即五位哲學家都先競爭奇數號筷子，獲得后，再去競爭偶數號筷子，最后總會有一位哲學家能獲得兩只筷子而進餐。
標簽： Dijkstra 家 信號量 地理
上傳時間： 2014-01-23
上傳用戶：teddysha
利用最少回合數 對於給定一個字串 再給定一些參考字元 利用替換掉字元來達到與給定的字串為目的
標簽：
上傳時間： 2015-11-13
上傳用戶：gundamwzc
以ASAP光學模擬軟體來設計及建構顯示器背光源模組,並測試其可行性
標簽： ASAP 模 可行性 背光源
上傳用戶：lacsx
JiBX是一個為Java提供的XML數據綁定框架。它可以和現存的類一起運行，使用一個靈活的映射定義文件來決定如何將數據對象轉換成XML。
標簽： JiBX Java XML 數據綁定
上傳時間： 2014-01-13
上傳用戶：zyt
一個解線性超定方程組的算法，是用C語言寫的，簡單易懂，而且速度還挺快的。
標簽： 解線性 方程 算法
上傳時間： 2013-12-22
上傳用戶：lanhuaying
可以計匴國英數分數平均 是一個初學者使用的程式
標簽： 分 程式
上傳時間： 2013-12-14
上傳用戶：zaizaibang
精通正則表達式,是一本好書。。可惜就是E文。。還沒找到中文。見量！
標簽： 正 表達式
上傳時間： 2014-12-20
上傳用戶：trepb001
三維張量在不同坐標系統的變換，可用于各向異性介質的介電張量的旋轉等問題
標簽： 坐標系 變換
上傳時間： 2015-11-17
上傳用戶：zhengjian
工業開關量檢測模塊的原代碼,帶斷線檢測功能
標簽： 工業 代碼 開關量 檢測模塊
上傳時間： 2015-11-20
上傳用戶：cjl42111
g.729協議源代碼,c語言,直接可以應用(dsp定點化)
標簽： 729 dsp 協議 源代碼
上傳時間： 2015-11-22
上傳用戶：小寶愛考拉
蟲蟲下載站版權所有 京ICP備2021023401號-1
<center id="koyys"></center>
<strike id="koyys"></strike>
