OS概念——Ch.7 熊猫狗

文章结构概览

• 1. 系统模型
  • • 1.1 死锁状态

  • 2. 死锁特征

  • • 2.1 必要条件
    • 2.2 资源分配图
    • • 2.2.1 组成
      • 2.2.2 死锁问题

  • 3. 死锁处理方法

  • • 3.1 死锁预防

    • • 3.1.1 互斥
      • 3.1.2 占有并等待
      • 3.1.3 非抢占
      • 3.1.4 循环等待

    • 3.2 死锁避免

    • • 3.2.1 安全状态
      • 3.2.2 资源分配图算法
      • 3.2.3 银行家算法

    • 3.3 死锁检测

    • • 3.3.1 资源分配图算法
      • 3.3.2 银行家算法

    • 3.4 死锁恢复

    • • 3.4.1 进程终止
      • 3.4.. 资源抢占

系统模型构建与分析

主要内容
阐述进程在资源使用过程中所遵循的规范，以及可能引发死锁现象的关键因素。

模型假设
① 当某个进程提出对某一资源类型的请求时，系统可将该类型中的任意一个实例分配给该进程以满足其需求。
② 任何进程在使用资源之前必须先行申请资源，并在使用结束后及时释放所占用的资源。
③ 若某次资源申请无法立即得到