操作系统 day15（信号量、用信号量实现进程互斥/同步/前驱）

信号量机制

• 之前学习了这些解决进程互斥的方案
  
  *但它们都无法实现“让权等待”，于是Dijkstra提出了一种卓有成效的实现进程互斥、同步的方法----信号量机制，通过设置进程的阻塞和唤醒来实现“让权等待”
  
• 总结：一个信号量对应一种资源。信号量的值=这种资源的剩余数量（信号量的值如果小于0，说明此时有进程在等待这种资源）
• P(S) - - 申请一个资源S，如果资源不够就阻塞等待
• V(S) - - 释放一个资源S，如果有进程在等待该资源，则唤醒一个进程

整型信号量

• 整型信号量与普通整型变量的区别：对信号量只能执行 初始化、P、V 三种操作
• 存在的问题：不满足“让权等待”原则，会发生“忙等”

记录型信号量

用信号量实现进程互斥

• 设置互斥信号量，初值为1
• 在临界区之前，对信号量执行P操作
• 在临界区之后，对信号量执行V操作

用信号量实现进程同步

• 设置同步信号量，初值为0
• 在“前操作”之后执行V操作
• 在“后操作”之前执行P操作

用信号量实现前驱关系

• 本质上是多级同步问题，可以先分析问题，画出前驱图，把每一对前驱关系都看成一个同步问题