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