auto commit
This commit is contained in:
CyC2018
@ -1,26 +1,8 @@
|
||||
<!-- GFM-TOC -->
|
||||
* [必要条件](#必要条件)
|
||||
* [处理方法](#处理方法)
|
||||
* [鸵鸟策略](#鸵鸟策略)
|
||||
* [死锁检测与死锁恢复](#死锁检测与死锁恢复)
|
||||
* [1. 每种类型一个资源的死锁检测](#1-每种类型一个资源的死锁检测)
|
||||
* [2. 每种类型多个资源的死锁检测](#2-每种类型多个资源的死锁检测)
|
||||
* [3. 死锁恢复](#3-死锁恢复)
|
||||
* [死锁预防](#死锁预防)
|
||||
* [1. 破坏互斥条件](#1-破坏互斥条件)
|
||||
* [2. 破坏占有和等待条件](#2-破坏占有和等待条件)
|
||||
* [3. 破坏不可抢占条件](#3-破坏不可抢占条件)
|
||||
* [4. 破坏环路等待](#4-破坏环路等待)
|
||||
* [死锁避免](#死锁避免)
|
||||
* [1. 安全状态](#1-安全状态)
|
||||
* [2. 单个资源的银行家算法](#2-单个资源的银行家算法)
|
||||
* [3. 多个资源的银行家算法](#3-多个资源的银行家算法)
|
||||
<!-- GFM-TOC -->
|
||||
|
||||
[TOC]
|
||||
|
||||
# 必要条件
|
||||
|
||||
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/c037c901-7eae-4e31-a1e4-9d41329e5c3e.png"/> </div><br>
|
||||
|
||||
|
||||
- 互斥：每个资源要么已经分配给了一个进程，要么就是可用的。
|
||||
- 占有和等待：已经得到了某个资源的进程可以再请求新的资源。
|
||||
@ -52,7 +34,7 @@
|
||||
|
||||
## 1. 每种类型一个资源的死锁检测
|
||||
|
||||
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/b1fa0453-a4b0-4eae-a352-48acca8fff74.png"/> </div><br>
|
||||
|
||||
|
||||
上图为资源分配图，其中方框表示资源，圆圈表示进程。资源指向进程表示该资源已经分配给该进程，进程指向资源表示进程请求获取该资源。
|
||||
|
||||
@ -62,7 +44,7 @@
|
||||
|
||||
## 2. 每种类型多个资源的死锁检测
|
||||
|
||||
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/e1eda3d5-5ec8-4708-8e25-1a04c5e11f48.png"/> </div><br>
|
||||
|
||||
|
||||
上图中，有三个进程四个资源，每个数据代表的含义如下：
|
||||
|
||||
@ -111,7 +93,7 @@
|
||||
|
||||
## 1. 安全状态
|
||||
|
||||
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/ed523051-608f-4c3f-b343-383e2d194470.png"/> </div><br>
|
||||
|
||||
|
||||
图 a 的第二列 Has 表示已拥有的资源数，第三列 Max 表示总共需要的资源数，Free 表示还有可以使用的资源数。从图 a 开始出发，先让 B 拥有所需的所有资源（图 b），运行结束后释放 B，此时 Free 变为 5（图 c）；接着以同样的方式运行 C 和 A，使得所有进程都能成功运行，因此可以称图 a 所示的状态时安全的。
|
||||
|
||||
@ -123,13 +105,13 @@
|
||||
|
||||
一个小城镇的银行家，他向一群客户分别承诺了一定的贷款额度，算法要做的是判断对请求的满足是否会进入不安全状态，如果是，就拒绝请求；否则予以分配。
|
||||
|
||||
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/d160ec2e-cfe2-4640-bda7-62f53e58b8c0.png"/> </div><br>
|
||||
|
||||
|
||||
上图 c 为不安全状态，因此算法会拒绝之前的请求，从而避免进入图 c 中的状态。
|
||||
|
||||
## 3. 多个资源的银行家算法
|
||||
|
||||
<div align="center"> <img src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/62e0dd4f-44c3-43ee-bb6e-fedb9e068519.png"/> </div><br>
|
||||
|
||||
|
||||
上图中有五个进程，四个资源。左边的图表示已经分配的资源，右边的图表示还需要分配的资源。最右边的 E、P 以及 A 分别表示：总资源、已分配资源以及可用资源，注意这三个为向量，而不是具体数值，例如 A=(1020)，表示 4 个资源分别还剩下 1/0/2/0。
|
||||
|
||||
@ -140,10 +122,3 @@
|
||||
- 重复以上两步，直到所有进程都标记为终止，则状态时安全的。
|
||||
|
||||
如果一个状态不是安全的，需要拒绝进入这个状态。
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
<div align="center"><img width="320px" src="https://cs-notes-1256109796.cos.ap-guangzhou.myqcloud.com/githubio/公众号二维码-1.png"></img></div>
|
||||
|
||||
Reference in New Issue
Block a user