前面2-13討論到怎麼避免發生race condition情況,主要是透過臨界區間的概念,並針對2個procress的情況說明3個演算法
今天來聊多個procress時的演算法
Bakery's algo
分析:
滿足 mutual exclusion (互斥)
說明:
號碼小的先進C.S.滿足 progress (可進行性)
說明:
沒有要進C.S.號碼牌設成0,不會影響其他procress滿足 Bounded Waiting (有限性等待)
說明:
我只需要等號碼牌比我小的人
分類會依照第一篇介紹的分類架構來進行
由於是將學習過程記錄下來,如果有任何錯誤歡迎糾正
以下參考連結在學習過程中覺得非常有幫助:
-Chapter3-作業系統-程序間的溝通