操作系统2.4.4 死锁的检测和解除

末蓝、 2023-02-21 01:52 49阅读 0赞

### ![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2R5d182NjY2NjY_size_16_color_FFFFFF_t_70][] ###

### 一、死锁检测 ###

为了能系统是否已经发生死锁进行检测，必须

**1、用一种数据结构来保存资源的请求和分配信息**

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2R5d182NjY2NjY_size_16_color_FFFFFF_t_70 1][]

**2、用一种算法，利用上述信息来检测系统是否进入死锁状态**

如果系统中剩余的可用资源足够满足进程的需求，那么这个进程暂时不会被堵塞，可以顺利执行下去。

如果这个进程执行结束了把资源归还给系统，就可能使得某些正在等待的进程被激活，并且顺利的执行下去。

相应地，这些被激活的进程执行完之后又会归还一些资源，这样可能激活另外一些阻塞的进程...

如果按上述过程，最终能消除所有的边，就称这个图是可以完全简化的。此时一定没有发生死锁（相当于可找到一个安全序列）。

反之，最终不能消除所有的边，那么此时就是发生了死锁，最终还连着边的那些进程就是处于死锁状态的进程

死锁定理：如果某时刻系统的资源分配图不可完全简化，那么此时系统死锁（用于检测是否为死锁状态）

### 二、死锁解除 ###

补充：并不是系统中所有的进程都是 死锁状态，用死锁检测算法化简资源分配图后，还连着边的那些进程就是死锁进程

**1、资源剥夺法**：挂起（暂时放到外存上）某些死锁进程，并抢占它的资源，将这些资源分配给 其他死锁进程。但是应防止被挂起的进程长时间得不到进程而导致饥饿

**2、撤销进程法**（终止进程法）：强制撤销部分，甚至是全部死锁进程，并且剥夺这些进程的全部资源，这种方式的优点是实现简单，但是付出的代价可能会很大。因为有些进程可能已经运行很长时间，已经接近结束，一旦被终止可谓是功亏一篑

**3、进程回退法**：让一个或者多个进程回退到足以避免死锁的地步。这就要求系统要记录进程的历史消息，设置还原点（也不太容易实现）

如何决定对哪些进程下手？

1）进程的的优先级低的先下手

2）已经执行的时间长度短的

3）还要很久进程才能结束

4）进程使用的资源数多的

5）优先牺牲批处理式进程，不是交互式的

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2R5d182NjY2NjY_size_16_color_FFFFFF_t_70 2][]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2R5d182NjY2NjY_size_16_color_FFFFFF_t_70]: https://img-blog.csdnimg.cn/20200628101112887.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2R5d182NjY2NjY=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2R5d182NjY2NjY_size_16_color_FFFFFF_t_70 1]: https://img-blog.csdnimg.cn/20200628101348885.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2R5d182NjY2NjY=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2R5d182NjY2NjY_size_16_color_FFFFFF_t_70 2]: https://img-blog.csdnimg.cn/20200628102649396.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L2R5d182NjY2NjY=,size_16,color_FFFFFF,t_70