計算機操作系統 西電 進程同步p52
王道MOOC視頻嗶哩嗶哩鏈接（谷歌瀏覽器）：https://www.bilibili.com/video/av31584226/?p=9
課程思維導圖
一、進程同步與進程互斥
兩個形象而生動的例子來理解
p55 3臨界區（critical section）
p55 4同步機制應遵循的准則
空閑禮讓 忙則等待 有限等待 讓權等待
二、進程互斥的軟件實現方法 4
1.
2.
3.
4.
“孔融讓梨”
這4個實現方法中最好，但依然不夠好。后面優化。
優缺點如下：
三、進程互斥的硬件實現方法 3
1.
2.
3.
添加理解
四、信號量機制
解決以上軟硬件實現方法中——檢查、上鎖無法一氣呵成。
進入區、退出區操作采用原語實現。
信號量其實就是一個變量（可以是一個整數，也可以是一個更復雜的記錄型變量）
根據這個問題，引申兩種類型的信號量：
1.整型信號量
重點關注：區別於記錄型信號量，存在問題——不滿足“讓權等待”原則，會發生“忙等”。
2.記錄型信號量 [大題小題超高頻出題點]
五、用信號量機制實現進程互斥、同步、前驅關系
考試四種類型：實現互斥，實現同步，實現前驅（更復雜的同步），實現多種資源情況下（信號量初值設為幾）
1.實現進程互斥
//☞上面看不見的：
進程1 進程2 進程3 進程4
2.實現進程同步
3.實現進程 前驅關系（更為復雜的同步而已）
