操作系统-信号量临界区保护
山丘i 人气:0
什么是信号量?通过对这个量的访问和修改,让大家有序推进
### 1. 共同修改信号量引出的问题
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213259596-578105005.png)
### 2. 竞争条件
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213310703-588935161.png)
### 3. 解决竞争条件的直观想法
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213352355-382687384.png)
### 4. 临界区
临界区:临界区是指进程中的一段需要访问共享资源并且另一个进程处于相应代码区域时便不会被执行的代码区域
互斥:当一个进程处于临界区并访问共享资源时,没有其他进程会处于临界区并且访问任何相同的共享资源
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213410254-52852129.png)
**临界区代码的保护原则**
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213423039-46335285.png)
### 5. 临界区尝试一:轮换法
**如果turn=0,那就进入执行,turn!=0,那就空转**
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213444122-279032842.png)
### 6. 临界区的尝试二:标记法
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213458427-410750688.png)
代码实现:
**p0进入先打标记,如果发现p1也打标记了,那么就空转,等p1执行完flag[1] = false , p0再进入执行**,
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213509084-1484580064.png)
标记法引发的问题:
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213520104-450238261.png)
### 7. 临界区的尝试三:非对称标记
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213531692-431031336.png)
**Peterson算法**
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213545857-711797926.png)
**Peterson算法的正确性**
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213554340-1379670440.png)
### 8. 保护临界区方法一
**面包店算法**
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213604250-982601072.png)
面包店算法的正确性:
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213609805-2047307311.png)
### 9. 保护临界区方法二
硬件实现:**开关中断**
仅限用于但处理器
cli(); 关中断
sti(); 开中断
但多cpu不好使:因为当前的cpu只能控制当前的进程
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213622157-627505801.png)
### 10. 保护临界区方法三
**硬件原子指令法**
单处理器和多处理器均可
就是类似于锁的那种,但是这个是一次执行完毕,上锁过程不会被打断
![](https://img2020.cnblogs.com/blog/1212924/202003/1212924-20200317213634849-1102638766.png)
加载全部内容