信号量机制
- 之前学习了这些解决进程互斥的方案
*但它们都无法实现“让权等待”,于是Dijkstra提出了一种卓有成效的实现进程互斥、同步的方法----信号量机制,通过设置进程的阻塞和唤醒来实现“让权等待”
- 总结:一个信号量对应一种资源。信号量的值=这种资源的剩余数量(信号量的值如果小于0,说明此时有进程在等待这种资源)
- P(S) - - 申请一个资源S,如果资源不够就阻塞等待
- V(S) - - 释放一个资源S,如果有进程在等待该资源,则唤醒一个进程
整型信号量
- 整型信号量与普通整型变量的区别:对信号量只能执行 初始化、P、V 三种操作
- 存在的问题:不满足“让权等待”原则,会发生“忙等”
记录型信号量
用信号量实现进程互斥
- 设置互斥信号量,初值为1
- 在临界区之前,对信号量执行P操作
- 在临界区之后,对信号量执行V操作
用信号量实现进程同步
- 设置同步信号量,初值为0
- 在“前操作”之后执行V操作
- 在“后操作”之前执行P操作
用信号量实现前驱关系
- 本质上是多级同步问题,可以先分析问题,画出前驱图,把每一对前驱关系都看成一个同步问题