用信号量实现进程互斥，同步【操作系统学习笔记】

21.用信号量实现进程互斥，同步

• 🍅实现 进程互斥

  • 分析问题，确定临界区
  • 设置互斥信号量（习惯用mutext来表示），初值为1（互斥问题，信号量初值为1）
  • 临界区之前 对信号量执行 P 操作（P(mutex)）
  • 临界区之后 对信号量执行 V 操作（V(mutex)）

  • 对不同的临界资源需要设置不同的互斥信号量，比如对于打印机就设一个mutex1，对摄像头就设一个mutex2

    P，V 操作必须成对出现。缺少 P 就不能保证临界资源的互斥访问。缺少 V 会导致资源永不被释放，等待进程永不被唤醒

• 🍅实现 进程同步

  • 进程同步：要让 各并发进程 按要求有序地推进

    让本来异步并发的进程相互配合，有序推进

  • 分析问题，找出哪里需要实现“一前一后”的同步关系
  • 设置同步信号量，初始值为0（同步问题，信号量初值为0）
  • 在“前操作”之后执行 V 操作
  • 在“后操作”之前执行 P 操作

  • 可以把 P 看做 上锁， V 看作 解锁，这样好理解的很多

• 🍅实现进程的 前驱关系

  • 分析问题，画出前驱图，把每一对前驱关系都看成一个同步问题（前驱关系问题，本质上就是更复杂的同步问题）
  • 为每一对前驱关系设置同步信号量，初值为0
  • 在每一个“前操作”之后执行 V 操作
  • 在每一个“后操作”之前执行 P 操作