死锁问题等待图与条件处理死锁的策略死锁
死锁的原因及解决方法
死锁的原因及解决方法死锁是指在并发系统中，两个或多个进程无限地等待对方释放已占用资源的状态。
死锁是多进程协作的一种异常情况，普遍存在于操作系统中。
理解死锁的原因以及采取适当的解决方法是确保计算机系统稳定运行的重要一环。
本文将探讨死锁的原因以及解决方法。
一、死锁的原因1. 互斥条件死锁发生的首要原因是资源的互斥使用。
即某一资源在同一时间只能被一个进程使用，如果有其他进程请求该资源，则必须等待，直至该资源被释放。
当出现多个进程同时占用多个资源，并且它们之间互相等待对方所占用的资源时，就可能产生死锁。
2. 请求与保持条件当一个进程请求资源而该资源又被其他进程占用时，请求进程必须等待，但同时保持已获得的资源不被释放。
如果多个进程都在等待其他进程占用的资源同时保持自己占用的资源，则可能形成循环等待，导致死锁的发生。
3. 不可剥夺条件资源分配后不能被剥夺的特性也会导致死锁。
即已分配的资源只能由拥有它的进程主动释放，其他进程无法将其剥夺。
当一个进程占用资源并等待获取其他资源时，如果其他进程无法剥夺已占用的资源，那么这种情况会导致死锁。
4. 循环等待条件当存在一组进程互相等待对方所占用的资源时，就会产生循环等待的条件。
这个循环等待的环路可以是单个资源的循环，也可以是多个资源之间的循环，但无论是哪种情况，只要出现循环等待，就会发生死锁。
二、死锁的解决方法1. 预防死锁预防死锁是通过破坏死锁发生的四个必要条件来防止死锁的产生。
其中最直接有效的方法是破坏循环等待条件，可以通过引入资源有序分配来达到目的。
也可以通过破坏请求与保持条件，即请求资源时一次性申请所需要的全部资源，而不是一次请求一个资源，以消除死锁发生的可能性。
2. 避免死锁避免死锁是在程序执行时进行资源分配，通过安全序列的原理来避免系统进入不安全状态。
所谓安全序列，即在系统中存在一个进程执行顺序，使得每个进程能够按照顺序执行并顺利完成。
通过安全序列的判断，可以避免死锁的发生。
一种基于等待图的死锁解除策略
一 一Байду номын сангаас
的 ． 这 些 操作 的过 程 中相 应 地 向 数据 库 申请 读 锁 和 写 锁 。 果 Ｔ （， ， （，） ３４１Ｔ （， ， Ｕ １ 在 如 ｌ １Ｔ ６２Ｔ （， ，４１１ 贝 图 ３ ）２ ， ） ） 图 ２ Ｐ等待 图表 示 个 事务 Ｔ １申请 对 数 据 项 ｘ １的写 锁 。 ｘ 而 １当 时正 被 其 他 事 务 可 以 改 为 ： 的 四个 事 务 的 链死 锁 锁 着 ． 么就 会 出现 以 下两 种 情 况 ： 那 图 ２可 用 符 号 表示 为 ： ｆ１ Ｔ 放 人 ｘ １将 １ １的等 待 队 列 中 直 到 ｘ １的锁 被 释 放 。 Ｇ Ｔ （， （， ＝Ｉ １ ３卜 ６２ （， ． ４１１ 岬 ｌ ， ４１ ＿ （，— （ １ ） ） ３）
【 关键词 】 并发控制 ； ： 死锁 ； 等待 图； 事务
Ｏ ．引 盲
为 了 提 高 资源 的利 用 率 ． 常 允 许 多个 事 务并 发地 执 行 。 通 这
样 一 来 ．可 能 会 导 致 多个 事 务 在 同一 时 间 段 内 由访 问数 据 库 而 引 起 的 冲突 。 此 ． 们 通 常采 用 对 事 务 访 问对 象 加 锁 的方 式 来 为 我 保 证 多个 事 务 并 发 执行 时 的正 确 性 ． 而 加 锁 会 引 起死 锁 。 们 然 人 或 者 通过 禁 止 死 锁 协议 来 避 免 死 锁 的 发 生 ．或 者 通 过 对 事 务 或 数 据排 序 来 防 止死 锁 ． 这 两种 方 法 都 影 响 了 事务 的并 发 度 。 但 死 锁 检测 和 恢 复 方法 允许 死 锁 发 生 ．在 死 锁 发 生 后 再 进 行 死 锁 检 如 果 在 等 待 图 中 出现 了 循 环 。 则说 明产 生 了死 锁 ， 引起 死 锁 测 和恢 复 ． 种 方 法 比前 两 种方 法 隐含 着 更 大 的 并 发度 。 这 的事 务 就 是等 待 图中 环 上 的结 点 对 应 的 事 务 。 死 锁 的解 决 可 以 死锁 通常 由等 待 图 检测 ． 果 图 中 出现 了死 锁 。 以 通 过 回 通 过 回退 环 中 的一 个 事 务来 打 破 等 待 图 中 的 循 环 ．从 而 消 除 死 如 可 退其 中 的一 个 事 务来 打 破 等 待 图 中 的 循 环 。 而 消 除死 锁 。 而 锁 。 从 然 ．－ 随 便 回退 其 中 的 一个 事 务 往 往 不 能 使 得 多 个 事 务 的 总 体 收 益 最 ３ Ｐ 等 待 图 大 ． 文 通过 分 析 多 个 事 务 加锁 情 况 及 事 务 之 间 的联 系 ， 每 一 本 为 通 过 等待 图可 以很 容 易 的检 测 出死 锁 的 存 在 ．然 而 在 检测 并 如果 随 便 个 事务 分 配 一 个权 值 Ｐ． 值 是 由该 事 务 拥 有 锁 的 数 量 和 其 他 到 死 锁后 ． 不 能立 即得 知 回退 哪一 个 事 务更 为 合 适 。 Ｐ的 事 务 等待 该 事 务 释放 锁 的数 量 共 同 决 定 的 。 最 后 依 据 Ｐ的 值 决 回退 等 待 图环 中的 一 个 事务 ．则 不 能 保 证 多 个事 务 的 总体 收 益 最大。 定 回退 哪 一 个 事务 从 而 使 得 多 个 事 务 的 总体 收益 最 大 化 。 为 了 能 够在 等 待 图检 测 出死 锁 后 立 即 得 知 回退 哪 一 个 事 务 ｌ 死 锁 Ｉ 并 且 通 过 回退 该 事 务 可 以使 引起 死 锁 的 所 有 事务 的 总体 收 益 最 １ 两段 锁 （ Ｌ协 议 ． １ ２ ） Ｐ 两段 锁 协 议 是 指 所有 事务 必 须 分 两 个 阶 段 对 数 据 项 加 锁 和 大 ． 们 为 等 待 图 中 的 每 个 结 点 加 一 个 权 值 ＰＡＢ ， 我 （，）一个 事务 Ｔ 解锁 ： 一 阶段 是 获 得 对 数 据项 的锁 ， 称 为 扩 展 阶 段 。 这 在 阶 的权 Ｐ由 Ａ 和 Ｂ两 部 分组 成 ． 中 ， 第 也 其 Ｂ代 段 ． 务 可 以 申请 获 得 任 何 数据 项 上 的 任何 类 型 的 锁 。 是 不 能 Ａ代 表 事 务 Ｔ拥 有 的锁 的 个 数 ： 事 但 释放 任何 锁 。第 二 阶 段 是 释放 所 拥 有 的 锁 ， 称 为 收 缩 阶 段 。在 表 其 他 事务 等 待 他 释放 锁 的个 数 。 也 令 ＝— 为 这 阶段 ． 事务 可 以释 放 任何 数据 项 上 的 任 何类 型 的 锁 ， 是 不 能 Ｐ Ａ Ｂ． 事 务 Ｔ 的权 。 但 规 定 在 Ｐ 等 待 图 中 ．结 点 代 表 一 再 申请 任 何 锁 。 事 务 ． 示 成 ＴＡＢ ， 的 阻 塞 请 求 表 （，）锁 １ 死锁 的产 生 ． ２ 个 事 务 Ｔ可 以看 成 是 由一 系列 的 读 ㈣ 和 写 操 作 组 成 用 边 表 示 。假 设有 ４个 事 务 ， 别 为 分
解决死锁基本方法
解决死锁基本方法死锁是指两个或多个进程持有对方需要的资源，同时又请求对方释放资源，从而导致进程无限等待的现象。
在多任务系统中，死锁问题是一个常见的挑战。
为了解决这个问题，有以下几种基本方法可以采用：1. 预防死锁预防死锁是为了在系统设计阶段就采取一些措施，来避免死锁的发生。
常用的预防死锁的方法有以下几种：- 破坏请求与保持条件：要求进程在申请新资源之前释放已占有的资源，然后再去申请新资源，从而避免死锁的发生。
- 破坏不剥夺条件：允许系统回收进程所占有的资源，以满足其他进程的请求，从而避免死锁的发生。
- 破坏循环等待条件：对资源进行线性编号，让进程按序申请资源，从而避免循环等待的发生。
2. 避免死锁避免死锁是在程序运行时，通过判断资源申请的安全性，来避免进程陷入死锁的状态。
常用的避免死锁的方法有以下几种：- 银行家算法：银行家算法通过判断进程所请求的资源是否能使系统处于安全状态，如果是，则分配该资源，否则进程等待。
- 资源分配图法：通过构造资源分配图，检测是否存在环路，如果存在则说明可能发生死锁，进程进入等待状态。
3. 检测死锁检测死锁是在系统运行时，通过周期性检测系统的资源分配情况来判断是否存在死锁。
常用的检测死锁的方法有以下几种：- 资源分配图法：通过构造资源分配图，检测是否存在环路，如果存在则说明可能发生死锁。
- 死锁检测算法：对资源分配图进行检测，如果检测到有环路存在，则说明发生了死锁。
4. 解除死锁解除死锁是在检测到死锁后，通过一定的策略来解除死锁，并释放死锁进程所占有的资源。
常用的解除死锁的方法有以下几种：- 终止进程：选择一个或多个进程终止，从而释放资源。
- 回滚操作：回滚已分配的资源，从而回到没有发生死锁的状态。
- 资源剥夺：从一个或多个进程中剥夺所占用的资源，从而释放资源。
- 进程挂起和唤醒：将一个或多个进程挂起，直到资源可以满足其请求时再唤醒。
综上所述，解决死锁的方法包括预防死锁、避免死锁、检测死锁和解除死锁。
什么是死锁？死锁产生的条件？
什么是死锁？死锁产⽣的条件？1). 死锁的概念通俗的讲，就是两个或多个进程⽆限期的阻塞、相互等待的⼀种状态。
2). 死锁产⽣的四个必要条件互斥：⾄少有⼀个资源必须属于⾮共享模式，即⼀次只能被⼀个进程使⽤；若其他申请使⽤该资源，那么申请进程必须等到该资源被释放为⽌；占有并等待：⼀个进程必须占有⾄少⼀个资源，并等待另⼀个资源，⽽该资源为其他进程所占有；⾮抢占：进程不能被抢占，即资源只能被进程在完成任务后⾃愿释放循环等待：若⼲进程之间形成⼀种头尾相接的环形等待资源关系3). 死锁的处理基本策略和常⽤⽅法解决死锁的基本⽅法主要有预防死锁、避免死锁、检测死锁、解除死锁、鸵鸟策略等。
(1). 死锁预防死锁预防的基本思想是只要确保死锁发⽣的四个必要条件中⾄少有⼀个不成⽴，就能预防死锁的发⽣，具体⽅法包括：打破互斥条件：允许进程同时访问某些资源。
但是，有些资源是不能被多个进程所共享的，这是由资源本⾝属性所决定的，因此，这种办法通常并⽆实⽤价值。
打破占有并等待条件：可以实⾏资源预先分配策略(进程在运⾏前⼀次性向系统申请它所需要的全部资源，若所需全部资源得不到满⾜，则不分配任何资源，此进程暂不运⾏；只有当系统能满⾜当前进程所需的全部资源时，才⼀次性将所申请资源全部分配给该线程)或者只允许进程在没有占⽤资源时才可以申请资源（⼀个进程可申请⼀些资源并使⽤它们，但是在当前进程申请更多资源之前，它必须全部释放当前所占有的资源）。
但是这种策略也存在⼀些缺点：在很多情况下，⽆法预知⼀个进程执⾏前所需的全部资源，因为进程是动态执⾏的，不可预知的；同时，会降低资源利⽤率，导致降低了进程的并发性。
打破⾮抢占条件：允许进程强⾏从占有者哪⾥夺取某些资源。
也就是说，但⼀个进程占有了⼀部分资源，在其申请新的资源且得不到满⾜时，它必须释放所有占有的资源以便让其它线程使⽤。
这种预防死锁的⽅式实现起来困难，会降低系统性能。
打破循环等待条件：实⾏资源有序分配策略。
数据库死锁的检测与解决策略(一)
数据库死锁的检测与解决策略引言在现代科技快速发展的时代，数据库系统扮演着非常重要的角色，它们用于存储和管理大量的数据。
然而，在多用户环境下，数据库死锁成为了一个普遍存在的问题。
本文将探讨数据库死锁的检测与解决策略，帮助读者了解如何优化数据库系统的性能和可靠性。
一、数据库死锁的定义数据库死锁指的是多个事务同时请求数据库中的资源，但由于资源的互斥使用，导致彼此之间无法继续进行。
这种情况下，数据库系统就进入了一个死锁的状态。
二、数据库死锁的检测方法1. 图论算法图论算法是一种经典的死锁检测方法。
它通过构建和分析事务之间的资源依赖关系图来判断是否存在死锁。
如果图中存在一个循环路径，即表示存在死锁。
2. 等待图算法等待图算法也是一种常用的死锁检测方法。
它通过构建和分析等待图来判断是否存在死锁。
等待图中的节点表示事务，边表示等待关系。
如果存在一个闭合环，即表示存在死锁。
三、数据库死锁的解决策略1. 死锁预防死锁预防是一种在设计阶段已经采取的策略，目的是防止死锁的发生。
其中，最常用的方法是资源顺序分配法。
通过对多个资源设置一个固定的分配顺序，保证每个事务按照相同的顺序请求资源，从而避免死锁的发生。
2. 死锁避免死锁避免是一种动态的策略，根据系统的当前状态来判断是否允许某个事务继续执行。
银行家算法是常用的死锁避免算法之一。
在银行家算法中，系统根据当前的资源分配情况，判断是否存在安全序列。
如果存在安全序列，则事务可以继续执行，否则将被阻塞。
3. 死锁检测与解除死锁检测与解除是一种被动的策略，通过定期检测死锁的存在并采取相应的解锁操作。
常见的方法有超时检测和资源剥夺。
超时检测是指设置一个时间阈值，如果某个事务在一段时间内无法获取所需的资源，则判定为死锁，需要解除。
资源剥夺是指当一个事务请求某个资源时，如果该资源已经被其他事务占用，系统会临时中断其他事务的资源，将资源分配给当前请求事务，以避免死锁。
四、数据库死锁实例分析在一个银行系统中，存在两个事务，分别是转账事务和提现事务。
死锁
3.产生死锁的根本原因 竞争资源 进程间推进顺序非法
3.5 死锁的产生 产生死锁的必要条件： 互斥条件 请求和保持条件 不剥夺条件 环路等待条件
①互斥条件 资源独占 ②不剥夺条件 不能强行抢夺对方资源 ③请求和保持条件 资源分配并非一次到位 ④环路等待条件 构成环路
(4) 如果所有进程的Finish［i］=true 都满足， 则表示系统处于安全状态； 否则，系统处于不安全状态。
举例
T0时刻的资源分配情况
假定系统中有四个进程P1, P2, P3, P4和三类资源R1, R2, R3，各种资 源的数量分别为9、3、6
资源 情况 进程
Max R1 R2 R3 3 6 3 4 2 1 1 2 2 2 3 4
(4) 系统执行安全性算法，检查此次资源分配 后，系统是否处于安全状态。若安全，才正式 将资源分配给进程Pi，完成本次分配；否则， 试探分配失败，让进程Pi阻塞等待。
3）安全性算法 （1）设置两个工作向量 ①设置一个数组Finish［n］。 当Finish［i］∶=true （0≤i≤n，n为系统中的进程数）时，表示进程 Pi可获得其所需的全部资源，而顺利执行完成。 ②设置一个临时向量Work，表示系统可提供给进程 继续运行的资源的集合。安全性算法刚开始执行 时 Work∶=Available
(3) 系统试探着把资源分配给进程Pi，并修改下 面数据结构中的数值：
Available［j］∶=Available［j］-Requesti［j］; Allocation［i,j］∶=Allocation［i,j］+Requesti［j］; Need［i,j］∶=Need［i,j］-Requesti［j］;
MySQL的死锁检测和解决方法
MySQL的死锁检测和解决方法死锁是多线程并发访问数据库时常见的一种问题。
当多个线程在同一时间争夺数据库资源时，如果每个线程都持有一部分资源并且等待其他线程释放自己所需要的资源，就有可能导致死锁的发生。
在MySQL数据库中，死锁是一种严重的问题，会导致系统的性能下降甚至无法响应。
1. 死锁的原因和模拟场景死锁的发生有多种原因，最常见的是由于事务并发执行时的资源争夺引起的。
下面通过模拟场景来说明死锁的发生原因。
假设有两个用户同时对表中的数据进行操作，用户A执行一个更新数据的事务，将表中的一行数据的值由1改为2，同时用户B执行另一个更新数据的事务，将同一行数据的值由2改为3。
用户A和用户B几乎同时执行，由于数据更新是需要加锁的操作，在用户A执行过程中，这一行数据被加上了锁，用户B在更新同一行数据时，也试图对这一行数据加锁。
由于这两个事务都需要等待对方释放资源，因此就造成了死锁的发生。
2. MySQL死锁的检测方法MySQL提供了两种检测死锁的方法，分别是等待图和超时机制。
等待图方法是通过检查事务中的锁依赖关系，来判断是否存在死锁。
如果存在循环等待的情况，即每个事务都在等待下一个事务释放资源，那么就可以判断为发生了死锁。
超时机制是通过设置一个等待超时时间来检测死锁。
当一个事务在等待某个资源的时间超过了设定的等待时间，系统会判断发生了死锁，并进行相应的处理。
3. MySQL死锁的解决方法MySQL提供了多种解决死锁的方法，包括调整事务隔离级别、优化查询语句、控制并发度等。
首先，可以尝试调整事务隔离级别来解决死锁问题。
MySQL提供了四种事务隔离级别，分别是读未提交、读已提交、可重复读和串行化。
不同的隔离级别对于事务并发执行时的锁的获取和释放规则不同，因此可以通过调整隔离级别来减少死锁的发生。
其次，可以优化查询语句来避免死锁。
死锁的发生与事务并发执行中对数据库资源的争夺有关，而查询语句是最常用的访问数据库资源的方式。
操作系统原理课件-第八讲死锁问题(DEADLOCK)
Finish[i] = false和Necdi≤Work，如找到则执行步骤C，如找不 到同时满足以上二条件的进程则执行步骤D。
C.当进程i获得资源后可顺利执行直到完成，并释放出分配给它的 资源，表示如下：
work = work+Allocationi ； Finish[i]=true ；转执行步骤B。 D.如果所有的Finish[i]＝true，则表示系统处于安全状态，否则 系统处于不安全状态。
P4
743
431
002
P2
745
600
302
P0
10 4 7 7 4 3
010
532 743 745 10 4 7 10 5 7
True
True True T0时刻的另 True 一个安全序 True 列
2、 P1请求资源
P1发出请求向量Request(1,0,2),系统按银行家算法进行检查： （1）Request1(1,0,2)≤Need(1,2,2) （2）Request1(1,0,2) ≤Available(3,3,2) （3）系统假定可为P1分配资源，并修改Available,Allocation1和
Need向量。 （4）检查此时系统是否安全。
发现可以找到一个安全序列{P1，P3，P4，P0，P2}，因此系 统是安全的，可以立即将P1所申请的资源分配给它。
3、P4请求资源
P4发出请求向量Request4(3,3,0),系统按银行 家算法进行检查： （1）Request4(3,3,0)≤Need4(4,3,1) （2）Request4(3,3,0)≮Available(2,3,0),让 P4等待。
假设用Requesti[ j]=k表示并发执行时进程i提出请求j类资 源k个。系统按下述步骤进行检查：
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
• 在或条件下，图1死锁可被打破，图2不 行（循环中的结点同时等待外部资源）
东南大学 5
东南大学 6
1
用预防策略解决哲学家问题
• 基于资源编号：所有哲学家均要先拿编号高的 叉子，再拿编号低的叉子，在没有获得高编号 的叉子前，即使低编号的叉子没有被占有，也 不允许使用 • 基于过程编号：优先级高的哲学家可以等待优 先级低的哲学家的叉子，反之不然。即当一个 哲学家发现自己在等待另一个比自己有更高优 先级的哲学家的资源时，他必须放弃已控制的 叉子。
销较大
• 银行家算法：至少总可以满足一个客户的要求
– 银行共有资金800万；A的余额是600万，B的余额是400万，C 的余额是500万；A要求一次提走300万，B要求一次提走200 万，C要求一次提走100万；假设客户在提光存款后会立即重新 全额存入。 – 当以上提款要求被满足后，银行当前存款余额还剩200万。这 时，A、B和C均要求提出剩余款，则服务次序B→C→A是安全 的，其它的服务顺序或上述条件的违反都可能导致不安全的结 果状态。（因为假设提光后会立即全额存入）
东南大学 1 东南大学 2
死锁问题－实例：哲学家问题
• 背景：5个哲学家围圆桌而 坐，吃饭或思考。吃饭时 使用2把叉子，但必须顺序 获得。思考时不使用叉 子。系统共有5把叉子，每 把只能被相邻2人使用。 • 对应于分布式系统的情况 • 右图为发生死锁式对应的 等待图
P1 P2 P4
死锁问题－条件
• 死锁发生的充要条件
– 互斥：一个资源在同一时刻不能被共享； – 占有并等待：必然有一个进程占用了至少一个资源，同时在 等待获得被其它进程占用的资源； – 不可剥夺：已占用的资源不能被剥夺 – 循环等待：等待图中有一个回路
P5
P3
• 死锁的形式
– AND条件：当进程获得所有所需的资源后才能继续执行 – OR条件：当进程至少获得一个所需的资源后才能继续执行 – P-out-of-Q：进程同时请求Q个资源但至少获得P个之后才能 继续执行
• 全局状态检测
– 使用Chandy和Lamport的快照方法来建立一致的全 局状态图，以此来检测是否有死锁发生。
东南大学 12
2
等级式死锁检测
• 系统的节点按树型结构关联起来，由子 树的根节点负责对本子树进行死锁检测 • 子树之间应当是不相关的 • 整个树的根节点作为中心节点，可以为 每个子树确定作为控制节点的根节点。
死锁问题 第五章 死锁的预防、避免和检测
• 系统中有进程处于相互的无限等待状态 （被阻塞） • 资源死锁和通信死锁 • 等待图：将系统中进程对资源的占用与 需求共享情况用有向图表示
– 进程集合{P0, P1 ,……, Pn}为节点集，当且仅 当进程Pi等待一个被进程Pj占用的资源时， 边(Pi, Pj)存在于图中。
AND模型下的Mitchell和Merritt算法 AND模型下的Mitchell和 Merritt算法
• 属于边跟踪算法，每个进程有唯一的标识且系 统中只有一个检测者，但要求每个进程每次只 能请求一个资源。避免检测冲突 • 进程用自己的标识和检测信令构成检测消息并 沿等待图的反方向传递； • 进程收到信令时要将其中的标识与自己的标识 进行比较，将较大者置入信令并继续转发； • 如果进程发现信令中的标识与自己的标识相 同，则检测到死锁。存在等待回路
东南大学 4
东南大学 3
死锁问题－等待图与条件
• 与条件下等待图中有循环意味着一定存 在死锁，但或条件下并非如此 • • P1 • P2 P5 P3 P4 P1 P2 P3 P4件的同时满足
– 要求进程在开始执行前就已经获得了所有需要的 资源 – 所有的资源都被唯一编号，进程必须按资源编号 单调申请 – 进程具有优先级编号，优先级低的首先放弃资源 – 为提高公平性，进程的优先级可以动态变化
东南大学 13
• 需要终止条件
东南大学 14
作业
• P109 第5题 • 本次作业12月22日交
东南大学 15
3
– 状态比较难一致，可能依据部分等待图来判断。
东南大学 11
分布式死锁检测
• 边跟踪算法
– 各节点将自己的资源需求作为探测器沿依赖关系发 送出去，如果某节点收到自己发出的探测器，则表 明存在资源依赖回路。
• 扩散计算算法
– 当需要检测时，进程向它所依赖的进程发起询问， 并将因此而引发的各个询问关联成等待图；或者通 过接收应答将图消解，或者从中发现死锁。
东南大学 8
处理死锁的策略－死锁的避免
• 动态检查资源的分配情况，只有在结果状态是安全的情 况下，才将资源分配给进程；在分布式系统中实现的开
处理死锁的策略－死锁检测（集 中式）
• 使用一个协调者来集中检测系统状态，并消除 出现的死锁 • 利用各节点的局部等待图在协调者建立全局等 待图
– 当在局部等待图中有新的边被加入或删除时修改全 局等待图； – 协调者定期检查局部等待图的变化； – 协调者认为有必要时运行回路检查算法时。
东南大学 7
基于时标的死锁预防方法
• wait-die scheme
– 基于非剥夺的方法：当Pi 要使用Pj 正在使用 的资源时，如果Pi比Pj老，则Pi等待Pj的结束 （舍不得）；否则Pi回卷（不要了）。
• wound-wait scheme
– 基于剥夺的方法：当Pi 要使用Pj 正在使用的 资源时，如果Pi比Pj新，则Pi等待Pj的结束； 否则Pj回卷（尊老）。
东南大学 9
• 如果不能保证状态的一致性，则可能会得出错 东南大学 10 误结论（假死锁）。
分布式死锁检测
• 每个节点独立进行死锁检测 • 每个节点维持一个全局等待图的拷贝 • 全局等待图分解到若干个节点上进行维护，需要 时通过消息交换组合起来。 • 路径推动算法
– 在每个节点建立部分的全局等待图，当需要进行死锁 检 测时，节 点将自 己的全局 等待图 向邻接点 进行扩 散；接到消息的节点用自己的等待图信息完善全局等 待图并再进行邻接点扩散操作，直至在某节点形成最 终的全局等待图并将检测结论通知各个节点。