死锁（十六）

死锁的必要条件

• 互斥条件：进程互斥使用资源，资源具有独占性
• 不剥夺条件：进程在访问完资源前不能被其他进程进行剥夺
• 部分分配条件：进程边运行边申请资源，临时需要临时分配
• 环路条件：多个进程构成环路，环中每个进程已占用的资源被前一进程申请，而自己申请资源又被环中后一资源占用

预防死锁

预先静态分配法

• 特点
  1. 执行可能被延迟，所需资源不能全部满足
  2. 应用开销增大：运行前估算资源要求
  3. 资源利用率低：资源被占而不用
• 改进
  • 资源分配的单位由进程改为程序步

有序资源分配法

• 目的：破坏环路条件，使得环路无法构成
• 策略：
  1. 系统中的每个资源分配都有一个唯一序号
  2. 进程每次申请资源时只能申请序号更大的资源