什么是信号量?通过对这个量的访问和修改,让大家有序推进

1. 共同修改信号量引出的问题

操作系统-信号量临界区保护 Linux 第1张

SRE实战 互联网时代守护先锋,助力企业售后服务体系运筹帷幄!一键直达领取阿里云限量特价优惠。

2. 竞争条件

操作系统-信号量临界区保护 Linux 第2张

3. 解决竞争条件的直观想法

操作系统-信号量临界区保护 Linux 第3张

4. 临界区

临界区:临界区是指进程中的一段需要访问共享资源并且另一个进程处于相应代码区域时便不会被执行的代码区域

互斥:当一个进程处于临界区并访问共享资源时,没有其他进程会处于临界区并且访问任何相同的共享资源

操作系统-信号量临界区保护 Linux 第4张

临界区代码的保护原则

操作系统-信号量临界区保护 Linux 第5张

5. 临界区尝试一:轮换法

如果turn=0,那就进入执行,turn!=0,那就空转

操作系统-信号量临界区保护 Linux 第6张

6. 临界区的尝试二:标记法

操作系统-信号量临界区保护 Linux 第7张

代码实现:

p0进入先打标记,如果发现p1也打标记了,那么就空转,等p1执行完flag[1] = false , p0再进入执行

操作系统-信号量临界区保护 Linux 第8张

标记法引发的问题:

操作系统-信号量临界区保护 Linux 第9张

7. 临界区的尝试三:非对称标记

操作系统-信号量临界区保护 Linux 第10张

Peterson算法

操作系统-信号量临界区保护 Linux 第11张

Peterson算法的正确性

操作系统-信号量临界区保护 Linux 第12张

8. 保护临界区方法一

面包店算法

操作系统-信号量临界区保护 Linux 第13张

面包店算法的正确性:

操作系统-信号量临界区保护 Linux 第14张

9. 保护临界区方法二

硬件实现:开关中断

仅限用于但处理器

cli(); 关中断

sti(); 开中断

但多cpu不好使:因为当前的cpu只能控制当前的进程

操作系统-信号量临界区保护 Linux 第15张

10. 保护临界区方法三

硬件原子指令法

单处理器和多处理器均可

就是类似于锁的那种,但是这个是一次执行完毕,上锁过程不会被打断

操作系统-信号量临界区保护 Linux 第16张

扫码关注我们
微信号:SRE实战
拒绝背锅 运筹帷幄