第五章分布式系统中的死锁

QwbeBTR

已于 2024-04-11 14:08:28 修改

阅读量944

点赞数 22

分类专栏：分布计算系统文章标签：分布式经验分享笔记学习方法

于 2024-04-11 14:07:44 首次发布

本文链接：https://blog.csdn.net/QwbeBTR/article/details/137637099

版权

11 篇文章 1 订阅

订阅专栏

By齐浩坤

死锁：进程和线程在等待其他进程和线程释放资源，但每个进程和线程又持有对方所需要的资源，导致所有进程无法继续推进（哲学家问题）

表示死锁的图模型有两种：等待图 和 资源分配图

需要注意的是在下面的两个图中，b图死锁了而a图没有死锁，因为P1可以释放半个R1

在这里插入图片描述

在等待图中，节点代表进程，当且仅当进程Pi等待一个被进程Pj所占用的资源时，边(Pi,Pj)存在于等待图中，图中的边是有向的。

资源分配图到等待图的转化：

在资源分配图中找到一个未被处理的资源R。如果所有的资源都已经处理，转向步骤3。
从这个资源R的每个输入进程节点到每个输出进程节点之间加一条有向边。一个资源的输入进程节点是等待这个资源的进程节点，一个资源的输出进程节点是占有这个资源的进程节点。转向步骤1。
删除所有的资源节点以及相应的边。

在这里插入图片描述

PAID概括处理死锁的各种方法：预防Prevent 避免Avid 忽略Ignore 检测Detect

AND条件就是当进程取得所有所需资源的时候，他才能继续执行

OR条件就是当进程得到至少一个所需资源，他就能继续执行

在使用AND条件的系统中，死锁条件是在等待图中存在回路。但是在使用OR条件的系统中，等待图中的回路未必会引发死锁。在使用OR条件的系统中，死锁条件是存在结(knot)。一个结K是一个节点集合，对于K中的任何节点a，a能到达K中的所有节点，并且只能到达K中的节点。

也就是几个节点形成了回路，这几个节点可以相互到达，但是到不了这几个节点之外的，例如b这里的p2、p3、p4、p5,虽然a中的p2、p3、p4也是回路，但是多了一个p5

在这里插入图片描述

死锁预防算法是通过限制进程的资源请求来达到预防死锁的目的，都是通过打破四个死锁条件中的一个条件来实现的。

在这里插入图片描述

包括两种死锁预防方案。这两种方案相互补充，这种方法常用于分布式数据库系统中。

等待-死亡方案：该方案是基于非剥夺方法。当进程Pi请求的资源正被进程Pj占有时，只有当Pi的时间戳比进程Pj的时间戳小时，即Pi比Pj老时，Pi才能等待。否则Pi被卷回(roll-back)，即死亡。
伤害-等待方案：它是一种基于剥夺的方法。当进程Pi请求的资源正被进程Pj占有时，只有当进程Pi的时间戳比进程Pj的时间戳大时，即Pi比Pj年轻时，Pi才能等待。否则Pj被卷回(roll-back)，即死亡。