计算机操作系统 西电 进程同步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.实现进程 前驱关系（更为复杂的同步而已）
