生產者—消費者問題
互斥、同步
哲學家就餐問題
互斥
無論生產者、消費者使用緩衝池時應保證互斥使用（互斥訊號量mutex ）
生產者和消費者間交叉有序：
有序的控制最根源在產品數量上。
設定兩個訊號量：
分別針對生產者、消費者設定不同的訊號量，empty和full分別表示緩衝池中空緩衝池和滿緩衝池（即產品）的數量。
偽**如下：
檢查：1.每個程式中用於實現互斥的wait(mutex)和signal(mutex)必須成對地出現。
2.控制順序的訊號量empty和full的wait和signal操作，成對地出現在不同的程序中。
3.在每個程式中的多個wait操作順序不能顛倒。且應先執行對資源訊號量的wait操作，再執行對互斥訊號量的wait操作，否則可能引起程序死鎖。
4.模擬交替執行過程，檢查控制是否正確。
哲學家進餐問題
五個哲學家共用一張圓桌，分別坐在周圍的五張椅子上，在桌子上有五隻碗和五隻筷子，他們的生活方式是交替地進行思考和進餐。平時，乙個哲學家進行思考，飢餓時便試圖取用其左右最靠近他的筷子，只有在他拿到兩隻筷子時才能進餐。進餐畢，放下筷子繼續思考。
可見：相鄰兩位不能同時進餐；最多只能有兩人同時進餐。
1） 記錄型訊號量解決哲學家進餐問題
2） 筷子是臨界資源，在一段時間內只允許乙個哲學家使用。為實現對筷子的互斥使用，用乙個訊號量表示乙隻筷子，五個訊號量構成訊號量陣列。
3） var chopstick: array [0, …, 4] of semaphore;
4） 所有訊號量均被初始化為1。
第i 位哲學家的活動可描述為：
repeat
wait(chopstick[ i ]);
wait(chopstick[ ( i +1) mod 5] );
…eat;
…signal(chopstick[ i ]);
signal(chopstick[ ( i +1) mod 5] );
…think;
until false;
當哲學家飢餓時，總是先拿左邊的筷子，再拿右邊的筷子。
當哲學家進餐畢，先放下左邊的筷子，再放下右邊的筷子。
經典同步問題
1.生產者 消費者問題 1 兩個生產者同時的情況 假設的時間片輪轉順序如下 produce produce wait e wait m buffer in nexp wait e wait m buffer in nexp in in 1 mod n signal m signal f in in ...
2 4經典同步問題
1.生產者消費者問題 1 empty full兩者有天然的數量關係，在pv控制下值不斷變化，但在值等於0的點上是控制順序的關鍵 2 檢查 每個程式中用於實現互斥的wait mutex 和signal mutex 必須成對地出現。控制順序的訊號量empty和full的wait和signal操作，成對地...
經典程序同步問題
文章出處 http heikediguo2005.blog.163.com blog static 2211971200910254235533 依據訊號量與程序的關係，我們可把程序中使訊號量分成私用訊號量和公用訊號量。私有訊號量是指只與制約程序和被制約程序有關的訊號量 公用訊號量是指與一組併發程序...