auto commit

notes/计算机操作系统.md

@@ -49,18 +49,19 @@
     * [死锁的必要条件](#死锁的必要条件)
     * [死锁的处理方法](#死锁的处理方法)
         * [1. 鸵鸟策略](#1-鸵鸟策略)
-        * [2. 死锁预防](#2-死锁预防)
-            * [2.1 破坏互斥条件](#21-破坏互斥条件)
-            * [2.2 破坏占有和等待条件](#22-破坏占有和等待条件)
-            * [2.3 破坏不可抢占条件](#23-破坏不可抢占条件)
-            * [2.4 破坏环路等待](#24-破坏环路等待)
-        * [3. 死锁避免](#3-死锁避免)
-            * [3.1 安全状态](#31-安全状态)
-            * [3.2 单个资源的银行家算法](#32-单个资源的银行家算法)
-            * [3.3 多个资源的银行家算法](#33-多个资源的银行家算法)
-        * [4. 死锁检测与死锁恢复](#4-死锁检测与死锁恢复)
-            * [4.1 死锁检测算法](#41-死锁检测算法)
-            * [4.2 死锁恢复](#42-死锁恢复)
+        * [2. 死锁检测与死锁恢复](#2-死锁检测与死锁恢复)
+            * [2.1 每种类型一个资源的死锁检测](#21-每种类型一个资源的死锁检测)
+            * [2.2 每种类型多个资源的死锁检测](#22-每种类型多个资源的死锁检测)
+            * [2.3 死锁恢复](#23-死锁恢复)
+        * [3. 死锁预防](#3-死锁预防)
+            * [3.1 破坏互斥条件](#31-破坏互斥条件)
+            * [3.2 破坏占有和等待条件](#32-破坏占有和等待条件)
+            * [3.3 破坏不可抢占条件](#33-破坏不可抢占条件)
+            * [3.4 破坏环路等待](#34-破坏环路等待)
+        * [4. 死锁避免](#4-死锁避免)
+            * [4.1 安全状态](#41-安全状态)
+            * [4.2 单个资源的银行家算法](#42-单个资源的银行家算法)
+            * [4.3 多个资源的银行家算法](#43-多个资源的银行家算法)
 * [第四章 存储器管理](#第四章-存储器管理)
     * [虚拟内存](#虚拟内存)
     * [分页与分段](#分页与分段)
@@ -548,63 +549,21 @@ void philosopher(int i) {
 
 这种策略不可取。
 
-### 2. 死锁预防
-
-在程序运行之前预防发生死锁。
-
-#### 2.1 破坏互斥条件
-
-例如假脱机打印机技术允许若干个进程同时输出，唯一真正请求物理打印机的进程是打印机守护进程。
-
-#### 2.2 破坏占有和等待条件
-
-一种实现方式是规定所有进程在开始执行前请求所需要的全部资源。
-
-#### 2.3 破坏不可抢占条件
-
-#### 2.4 破坏环路等待
-
-给资源统一编号，进程只能按编号顺序来请求资源。
-
-### 3. 死锁避免
-
-在程序运行时避免发生死锁。
-
-#### 3.1 安全状态
-
-<div align="center"> <img src="../pics//ed523051-608f-4c3f-b343-383e2d194470.png"/> </div><br>
-
-图 a 的第二列 Has 表示已拥有的资源数，第三列 Max 表示总共需要的资源数，Free 表示还有可以使用的资源数。从图 a 开始出发，先让 B 拥有所需的所有资源（图 b），运行结束后释放 B，此时 Free 变为 5（图 c）；接着以同样的方式运行 C 和 A，使得所有进程都能成功运行，因此可以称图 a 所示的状态时安全的。
-
-定义：如果没有死锁发生，并且即使所有进程突然请求对资源的最大需求，也仍然存在某种调度次序能够使得每一个进程运行完毕，则称该状态是安全的。
-
-#### 3.2 单个资源的银行家算法
-
-一个小城镇的银行家，他向一群客户分别承诺了一定的贷款额度，算法要做的是判断对请求的满足是否会进入不安全状态，如果是，就拒绝请求；否则予以分配。
-
-<div align="center"> <img src="../pics//d160ec2e-cfe2-4640-bda7-62f53e58b8c0.png"/> </div><br>
-
-上图 c 为不安全状态，因此算法会拒绝之前的请求，从而避免进入图 c 中的状态。
-
-#### 3.3 多个资源的银行家算法
-
-<div align="center"> <img src="../pics//62e0dd4f-44c3-43ee-bb6e-fedb9e068519.png"/> </div><br>
-
-上图中有五个进程，四个资源。左边的图表示已经分配的资源，右边的图表示还需要分配的资源。最右边的 E、P 以及 A 分别表示：总资源、已分配资源以及可用资源，注意这三个为向量，而不是具体数值，例如 A=(1020)，表示 4 个资源分别还剩下 1/0/2/0。
-
-检查一个状态是否安全的算法如下：
-
-- 查找右边的矩阵是否存在一行小于等于向量 A。如果不存在这样的行，那么系统将会发生死锁，状态是不安全的。
-- 假若找到这样一行，将该进程标记为终止，并将其已分配资源加到 A 中。
-- 重复以上两步，直到所有进程都标记为终止，则状态时安全的。
-
-### 4. 死锁检测与死锁恢复
+### 2. 死锁检测与死锁恢复
 
 不试图阻止死锁，而是当检测到死锁发生时，采取措施进行恢复。
 
-#### 4.1 死锁检测算法
+#### 2.1 每种类型一个资源的死锁检测
 
-死锁检测的基本思想是，如果一个进程所请求的资源能够被满足，那么就让它执行，释放它拥有的所有资源，然后让其它能满足条件的进程执行。
+<div align="center"> <img src="../pics//b1fa0453-a4b0-4eae-a352-48acca8fff74.png"/> </div><br>
+
+上图中表示资源分配图，其中方框表示资源，圆圈表示进程。资源指向进程表示该资源已经分配给该进程，进程指向资源表示进程请求获取该资源。
+
+图 a 可以抽取出环，如图 b，这就满足了环路等待条件，因此检测到死锁的存在。
+
+每种类型一个资源的死锁检测算法就是通过检测有向图是否存在环来实现，从一个节点出发进行深度优先搜索，对访问过的节点进行标记，如果访问了已经标记的节点，就表示有向图存在环，也就是发生了死锁。
+
+#### 2.2 每种类型多个资源的死锁检测
 
 <div align="center"> <img src="../pics//e1eda3d5-5ec8-4708-8e25-1a04c5e11f48.png"/> </div><br>
 
@@ -625,12 +584,63 @@ void philosopher(int i) {
 2. 如果找到了这样一个进程，那么将 C 矩阵的第 i 行向量加到 A 中，标记该进程，并转回 1。
 3. 如果没有这样一个进程，算法终止。
 
-可以看到，死锁检测和银行家算法中判断是否为安全状态的方法类似。
-
-#### 4.2 死锁恢复
+#### 2.3 死锁恢复
 
 - 利用抢占恢复
-- 杀死进程
+- 利用回滚恢复
+- 通过杀死进程恢复
+
+### 3. 死锁预防
+
+在程序运行之前预防发生死锁。
+
+#### 3.1 破坏互斥条件
+
+例如假脱机打印机技术允许若干个进程同时输出，唯一真正请求物理打印机的进程是打印机守护进程。
+
+#### 3.2 破坏占有和等待条件
+
+一种实现方式是规定所有进程在开始执行前请求所需要的全部资源。
+
+#### 3.3 破坏不可抢占条件
+
+#### 3.4 破坏环路等待
+
+给资源统一编号，进程只能按编号顺序来请求资源。
+
+### 4. 死锁避免
+
+在程序运行时避免发生死锁。
+
+#### 4.1 安全状态
+
+<div align="center"> <img src="../pics//ed523051-608f-4c3f-b343-383e2d194470.png"/> </div><br>
+
+图 a 的第二列 Has 表示已拥有的资源数，第三列 Max 表示总共需要的资源数，Free 表示还有可以使用的资源数。从图 a 开始出发，先让 B 拥有所需的所有资源（图 b），运行结束后释放 B，此时 Free 变为 5（图 c）；接着以同样的方式运行 C 和 A，使得所有进程都能成功运行，因此可以称图 a 所示的状态时安全的。
+
+定义：如果没有死锁发生，并且即使所有进程突然请求对资源的最大需求，也仍然存在某种调度次序能够使得每一个进程运行完毕，则称该状态是安全的。
+
+安全状态的检测与死锁的检测类似，因为安全状态必须要求不能发生死锁。下面的银行家算法与死锁检测算法非常类似，可以结合着做参考对比。
+
+#### 4.2 单个资源的银行家算法
+
+一个小城镇的银行家，他向一群客户分别承诺了一定的贷款额度，算法要做的是判断对请求的满足是否会进入不安全状态，如果是，就拒绝请求；否则予以分配。
+
+<div align="center"> <img src="../pics//d160ec2e-cfe2-4640-bda7-62f53e58b8c0.png"/> </div><br>
+
+上图 c 为不安全状态，因此算法会拒绝之前的请求，从而避免进入图 c 中的状态。
+
+#### 4.3 多个资源的银行家算法
+
+<div align="center"> <img src="../pics//62e0dd4f-44c3-43ee-bb6e-fedb9e068519.png"/> </div><br>
+
+上图中有五个进程，四个资源。左边的图表示已经分配的资源，右边的图表示还需要分配的资源。最右边的 E、P 以及 A 分别表示：总资源、已分配资源以及可用资源，注意这三个为向量，而不是具体数值，例如 A=(1020)，表示 4 个资源分别还剩下 1/0/2/0。
+
+检查一个状态是否安全的算法如下：
+
+- 查找右边的矩阵是否存在一行小于等于向量 A。如果不存在这样的行，那么系统将会发生死锁，状态是不安全的。
+- 假若找到这样一行，将该进程标记为终止，并将其已分配资源加到 A 中。
+- 重复以上两步，直到所有进程都标记为终止，则状态时安全的。
 
 # 第四章 存储器管理