操作系统原理——第6章 进程同步

文章结构概览

• 1. 研究背景
  • • （1）生产者-消费者模型

  • 2. 临界区问题

  • 3. Peterson算法

  • 4. 硬件同步

  • • 4.1 单处理器环境

    • • 提出的问题：为何在多处理器系统中无法通过中断屏蔽手段来处理临界区问题

    • 4.2 多处理器环境

    • • 1. 内存屏蔽
      • 2. 硬件指令
      • 3. 原子变量

  • 5. 信号量

  • • 提出的问题：何为忙等待？何为自旋锁？自旋锁具备哪些优势？
    • 5.1 使用方式
    • 5.2 实现方法
    • 5.3 死锁与饥饿现象

  • 6. 经典同步问题

  • • 6.1 受限等待问题

    • 6.2 阅读者-写者问题

    • • 6.2.1 首个读者-写者问题
      • 第二个读者-写者问题

    • 第六点三：哲学家就餐问题

研究背景与问题提出

在多个用户同时访问共享数据的过程中，有可能导致数据出现不一致的情况

（1）生产者-消费者模型

在共享内存的有限缓存机制中，引入一个整型变量counter，并将其初始值设定为0。每当缓冲区中添加新元素时，counter的数值随之增加；而当缓冲区中的元素被移除时，counter的数值则相应减少。